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
66 * 2018 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
23 * 2021 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
21 * 2020 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
20 * 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 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
16 * 2022 Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis F Kriegel
Doctoral Thesis, Theoretical Computer Science, Technische Universität Dresden, 2019
13 * 2019 Most Specific Consequences in the Description Logic F Kriegel
Discrete Applied Mathematics 273, 172–204, 2020
11 2020 Parallel Attribute Exploration F Kriegel
ICCS 2016: 22nd International Conference on Conceptual Structures, Annecy …, 2016
11 2016 Pushing Optimal ABox Repair from Towards More Expressive Horn-DLs F Baader, F Kriegel
KR 2022: 19th International Conference on Principles of Knowledge …, 2022
10 * 2022 Acquisition of Terminological Knowledge from Social Networks in Description Logic F Kriegel
Formal Concept Analysis of Social Networks, 97-142, 2017
10 2017 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 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 NextClosures with Constraints F Kriegel
CLA 2016: 13th International Conference on Concept Lattices and Their …, 2016
9 2016 NextClosures – Parallel Exploration of Constrained Closure Operators F Kriegel
LTCS-Report 15-01, Theoretical Computer Science, Technische Universität Dresden, 2015
9 * 2015 Navigating the Subsumption Hierarchy F Kriegel
DL 2021: 34th International Workshop on Description Logics, Hybrid Event …, 2021
8 * 2021 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 Probabilistic Implication Bases in FCA and Probabilistic Bases of GCIs in F Kriegel
International Journal of General Systems 46 (5), 511-546, 2017
8 2017 Probabilistic Implication Bases in FCA and Probabilistic Bases of GCIs in F Kriegel
CLA 2015: 12th International Conference on Concept Lattices and Their …, 2015
8 * 2015