On Integrating Description Logics and Rules under Minimal Hypotheses.
Anees MehdiAlexandre Miguel PintoSebastian RudolphPublished in: RR (2012)
Keyphrases
- description logics
- dl programs
- knowledge base
- concept descriptions
- highly expressive
- reasoning tasks
- dl lite
- computational properties
- owl ontologies
- semantic web
- knowledge representation
- knowledge representation and reasoning
- reasoning problems
- production rules
- knowledge representation systems
- description logic programs
- computing least common subsumers
- ontology languages
- function free horn
- knowledge representation formalisms
- reasoning services
- fuzzy description logics
- causal models
- model theoretic
- reasoning systems
- business rules
- knowledge representation languages
- inductive learning
- expert systems