Katara: A data cleaning system powered by knowledge bases and crowdsourcing
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 …
machine learning. These approaches are known to be limited in the cleaning accuracy …
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 …
as a new paradigm for query answering over ontologies. The Datalog+/-family admits …
Data complexity of query answering in description logics
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 …
logic (DL) knowledge bases constituted by a TBox and an ABox. In particular, we are …
Towards more expressive ontology languages: The query answering problem
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 …
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
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 …
called Datalog+/-, which is a new framework for tractable ontology querying, and for a variety …
Ontological queries: Rewriting and optimization
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 …
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
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 …
knowledge bases consisting of such systems in the article is considered. The classification …
[PDF][PDF] Extending decidable existential rules by joining acyclicity and guardedness
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 …
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
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 …
be used like" variable nominal classes" within axioms. This feature allows ontology …
[HTML][HTML] The price of query rewriting in ontology-based data access
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 …
conjunctive queries in ontology-based data access with ontology languages such as OWL 2 …