Author of the publication

A First-Order Logic Formalization of the Industrial Ontologies Foundry Signature Using Basic Formal Ontology.

, , , , , , and . JOWO, volume 2518 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)

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

Survey-based naming conventions for use in OBO Foundry ontology development., , , , , , , , and . BMC Bioinform., (2009)Conceptual Space Modeling for Space Event Characterization., , , , , , , and . FUSION, page 1-8. IEEE, (2020)Ontology-assisted database integration to support natural language processing and biomedical data-mining., , , , and . J. Integr. Bioinform., (2004)Ontological realism: A methodology for coordinated evolution of scientific ontologies., and . Appl. Ontology, 5 (3-4): 139-188 (2010)Foundations for a realist ontology of mental disease., and . J. Biomed. Semant., (2010)Referent tracking: The problem of negative findings, , and . Studies in health technology and informatics, (2006)The Cornucopia of Formal-Ontological Relations, and . Dialectica, 58 (3): 279--296 (2004)HL7 RIM: An Incoherent Standard, and . page 133--138. (2006)Ontologies for clinical and translational research: Introduction., and . Journal of biomedical informatics, (January 2011)The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration, , , , , , , , , and 9 other author(s). Nature Biotechnology, 25 (11): 1251-1255 (November 2007)