Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).
Marie FortinBoris KonevFrank WolterPublished in: Description Logics (2021)
Keyphrases
- extended abstract
- description logics
- terminological knowledge
- mathcal shiq
- function free horn
- knowledge representation languages
- knowledge base
- knowledge representation
- reasoning tasks
- knowledge representation and reasoning
- dl lite
- reasoning systems
- concept descriptions
- computational properties
- knowledge representation formalisms
- knowledge representation systems
- np hard
- semantic web
- reasoning problems
- propositional logic
- ontology languages
- reasoning services
- expert systems
- lower bound
- transitive closure of roles
- database systems