On Combining Description Logic Ontologies and Nonrecursive Datalog Rules.
Riccardo RosatiPublished in: RR (2008)
Keyphrases
- dl programs
- description logics
- description logic programs
- dl lite
- ontology languages
- knowledge base
- reasoning tasks
- expressive power
- knowledge representation
- concept descriptions
- semantic web
- reasoning mechanism
- owl ontologies
- ontology based data access
- datalog programs
- logic programs
- reasoning problems
- reasoning services
- answer sets
- function free horn
- owl dl
- exptime complete
- ontology reasoning
- formal ontologies
- snomed ct
- answer set programming