Checking Chase Termination over Ontologies of Existential Rules with Equality.
David CarralJacopo UrbaniPublished in: CoRR (2019)
Keyphrases
- query answering
- ontology based data access
- active rules
- background knowledge
- termination analysis
- knowledge representation
- semantic web
- dl programs
- dl lite
- consistency checking
- association rules
- databases
- rule language
- owl ontologies
- rule sets
- active databases
- normal form
- semantic web technologies
- functional dependencies
- classification rules
- association rule mining
- domain specific
- knowledge base
- data dependencies
- domain ontology
- attribute values
- type checking
- metadata
- existentially quantified
- ontology mappings