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

• Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs  + (Carral)
• EL-ifying Ontologies  + (Carral)
• An Ontology Design Pattern for Particle Physics Analysis  + (Carral)
• A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies  + (Carral)
• Restricted chase (non)termination for existential rules with disjunctions  + (Carral)
• Tractable Query Answering for Expressive Ontologies and Existential Rules  + (Carral)
• Preserving Constraints with the Stable Chase  + (Carral)
• On the Ontological Modeling of Trees  + (Carral)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (Carral)
• Reasoning with Horn DL Ontologies and Knowledge Graphs  + (Carral)
• Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract  + (Carral)
• Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract  + (Carral)
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  + (Carral)
• Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase  + (Carral)
• Reasoning with Description Logics Ontologies and Knowledge Graphs  + (Carral)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (Carral)
• The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)  + (Carral)
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  + (Carral)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)  + (Carral)
• VLog: A Rule Engine for Knowledge Graphs  + (Carral)
• Checking Chase Termination over Ontologies of Existential Rules with Equality  + (Carral)
• Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules  + (Carral)
• Practical Uses of Existential Rules in Knowledge Representation  + (Carral)
• Practical Uses of Existential Rules in Knowledge Representation  + (Carral)
• Reasoner = Logical Calculus + Rule Engine  + (Carral)

• A Hardware/Software Stack for Heterogeneous Systems  + (Castrillon)

• Query Containment in Very Expressive XPath dialects  + (Cate)
• Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013  + (Celino)
• RFuzzy Framework  + (Ceruelo)
• RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming  + (Ceruelo)
• Foundations of Implementations for Formal Argumentation  + (Cerutti)
• Foundations of Implementations for Formal Argumentation  + (Cerutti)
• A Benchmark Framework for a Computational Argumentation Competition  + (Cerutti)
• Reasoning in the Description Logic BEL using Bayesian Networks  + (Ceylan)
• Tight Complexity Bounds for Reasoning in the Description Logic BEL  + (Ceylan)
• The Bayesian Description Logic BEL  + (Ceylan)
• Bayesian Description Logics  + (Ceylan)
• Answering EL Queries in the Presence of Preferences  + (Ceylan)
• Dynamic Bayesian Description Logics  + (Ceylan)
• Query Answering in Bayesian Description Logics  + (Ceylan)
• The Bayesian Ontology reasoner is BORN!  + (Ceylan)
• Probabilistic Query Answering in the Bayesian Description Logic BEL  + (Ceylan)
• Open-World Probabilistic Databases  + (Ceylan)
• Open-World Probabilistic Databases (Extended Abstract)  + (Ceylan)
• Complexity Results for Probabilistic Datalog+/-  + (Ceylan)
• The Bayesian Ontology Language BEL  + (Ceylan)
• Most Probable Explanations for Probabilistic Database Queries  + (Ceylan)
• Query Answering in Ontologies under Preference Rankings  + (Ceylan)
• Open-World Probabilistic Databases: An Abridged Report  + (Ceylan)
• The Complexity of Quantitative Information Flow in Recursive Programs  + (Chadha)
• Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey  + (Charwat)