Learning explanatory rules from noisy data
Artificial Neural Networks are powerful function approximators capable of modelling
solutions to a wide variety of problems, both supervised and unsupervised. As their size and …
solutions to a wide variety of problems, both supervised and unsupervised. As their size and …
[BOOK][B] Introduction to description logic
Description logics (DLs) have a long tradition in computer science and knowledge
representation, being designed so that domain knowledge can be described and so that …
representation, being designed so that domain knowledge can be described and so that …
Swift Logic for Big Data and Knowledge Graphs: Overview of Requirements, Language, and System
Many modern companies wish to maintain knowledge in the form of a corporate knowledge
graph and to use and manage this knowledge via a knowledge graph management system …
graph and to use and manage this knowledge via a knowledge graph management system …
Ontologies and data management: a brief survey
Abstract Information systems have to deal with an increasing amount of data that is
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …
Taming the infinite chase: Query answering under expressive relational constraints
The chase algorithm is a fundamental tool for query evaluation and for testing query
containment under tuple-generating dependencies (TGDs) and equality-generating …
containment under tuple-generating dependencies (TGDs) and equality-generating …
On rules with existential variables: Walking the decidability line
We consider positive rules in which the conclusion may contain existentially quantified
variables, which makes reasoning tasks (such as conjunctive query answering or …
variables, which makes reasoning tasks (such as conjunctive query answering or …
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 …
The Vadalog system: Datalog-based reasoning for knowledge graphs
Over the past years, there has been a resurgence of Datalog-based systems in the database
community as well as in industry. In this context, it has been recognized that to handle the …
community as well as in industry. In this context, it has been recognized that to handle the …
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 …
Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP
Ontology-based data access is concerned with querying incomplete data sources in the
presence of domain-specific knowledge provided by an ontology. A central notion in this …
presence of domain-specific knowledge provided by an ontology. A central notion in this …