Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Consistency Testing: The RACE Experience
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Extensions of Concept Languages for a Mechanical Engineering Application
GWAI '92 Proceedings of the 16th German Conference on Artificial Intelligence: Advances in Artificial Intelligence
The Complexity of Reasoning with Concrete Domains Revised Version
The Complexity of Reasoning with Concrete Domains Revised Version
The Description Logic ALCNHR+ Extended with Concrete Domains
The Description Logic ALCNHR+ Extended with Concrete Domains
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
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
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook
Product knowledge reasoning: a DL-based approach
ICEC '05 Proceedings of the 7th international conference on Electronic commerce
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
On scene interpretation with description logics
Image and Vision Computing
OWL Datatypes: Design and Implementation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
On the scalability of description logic instance retrieval
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
The expressive language ALCNHR+K(D) for knowledge reasoning
KDXD'06 Proceedings of the First international conference on Knowledge Discovery from XML Documents
| Hi-index | 0.00 |
In this paper the description logic ALCNHR+(D)- is introduced. Prominent language features beyond conjunction, full negation, and quantifiers are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions, and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called existential predicate restriction is provided. However, compared to ALC(D) only features and no feature chains are allowed in this operator. This results in a limited expressivity w.r.t. concrete domains but is required to ensure the decidability of the language. We show that the results can be exploited for building practical description logic systems for solving e.g. configuration problems.