appears_in: []
depends_on: []
deprecated: false
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.
download_owl: https://raw.githubusercontent.com/srfiorini/IEEE1872-owl/master/cora.owl
example: -bare#CollectiveRoboticSystem
example_extras: []
homepage: https://github.com/srfiorini/IEEE1872-owl
keywords:
- engineering
- nfdi4ing
- ontology
license: CC-BY-4.0
mappings:
  tib: cora
name: Core Ontology for Robotics and Automation
namespace_in_lui: false
preferred_prefix: cora
prefix: cora
providers: []
publications: []
synonyms: []
uri_format: http://purl.org/ieee1872-owl/cora$1
