Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).
Alessandro ArtaleJean Christoph JungAndrea MazzulloAna OzakiFrank WolterPublished in: Description Logics (2020)
Keyphrases
- extended abstract
- description logics
- terminological knowledge
- expressive description logics
- knowledge representation languages
- knowledge base
- inverse roles
- reasoning tasks
- number restrictions
- exptime complete
- dl lite
- reasoning problems
- semantic web
- computing least common subsumers
- knowledge representation formalisms
- knowledge representation and reasoning
- computational properties
- knowledge representation
- concept descriptions
- reasoning systems
- owl dl
- model theoretic
- ontology languages
- transitive closure of roles