Reasoning with Individuals for the Description Logic $\mathcal{SHIQ}$
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 482-496
- https://doi.org/10.1007/10721959_39
Abstract
No abstract availableKeywords
All Related Versions
This publication has 9 references indexed in Scilit:
- A description logic with transitive and inverse roles and role hierarchiesJournal of Logic and Computation, 1999
- A Road-Map on Complexity for Hybrid LogicsPublished by Springer Nature ,1999
- Practical Reasoning for Expressive Description LogicsPublished by Springer Nature ,1999
- Query Containment Using a DLR ABoxPublished by Sachsische Landesbibliothek, Staats- und Universitatsbibliothek Dresden ,1999
- On the decidability of query containment under constraintsPublished by Association for Computing Machinery (ACM) ,1998
- Reasoning with individuals in concept languagesData & Knowledge Engineering, 1994
- Decidable Reasoning in Terminological Knowledge Representation SystemsJournal of Artificial Intelligence Research, 1993
- On the expressivity of feature logics with negation, functional uncertainty, and sort equationsJournal of Logic, Language and Information, 1993
- Attributive concept descriptions with complementsArtificial Intelligence, 1991