{"id":"cora","reasoner":"none","oboSlims":false,"is_foundary":false,"ontology_purl":"https://raw.githubusercontent.com/srfiorini/IEEE1872-owl/master/cora.owl","creator":["Converted to OWL by Charles Tapley Hoyt (cthoyt@gmail.com), no primary contact information is available."],"preferredPrefix":"cora","title":"Core Ontology for Robotics and Automation","description":"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. Licensed under CC-BY-4.0.","uri":"https://github.com/srfiorini/IEEE1872-owl","homepage":"https://github.com/srfiorini/IEEE1872-owl","label_property":"https://www.w3.org/2000/01/rdf-schema#label","definition_property":["http://purl.org/dc/terms/description"],"synonym_property":["http://www.geneontology.org/formats/oboInOwl#hasExactSynonym","http://www.geneontology.org/formats/oboInOwl#hasNarrowSynonym","http://www.geneontology.org/formats/oboInOwl#hasBroadSynonym","http://www.geneontology.org/formats/oboInOwl#hasCloseSynonym"],"hierarchical_property":["https://www.w3.org/2000/01/rdf-schema#subClassOf"],"hidden_property":[],"base_uri":["http://purl.org/ieee1872-owl/cora"]}