Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

VLog: A Column-Oriented Datalog System for Large Knowledge Graphs + (Takahiro Kawamura, Heiko Paulheim)
Modeling OWL with Rules: The ROWL Protege Plugin + (Takahiro Kawamura, Heiko Paulheim)
Extraction of Multilingual Term Variants in the Business Reporting Domain + (Tatiana Gornostay)
Terminology Harmonization in Industry Classification Standards + (Tatiana Gornostay)
On the Coincidence of Semantics for Uniquely Determined Programs + (Ted Hurley and Mícheál Mac an Airchinnigh and Michel Schellekens and Anthony Seda)
Matching with respect to general concept inclusions in the Description Logic EL + (Temur Kutsia and Christophe Ringeissen)
Employing DL-LiteR-Reasoners for Fuzzy Query Answering + (Thepchai Supnithi and Takahira Yamaguchi)
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics + (Thomas Barkowsky and Marco Ragni and Frieder Stolzenburg)
Towards Knowledge-Based Assistance for Scholarly Editing + (Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban)
Reasoning with Concrete Domains + (Thomas Dean)
Computing the lcs w.r.t. General EL^+ TBoxes + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Rough EL Classification + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
LATPub527 + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
About Subsumption in Fuzzy EL + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Temporal Query Answering in DL-Lite + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Hybrid EL-Unification is NP-Complete + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday + (Thomas Eiter and Hannes Strass and Mirosław Truszczyński and Stefan Woltran)
SROIQ Syntax Approximation by Using Nominal Schemas + (Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch)
How to reason with OWL in a logic programming system + (Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens)
Asynchronous Multi-Context Systems + (Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran)
Stream Packing for Asynchronous Multi-Context Systems using ASP + (Thomas Eiter, Wolfgang Faber, Stefan Woltran)
Proceedings of the First International Workshop on Uncertainty in Description Logics + (Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan)
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities + (Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan)
Similarity-based Relaxed Instance Queries in EL^++ + (Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan)
Many-Valued Horn Logic is Hard + (Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan)

A General First-Order Solution to the Ramification Problem + (Thomas Meyer and Eugenia Ternovska)

Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies + (Thomas Schneider, Dirk Walther)
A Geo-ontology Design Pattern for Semantic Trajectories + (Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood)
Reifying RDF: What Works Well With Wikidata? + (Thorsten Liebig and Achille Fokoue)
Practical Linked Data Access via SPARQL: The Case of Wikidata + (Tim Berners-Lee, Sarven Capadisli, Stefan Dietze, Aidan Hogan, Krzysztof Janowicz, Jens Lehmann)
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness + (Toby Walsh)
Walking the Complexity Lines for Generalized Guarded Existential Rules + (Toby Walsh)
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ + (Toby Walsh)
Description Logics over Lattices with Multi-valued Ontologies + (Toby Walsh)
Efficient Inferencing for OWL EL + (Tomi Janhunen, Ilkka Niemelä)
Automata-based Reasoning in Fuzzy Description Logics + (Tommaso Flaminio and Lluis Godo and Siegfried Gottlob and Erich Peter Klement)
CPrAA -- A Checker for Probabilistic Abstract Argumentation + (Toni, Francesca and Polberg, Sylwia and Booth, Richard and Caminada, Martin and Kido, Hiroyuki)
Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations + (Torsten Schaub)
The Logical Difference for ELHr-Terminologies using Hypergraphs + (Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan)
Multi-context systems for reactive reasoning in dynamic environments + (Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan)
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment + (U. Egly and C. G. Fermüller)
CEL—A Polynomial-time Reasoner for Life Science Ontologies + (U. Furbach and N. Shankar)
Rational Models of Normal Logic Programs + (U. Gesdke N.E. Fuchs)
Clause Simplifications in Search-Space Decomposition-Based SAT Solvers + (Ulle Endriss, João Leite)
A Computational Logic Approach to Syllogisms in Human Reasoning + (Ulrich Furbach, Claudia Schon)
A Tableau System for the Description Logic SHIO + (Ulrike Sattler)
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic + (Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato)
Efficient Dependency Analysis for Rule-Based Ontologies + (Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato)
Using FCA for Encoding of Closure Operators into Neural Networks + (Uta Priss, Simon Polovina, Richard Hill)
Supporting Lexical Ontology Learning by Relational Exploration + (Uta Priss, Simon Polovina, Richard Hill)
Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web + (Uta Priss, Simon Polovina, Richard Hill)