Search by property
From International Center for Computational Logic
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)