Abductive logic programming for Datalog +/- ontologies.
Marco GavanelliEvelina LammaFabrizio RiguzziElena BellodiRiccardo ZeseGiuseppe CotaPublished in: CILC (2015)
Keyphrases
- abductive logic programming
- answer set semantics
- dl programs
- logic programs
- answer sets
- logic programming
- ontology languages
- ontology based data access
- answer set programming
- query answering
- expressive power
- semantic web
- deductive databases
- knowledge base
- description logics
- data complexity
- query language
- knowledge representation
- information integration
- propositional logic
- formal semantics
- fixpoint
- artificial intelligence
- integrity constraints
- owl ontologies
- conceptual modeling
- domain specific
- databases
- semantic relations
- proof procedure
- information systems