Conservative Rewritability of Description Logic TBoxes.
Boris KonevCarsten LutzFrank WolterMichael ZakharyaschevPublished in: IJCAI (2016)
Keyphrases
- description logics
- knowledge representation
- knowledge base
- dl lite
- reasoning tasks
- semantic web
- computing least common subsumers
- reasoning mechanism
- computational properties
- owl ontologies
- reasoning problems
- concept descriptions
- reasoning services
- data mining
- model theoretic
- probabilistic reasoning
- expert systems
- knowledge representation languages
- ontology reasoning