Optimal ABox Repair wrt Static TBoxes: From Quantified ABoxes Back to ABoxes

F Baader, P Koopmann, F Kriegel… - European Semantic Web …, 2022 - Springer
Abstract Errors in Description Logic (DL) ontologies are often detected when a reasoner
computes unwanted consequences. The question is then how to repair the ontology such …

Computing Compliant Anonymisations of Quantified ABoxes wrt Policies

F Baader, F Kriegel, A Nuradiansyah… - International Semantic …, 2020 - Springer
We adapt existing approaches for privacy-preserving publishing of linked data to a setting
where the data are given as Description Logic (DL) ABoxes with possibly anonymised …

Optimal Repairs in the Description Logic Revisited

F Baader, P Koopmann, F Kriegel - European Conference on Logics in …, 2023 - Springer
Abstract Ontologies based on Description Logics may contain errors, which are usually
detected when reasoning produces consequences that follow from the ontology, but do not …

Error-Tolerant Reasoning in the Description Logic Based on Optimal Repairs

F Baader, F Kriegel, A Nuradiansyah - International Joint Conference on …, 2022 - Springer
Abstract Ontologies based on Description Logic (DL) represent general background
knowledge in a terminology (TBox) and the actual data in an ABox. Both human-made and …

Mixing Description Logics in Privacy-Preserving Ontology Publishing

F Baader, A Nuradiansyah - Joint German/Austrian Conference on …, 2019 - Springer
In previous work, we have investigated privacy-preserving publishing of Description Logic
(DL) ontologies in a setting where the knowledge about individuals to be published is an EL …

Reasoning in description logic ontologies for privacy management

A Nuradiansyah - KI-Künstliche Intelligenz, 2020 - Springer
This work is initially motivated by a privacy scenario in which the confidential information
about persons or its properties formulated in description logic (DL) ontologies should be …

[PDF][PDF] LTCS–Report

F Baader, S Borgwardt, B Morawska - 2007 - iccl.inf.tu-dresden.de
Abstract Unification in Description Logics (DLs) has been proposed as an inference service
that can, for example, be used to detect redundancies in ontologies. For the DL EL, which is …

[引用][C] Computing Compliant Anonymisations of Quantified ABoxes wrt EL Policies: Extended Version

F Baader - 2020 - Deutsche Nationalbibliothek