@prefix bioregistry: <https://bioregistry.io/registry/> .
@prefix bioregistry.metaresource: <https://bioregistry.io/metaregistry/> .
@prefix bioregistry.schema: <https://bioregistry.io/schema/#> .
@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix tib.ts: <https://terminology.tib.eu/ts/ontologies/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

bioregistry.metaresource:bioregistry dcterms:hasPart bioregistry:cora .

bioregistry.metaresource:tib dcterms:hasPart tib.ts:cora .

bioregistry:cora a bioregistry.schema:0000001 ;
    rdfs:label "Core Ontology for Robotics and Automation" ;
    dcterms: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."^^xsd:string ;
    dcterms:isPartOf bioregistry.metaresource:bioregistry ;
    skos:exactMatch tib.ts:cora ;
    dcat:keyword "engineering",
        "nfdi4ing" ;
    foaf:homepage <https://github.com/srfiorini/IEEE1872-owl> ;
    bioregistry.schema:0000005 "-bare#CollectiveRoboticSystem"^^xsd:string ;
    bioregistry.schema:0000006 "http://purl.org/ieee1872-owl/cora$1"^^xsd:string ;
    bioregistry.schema:0000012 false ;
    bioregistry.schema:0000024 "http://purl.org/ieee1872-owl/cora"^^xsd:string ;
    bioregistry.schema:0000027 <http://purl.org/ieee1872-owl/cora-bare#CollectiveRoboticSystem> ;
    bioregistry.schema:0000029 "cora" .

tib.ts:cora dcterms:isPartOf bioregistry.metaresource:tib .