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.
- Prefix
cora- Keywords
- engineering nfdi4ing
- Links
- Homepage
- Contact
- Missing Contact
- Pattern for Local Unique Identifiers
- Missing LUI pattern
- Example Local Unique Identifier
- -bare#CollectiveRoboticSystem Resolve
- Example CURIE
- cora:-bare#CollectiveRoboticSystem
Ontology
A summary of the relations in the Bioregistry schema can be found here.
- In Collection
- NFDI4Ing Ontologies
Metaregistry Core Ontology for Robotics and Automation
The metaregistry provides mappings between the Bioregistry and other registries. There are 1 mappings to external registries for this resource with 1 unique external prefixes.
| Registry Name | Registry Metaprefix | External Prefix | Curate |
|---|---|---|---|
TIB-TS
|
tib |
cora
|
Providers
A provider turns a local unique identifiers from a resource into a URI. Many providers are also resolvable as URLs (i.e., they can be used in a web browser).
The local unique identifier -bare#CollectiveRoboticSystem is used to demonstrate the providers
available for Core Ontology for Robotics and Automation. Some providers may use a different example, which is displayed in the table below.
A guide for curating additional providers can be found
here.