https://github.com/srfiorini/IEEE1872-owl
Vitor Fortes Rey
This is the OWL implementation of CORA 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.
Sandro Rama Fiorini
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/)
7.4.1
7.4.3
7.2.1
7.2.2
7.6.3
7.8.3
7.1.2
7.1.1
7.5.1
7.3.1
7.7.1
7.8.3
7.6.1
7.8.3