Ontologies and data management: a brief survey

T Schneider, M Šimkus - KI-Künstliche Intelligenz, 2020 - Springer
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 …

The recommended description of an entrustable professional activity: AMEE Guide No. 140

O Ten Cate, DR Taylor - Medical teacher, 2021 - Taylor & Francis
Entrustable professional activities (EPAs) have received much attention in the literature
since they were first proposed in 2005. Useful guidelines, workshops, courses, and …

Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP

M Bienvenu, BT Cate, C Lutz, F Wolter - ACM Transactions on Database …, 2014 - dl.acm.org
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 …

Queries with guarded negation

V Bárány, B Ten Cate, M Otto - Proceedings of the VLDB Endowment, 2012 - dl.acm.org
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 …

How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic

LG Álvarez, S Rudolph, H Strass - International Semantic Web Conference, 2022 - Springer
The importance of taking individual, potentially conflicting perspectives into account when
dealing with knowledge has been widely recognised. Many existing ontology management …

Guarded-based disjunctive tuple-generating dependencies

P Bourhis, M Manna, M Morak, A Pieris - ACM Transactions on Database …, 2016 - dl.acm.org
We perform an in-depth complexity analysis of query answering under guarded-based
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

JC Jung, F Wolter - 2021 36th Annual ACM/IEEE Symposium …, 2021 - ieeexplore.ieee.org
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 …

Queries with negation and inequalities over lightweight ontologies

V Gutiérrez-Basulto, Y Ibáñez-García… - Journal of Web …, 2015 - Elsevier
While the problem of answering positive existential queries, in particular, conjunctive
queries (CQs) and unions of CQs, over description logic ontologies has been studied …

Rewriting guarded negation queries

V Bárány, M Benedikt, B Ten Cate - International Symposium on …, 2013 - Springer
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 …

Programmable view update strategies on relations

VD Tran, H Kato, Z Hu - arxiv preprint arxiv:1911.05921, 2019 - arxiv.org
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 …