Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.
Alessandro ArtaleJean Christoph JungAndrea MazzulloAna OzakiFrank WolterPublished in: CoRR (2020)
Keyphrases
- description logics
- expressive description logics
- terminological knowledge
- knowledge base
- knowledge representation languages
- number restrictions
- reasoning tasks
- knowledge representation and reasoning
- semantic web
- computational properties
- exptime complete
- reasoning systems
- inverse roles
- knowledge representation systems
- knowledge representation
- reasoning problems
- reasoning services
- transitive closure of roles
- knowledge representation formalisms
- owl dl
- machine learning
- ontology languages
- xml documents
- artificial intelligence