AL-log: Integrating Datalog and Description Logics.
Francesco M. DoniniMaurizio LenzeriniDaniele NardiAndrea SchaerfPublished in: J. Intell. Inf. Syst. (1998)
Keyphrases
- description logics
- ontology based data access
- dl programs
- ontology languages
- dl lite
- query answering
- expressive power
- knowledge base
- computational properties
- function free horn
- reasoning tasks
- concept descriptions
- knowledge representation formalisms
- deductive databases
- semantic web
- query rewriting
- query language
- terminological knowledge
- computing least common subsumers
- reasoning problems
- data complexity
- knowledge representation
- model theoretic
- datalog programs
- reasoning services
- number restrictions
- knowledge representation and reasoning
- knowledge representation languages
- data exchange
- exptime complete
- owl ontologies