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

Pattern for Local Unique Identifiers

Missing LUI pattern

Example Local Unique Identifier

-bare#CollectiveRoboticSystem   Resolve

Example CURIE

cora:-bare#CollectiveRoboticSystem

Contact

Missing Contact

A summary of the relations in the Semantic Farm schema can be found here.

In Collection (1)

NFDI4Ing Collection

Mappings from records in Semantic Farm to external registries comprises the metaregistry. This resource has 1 mapping to an external registry.

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.