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
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Extending Datatype Support in Web Ontology Reasoning
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
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
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th 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
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Non-standard inferences in description logics
Non-standard inferences in description logics
Building a bioinformatics ontology using OIL
IEEE Transactions on Information Technology in Biomedicine
Measuring similarity between semantic business process models
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
Chemical Knowledge for the Semantic Web
DILS '08 Proceedings of the 5th international workshop on Data Integration in the Life Sciences
yOWL: An ontology-driven knowledge base for yeast biologists
Journal of Biomedical Informatics
Force deployment analysis with generalized grammar
Information Fusion
Logical queries over views: Decidability and expressiveness
ACM Transactions on Computational Logic (TOCL)
Parallelizing tableaux-based description logic reasoning
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
| Hi-index | 0.00 |
Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ones, and by an emphasis on the provision of sound, complete and (empirically) tractable reasoning services. They have a range of applications, but are mostly widely known as the basis for ontology languages such as OWL. 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 challenges for future research.