Making Repairs in Description Logics More Gentle F Baader, F Kriegel, A Nuradiansyah, R Peñaloza
KR 2018: 16th International Conference on Principles of Knowledge …, 2018
76 * 2018 Computing Compliant Anonymisations of Quantified ABoxes w.r.t. Policies F Baader, F Kriegel, A Nuradiansyah, R Peñaloza
ISWC 2020: 19th International Semantic Web Conference, Athens, Greece …, 2020
29 * 2020 Computing Optimal Repairs of Quantified ABoxes w.r.t. Static TBoxes F Baader, P Koopmann, F Kriegel, A Nuradiansyah
CADE-28: 28th International Conference on Automated Deduction, Virtual Event …, 2021
27 * 2021 Optimal ABox Repair w.r.t. Static TBoxes: from Quantified ABoxes back to ABoxes F Baader, P Koopmann, F Kriegel, A Nuradiansyah
ESWC 2022: 19th Extended Semantic Web Conference, Hersonissos, Greece, May …, 2022
21 * 2022 Axiomatisation of General Concept Inclusions from Finite Interpretations D Borchmann, F Distel, F Kriegel
Journal of Applied Non-Classical Logics 26 (1), 1-46, 2016
21 * 2016 NextClosures: Parallel Computation of the Canonical Base F Kriegel, D Borchmann
CLA 2015: 12th International Conference on Concept Lattices and Their …, 2015
18 2015 Most Specific Consequences in the Description Logic F Kriegel
Discrete Applied Mathematics 273, 172–204, 2020
14 2020 Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis F Kriegel
Doctoral Thesis, Theoretical Computer Science, Technische Universität Dresden, 2019
14 * 2019 Pushing Optimal ABox Repair from Towards More Expressive Horn-DLs F Baader, F Kriegel
KR 2022: 19th International Conference on Principles of Knowledge …, 2022
13 * 2022 Acquisition of Terminological Knowledge from Social Networks in Description Logic F Kriegel
Formal Concept Analysis of Social Networks, 97-142, 2017
12 2017 Parallel Attribute Exploration F Kriegel
ICCS 2016: 22nd International Conference on Conceptual Structures, Annecy …, 2016
11 2016 NextClosures: Parallel Computation of the Canonical Base with Background Knowledge F Kriegel, D Borchmann
International Journal of General Systems 46 (5), 490-510, 2017
10 2017 Navigating the Subsumption Hierarchy F Kriegel
DL 2021: 34th International Workshop on Description Logics, Hybrid Event …, 2021
9 * 2021 The Distributive, Graded Lattice of Concept Descriptions and its Neighborhood Relation F Kriegel
CLA 2018: 14th International Conference on Concept Lattices and Their …, 2018
9 * 2018 Probabilistic Implication Bases in FCA and Probabilistic Bases of GCIs in F Kriegel
International Journal of General Systems 46 (5), 511-546, 2017
9 2017 NextClosures with Constraints F Kriegel
CLA 2016: 13th International Conference on Concept Lattices and Their …, 2016
9 2016 Probabilistic Implication Bases in FCA and Probabilistic Bases of GCIs in F Kriegel
CLA 2015: 12th International Conference on Concept Lattices and Their …, 2015
9 * 2015 NextClosures – Parallel Exploration of Constrained Closure Operators F Kriegel
LTCS-Report 15-01, Theoretical Computer Science, Technische Universität Dresden, 2015
9 * 2015 Safety of Quantified ABoxes w.r.t. Singleton Policies F Baader, F Kriegel, A Nuradiansyah, R Peñaloza
SAC 2021: 36th Annual ACM Symposium on Applied Computing, Virtual Event …, 2021
8 * 2021 Privacy-Preserving Ontology Publishing for Instance Stores F Baader, F Kriegel, A Nuradiansyah
JELIA 2019: 16th European Conference on Logics in Artificial Intelligence …, 2019
8 * 2019