Sciweavers

83 search results - page 1 / 17
» Tractable Query Answering over Ontologies with Datalog -
Sort
View
92
Voted
DLOG
2009
15 years 17 days ago
Tractable Query Answering over Ontologies with Datalog+/-
Abstract. We present a family of expressive extensions of Datalog, called Datalog
Andrea Calì, Georg Gottlob, Thomas Lukasiew...
LICS
2010
IEEE
14 years 9 months ago
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...
Andrea Calì, Georg Gottlob, Thomas Lukasiew...
ECAI
2010
Springer
15 years 17 days ago
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Abstract. The deployment of KR formalisms to the Web has created the need for formalisms that combine heterogeneous knowledge bases. Nonmonotonic dl-programs provide a loose integr...
Stijn Heymans, Thomas Eiter, Guohui Xiao
JAPLL
2010
179views more  JAPLL 2010»
14 years 10 months ago
Tractable query answering and rewriting under description logic constraints
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
Héctor Pérez-Urbina, Boris Motik, Ia...
PODS
2009
ACM
170views Database» more  PODS 2009»
16 years 13 hour ago
A general datalog-based framework for tractable query answering over ontologies
d Abstract) Andrea Cal`i2,1 , Georg Gottlob1,2 , and Thomas Lukasiewicz1, 1 Computing Laboratory, University of Oxford, UK firstname.lastname@comlab.ox.ac.uk 2 Oxford-Man Institute...
Andrea Calì, Georg Gottlob, Thomas Lukasiew...