Checking Chase Termination over Ontologies of Existential Rules with Equality.
David CarralJacopo UrbaniPublished in: AAAI (2020)
Keyphrases
- query answering
- ontology based data access
- dl lite
- active rules
- owl ontologies
- termination analysis
- conjunctive queries
- domain specific
- classification rules
- integrity constraints
- incomplete information
- rule sets
- existentially quantified
- association rules
- active databases
- semantic web
- ontology alignment
- data exchange
- dl programs
- rule engine
- background knowledge
- database systems
- type checking
- ontology matching
- data dependencies
- semantic technologies
- concept hierarchy
- knowledge base
- knowledge sources
- attribute values
- functional dependencies