@conference {ICBO_2018_16, title = {ICBO_2018_16: A falsification approach to create and check ontology definitions}, 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 = {

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.

}, keywords = {falsification, necessary and sufficient conditions, ontology definition}, url = {http://ceur-ws.org/Vol-2285/ICBO_2018_paper_16.pdf }, author = {Citlalli Mej{\'\i}a and Julio Collado-Vides} }