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