@conference {ICBO_2018_9, title = {ICBO_2018_9: A Prot{\'e}g{\'e} Plug-In for Test-Driven Ontology Development}, booktitle = {International Conference on Biomedical Ontology (ICBO 2018)}, series = {Proceedings of the International Conference on Biological Ontology (2018)}, year = {2018}, month = {08/06/2018}, publisher = {International Conference on Biological Ontology}, organization = {International Conference on Biological Ontology}, abstract = {

Ontology development is a hard and often error-prone process, which requires ontology authors to correctly express their domain knowledge in a formal language. One way to ensure the quality of the resulting ontology is to use test cases, similarly to the best practices in software development. For ontology development, test cases can be specified as statements describing expected and/or unwanted logical consequences of an ontology. However, verifying the test cases and identifying the ontology parts that cause their violation is a complex task, which requires appropriate tool support. In this demo, we present OntoDebug {\textendash} a plug-in for the Prot{\'e}g{\'e} editor {\textendash} that supports test-driven ontology development. OntoDebug can automatically verify whether the ontology satisfies all defined test cases. If any test case is violated, the plug-in assists the user in debugging and repairing the ontology in an interactive way. The plug-in asks a series of questions about the ontology to pinpoint the faulty axioms. Once a fault is repaired, all answers that the author provided in the interactive debugging session may be converted into test cases, thus preserving the additional knowledge, which can be used in future testing of the ontology.

}, keywords = {Fault Detection in Ontologies, Fault Localization in Ontologies, Fault Repair in Ontologies, Ontology Debugging, Prot{\'e}g{\'e} Plug-In, Test-Driven Ontology Development, User Interaction}, url = {http://ceur-ws.org/Vol-2285/ICBO_2018_paper_9.pdf }, author = {Konstantin Schekotihin and Patrick Rodler and Wolfgang Schmid and Matthew Horridge and Tania Tudorache} }