XFO: Toward Programming Rich Semantic Models
This work addresses the integration of formal ontologies with programming for researchers and developers in semantic modeling, but it appears incremental as it builds on existing concepts like BFO2.
The authors tackled the problem of aligning ontologies with programming languages by developing the eXtended Formal Ontology (XFO) environment to support semantic modeling, and demonstrated its application in a Traffic Light Microworld and more complex scenarios.
We have proposed that ontologies and programming languages should be more closely aligned. Specifically, we have argued that the Basic Formal Ontology (BFO2) has many features that are consistent with object-oriented analysis, design, and modeling. Here, we describe the eXtended Formal Ontology (XFO), a programming environment we developed to support semantic modeling. We then use XFO to implement a Traffic Light Microworld and discuss more complex applications.