Approximating Most Specific Concepts in Description Logics with Existential Restrictions
- 3 September 2001
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Non-Standard Inferences in Description LogicsPublished by Springer Nature ,2001
- What's in an Attribute? Consequences for the Least Common SubsumerJournal of Artificial Intelligence Research, 2001
- Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept AnalysisPublished by Springer Nature ,2000
- Rome: A repository to support the integration of models over the lifecycle of model-based engineering processesPublished by Elsevier ,2000
- Computing Least Common Subsumers in ALENPublished by Sachsische Landesbibliothek, Staats- und Universitatsbibliothek Dresden ,2000
- 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
- Learning the CLASSIC Description Logic: Theoretical and Experimental ResultsPublished by Elsevier ,1994
- On the complexity of the instance checking problem in concept languages with existential quantificationJournal of Intelligent Information Systems, 1993