A general datalog-based framework for tractable query answering over ontologies.
In this paper, we introduce a family of expressive extensions of Datalog, called Datalog±, as a new paradigm for query answering over ontologies. The Datalog± family admits existentially quantified variables in rule heads, and has suitable restrictions to ensure highly efficient ontology querying. W...
প্রধান লেখক: | , , |
---|---|
অন্যান্য লেখক: | |
বিন্যাস: | Journal article |
ভাষা: | English |
প্রকাশিত: |
ACM
2009
|