More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.
Jean Christoph JungAndrea MazzulloFrank WolterPublished in: Description Logics (2022)
Keyphrases
- description logics
- number restrictions
- expressive description logics
- knowledge base
- terminological knowledge
- inverse roles
- knowledge representation languages
- computational properties
- knowledge representation
- dl lite
- knowledge representation and reasoning
- reasoning tasks
- reasoning problems
- semantic web
- exptime complete
- knowledge representation formalisms
- reasoning services
- owl ontologies
- computing least common subsumers
- reasoning systems
- ontology languages
- dl programs