Toward a formalization of artifacts in GFO

Hanna Fiegenbaum

2024-09-20

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

Logic in Computer Science

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: in the General Formal Ontology (GFO) framework, how to formally describe and integrate artifacts. Specifically, the author Hanna Fiegenbaum aims to develop GFO 2.0 to incorporate those material objects made by intentional agents for specific purposes, that is, artifacts. This requires integrating existing GFO modules, such as the space module, the object - process integration module, and the function module, and on this basis, providing basic categories and axiomatic descriptions of artifacts.

### Main problem decomposition

1. **Definition and classification of artifacts**:
- The paper first reviews the latest progress on artifacts in philosophy and formal ontology.
- Proposes the basic categories and axioms of artifacts, which are based on the existing GFO modules.

2. **Formal description of artifacts**:
- The author discusses how to formally describe artifacts in GFO, especially their characteristics as intentionally - made material objects.
- Introduces the "dual nature" of artifacts, that is, they are both persistent material objects and carry human knowledge and intentions.

3. **Temporal persistence and process description of artifacts**:
- By introducing the concepts of "endurants" and "perdurants", discusses the persistence of artifacts in time and space.
- Describes how artifacts can still maintain their identity through changes in their components, for example, a chair is still the same chair after one leg is replaced.

4. **Function and composition relationship of artifacts**:
- Explores the functional properties of artifacts and their relationship with the constituent materials.
- Introduces the concept of "material constitution", explaining the relationship between artifacts and their components.

### Formula representation

To ensure formula correctness and readability, the following are some key formulas involved in the paper:

- **Definition of material objects**:
\[
\forall x (MOb(x) \lor Fluid(x) \lor Gas(x) \rightarrow MatE(x))
\]
This formula indicates that if an entity \(x\) is a solid object, a fluid, or a gas, then it is a material entity.

- **Existence conditions of material entities**:
\[
\forall x (MatE(x) \rightarrow \exists y (Stuff(y) \land consists\_of(x, y)))
\]
It means that every material entity \(x\) is composed of some material \(y\).

- **Mass and density of material objects**:
\[
\forall x (MatE(x) \rightarrow \exists yz (has\_mass(x, y) \land has\_density(x, z)))
\]
It indicates that every material entity \(x\) has mass and density.

- **Spatial region of material objects**:
\[
\forall x (MOb(x) \rightarrow \exists y (SReg(y) \land occ(x, y) \land Conn(y)))
\]
It means that every solid object \(x\) occupies a connected spatial region \(y\).

### Summary

The main goal of the paper is to provide a formal description framework for artifacts by integrating existing GFO modules. This not only helps to understand the essential characteristics of artifacts, but also provides a solid foundation for cross - domain knowledge representation and modeling.