|
Conferences in DBLP
Concept Projection in Algebras for Computing Certain Answer Descriptions. [Citation Graph (, )][DBLP]
An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC. [Citation Graph (, )][DBLP]
Quasi-Classical Semantics for Expressive Description Logics. [Citation Graph (, )][DBLP]
A Semantic Algebra for Modularized Description Logics Knowledge Bases. [Citation Graph (, )][DBLP]
Global Caching, Inverse Roles and Fixpoint Logics. [Citation Graph (, )][DBLP]
Consequence-Driven Reasoning for Horn SHIQ Ontologies. [Citation Graph (, )][DBLP]
An Extension of Regularity Conditions for Complex Role Inclusion Axioms. [Citation Graph (, )][DBLP]
Reasoning About Typicality in ALC and EL. [Citation Graph (, )][DBLP]
On Correspondences between Probabilistic First-Order and Description Logics. [Citation Graph (, )][DBLP]
Adding Weight to DL-Lite. [Citation Graph (, )][DBLP]
Fair Cycle Detection using Description Logic Reasoning. [Citation Graph (, )][DBLP]
An Only Knowing Approach to Defeasible Description Logics (Extended Abstract). [Citation Graph (, )][DBLP]
A Matter of Principles: Towards the Largest DLP Possible. [Citation Graph (, )][DBLP]
Reintroducing CEL as an OWL 2 EL Reasoner. [Citation Graph (, )][DBLP]
A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics. [Citation Graph (, )][DBLP]
Building Ontologies Collaboratively Using ContentCVS. [Citation Graph (, )][DBLP]
Belief Contraction in the Description Logic EL. [Citation Graph (, )][DBLP]
OntoComP System Description. [Citation Graph (, )][DBLP]
Exploiting Partial Information in Taxonomy Construction. [Citation Graph (, )][DBLP]
A Comparison of Query Rewriting Techniques for DL-lite. [Citation Graph (, )][DBLP]
Soundness Preserving Approximation for TBox Reasoning in R. [Citation Graph (, )][DBLP]
Importing Ontologies with Hidden Content. [Citation Graph (, )][DBLP]
OWL Reasoning in the Real World: Searching for Godot. [Citation Graph (, )][DBLP]
A Conflict-based Operator for Mapping Revision. [Citation Graph (, )][DBLP]
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics. [Citation Graph (, )][DBLP]
Algebraic Tableau Algorithm for ALCOQ. [Citation Graph (, )][DBLP]
Axiom Pinpointing is Hard. [Citation Graph (, )][DBLP]
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. [Citation Graph (, )][DBLP]
Optimizing Reasoning with Qualified Number Restrictions in SHQ. [Citation Graph (, )][DBLP]
Validating Process Refinement with Ontologies. [Citation Graph (, )][DBLP]
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes. [Citation Graph (, )][DBLP]
Explaining by Example: Model Exploration for Ontology Comprehension. [Citation Graph (, )][DBLP]
Lemmas for Justifications in OWL. [Citation Graph (, )][DBLP]
Modelling Object Typicality in Description Logics. [Citation Graph (, )][DBLP]
A System for Retrieving Top-k Candidates to Job Positions. [Citation Graph (, )][DBLP]
DL-Lite without UNA. [Citation Graph (, )][DBLP]
Unification in the Description Logic EL. [Citation Graph (, )][DBLP]
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. [Citation Graph (, )][DBLP]
Open and Closed World Assumptions in Data Exchange. [Citation Graph (, )][DBLP]
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. [Citation Graph (, )][DBLP]
Query Answering over DL ABoxes: How to Pick the Relevant Symbols. [Citation Graph (, )][DBLP]
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q. [Citation Graph (, )][DBLP]
A Resolution Based Description Logic Calculus. [Citation Graph (, )][DBLP]
Using Description Logics in Relation Based Access Control. [Citation Graph (, )][DBLP]
Which Kind of Module Should I Extract? [Citation Graph (, )][DBLP]
Reasoning With Weighted Ontologies. [Citation Graph (, )][DBLP]
Model-Based Most Specific Concepts in Some Inexpressive Description Logics. [Citation Graph (, )][DBLP]
A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. [Citation Graph (, )][DBLP]
Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract). [Citation Graph (, )][DBLP]
Relativizing Concept Descriptions to Comparison Classes. [Citation Graph (, )][DBLP]
Testing Provers on a Grid - Framework Description. [Citation Graph (, )][DBLP]
Completeness Guaranteed Approximations for OWL-DL Query Answering. [Citation Graph (, )][DBLP]
Filling the Gap between OWL 2 QL and QuOnto: ROWLKit. [Citation Graph (, )][DBLP]
Generalized Closed World Reasoning in Description Logics with Extended Domain Closure. [Citation Graph (, )][DBLP]
Extending DL-Lite Sometime in the Future. [Citation Graph (, )][DBLP]
Revision of DL-Lite Knowledge Bases. [Citation Graph (, )][DBLP]
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. [Citation Graph (, )][DBLP]
A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation. [Citation Graph (, )][DBLP]
What Happened to Bob? Semantic Data Mining of Context Histories. [Citation Graph (, )][DBLP]
On Higher-Order Description Logics. [Citation Graph (, )][DBLP]
Tractable Query Answering over Ontologies with Datalog+/-. [Citation Graph (, )][DBLP]
|