HARP: a tableau-based theorem prover
Journal of Automated Reasoning
Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results
Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results
The complexity of concept languages
Information and Computation
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Ontologies for geographic information processing
Computers & Geosciences - Intelligent methods for processing geodata
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Explaining reasoning in description logics
Explaining reasoning in description logics
The Knowledge Engineering Review
Constructing ontology-driven protein family databases
Bioinformatics
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
How to decide query containment under constraints using a description logic
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Non-standard inferences in description logics
Non-standard inferences in description logics
The OWL instance store: system description
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Building a bioinformatics ontology using OIL
IEEE Transactions on Information Technology in Biomedicine
A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Composing Modular Ontologies with Distributed Description Logics
Modular Ontologies
An Evidence-Driven Probabilistic Inference Framework for Semantic Image Understanding
MLDM '09 Proceedings of the 6th International Conference on Machine Learning and Data Mining in Pattern Recognition
Using semantic web technology to support NLG case study: OWL finds RAGS
INLG '10 Proceedings of the 6th International Natural Language Generation Conference
Semantic web reasoners and languages
Artificial Intelligence Review
Using categorial Context-SHOIQ(D+) DL to migrate between the context-aware scenes
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Image interpretation by combining ontologies and bayesian networks
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
Hi-index | 0.00 |
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information integration), they are perhaps best known as the basis for widely used ontology languages such as OWL (now a W3C recommendation). This decision was motivated by a requirement that key inference problems be decidable, and that it should be possible to provide reasoning services to support ontology design and deployment. Such reasoning services are typically provided by highly optimised implementations of tableaux decision procedures; these have proved to be effective in applications in spite of the high worst case complexity of key inference problems. The increasing use of DL based ontologies in areas such as e-Science and the Semantic Web is, however, already stretching the capabilities of existing DL systems, and brings with it a range of research challenges.