PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kriegel, Francesco"

Author of the publication

copydeleteadd this publication to your clipboard
Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs

, and . Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 -- August 5, 2022, page 22--32. (2022)
DOI: https://doi.org/10.24963/kr.2022/3

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Kriegel, Francesco
add a person with the name Kriegel, Francesco
 

Other publications of authors with the same name

Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes, , , and . Proceedings of the 19th Extended Semantic Web Conference, ESWC 2022, Hersonissos, Greece, May 29 -- June 2, 2022, volume 13261 of Lecture Notes in Computer Science, page 130--146. Springer, (2022)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), Bergen, Norway, June 18--21, 2024, volume 3739 of CEUR Workshop Proceedings, CEUR-WS.org, (2024)Inconsistency- and Error-Tolerant Reasoning w.r.t.\ Optimal Repairs of ℰℒ⊥ Ontologies, , and . Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), April 8--11, 2024, Sheffield, United Kingdom, volume 14589 of Lecture Notes in Computer Science, page 3--22. Springer, (2024)Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version), , , and . LTCS-Report, 22-01. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)Error-Tolerant Reasoning in ℰℒ w.r.t.\ Optimal ABox Repairs (Extended Abstract), , and . Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2--4, 2023, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract), , , and . Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Inconsistency- and Error-Tolerant Reasoning w.r.t.\ Optimal Repairs of ℰℒ⊥ Ontologies (Extended Version), , and . LTCS-Report, 24-02. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2024)Error-Tolerant Reasoning in the Description Logic ℰℒ Based On Optimal Repairs, , and . Proceedings of the 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Virtual, September 26--28, 2022, volume 13752 of Lecture Notes in Computer Science, page 227--243. Springer, (2022)Optimal Repairs in the Description Logic ℰℒ Revisited (Extended Version), , and . LTCS-Report, 23-03. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2023)Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning, , and . Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing (SAC '23), March 27--31, 2023, Tallinn, Estonia, page 974--982. Association for Computing Machinery, (2023)