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 …
The recommended description of an entrustable professional activity: AMEE Guide No. 140
Entrustable professional activities (EPAs) have received much attention in the literature
since they were first proposed in 2005. Useful guidelines, workshops, courses, and …
since they were first proposed in 2005. Useful guidelines, workshops, courses, and …
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 …
Queries with guarded negation
A well-established and fundamental insight in database theory is that negation (also known
as complementation) tends to make queries difficult to process and difficult to reason about …
as complementation) tends to make queries difficult to process and difficult to reason about …
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
The importance of taking individual, potentially conflicting perspectives into account when
dealing with knowledge has been widely recognised. Many existing ontology management …
dealing with knowledge has been widely recognised. Many existing ontology management …
Guarded-based disjunctive tuple-generating dependencies
We perform an in-depth complexity analysis of query answering under guarded-based
classes of disjunctive tuple-generating dependencies (DTGDs), focusing on (unions of) …
classes of disjunctive tuple-generating dependencies (DTGDs), focusing on (unions of) …
Living without Beth and Craig: Definitions and interpolants in the guarded and two-variable fragments
In logics with the Craig interpolation property (CIP) the existence of an interpolant for an
implication follows from the validity of the implication. In logics with the projective Beth …
implication follows from the validity of the implication. In logics with the projective Beth …
Queries with negation and inequalities over lightweight ontologies
While the problem of answering positive existential queries, in particular, conjunctive
queries (CQs) and unions of CQs, over description logic ontologies has been studied …
queries (CQs) and unions of CQs, over description logic ontologies has been studied …
Rewriting guarded negation queries
Abstract The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that
contains all unions of conjunctive queries, a restricted form of negation that suffices for …
contains all unions of conjunctive queries, a restricted form of negation that suffices for …
Programmable view update strategies on relations
View update is an important mechanism that allows updates on a view by translating them
into the corresponding updates on the base relations. The existing literature has shown the …
into the corresponding updates on the base relations. The existing literature has shown the …