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...
| Asıl Yazarlar: | , , |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Journal article |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
ACM
2009
|
Search Result 1
A General Datalog−Based Framework for Tractable Query Answering over Ontologies
Baskı/Yayın Bilgisi 2012
Report
Search Result 2
A general Datalog-based framework for tractable query answering over ontologies.
Baskı/Yayın Bilgisi 2012
Journal article
Search Result 3
A General Datalog−Based Framework for Tractable Query Answering over Ontologies
Baskı/Yayın Bilgisi 2012
Journal article
Search Result 4
A General Datalog−Based Framework for Tractable Query Answering over Ontologies
Baskı/Yayın Bilgisi 2009
Conference item