The Instance Problem and the Most Specific Concept in the Description Logic $\mathcal{EL}$ w.r.t. Terminological Cycles with Descriptive Semantics
- 1 January 2003
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- The Instance Problem and the Most Specific Concept in the Description Logic $\mathcal{EL}$ w.r.t. Terminological Cycles with Descriptive SemanticsPublished by Springer Nature ,2003
- Terminological cycles in a description logic with existential restrictionsPublished by Sachsische Landesbibliothek, Staats- und Universitatsbibliothek Dresden ,2002
- Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cyclesPublished by Sachsische Landesbibliothek, Staats- und Universitatsbibliothek Dresden ,2002
- Non-Standard InferencesPublished by Springer Nature ,2001
- Computing Least Common Subsumer in Description Logics with Existential RestrictionsPublished by Sachsische Landesbibliothek, Staats- und Universitatsbibliothek Dresden ,1998
- Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptionsPublished by Springer Nature ,1998
- Using automata theory for characterizing the semantics of terminological cyclesAnnals of Mathematics and Artificial Intelligence, 1996
- Attributive concept descriptions with complementsArtificial Intelligence, 1991
- TERMINOLOGICAL CYCLESPublished by Elsevier ,1991