|
Conferences in DBLP
Contextualization of a DL Knowledge Base. [Citation Graph (, )][DBLP]
A Well-founded Semantics for Hybrid MKNF Knowledge Bases. [Citation Graph (, )][DBLP]
Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. [Citation Graph (, )][DBLP]
Practical Conforming Datatype Groups. [Citation Graph (, )][DBLP]
Some Further Thoughts on Expressiveness and Tractability. [Citation Graph (, )][DBLP]
A Constructive Semantics for ALC. [Citation Graph (, )][DBLP]
Data Complexity in the EL family of DLs. [Citation Graph (, )][DBLP]
A Boolean Lattice Based Improved Fuzzy Description Logic in Web Computing. [Citation Graph (, )][DBLP]
Dynamic Description Logic: Embracing Actions into Description Logic. [Citation Graph (, )][DBLP]
Action Based ABox Update: an Example from the Chemical Compound Formulation. [Citation Graph (, )][DBLP]
Planning in Action Formalisms based on DLs: First Results. [Citation Graph (, )][DBLP]
Retrospective on Clio: Schema Mapping and Data Exchange in Practice. [Citation Graph (, )][DBLP]
SEMilarity: Towards a Model-Driven Approach to Similarity. [Citation Graph (, )][DBLP]
Consistent Query Answering over Description Logic Ontologies. [Citation Graph (, )][DBLP]
Approximate Subsumption for Complex Description Logics. [Citation Graph (, )][DBLP]
Automated Evaluation of Description Logic Reasoning Systems. [Citation Graph (, )][DBLP]
Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods. [Citation Graph (, )][DBLP]
Ontology Reuse: Better Safe than Sorry. [Citation Graph (, )][DBLP]
Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction. [Citation Graph (, )][DBLP]
OntoVQL: A Graphical Query Language for OWL Ontologies. [Citation Graph (, )][DBLP]
Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic. [Citation Graph (, )][DBLP]
Actions and Programs over Description Logic Ontologies. [Citation Graph (, )][DBLP]
Blocking Automata for PSPACE DLs. [Citation Graph (, )][DBLP]
A Proof Theory for DL-Lite. [Citation Graph (, )][DBLP]
Combining Two Formalism for Reasoning about Concepts. [Citation Graph (, )][DBLP]
Speeding up Approximation with Nicer Concepts. [Citation Graph (, )][DBLP]
A Hypertableau Calculus for SHIQ. [Citation Graph (, )][DBLP]
DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation. [Citation Graph (, )][DBLP]
Structural Theory of Science as a Systematic Framework for the Design of DL's and CD's for E-science. [Citation Graph (, )][DBLP]
Model Checking of Restricted CTL* Formulas using ALCK. [Citation Graph (, )][DBLP]
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. [Citation Graph (, )][DBLP]
Distributed Description Logics Revisited. [Citation Graph (, )][DBLP]
Integrated Distributed Description Logics. [Citation Graph (, )][DBLP]
On Relating Heterogeneous Elements from Different Ontologies. [Citation Graph (, )][DBLP]
Inverse Roles Make Conjunctive Queries Hard. [Citation Graph (, )][DBLP]
Modularity in DL-Lite. [Citation Graph (, )][DBLP]
Induction of Optimal Semi-distances for Individuals based on Feature Sets. [Citation Graph (, )][DBLP]
On Importing Knowledge from DL Ontologies: Some Intuitions and Problems. [Citation Graph (, )][DBLP]
Description Logics in the Calculus of Structures. [Citation Graph (, )][DBLP]
DLMedia: an Ontology Mediated Multimedia Information Retrieval System. [Citation Graph (, )][DBLP]
Expressive Querying over Fuzzy DL-Lite Ontologies. [Citation Graph (, )][DBLP]
Semantic Difference in ALN. [Citation Graph (, )][DBLP]
From Description Logics to Logic Functors, and Back. [Citation Graph (, )][DBLP]
Consequence Finding in ALC. [Citation Graph (, )][DBLP]
Pinpointing in the Description Logic EL. [Citation Graph (, )][DBLP]
An ExpTime Tableau Decision Procedure for ALCQI. [Citation Graph (, )][DBLP]
Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd. [Citation Graph (, )][DBLP]
Knowledge Representation Meets Databases - a View of the Symbiosys. [Citation Graph (, )][DBLP]
The Minimal Finite Model Visualization as an Ontology Debugging Tool. [Citation Graph (, )][DBLP]
Deciding ALBO with Tableau. [Citation Graph (, )][DBLP]
Description Logic vs. Order-Sorted Feature Logic. [Citation Graph (, )][DBLP]
Optimizing Tableau Reasoning in ALC Extended with Uncertainty. [Citation Graph (, )][DBLP]
Extracting Ontologies from Relational Databases. [Citation Graph (, )][DBLP]
A Possibilistic Extension of Description Logics. [Citation Graph (, )][DBLP]
Integrating Semantic Annotations in Bayesian Causal Models. [Citation Graph (, )][DBLP]
A New Mapping from ALCI to ALC. [Citation Graph (, )][DBLP]
Modal Logic Applied to Query Answering and the Case for Variable Modalities. [Citation Graph (, )][DBLP]
Expressing DL-Lite Ontologies with Controlled English. [Citation Graph (, )][DBLP]
Conjunctive Queries for EL with Composition of Roles. [Citation Graph (, )][DBLP]
Tools for the QuOnto System - Conversion between OWL and DL-Lite with Protégé-OWL Plug-in. [Citation Graph (, )][DBLP]
On Conjunctive Query Answering in EL. [Citation Graph (, )][DBLP]
Paraconsistent Resolution for Four-valued Description Logics. [Citation Graph (, )][DBLP]
Partitioning ABoxes Based on Converting DL to Plain Datalog. [Citation Graph (, )][DBLP]
On Ordering Descriptions in a Description Logic. [Citation Graph (, )][DBLP]
Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxes. [Citation Graph (, )][DBLP]
Efficient Query Answering Through Approximation. [Citation Graph (, )][DBLP]
DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription. [Citation Graph (, )][DBLP]
Exploiting Conjunctive Queries in Description Logic Programs. [Citation Graph (, )][DBLP]
EXPTIME Tableaux for ALC Using Sound Global Caching. [Citation Graph (, )][DBLP]
Conjunctive Query Entailment for SHOQ. [Citation Graph (, )][DBLP]
Modal vs. Propositional Reasoning for model checking with Description Logics. [Citation Graph (, )][DBLP]
Complexity of Reasoning in Entity Relationship Models. [Citation Graph (, )][DBLP]
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. [Citation Graph (, )][DBLP]
Exploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web Area. [Citation Graph (, )][DBLP]
A General Framework for Covering Concepts using Terminologies. [Citation Graph (, )][DBLP]
|