Abstract
Several efforts that leverage the tools of formal ontology (such as OntoClean, OntoUML, and UFO) have demonstrated the fruitfulness of considering key metaproperties of classes in ontology engineering. These metaproperties include sortality, rigidity, and external dependence, and give rise to many fine-grained ontological categories for classes, including, among others, kinds, phases, roles, mixins, etc. Despite that, it is still common practice to apply representation schemes and approaches - such as OWL - that do not benefit from identifying these ontological categories, and simplistically treat all classes in the same manner. In this paper, we propose an approach to support the automated classification of classes into the ontological categories underlying the (g)UFO foundational ontology. We propose a set of inference rules derived from (g)UFO's axiomatization that, given an initial classification of the classes in an OWL ontology, can support the inference of the classification for the remaining classes in the ontology. We formalize these rules, implement them in a computational tool and assess them against a catalog of ontologies designed by a variety of users for a number of domains.
Original language | English |
---|---|
Title of host publication | Formal Ontology in Information Systems - Proceedings of the 13th International Conference, FOIS 2023 |
Editors | Torsten Hahmann, Antony Galton, Maria M. Hedblom, Nathalie Aussenac-Gilles |
Publisher | IOS Press BV |
Pages | 109-124 |
Number of pages | 16 |
ISBN (Electronic) | 9781643684680 |
DOIs | |
State | Published - 21 Dec 2023 |
Externally published | Yes |
Event | 13th International Conference on Formal Ontology in Information Systems, FOIS 2023 - Virtual, Online Duration: 18 Sep 2023 → 20 Sep 2023 |
Publication series
Name | Frontiers in Artificial Intelligence and Applications |
---|---|
Volume | 377 |
ISSN (Print) | 0922-6389 |
ISSN (Electronic) | 1879-8314 |
Conference
Conference | 13th International Conference on Formal Ontology in Information Systems, FOIS 2023 |
---|---|
City | Virtual, Online |
Period | 18/09/23 → 20/09/23 |
Bibliographical note
Publisher Copyright:© 2023 The Authors.
Keywords
- Applications and Methods
- Foundational Ontologies
- OWL
- Ontology Grounding
- Ontology Tools
- UFO
- gUFO
ASJC Scopus subject areas
- Artificial Intelligence