Dolce Vs Ufo Vs Gfo Vs Sumo

General

gUFO

gUFO has OntoUML so perhaps more/easier applicability to software models
(somewhere) was intended for conceptual modeling, including simulation modeling
- @chatgpt (Private): "Unlike GFO and DOLCE, which have their roots in formal ontology and linguistic cognition respectively, UFO is designed to address the practical needs of conceptual modeling and simulation."
Instances of gufo:Type are classes, and should specialize the taxonomy of individuals of gUFO. For example, \"Person\" is a gufo:Type (more specifically a gufo:Kind), specializing gufo:Object. The mechanism that allows for this is called punning in OWL 2.

BFO

github version hasn't been touched since 2009, but BFO2020 (with ugly IRIs)

BFO2020

BFO 2020 identifiers are opaque grossness, like

Abstract/Particular

DOLCE claims to be an ontology of particulars
@chatgpt (Private) thinks GFO might have better concrete/abstract distinction;

Mixins

see sh.question-log.2024.07.09 (Private)
UFO has 'em

Space

The Gauntlet

the-gauntlet (Private) is a fictional trade route through space connecting Anchorpoint-Station (Private) and the-Frontier (Private)

DOLCE

classes: #SpaceRegion (Private) and #PhysicalPlace (Private)
properties: #connects (Private)

GFO

claims to use Brentano Space, but #Space_time (Private) is disjoint with #Abstract (Private) !
- t.2024.07.22.16 mental != abstract

SUMO

has #Path (Private) and #Route (Private)
#startsAt (Private) and #endsAt (Private)

gUFO

References

Backlinks

Foundational Ontology

Abstract/Particular