ICBO_2018_16: A falsification approach to create and check ontology definitions

TitleICBO_2018_16: A falsification approach to create and check ontology definitions
Publication TypeConference Paper
Year of Publication2018
AuthorsMejía, C, Collado-Vides, J
Conference NameInternational Conference on Biomedical Ontology (ICBO 2018)
Date Published08/06/2018
PublisherInternational Conference on Biological Ontology
Keywordsfalsification, necessary and sufficient conditions, ontology definition
Abstract

Here we propose a workflow to derive ontological definitions using a falsification approach to eliminate properties that are not necessary or sufficient. First we present the interpretation of necessity and sufficiency. Then, we present the way to disprove either of these. Last, we derive the workflow that includes finding counter examples for candidate ontological definitions. We apply this approach to a Sequence Ontology definition as a matter of example.

URLhttp://icbo2018.cgrb.oregonstate.edu/