Enhancing Magic Sets with an Application to Ontological Reasoning.
Mario AlvianoNicola LeonePierfrancesco VeltriJessica ZangariPublished in: Theory Pract. Log. Program. (2019)
Keyphrases
- ontological reasoning
- magic sets
- logic programs
- domain knowledge
- computational properties
- datalog programs
- logic programming
- update propagation
- ontology matching
- query answering
- fixpoint
- recursive queries
- replicated databases
- deductive databases
- semi automatic
- incomplete information
- materialized views
- ontology mapping
- information extraction
- databases