Toward a formalization of artifacts in GFO
Hanna Fiegenbaum (Leipzig University, Institute for Medical, Informatics, Statistics, Epidemiology)
TL;DR
This paper advances the General Formal Ontology (GFO) by formalizing the concept of artifacts, integrating recent philosophical and formal ontological insights to enhance artifact description within GFO.
Contribution
It introduces basic categories and axioms for artifacts in GFO, building on existing modules like space, object-process, and functions.
Findings
Proposes a formal framework for artifacts in GFO
Integrates recent philosophical artifact ontologies
Provides axioms for artifact description
Abstract
The General Formal Ontology (GFO) is a top-level ontology that is designed to formally describe different domains of reality. Most recent advancements within GFO have been made in defining its modules of space and material objects, defining its functions, and a module for integrated data semantics. In this paper, I further develop the GFO towards the integration of artifacts, which are material objects that are intentionally made for a certain purpose. I discuss recent advancements in artifact ontology in philosophy and formal ontology alike, and provide basic categories and axioms for artifact description in GFO, while considering existing work within its space module, object-process integration and function module. Keywords. Artifact Ontology, GFO, Material Object, Formalization
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Data Storage Technologies · Reservoir Engineering and Simulation Methods · Distributed and Parallel Computing Systems