2018/04/30 by Robert B. Allen, Allen, Robert B., Teryn K. Jones +1 · 1 citation
Arts and Humanities · Computer Science · Decision Sciences · #Digital Libraries (cs.DL) #FOS: Computer and information sciences #Philosophy and History of Science #Scientific Computing and Data Management #Semantic Web and Ontologies #Software Engineering (cs.SE)
paper · pdf · doi:10.48550/arxiv.1805.11050
openalex publication_date 2018/04/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.