Description Logics
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Reasoning in Expressive Description LogicsPublished by Elsevier ,2001
- An Overview of Tableau Algorithms for Description LogicsStudia Logica, 2001
- Matching in description logicsJournal of Logic and Computation, 1999
- Engineering ontologiesInternational Journal of Human-Computer Studies, 1997
- Cardinality restrictions on conceptsArtificial Intelligence, 1996
- On the relative expressiveness of description logics and predicate logicsArtificial Intelligence, 1996
- 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
- The complexity of existential quantification in concept languagesArtificial Intelligence, 1992
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985