Sandro Rama Fiorini
Vitor Fortes Rey
IEEE 1872-2015 copyright is property of IEEE Standards Association.
The ontologies in IEEE1872-owl are CC-BY-4.0 (https://creativecommons.org/licenses/by/4.0/)
This is the OWL implementation of CORAX in IEEE 1872-2015. It only includes the taxonomy of concepts and relations, with some few axioms reggarding disjointness, property characteristics and property ranges/domains.
The OWL implementation is an underspecified version of the SUO-KIF implementation in IEEE 1872-2015. That is, the set of allowed models of the SUO-KIF implementation is a proper subset of the allowed models by the OWL implementation.
Concept definitions in natural language and othe clarifications can be found in the IEEE 1872-2015 standard.
https://github.com/srfiorini/IEEE1872-owl
6.1.9
6.1.10
6.2.3
6.2.4
6.1.13
6.1.16
6.1.17
6.1.20
6.1.21
6.1.4
6.1.4
6.3.6
6.3.7
This property should be defined in sumo-cora. Use http://purl.org/ieee1872-owl/sumo-cora#property instead.
true
6.4.1
6.1.1
6.1.6
In IEEE 1872-2015, this class is subclass of ContentBearingProcess, which is not present in SUMO 1.52. That is probably a mistake in IEEE 1872-2015.
6.7.1
6.3.1
6.2.1
6.5.1
6.6.1
In IEEE 1872-2015, this class is subclass of ContentBearingProcess, which is not present in SUMO 1.52. That is probably a mistake in IEEE 1872-2015.
6.8.1