This project includes a formal specification of the endurant types taxonomy of the Unified Foundational Ontology (UFO) (documented in [1]), and modeling artifacts conforming with this formal specification (a UML 2.x profile, example diagrams, etc.).
The project includes:
- ufotypes.p - Formal specifications of the endurant types taxonomy of UFO (in the TPTP syntax); Use theorem provers at System on TPTP.
- uml2-profile - A UML 2.x profile for class diagrams implemented in the Eclipse Papyrus for UML 4.5.
[1] G. Guizzardi, C. M. Fonseca, A. B. Benevides, J. P. A. Almeida, D. Porello, T. P. Sales, “Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0,” in Conceptual Modeling – 37th International Conference, ER 2018, 2018, p. 136–150. https://doi.org/10.1007/978-3-030-00847-5_12