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...
Príomhchruthaitheoirí: | Calì, A, Gottlob, G, Lukasiewicz, T |
---|---|
Rannpháirtithe: | Paredaens, J |
Formáid: | Journal article |
Teanga: | English |
Foilsithe / Cruthaithe: |
ACM
2009
|
Míreanna comhchosúla
Míreanna comhchosúla
-
Tractable Query Answering over Ontologies with Datalog+⁄−
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009) -
A General Datalog−Based Framework for Tractable Query Answering over Ontologies
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009) -
A General Datalog−Based Framework for Tractable Query Answering over Ontologies
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2012) -
A general Datalog-based framework for tractable query answering over ontologies.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2012) -
A General Datalog−Based Framework for Tractable Query Answering over Ontologies
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2012)