This repository contains the resources used in the standardization of theUnified Foundational Ontology in conformance with the requirements of the ISO 21838-1:2020. The axiomatization presented here is based on the gentle Unified Foundation Ontology (gUFO), a lightweight representation of UFO designed to support semantic web applications in the Web Ontology Language (OWL 2). This UFO axiomatization organized into modules of the figure below, and represented in TPTP, Common Logic, and OWL 2. If you wish to develop semantic web applications using the terms and relations collected in this axiomatization, please consider using gUFO and the URIs defined there.
graph
001_INDIVIDUALS --> 000_BASIC_OWL_DEFINITIONS
002_OBJECTS_AND_THEIR_PARTS --> 001_INDIVIDUALS
003_INTRINSIC_ASPECTS --> 001_INDIVIDUALS
004_QUALITIES --> 008_TYPES
005_EXTRINSIC_ASPECTS --> 003_INTRINSIC_ASPECTS
006_EVENTS --> 001_INDIVIDUALS
007_SITUATIONS --> 004_QUALITIES
007_SITUATIONS --> 009_ENDURANT_TYPES
008_TYPES --> 001_INDIVIDUALS
009_ENDURANT_TYPES --> 008_TYPES
010_RELATIONSHIP_TYPES --> 008_TYPES
011_HIGH_ORDER_TYPES --> 008_TYPES
style 000_BASIC_OWL_DEFINITIONS fill:#ffefd3, stroke:#000, stroke-width:1.5px
style 001_INDIVIDUALS fill:#ffefd3, stroke:#000, stroke-width:1.5px
style 002_OBJECTS_AND_THEIR_PARTS fill:#ffefd3, stroke:#000, stroke-width:1.5px
style 003_INTRINSIC_ASPECTS fill:#ffefd3, stroke:#000, stroke-width:1.5px
style 004_QUALITIES fill:#ffefd3, stroke:#000, stroke-width:1.5px
style 005_EXTRINSIC_ASPECTS fill:#ffefd3, stroke:#000, stroke-width:1.5px
style 006_EVENTS fill:#ffefd3, stroke:#000, stroke-width:1.5px
style 007_SITUATIONS fill:#ffefd3, stroke:#000, stroke-width:1.5px
style 008_TYPES fill:#ffefd3, stroke:#000, stroke-width:1.5px
style 009_ENDURANT_TYPES fill:#ffefd3, stroke:#000, stroke-width:1.5px
style 010_RELATIONSHIP_TYPES fill:#ffefd3, stroke:#000, stroke-width:1.5px
style 011_HIGH_ORDER_TYPES fill:#ffefd3, stroke:#000, stroke-width:1.5px
This repository is organized into the following files and scripts:
.src//ufo-modularized-uris.ttl
: the modularized OWL 2 axiomatization of UFO based on gUFO ontology../src/ufo-module-**.p
: the modularized first-order logic axiomatization of UFO in TPTP. Equivalence between the OWL 2 and the TPTP representations is guaranteed by the Gavel OWL tool employed in the translation process../build/cliff/
: the modularized CL axiomatization of UFO compiled from TPTP using the teep Eclipse editor../terms.xlsx
: the natural language elucidation of all terms and relations present in the axiomatization../build/theory-proof.txt
: the consistency proof proved by Vampire 4.8 and translated to the SZS Ontology by the System On TPTP service../scripts
: folder containing scripts execution and quality of life improvements in the development of this axiomatization, including: the generation of theory files (./scripts/dependencies-manager.mjs
), generation modules graph and CSV tables of predicates (./scripts/csv-predicates-report.mjs
), and communication to the System On TPTP service (./scripts/RemoteSoT.py
).
For questions and comments, please contact Claudenir M. Fonseca at c.moraisfonseca@utwente.nl.