Author of the publication

A Multi-reasoner, Justification-Based Approach to Reasoner Correctness.

, , , and . International Semantic Web Conference (2), volume 9367 of Lecture Notes in Computer Science, page 393-408. Springer, (2015)

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.

 

Other publications of authors with the same name

Saturation-Based Uniform Interpolation for Multi-Modal Logics., , and . AiML, page 37-57. College Publications, (2022)Comparing Approaches for Capturing Repetitive Structures in Ontology Design Patterns., , and . WOP@ISWC, volume 2459 of CEUR Workshop Proceedings, page 17-31. CEUR-WS.org, (2019)Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)., , , and . AAAI, page 10581-10588. AAAI Press, (2024)Ontology Stratification Methods: A Comparative Study., , and . MedRACER+WOMoCoE@KR, volume 2237 of CEUR Workshop Proceedings, page 51-62. CEUR-WS.org, (2018)An ABox Revision Algorithm for the Description Logic EL_bot., , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 459-470. CEUR-WS.org, (2014)TBox Reasoning in the Probabilistic Description Logic SHIQp., and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Next Steps for ReAD: Modules for Classification Optimisation., , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Representation of Part-Whole Relationships in SNOMED CT., , , , and . ICBO, volume 897 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)Prevalence and Effects of Class Hierarchy Precompilation in Biomedical Ontologies., , and . ISWC (1), volume 12506 of Lecture Notes in Computer Science, page 330-348. Springer, (2020)Towards Knowledge-aware Few-shot Learning with Ontology-based n-ball Concept Embeddings., , and . ICMLA, page 292-297. IEEE, (2021)