Katara: A data cleaning system powered by knowledge bases and crowdsourcing

X Chu, J Morcos, IF Ilyas, M Ouzzani, P Papotti… - Proceedings of the …, 2015 - dl.acm.org
Classical approaches to clean data have relied on using integrity constraints, statistics, or
machine learning. These approaches are known to be limited in the cleaning accuracy …

A general datalog-based framework for tractable query answering over ontologies

A Calì, G Gottlob, T Lukasiewicz - Proceedings of the twenty-eighth ACM …, 2009 - dl.acm.org
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 …

Data complexity of query answering in description logics

D Calvanese, G De Giacomo, D Lembo, M Lenzerini… - Artificial Intelligence, 2013 - Elsevier
In this paper we study data complexity of answering conjunctive queries over description
logic (DL) knowledge bases constituted by a TBox and an ABox. In particular, we are …

Towards more expressive ontology languages: The query answering problem

A Calì, G Gottlob, A Pieris - Artificial Intelligence, 2012 - Elsevier
Ontology reasoning finds a relevant application in the so-called ontology-based data
access, where a classical extensional database (EDB) is enhanced by an ontology, in the …

Datalog+/-: A family of logical knowledge representation and query languages for new applications

A Calì, G Gottlob, T Lukasiewicz… - 2010 25th annual …, 2010 - ieeexplore.ieee.org
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 for a variety …

Ontological queries: Rewriting and optimization

G Gottlob, G Orsi, A Pieris - 2011 IEEE 27th International …, 2011 - ieeexplore.ieee.org
Ontological queries are evaluated against an enterprise ontology rather than directly on a
database. The evaluation and optimization of such queries is an intriguing new problem for …

Methods of building intelligent decision support systems based on adaptive ontology

V Lytvyn, V Vysotska, D Dosyn… - 2018 IEEE Second …, 2018 - ieeexplore.ieee.org
The approach to the development of intelligent decision support systems using ontology
knowledge bases consisting of such systems in the article is considered. The classification …

[PDF][PDF] Extending decidable existential rules by joining acyclicity and guardedness

M Krötzsch, S Rudolph - IJCAI Proceedings-International Joint …, 2011 - iccl.inf.tu-dresden.de
Existential rules, ie Datalog extended with existential quantifiers in rule heads, are currently
studied under a variety of names such as Datalog+/–,∀∃-rules, and tuple-generating …

A better uncle for OWL: Nominal schemas for integrating rules and ontologies

M Krötzsch, F Maier, A Krisnadhi, P Hitzler - Proceedings of the 20th …, 2011 - dl.acm.org
We propose a description-logic style extension of OWL 2 with nominal schemas which can
be used like" variable nominal classes" within axioms. This feature allows ontology …

[HTML][HTML] The price of query rewriting in ontology-based data access

G Gottlob, S Kikot, R Kontchakov, V Podolskii… - Artificial Intelligence, 2014 - Elsevier
We give a solution to the succinctness problem for the size of first-order rewritings of
conjunctive queries in ontology-based data access with ontology languages such as OWL 2 …