ICBO_2018_16: A falsification approach to create and check ontology definitions

<p>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.</p>