https://github.com/srfiorini/IEEE1872-owl Vitor Fortes Rey This is the base OWL implementation of CORA in IEEE 1872-2015. It is a bare implementation of CORA only. It only includes the taxonomy of concepts and relations defined in CORA, isolated from other ontologies. It includes 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.2 7.4.8 7.7.4 7.7.5 7.4.4 7.4.7 7.2.3 7.4.5 7.6.4 7.4.6 7.8.2 7.8.1