On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
Ontological query processing is an exciting research topic in database theory, knowledge representation, and logic programming. In many cases, ontological constraints are expressed over an extensional database by extending traditional Datalog rules to allow existential quantification and equality at...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Book |
| Published: |
2012
|