Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)
• Reasoning and Explanation in EL and in Expressive Description Logics  + (Uwe As̈mann and Andreas Bartho and Christian Wende)
• A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository  + (Uwe M. Borghoff and Boris Chidlovskii)
• LATPub439  + (V. Haarslev and D. Toman and G. Weddell)
• Tableau Systems for SHIO and SHIQ  + (V. Haarslev and R. Möller)
• Reasoning about Complex Actions  + (V. Lifschitz)
• A Probabilistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation  + (V.V. Kluev and N.E. Mastorakis)
• Using Tableaux and Automata for Pinpointing in EL  + (Valentin Goranko)
• Extending Two-Variable Logic on Trees  + (Valentin Goranko, Mads Dam)
• A Behavioral Characterization of Computational Systems  + (Verlagshaus Monsenstein und Vannerdat OHG)
• An Ontology Design Pattern for Activity Reasoning  + (Victor de Boer, Aldo Gangemi, Krzysztof Janowicz, Agnieszka Lawrynowicz)
• Complexity of Axiom Pinpointing in the DL-Lite Family  + (Volker Haarslev and David Toman and Grant Weddell)
• Correcting Access Restrictions to a Consequence  + (Volker Haarslev and David Toman and Grant Weddell)
• Unification Theory  + (W. Bibel and P.H. Schmidt)
• Tractable and Decidable Fragments of Conceptual Graphs  + (W. Cyre and W. Tepfenhart)
• A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method  + (W. McCune)
• Description Logics with Symbolic Number Restrictions  + (W. Wahlster)
• Description Logics for the Representation of Aggregated Objects  + (W.Horn)
• Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets  + (Weiru Liu)