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 …

A brief survey on forgetting from a knowledge representation and reasoning perspective

T Eiter, G Kern-Isberner - KI-Künstliche Intelligenz, 2019 - Springer
Forgetting is an ambivalent concept of (human) intelligence. By definition, it is negatively
related to knowledge in that knowledge is lost, be it deliberately or not, and therefore …

Foundations for uniform interpolation and forgetting in expressive description logics

C Lutz, F Wolter - arXiv preprint arXiv:1104.2825, 2011 - arxiv.org
We study uniform interpolation and forgetting in the description logic ALC. Our main results
are model-theoretic characterizations of uniform inter-polants and their existence in terms of …

Logic-based ontology comparison and module extraction, with an application to DL-Lite

R Kontchakov, F Wolter, M Zakharyaschev - Artificial Intelligence, 2010 - Elsevier
We develop a formal framework for comparing different versions of ontologies, and apply it
to ontologies formulated in terms of DL-Lite, a family of 'lightweight'description logics …

[HTML][HTML] Model-theoretic inseparability and modularity of description logic ontologies

B Konev, C Lutz, D Walther, F Wolter - Artificial Intelligence, 2013 - Elsevier
The aim of this paper is to introduce and study model-theoretic notions of modularity in
description logic and related reasoning problems. Our approach is based on a …

A knowledge level account of forgetting

JP Delgrande - Journal of Artificial Intelligence Research, 2017 - jair.org
Forgetting is an operation on knowledge bases that has been addressed in different areas of
Knowledge Representation and with respect to different formalisms, including classical …

Forgetting for knowledge bases in DL-Lite

Z Wang, K Wang, R Topor, JZ Pan - Annals of Mathematics and Artificial …, 2010 - Springer
To support the reuse and combination of ontologies in Semantic Web applications, it is often
necessary to obtain smaller ontologies from existing larger ontologies. In particular …

Uniform interpolation and forgetting for ALC ontologies with ABoxes

P Koopmann, R Schmidt - Proceedings of the AAAI Conference on …, 2015 - ojs.aaai.org
Uniform interpolation and the dual task of forgetting restrict the ontology to a specified subset
of concept and role names. This makes them useful tools for ontology analysis, ontology …

[PDF][PDF] An automata-theoretic approach to uniform interpolation and approximation in the description logic EL

C Lutz, I Seylan, F Wolter - … Conference on the Principles of Knowledge …, 2012 - cdn.aaai.org
We study (i) uniform interpolation for TBoxes that are formulated in the lightweight
description logic EL and (ii) EL-approximations of TBoxes formulated in more expressive …

Ontology extraction for large ontologies via modularity and forgetting

J Chen, G Alghamdi, RA Schmidt, D Walther… - Proceedings of the 10th …, 2019 - dl.acm.org
We are interested in the computation of ontology extracts based on forgetting from large
ontologies in real-world scenarios. Such scenarios require nearly all of the terms in the …