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