Francesco Kriegel
Orcid: 0000-0003-0219-0330Affiliations:
- Technische Universität Dresden, Germany (PhD 2019)
According to our database1,
Francesco Kriegel
authored at least 44 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
On csauthors.net:
Bibliography
2024
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies.
Proceedings of the Foundations of Information and Knowledge Systems, 2024
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
2022
Error-Tolerant Reasoning in the Description Logic <i>E</i>ℒ Based on Optimal Repairs.
Proceedings of the Rules and Reasoning, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the KI 2022: Advances in Artificial Intelligence, 2022
Optimal ABox Repair w.r.t. Static <i>EL</i> TBoxes: From Quantified ABoxes Back to ABoxes.
Proceedings of the Semantic Web - 19th International Conference, 2022
Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox.
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Proceedings of the Automated Deduction - CADE 28, 2021
2020
Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis.
Künstliche Intell., 2020
Proceedings of the Semantic Web - ISWC 2020, 2020
2019
Constructing and extending description logic ontologies using methods of formal concept analysis.
PhD thesis, 2019
The Distributive, Graded Lattice of EL Concept Descriptions and its Neighborhood Relation (Extended Version).
CoRR, 2019
Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic.
Proceedings of the Formal Concept Analysis - 15th International Conference, 2019
2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
The Distributive, Graded Lattice of EL Concept Descriptions and its Neighborhood Relation.
Proceedings of the Fourteenth International Conference on Concept Lattices and Their Applications, 2018
2017
Proceedings of the Formal Concept Analysis of Social Networks, 2017
Int. J. Gen. Syst., 2017
Int. J. Gen. Syst., 2017
Proceedings of the Formal Concept Analysis - 14th International Conference, 2017
Proceedings of the Formal Concept Analysis - 14th International Conference, 2017
2016
J. Appl. Non Class. Logics, 2016
Proceedings of the Graph-Based Representation and Reasoning, 2016
Axiomatization of General Concept Inclusions from Streams of Interpretations with Optional Error Tolerance.
Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence, 2016
Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, 2016
2015
Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015
Proceedings of the Workshop on Social Network Analysis using Formal Concept Analysis in conjunction with the 13th International Conference on Formal Concept Analysis (ICFCA 2015), 2015
Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept Analysis.
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, 2015
Probabilistic Implicational Bases in FCA and Probabilistic Bases of GCIs in EL<sup>⊥</sup>.
Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, 2015