Author of the publication

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)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)Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)., , , and . AAAI, page 10581-10588. AAAI Press, (2024)Finding Fault: Detecting Issues in a Versioned Ontology., , , , and . ESWC (Satellite Events), volume 7955 of Lecture Notes in Computer Science, page 113-124. Springer, (2013)Visual-Semantic Embedding Model Informed by Structured Knowledge., , and . STAIRS@ECAI, volume 2655 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)