Sciweavers

83 search results - page 1 / 17
» Tractable Query Answering over Ontologies with Datalog -
Sort
View
DLOG
2009
14 years 2 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
13 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
14 years 3 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»
13 years 9 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»
14 years 11 months 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...