{"prefix":"cora","name":"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.","uri_format":"http://purl.org/ieee1872-owl/cora$1","providers":[],"homepage":"https://github.com/srfiorini/IEEE1872-owl","example":"-bare#CollectiveRoboticSystem","example_extras":[],"deprecated":false,"mappings":{"tib":"cora"},"synonyms":[],"keywords":["engineering","nfdi4ing"],"publications":[],"appears_in":[],"depends_on":[],"namespace_in_lui":false,"preferred_prefix":"cora"}