From edd37dd2d70cf9160836e83bff94f2d2e3b2f7c5 Mon Sep 17 00:00:00 2001 From: John Beverley Date: Tue, 24 Mar 2026 15:04:33 -0400 Subject: [PATCH 1/2] Correcting domains/ranges throughout modules --- src/cco-modules/AgentOntology.ttl | 3 +- src/cco-modules/ExtendedRelationOntology.ttl | 630 +++++++------- src/cco-modules/InformationEntityOntology.ttl | 19 +- src/cco-modules/TimeOntology.ttl | 788 +++++++++--------- 4 files changed, 716 insertions(+), 724 deletions(-) diff --git a/src/cco-modules/AgentOntology.ttl b/src/cco-modules/AgentOntology.ttl index 880691a8..50088333 100644 --- a/src/cco-modules/AgentOntology.ttl +++ b/src/cco-modules/AgentOntology.ttl @@ -13,10 +13,11 @@ rdf:type owl:Ontology ; owl:versionIRI ; owl:imports ; + owl:imports ; dcterms:license "BSD 3-Clause: https://github.com/CommonCoreOntology/CommonCoreOntologies/blob/master/LICENSE"@en ; dcterms:rights "CUBRC Inc., see full license."@en ; rdfs:comment "This ontology is designed to represent agents, especially persons and organizations, and their roles."@en ; - rdfs:label "Agent Ontology"@en ; + rdfs:label "Agent Ontology"@en ; owl:versionInfo "Version 2.0"@en . ################################################################# diff --git a/src/cco-modules/ExtendedRelationOntology.ttl b/src/cco-modules/ExtendedRelationOntology.ttl index b079588d..6d31df42 100644 --- a/src/cco-modules/ExtendedRelationOntology.ttl +++ b/src/cco-modules/ExtendedRelationOntology.ttl @@ -1,23 +1,23 @@ @prefix : . +@prefix cco: . @prefix obo: . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . -@prefix cco: . @prefix rdfs: . @prefix skos: . @prefix dcterms: . @base . rdf:type owl:Ontology ; - owl:versionIRI ; - owl:imports ; - dcterms:license "BSD 3-Clause: https://github.com/CommonCoreOntology/CommonCoreOntologies/blob/master/LICENSE"@en ; - dcterms:rights "CUBRC Inc., see full license."@en ; - rdfs:comment "This ontology is designed to represent many of the relations (i.e. object properties) that hold between entities at the level of the mid-level Common Core Ontologies."@en ; - rdfs:label "Extended Relation Ontology"@en ; - owl:versionInfo "Version 2.0"@en . + owl:versionIRI ; + owl:imports ; + dcterms:license "BSD 3-Clause: https://github.com/CommonCoreOntology/CommonCoreOntologies/blob/master/LICENSE"@en ; + dcterms:rights "CUBRC Inc., see full license."@en ; + rdfs:comment "This ontology is designed to represent many of the relations (i.e. object properties) that hold between entities at the level of the mid-level Common Core Ontologies."@en ; + rdfs:label "Extended Relation Ontology"@en ; + owl:versionInfo "Version 2.0"@en . ################################################################# # Annotation properties @@ -41,168 +41,168 @@ skos:editorialNote rdf:type owl:AnnotationProperty . ### https://www.commoncoreontologies.org/ont00001735 cco:ont00001735 rdf:type owl:AnnotationProperty ; - rdfs:label "query text"@en ; - skos:definition "The text of a query that is associated with a class"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "query text"@en ; + skos:definition "The text of a query that is associated with a class"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001737 cco:ont00001737 rdf:type owl:AnnotationProperty ; - rdfs:label "doctrinal definition"@en ; - skos:definition "A Definition that is taken directly from a Doctrinal Source."@en ; - skos:scopeNote "There is only one definition for any given term in an ontology; however, a Doctrinal Definition may be provided in addition to the asserted Definition if the preservation of this information is important. When both a Definition and a Doctrinal Definition are provided for a term, the Definition takes precedence."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:subPropertyOf skos:definition . + rdfs:label "doctrinal definition"@en ; + skos:definition "A Definition that is taken directly from a Doctrinal Source."@en ; + skos:scopeNote "There is only one definition for any given term in an ontology; however, a Doctrinal Definition may be provided in addition to the asserted Definition if the preservation of this information is important. When both a Definition and a Doctrinal Definition are provided for a term, the Definition takes precedence."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; + rdfs:subPropertyOf skos:definition . ### https://www.commoncoreontologies.org/ont00001739 cco:ont00001739 rdf:type owl:AnnotationProperty ; - rdfs:label "ordinal measurement annotation"@en ; - skos:definition "An ordinal measurement value of an instance of a quality, realizable or process profile"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:subPropertyOf cco:ont00001746 . + rdfs:label "ordinal measurement annotation"@en ; + skos:definition "An ordinal measurement value of an instance of a quality, realizable or process profile"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; + rdfs:subPropertyOf cco:ont00001746 . ### https://www.commoncoreontologies.org/ont00001741 cco:ont00001741 rdf:type owl:AnnotationProperty ; - rdfs:label "nominal measurement annotation"@en ; - skos:definition "A nominal measurement value of an instance of a quality, realizable or process profile"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:subPropertyOf cco:ont00001746 . + rdfs:label "nominal measurement annotation"@en ; + skos:definition "A nominal measurement value of an instance of a quality, realizable or process profile"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; + rdfs:subPropertyOf cco:ont00001746 . ### https://www.commoncoreontologies.org/ont00001742 cco:ont00001742 rdf:type owl:AnnotationProperty ; - rdfs:label "term creator"@en ; - skos:definition "The name of the Term Editor who added the term to the ontology."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:subPropertyOf cco:ont00001762 . + rdfs:label "term creator"@en ; + skos:definition "The name of the Term Editor who added the term to the ontology."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; + rdfs:subPropertyOf cco:ont00001762 . ### https://www.commoncoreontologies.org/ont00001743 cco:ont00001743 rdf:type owl:AnnotationProperty ; - rdfs:label "content license"@en ; - skos:definition "The name and description of the license under which the ideas, concepts and other informational content expressed in the .owl file are released."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "content license"@en ; + skos:definition "The name and description of the license under which the ideas, concepts and other informational content expressed in the .owl file are released."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001744 cco:ont00001744 rdf:type owl:AnnotationProperty ; - rdfs:label "copyright"@en ; - skos:definition "An assertion of copyright"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "copyright"@en ; + skos:definition "An assertion of copyright"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001745 cco:ont00001745 rdf:type owl:AnnotationProperty ; - rdfs:label "doctrinal source"@en ; - skos:definition "A Definition Source that consists of a formalized doctrine in which the term is authoritatively defined."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:subPropertyOf cco:ont00001754 . + rdfs:label "doctrinal source"@en ; + skos:definition "A Definition Source that consists of a formalized doctrine in which the term is authoritatively defined."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; + rdfs:subPropertyOf cco:ont00001754 . ### https://www.commoncoreontologies.org/ont00001746 cco:ont00001746 rdf:type owl:AnnotationProperty ; - rdfs:label "measurement annotation"@en ; - skos:definition "A measurement value of an instance of a quality, realizable or process profile"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "measurement annotation"@en ; + skos:definition "A measurement value of an instance of a quality, realizable or process profile"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001747 cco:ont00001747 rdf:type owl:AnnotationProperty ; - rdfs:label "ratio measurement annotation"@en ; - skos:definition "A ratio measurement value of an instance of a quality, realizable or process profile"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:subPropertyOf cco:ont00001746 . + rdfs:label "ratio measurement annotation"@en ; + skos:definition "A ratio measurement value of an instance of a quality, realizable or process profile"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; + rdfs:subPropertyOf cco:ont00001746 . ### https://www.commoncoreontologies.org/ont00001748 cco:ont00001748 rdf:type owl:AnnotationProperty ; - rdfs:label "doctrinal label"@en ; - skos:definition "An Alternative Label that consists of the preferred term or phrase used by a Doctrinal Source to denote the entity."@en ; - skos:scopeNote "When the cco:doctrinal_label is identical to the rdfs:label, the cco:doctrinal_label annotation is superfluous. As a subclass of 'alternative label', 'doctrinal label' is intended to be used to provide additional information about the entity when its preferred doctrinal designator is ambiguous or otherwise inappropriate for use as the rdfs:label."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:subPropertyOf skos:altLabel . + rdfs:label "doctrinal label"@en ; + skos:definition "An Alternative Label that consists of the preferred term or phrase used by a Doctrinal Source to denote the entity."@en ; + skos:scopeNote "When the cco:doctrinal_label is identical to the rdfs:label, the cco:doctrinal_label annotation is superfluous. As a subclass of 'alternative label', 'doctrinal label' is intended to be used to provide additional information about the entity when its preferred doctrinal designator is ambiguous or otherwise inappropriate for use as the rdfs:label."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; + rdfs:subPropertyOf skos:altLabel . ### https://www.commoncoreontologies.org/ont00001749 cco:ont00001749 rdf:type owl:AnnotationProperty ; - rdfs:label "doctrinal acronym"@en ; - skos:definition "An Acronym that is used by a Doctrinal Source to denote the entity."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:subPropertyOf cco:ont00001753 . + rdfs:label "doctrinal acronym"@en ; + skos:definition "An Acronym that is used by a Doctrinal Source to denote the entity."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; + rdfs:subPropertyOf cco:ont00001753 . ### https://www.commoncoreontologies.org/ont00001752 cco:ont00001752 rdf:type owl:AnnotationProperty ; - rdfs:label "has token unit"@en ; - skos:definition "A relation between an information content entity and a widely used measurement unit of the token used to express it."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "has token unit"@en ; + skos:definition "A relation between an information content entity and a widely used measurement unit of the token used to express it."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001753 cco:ont00001753 rdf:type owl:AnnotationProperty ; - rdfs:label "acronym"@en ; - skos:definition "An Alternative Label that consists of a shortened or abbreviated form of the rdfs:label and is used to denote the entity."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:subPropertyOf skos:altLabel . + rdfs:label "acronym"@en ; + skos:definition "An Alternative Label that consists of a shortened or abbreviated form of the rdfs:label and is used to denote the entity."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; + rdfs:subPropertyOf skos:altLabel . ### https://www.commoncoreontologies.org/ont00001754 cco:ont00001754 rdf:type owl:AnnotationProperty ; - rdfs:label "definition source"@en ; - skos:definition "A citation of where all or some of the information used to create the term's Definition was acquired from."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "definition source"@en ; + skos:definition "A citation of where all or some of the information used to create the term's Definition was acquired from."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001756 cco:ont00001756 rdf:type owl:AnnotationProperty ; - rdfs:label "interval measurement annotation"@en ; - skos:definition "A interval measurement value of an instance of a quality, realizable or process profile "@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:subPropertyOf cco:ont00001746 . + rdfs:label "interval measurement annotation"@en ; + skos:definition "A interval measurement value of an instance of a quality, realizable or process profile "@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI ; + rdfs:subPropertyOf cco:ont00001746 . ### https://www.commoncoreontologies.org/ont00001757 cco:ont00001757 rdf:type owl:AnnotationProperty ; - rdfs:label "designator annotation"@en ; - skos:definition "A name or other identifier that is used to designate an individual."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "designator annotation"@en ; + skos:definition "A name or other identifier that is used to designate an individual."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001758 cco:ont00001758 rdf:type owl:AnnotationProperty ; - rdfs:label "http query string"@en ; - skos:definition "The text of an HTTP request that can be sent to a SPARQL Protocol service."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "http query string"@en ; + skos:definition "The text of an HTTP request that can be sent to a SPARQL Protocol service."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001759 cco:ont00001759 rdf:type owl:AnnotationProperty ; - rdfs:label "code license"@en ; - skos:definition "The name and description of the license under which the .owl file is released."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "code license"@en ; + skos:definition "The name and description of the license under which the .owl file is released."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001760 cco:ont00001760 rdf:type owl:AnnotationProperty ; - rdfs:label "is curated in ontology"@en ; - skos:definition "An annotation property that links a class, property, or named individual to the URI of the ontology where it is located."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "is curated in ontology"@en ; + skos:definition "An annotation property that links a class, property, or named individual to the URI of the ontology where it is located."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001761 cco:ont00001761 rdf:type owl:AnnotationProperty ; - rdfs:label "is tokenized by"@en ; - skos:definition "A relation between an information content entity and a widely used token used to express it."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "is tokenized by"@en ; + skos:definition "A relation between an information content entity and a widely used token used to express it."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001762 cco:ont00001762 rdf:type owl:AnnotationProperty ; - rdfs:label "term editor"@en ; - skos:definition "The name of a person who contributed to the development or enhancement of the term."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:label "term editor"@en ; + skos:definition "The name of a person who contributed to the development or enhancement of the term."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ################################################################# @@ -215,370 +215,362 @@ obo:BFO_0000199 owl:inverseOf cco:ont00001874 . ### https://www.commoncoreontologies.org/ont00001775 cco:ont00001775 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001928 ; - rdfs:domain obo:BFO_0000004 ; - rdfs:range obo:BFO_0000004 ; - rdfs:label "is successor of"@en ; - skos:definition "x is_successor_of y iff x and y are both instances of Independent Continuant and y is_predecessor_of x. "@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + owl:inverseOf cco:ont00001928 ; + rdfs:domain obo:BFO_0000004 ; + rdfs:range obo:BFO_0000004 ; + rdfs:label "is successor of"@en ; + skos:definition "x is_successor_of y iff x and y are both instances of Independent Continuant and y is_predecessor_of x. "@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001777 cco:ont00001777 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf obo:BFO_0000117 ; - owl:inverseOf cco:ont00001857 ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000015 ; - rdfs:label "has process part"@en ; - skos:definition "x has_process_part y iff x and y are instances of Process, such that y occurs during the temporal interval of x, and y either provides an input to x or receives an output of x, or both."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf obo:BFO_0000117 ; + owl:inverseOf cco:ont00001857 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000015 ; + rdfs:label "has process part"@en ; + skos:definition "x has_process_part y iff x and y are instances of Process, such that y occurs during the temporal interval of x, and y either provides an input to x or receives an output of x, or both."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001778 cco:ont00001778 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf obo:BFO_0000057 ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000002 ; - rdfs:label "has object"@en ; - skos:definition "x has_object y ff x is an instance of Process and y is an instance of Continuant and x is performed by some instance of Agent z and y is part of the projected state that z intends to achieve by performing x."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf obo:BFO_0000057 ; + owl:inverseOf cco:ont00001936 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000002 ; + rdfs:label "has object"@en ; + skos:definition "x has_object y ff x is an instance of Process and y is an instance of Continuant and x is performed by some instance of Agent z and y is part of the projected state that z intends to achieve by performing x."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001782 cco:ont00001782 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001832 ; - rdfs:domain obo:BFO_0000027 ; - rdfs:range [ owl:intersectionOf ( obo:BFO_0000004 - [ rdf:type owl:Class ; - owl:complementOf obo:BFO_0000006 - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:label "has all members located in"@en ; - skos:definition "x has all members located in y iff x is an instance of Object Aggregate and y is an instance of independent continuant but not a spatial region, and every member of x is located in y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001832 ; + rdfs:domain obo:BFO_0000027 ; + rdfs:range [ owl:intersectionOf ( obo:BFO_0000004 + [ rdf:type owl:Class ; + owl:complementOf obo:BFO_0000006 + ] + ) ; + rdf:type owl:Class + ] ; + rdfs:label "has all members located in"@en ; + skos:definition "x has all members located in y iff x is an instance of Object Aggregate and y is an instance of independent continuant but not a spatial region, and every member of x is located in y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001799 cco:ont00001799 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001809 ; - rdfs:domain obo:BFO_0000023 ; - rdfs:range obo:BFO_0000027 ; - rdfs:label "role of aggregate"@en ; - skos:definition "x role_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Role, and x inheres_in_aggregate y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001809 ; + rdfs:domain obo:BFO_0000023 ; + rdfs:range obo:BFO_0000027 ; + rdfs:label "role of aggregate"@en ; + skos:definition "x role_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Role, and x inheres_in_aggregate y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001803 cco:ont00001803 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001819 ; - rdfs:domain obo:BFO_0000003 ; - rdfs:range obo:BFO_0000003 ; - rdfs:label "is cause of"@en ; - skos:definition "x is_cause_of y iff x and y are instances of Occurrent, and y is a consequence of x."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + owl:inverseOf cco:ont00001819 ; + rdfs:domain obo:BFO_0000003 ; + rdfs:range obo:BFO_0000003 ; + rdfs:label "is cause of"@en ; + skos:definition "x is_cause_of y iff x and y are instances of Occurrent, and y is a consequence of x."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001805 cco:ont00001805 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001888 ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000015 ; - dcterms:created "2022-12-30T21:32:27-05:00"^^xsd:dateTime ; - dcterms:creator "https://cubrc.org"^^xsd:anyURI ; - rdfs:label "is disrupted by"@en ; - skos:definition "Inverse of disrupts." ; - skos:prefLabel "is disrupted by"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + owl:inverseOf cco:ont00001888 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000015 ; + dcterms:created "2022-12-30T21:32:27-05:00"^^xsd:dateTime ; + dcterms:creator "https://cubrc.org"^^xsd:anyURI ; + rdfs:label "is disrupted by"@en ; + skos:definition "Inverse of disrupts." ; + skos:prefLabel "is disrupted by"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001809 cco:ont00001809 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001836 ; - rdfs:domain [ rdf:type owl:Class ; - owl:unionOf ( obo:BFO_0000020 - obo:BFO_0000031 - ) - ] ; - rdfs:range obo:BFO_0000027 ; - rdfs:label "inheres in aggregate"@en ; - skos:definition "x inheres_in_aggregate y iff x is an instance of Specifically Dependent Continuant or Generically Dependent Continuant and y is an instance of Object Aggregate and y aggregate_bearer_of x."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + owl:inverseOf cco:ont00001836 ; + rdfs:domain obo:BFO_0000020 ; + rdfs:range obo:BFO_0000027 ; + rdfs:label "inheres in aggregate"@en ; + skos:definition "x inheres_in_aggregate y iff x is an instance of Specifically Dependent Continuant and y is an instance of Object Aggregate and y aggregate_bearer_of x."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001816 cco:ont00001816 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf obo:BFO_0000056 ; - owl:inverseOf cco:ont00001986 ; - rdfs:domain obo:BFO_0000002 ; - rdfs:range obo:BFO_0000015 ; - rdfs:label "is output of"@en ; - skos:definition "x is_output_of y iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the end of y is a necessary condition for the completion of y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf obo:BFO_0000056 ; + owl:inverseOf cco:ont00001986 ; + rdfs:domain obo:BFO_0000002 ; + rdfs:range obo:BFO_0000015 ; + rdfs:label "is output of"@en ; + skos:definition "x is_output_of y iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the end of y is a necessary condition for the completion of y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001819 cco:ont00001819 rdf:type owl:ObjectProperty ; - rdfs:domain obo:BFO_0000003 ; - rdfs:range obo:BFO_0000003 ; - rdfs:label "caused by"@en ; - skos:definition "x caused_by y iff x and y are instances of Occurrent, and x is a consequence of y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:domain obo:BFO_0000003 ; + rdfs:range obo:BFO_0000003 ; + rdfs:label "caused by"@en ; + skos:definition "x caused_by y iff x and y are instances of Occurrent, and x is a consequence of y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001829 cco:ont00001829 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001809 ; - owl:inverseOf cco:ont00001956 ; - rdfs:domain obo:BFO_0000016 ; - rdfs:range obo:BFO_0000027 ; - rdfs:label "disposition of aggregate"@en ; - skos:definition "x disposition_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Disposition, and x inheres_in_aggregate y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001809 ; + owl:inverseOf cco:ont00001956 ; + rdfs:domain obo:BFO_0000016 ; + rdfs:range obo:BFO_0000027 ; + rdfs:label "disposition of aggregate"@en ; + skos:definition "x disposition_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Disposition, and x inheres_in_aggregate y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001832 cco:ont00001832 rdf:type owl:ObjectProperty ; - rdfs:domain obo:BFO_0000027 ; - rdfs:range [ owl:intersectionOf ( obo:BFO_0000004 - [ rdf:type owl:Class ; - owl:complementOf obo:BFO_0000006 - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:label "has some member located in"@en ; - skos:definition "x has some member located in y iff x is an instance of Object Aggregate and y is an instance of independent continuant but not a spatial region, and at least one member of x is located in y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:domain obo:BFO_0000027 ; + rdfs:range [ owl:intersectionOf ( obo:BFO_0000004 + [ rdf:type owl:Class ; + owl:complementOf obo:BFO_0000006 + ] + ) ; + rdf:type owl:Class + ] ; + rdfs:label "has some member located in"@en ; + skos:definition "x has some member located in y iff x is an instance of Object Aggregate and y is an instance of independent continuant but not a spatial region, and at least one member of x is located in y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001834 cco:ont00001834 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf obo:BFO_0000057 ; - owl:inverseOf cco:ont00001886 ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000002 ; - rdfs:label "affects"@en ; - skos:definition "x affects y iff x is an instance of Process and y is an instance of Continuant, and x influences y in some manner, most often by producing a change in y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf obo:BFO_0000057 ; + owl:inverseOf cco:ont00001886 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000002 ; + rdfs:label "affects"@en ; + skos:definition "x affects y iff x is an instance of Process and y is an instance of Continuant, and x influences y in some manner, most often by producing a change in y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001836 cco:ont00001836 rdf:type owl:ObjectProperty ; - rdfs:domain obo:BFO_0000027 ; - rdfs:range [ rdf:type owl:Class ; - owl:unionOf ( obo:BFO_0000020 - obo:BFO_0000031 - ) - ] ; - rdfs:label "aggregate bearer of"@en ; - skos:definition "x aggregate_bearer_of y iff x is an instance of Object Aggregate and y is an instance of Specifically Dependent Continuant or Generically Dependent Continuant and y specifically or generically depends on some instance of Object z that is part of x and all other members of x are also bearers of a unique instance of the same type as y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:domain obo:BFO_0000027 ; + rdfs:range obo:BFO_0000020 ; + rdfs:label "aggregate bearer of"@en ; + skos:definition "x aggregate_bearer_of y iff x is an instance of Object Aggregate and y is an instance of Specifically Dependent Continuant and y specifically depends on some instance of Object z that is part of x and all other members of x are also bearers of a unique instance of the same type as y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001841 cco:ont00001841 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf obo:BFO_0000056 ; - owl:inverseOf cco:ont00001921 ; - rdfs:domain obo:BFO_0000002 ; - rdfs:range obo:BFO_0000015 ; - rdfs:label "is input of"@en ; - skos:definition "x is_input_of y iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the beginning of y is a necessary condition for the start of y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf obo:BFO_0000056 ; + owl:inverseOf cco:ont00001921 ; + rdfs:domain obo:BFO_0000002 ; + rdfs:range obo:BFO_0000015 ; + rdfs:label "is input of"@en ; + skos:definition "x is_input_of y iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the beginning of y is a necessary condition for the start of y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001845 cco:ont00001845 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf obo:BFO_0000183 ; - owl:inverseOf cco:ont00001918 ; - rdfs:domain obo:BFO_0000029 ; - rdfs:range obo:BFO_0000015 ; - rdfs:label "is site of"@en ; - skos:definition "x is_site_of y iff x is an instance of Site and y is an instance of Process, such that y occurs in x."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf obo:BFO_0000183 ; + owl:inverseOf cco:ont00001918 ; + rdfs:domain obo:BFO_0000029 ; + rdfs:range obo:BFO_0000015 ; + rdfs:label "is site of"@en ; + skos:definition "x is_site_of y iff x is an instance of Site and y is an instance of Process, such that y occurs in x."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001857 cco:ont00001857 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf obo:BFO_0000132 ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000015 ; - rdfs:label "is part of process"@en ; - skos:definition "x is_part_of_process y iff x and y are instances of Process, such that x occurs during the temporal interval of y, and x either provides an input to y or receives an output of y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf obo:BFO_0000132 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000015 ; + rdfs:label "is part of process"@en ; + skos:definition "x is_part_of_process y iff x and y are instances of Process, such that x occurs during the temporal interval of y, and x either provides an input to y or receives an output of y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001874 cco:ont00001874 rdf:type owl:ObjectProperty ; - rdfs:domain obo:BFO_0000008 ; - rdfs:range [ rdf:type owl:Class ; - owl:unionOf ( obo:BFO_0000015 - obo:BFO_0000035 - ) - ] ; - rdfs:label "is temporal region of"@en ; - skos:definition "t is temporal region of p iff p occupies temporal region t."@en ; - skos:editorialNote "Leaving this is in ERO for now since BFO2020 has no inverse of occupies-temporal-region yet."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:domain obo:BFO_0000008 ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( obo:BFO_0000015 + obo:BFO_0000035 + ) + ] ; + rdfs:label "is temporal region of"@en ; + skos:definition "t is temporal region of p iff p occupies temporal region t."@en ; + skos:editorialNote "Leaving this is in ERO for now since BFO2020 has no inverse of occupies-temporal-region yet."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001886 cco:ont00001886 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf obo:BFO_0000056 ; - rdfs:domain obo:BFO_0000002 ; - rdfs:range obo:BFO_0000015 ; - rdfs:label "is affected by"@en ; - skos:definition "x is_affected_by y iff x is an instance of Continuant and y is an instance of Process, and y influences x in some manner, most often by producing a change in x."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf obo:BFO_0000056 ; + rdfs:domain obo:BFO_0000002 ; + rdfs:range obo:BFO_0000015 ; + rdfs:label "is affected by"@en ; + skos:definition "x is_affected_by y iff x is an instance of Continuant and y is an instance of Process, and y influences x in some manner, most often by producing a change in x."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001888 cco:ont00001888 rdf:type owl:ObjectProperty ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000015 ; - dcterms:created "2022-12-30T21:32:27-05:00"^^xsd:dateTime ; - dcterms:creator "https://cubrc.org"^^xsd:anyURI ; - rdfs:label "disrupts"@en ; - skos:definition "A relation where one process disrupts another process from occurring as it would have."@en ; - skos:editorialNote "To lower the grade of a process is to lower the quality of a process according to some standard, for example when realizing a capability or a function."@en ; - skos:prefLabel "disrupts"@en ; - skos:scopeNote "A process can disrupt another process from occurring as it would have by 1) preventing a disposition or role from being realized by that process, 2) lowering the grade of the process, or 3) stopping the process from continuing to occur."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000015 ; + dcterms:created "2022-12-30T21:32:27-05:00"^^xsd:dateTime ; + dcterms:creator "https://cubrc.org"^^xsd:anyURI ; + rdfs:label "disrupts"@en ; + skos:definition "A relation where one process disrupts another process from occurring as it would have."@en ; + skos:editorialNote "To lower the grade of a process is to lower the quality of a process according to some standard, for example when realizing a capability or a function."@en ; + skos:prefLabel "disrupts"@en ; + skos:scopeNote "A process can disrupt another process from occurring as it would have by 1) preventing a disposition or role from being realized by that process, 2) lowering the grade of the process, or 3) stopping the process from continuing to occur."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001901 cco:ont00001901 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001836 ; - rdfs:domain obo:BFO_0000027 ; - rdfs:range obo:BFO_0000023 ; - rdfs:label "aggregate has role"@en ; - skos:definition "x aggregate_has_role y iff x is an instance of Object Aggregate and y is an instance of Role, such that x aggregate_bearer_of y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001836 ; + rdfs:domain obo:BFO_0000027 ; + rdfs:range obo:BFO_0000023 ; + rdfs:label "aggregate has role"@en ; + skos:definition "x aggregate_has_role y iff x is an instance of Object Aggregate and y is an instance of Role, such that x aggregate_bearer_of y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001907 cco:ont00001907 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001836 ; - rdfs:domain obo:BFO_0000027 ; - rdfs:range obo:BFO_0000019 ; - rdfs:label "aggregate has quality"@en ; - skos:definition "x aggregate_has_quality y iff x is an instance of Object Aggregate and y is an instance of Quality, such that x aggregate_bearer_of y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001836 ; + rdfs:domain obo:BFO_0000027 ; + rdfs:range obo:BFO_0000019 ; + rdfs:label "aggregate has quality"@en ; + skos:definition "x aggregate_has_quality y iff x is an instance of Object Aggregate and y is an instance of Quality, such that x aggregate_bearer_of y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001918 cco:ont00001918 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf obo:BFO_0000066 ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000029 ; - rdfs:label "occurs at"@en ; - skos:definition "x occurs_at y iff x is an instance of Process and y is an instance of Site, such that x occurs in y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf obo:BFO_0000066 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000029 ; + rdfs:label "occurs at"@en ; + skos:definition "x occurs_at y iff x is an instance of Process and y is an instance of Site, such that x occurs in y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001921 cco:ont00001921 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf obo:BFO_0000057 ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000002 ; - rdfs:label "has input"@en ; - skos:definition "y has_input x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the beginning of y is a necessary condition for the start of y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf obo:BFO_0000057 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000002 ; + rdfs:label "has input"@en ; + skos:definition "y has_input x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the beginning of y is a necessary condition for the start of y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001928 cco:ont00001928 rdf:type owl:ObjectProperty ; - rdfs:domain obo:BFO_0000004 ; - rdfs:range obo:BFO_0000004 ; - rdfs:label "is predecessor of"@en ; - skos:definition "x is_predecessor_of y iff x and y are both instances of Independent Continuant and there is some process p and x is an input to p and y is an output of p."@en ; - skos:scopeNote "More informally, x is_predecessor_of y iff y follows or replaces x."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:domain obo:BFO_0000004 ; + rdfs:range obo:BFO_0000004 ; + rdfs:label "is predecessor of"@en ; + skos:definition "x is_predecessor_of y iff x and y are both instances of Independent Continuant and there is some process p and x is an input to p and y is an output of p."@en ; + skos:scopeNote "More informally, x is_predecessor_of y iff y follows or replaces x."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001933 cco:ont00001933 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001803 ; - owl:inverseOf cco:ont00001962 ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000015 ; - rdfs:label "process starts"@en ; - skos:definition "x process_starts y iff x and y are instances of processes, and x is_cause_of y, and i is an instance of a temporal instant, and r is an instance of a temporal interval, and y has starting instance i, and x occurs on r, and r has inside instant i."@en ; - skos:scopeNote "A process x starts another process y when x causes y while x is still occurring."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001803 ; + owl:inverseOf cco:ont00001962 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000015 ; + rdfs:label "process starts"@en ; + skos:definition "x process_starts y iff x and y are instances of processes, and x is_cause_of y, and i is an instance of a temporal instant, and r is an instance of a temporal interval, and y has starting instance i, and x occurs on r, and r has inside instant i."@en ; + skos:scopeNote "A process x starts another process y when x causes y while x is still occurring."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001936 cco:ont00001936 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf obo:BFO_0000056 ; - owl:inverseOf cco:ont00001778 ; rdfs:domain obo:BFO_0000002 ; rdfs:range obo:BFO_0000015 ; rdfs:label "is object of"@en ; - "x is_object_of y iff x is an instance of Continuant and y is an instance of Process and y is performed by some instance of Agent z and x is part of the projected state that z intends to achieve by performing y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + skos:definition "x is_object_of y iff x is an instance of Continuant and y is an instance of Process and y is performed by some instance of Agent z and x is part of the projected state that z intends to achieve by performing y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001947 cco:ont00001947 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001809 ; - rdfs:domain obo:BFO_0000019 ; - rdfs:range obo:BFO_0000027 ; - rdfs:label "quality of aggregate"@en ; - skos:definition "x quality_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Quality, and x inheres_in_aggregate y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001809 ; + rdfs:domain obo:BFO_0000019 ; + rdfs:range obo:BFO_0000027 ; + rdfs:label "quality of aggregate"@en ; + skos:definition "x quality_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Quality, and x inheres_in_aggregate y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001956 cco:ont00001956 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001836 ; - rdfs:domain obo:BFO_0000027 ; - rdfs:range obo:BFO_0000016 ; - rdfs:label "aggregate has disposition"@en ; - skos:definition "x aggregate_has_disposition y iff x is an instance of Object Aggregate and y is an instance of Disposition, such that x aggregate_bearer_of y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001836 ; + rdfs:domain obo:BFO_0000027 ; + rdfs:range obo:BFO_0000016 ; + rdfs:label "aggregate has disposition"@en ; + skos:definition "x aggregate_has_disposition y iff x is an instance of Object Aggregate and y is an instance of Disposition, such that x aggregate_bearer_of y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001959 cco:ont00001959 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001970 ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000015 ; - rdfs:label "inhibits"@en ; - skos:definition "x inhibits y iff x and y are non-identical Processes, d is a Decrease of Realizable Entity, and x is_cause_of d, and r is a Realizable Entity, and d has_participant r, and r realized_in y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + owl:inverseOf cco:ont00001970 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000015 ; + rdfs:label "inhibits"@en ; + skos:definition "x inhibits y iff x and y are non-identical Processes, d is a Decrease of Realizable Entity, and x is_cause_of d, and r is a Realizable Entity, and d has_participant r, and r realized_in y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001962 cco:ont00001962 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001819 ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000015 ; - rdfs:label "process started by"@en ; - skos:definition "x process_started_by y iff x and y are instances of processes, and x is caused_by y, and i is an instance of a temporal instant, and r is an instance of a temporal interval, and x has starting instance i, and y occurs on r, and r has inside instant i."@en ; - skos:scopeNote "A process x is started by another process y when y causes x while y is still occurring."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001819 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000015 ; + rdfs:label "process started by"@en ; + skos:definition "x process_started_by y iff x and y are instances of processes, and x is caused_by y, and i is an instance of a temporal instant, and r is an instance of a temporal interval, and x has starting instance i, and y occurs on r, and r has inside instant i."@en ; + skos:scopeNote "A process x is started by another process y when y causes x while y is still occurring."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001970 cco:ont00001970 rdf:type owl:ObjectProperty ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000015 ; - rdfs:label "inhibited by"@en ; - skos:definition "y inhibited_by x iff x and y are non-identical Processes, d is a Decrease of Realizable Entity, and x is_cause_of d, and r is a Realizable Entity, and d has_participant r, and r realized_in y."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000015 ; + rdfs:label "inhibited by"@en ; + skos:definition "y inhibited_by x iff x and y are non-identical Processes, d is a Decrease of Realizable Entity, and x is_cause_of d, and r is a Realizable Entity, and d has_participant r, and r realized_in y."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001986 cco:ont00001986 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf obo:BFO_0000057 ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000002 ; - rdfs:label "has output"@en ; - skos:definition "y has_output x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the end of y is a necessary condition for the completion of y."@en ; - cco:ont00001754 "https://en.wikipedia.org/w/index.php?title=IPO_model&oldid=1024398398"^^xsd:anyURI ; - cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . + rdfs:subPropertyOf obo:BFO_0000057 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000002 ; + rdfs:label "has output"@en ; + skos:definition "y has_output x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the end of y is a necessary condition for the completion of y."@en ; + cco:ont00001754 "https://en.wikipedia.org/w/index.php?title=IPO_model&oldid=1024398398"^^xsd:anyURI ; + cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . -### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi diff --git a/src/cco-modules/InformationEntityOntology.ttl b/src/cco-modules/InformationEntityOntology.ttl index 8af9dbe9..e9eb2d63 100644 --- a/src/cco-modules/InformationEntityOntology.ttl +++ b/src/cco-modules/InformationEntityOntology.ttl @@ -8,7 +8,7 @@ @prefix rdfs: . @prefix skos: . @prefix dcterms: . -@base . +@base . rdf:type owl:Ontology ; owl:versionIRI ; @@ -71,7 +71,7 @@ cco:ont00001811 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00001010 ; rdfs:range obo:BFO_0000001 ; rdfs:label "is an ordinal measurement of"@en ; - skos:definition "x is_an_ordinal_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity and y is_measured_by_ordinal x."@en ; + skos:definition "x is_an_ordinal_measurement_of y iff x is an instance of Ordinal Measurement Information Content Entity and y is an instance of Entity and y is_measured_by_ordinal x."@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -113,7 +113,7 @@ cco:ont00001868 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00000293 ; rdfs:range obo:BFO_0000001 ; rdfs:label "is a nominal measurement of"@en ; - skos:definition "x is_a_nominal_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x classifies y relative to some set of shared, possibly arbitrary, characteristics."@en ; + skos:definition "x is_a_nominal_measurement_of y iff x is an instance of Nominal Measurement Information Content Entity and y is an instance of Entity, such that x classifies y relative to some set of shared, possibly arbitrary, characteristics."@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -121,6 +121,7 @@ cco:ont00001868 rdf:type owl:ObjectProperty ; cco:ont00001873 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001801 ; owl:inverseOf cco:ont00001938 ; + rdfs:domain obo:BFO_0000001 ; rdfs:range cco:ont00001069 ; rdfs:comment "See notes for inverse property." ; rdfs:label "represented by"@en ; @@ -135,7 +136,7 @@ cco:ont00001877 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00001364 ; rdfs:range obo:BFO_0000001 ; rdfs:label "is an interval measurement of"@en ; - skos:definition "x is_an_interval_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity and y is_measured_by_interval x."@en ; + skos:definition "x is_an_interval_measurement_of y iff x is an instance of Interval Measurement Information Content Entity and y is an instance of Entity and y is_measured_by_interval x."@en ; skos:example "a measurement of air temperature on the Celsius scale." ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -297,11 +298,11 @@ cco:ont00001920 rdf:type owl:ObjectProperty ; ### https://www.commoncoreontologies.org/ont00001938 cco:ont00001938 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001808 ; - rdfs:domain cco:ont00000958 ; + rdfs:domain cco:ont00001069 ; rdfs:range obo:BFO_0000001 ; rdfs:comment "Isomorphism between the carrier of x and the represented entity can be via a direct similarity relation, e.g., grooves in a vinyl record corresponding to sound waves, or linguistic convention, e.g., a court stenographer's transcription of spoken words, as well as others, such as encoding processes for images."@en ; rdfs:label "represents"@en ; - skos:definition "x represents y iff x is an instance of Information Content Entity, y is an instance of Entity, and z is carrier of x, such that x is about y in virtue of there existing an isomorphism between characteristics of z and y."@en ; + skos:definition "x represents y iff x is an instance of Representational Information Content Entity, y is an instance of Entity, and z is carrier of x, such that x is about y in virtue of there existing an isomorphism between characteristics of z and y."@en ; skos:scopeNote "Given a stronger temporal interpretation, this property may be functional. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en , "The relationship that is being defined here is that between the content of a photographic image and its object, between the content of a video and its objects and events, between the content of an audio recording and the sounds or events generating those sounds, or between the content of a written transcript and the verbal event that it transcribes."@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -368,7 +369,7 @@ cco:ont00001966 rdf:type owl:ObjectProperty ; rdfs:range obo:BFO_0000001 ; rdfs:comment "This object property, as well as all of its children are typified as functional properties. This means that for instances x, y, and z if x is a measurement of y and x is a measurement of z, then y = z."@en ; rdfs:label "is a measurement of"@en ; - skos:definition "x is_a_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to some scale or classification scheme."@en ; + skos:definition "x is_a_measurement_of y iff x is an instance of Measurement Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to some scale or classification scheme."@en ; skos:scopeNote "Given a stronger temporal interpretation, this property may be functional. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -1833,7 +1834,7 @@ cco:ont00002037 rdf:type owl:Class ; ### https://www.commoncoreontologies.org/ont00002038 cco:ont00002038 rdf:type owl:Class ; rdfs:subClassOf cco:ont00002001 , - [ rdf:type owl:Restriction ; + [ rdf:type owl:Restriction ; owl:onProperty obo:BFO_0000176 ; owl:someValuesFrom cco:ont00002039 ] ; @@ -2675,4 +2676,4 @@ cco:ont00001732 rdf:type owl:NamedIndividual , cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . -### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl index 0b3bc5fe..524da5e7 100644 --- a/src/cco-modules/TimeOntology.ttl +++ b/src/cco-modules/TimeOntology.ttl @@ -1,23 +1,23 @@ @prefix : . +@prefix cco: . @prefix obo: . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . -@prefix cco: . @prefix rdfs: . @prefix skos: . @prefix dcterms: . @base . rdf:type owl:Ontology ; - owl:versionIRI ; - owl:imports ; - dcterms:license "BSD 3-Clause: https://github.com/CommonCoreOntology/CommonCoreOntologies/blob/master/LICENSE"@en ; - dcterms:rights "CUBRC Inc., see full license."@en ; - rdfs:comment "This ontology is designed to represent temporal regions and the relations that hold between them."@en ; - rdfs:label "Time Ontology"@en ; - owl:versionInfo "Version 2.0"@en . + owl:versionIRI ; + owl:imports cco:ExtendedRelationOntology ; + dcterms:license "BSD 3-Clause: https://github.com/CommonCoreOntology/CommonCoreOntologies/blob/master/LICENSE"@en ; + dcterms:rights "CUBRC Inc., see full license."@en ; + rdfs:comment "This ontology is designed to represent temporal regions and the relations that hold between them."@en ; + rdfs:label "Time Ontology"@en ; + owl:versionInfo "Version 2.0"@en . ################################################################# # Annotation properties @@ -45,235 +45,233 @@ cco:ont00001760 rdf:type owl:AnnotationProperty . ### https://www.commoncoreontologies.org/ont00001779 cco:ont00001779 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001848 ; - rdfs:domain obo:BFO_0000038 ; - rdfs:range obo:BFO_0000148 ; - rdfs:label "has inside instant"@en ; - skos:definition "x has_inside_instant y iff x is an instance of One Dimensional Temporal Region and y is an instance of Temporal Instant and y is_inside_instant_of x."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + owl:inverseOf cco:ont00001848 ; + rdfs:domain obo:BFO_0000038 ; + rdfs:range obo:BFO_0000203 ; + rdfs:label "has inside instant"@en ; + skos:definition "x has_inside_instant y iff x is an instance of One Dimensional Temporal Region and y is an instance of Temporal Instant and y is_inside_instant_of x."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001795 cco:ont00001795 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001924 ; - owl:inverseOf cco:ont00001869 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "has inside interval"@en ; - skos:definition "x has_inside_interval y iff x and y are both instances of Temporal Interval and y interval_during x."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001924 ; + owl:inverseOf cco:ont00001869 ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "has inside interval"@en ; + skos:definition "x has_inside_interval y iff x and y are both instances of Temporal Interval and y interval_during x."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001814 cco:ont00001814 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001971 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval finishes"@en ; - skos:definition "x interval_finishes y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant v, w, and z such that v is the starting instant of x, w is the ending instant of both x and y, z is the starting instant of y, and z is before v."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001971 ; + owl:inverseOf cco:ont00001821 ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval finishes"@en ; + skos:definition "x interval_finishes y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant v, w, and z such that v is the starting instant of x, w is the ending instant of both x and y, z is the starting instant of y, and z is before v."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001821 cco:ont00001821 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001924 ; - owl:inverseOf cco:ont00001814 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval finished by"@en ; - skos:definition "x interval_finished_by y iff x and y are both instances of Temporal Interval and y interval_finishes x."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001924 ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval finished by"@en ; + skos:definition "x interval_finished_by y iff x and y are both instances of Temporal Interval and y interval_finishes x."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001822 cco:ont00001822 rdf:type owl:ObjectProperty , - owl:SymmetricProperty ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - owl:propertyDisjointWith cco:ont00001862 ; - rdfs:label "interval equals"@en ; - skos:definition "x interval_equals y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant w and z such that w is the starting instant of both x and y and z is the ending instant of both x and y."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + owl:SymmetricProperty ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + owl:propertyDisjointWith cco:ont00001862 ; + rdfs:label "interval equals"@en ; + skos:definition "x interval_equals y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant w and z such that w is the starting instant of both x and y and z is the ending instant of both x and y."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001825 cco:ont00001825 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001870 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - owl:propertyDisjointWith cco:ont00001862 ; - rdfs:label "interval overlaps"@en ; - skos:definition "x interval_overlaps y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant u, v, w, z such that u is the starting instant of x, v is the ending instant of x, w is the starting instant of y, z is the ending instant of y, u is before w, w is before v, and v is before z."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + owl:inverseOf cco:ont00001870 ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + owl:propertyDisjointWith cco:ont00001862 ; + rdfs:label "interval overlaps"@en ; + skos:definition "x interval_overlaps y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant u, v, w, z such that u is the starting instant of x, v is the ending instant of x, w is the starting instant of y, z is the ending instant of y, u is before w, w is before v, and v is before z."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001847 cco:ont00001847 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001862 ; - owl:inverseOf cco:ont00001940 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval is after"@en ; - skos:definition "x interval_is_after y iff x and y are both instances of Temporal Interval and y interval_is_before x."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001862 ; + owl:inverseOf cco:ont00001940 ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval is after"@en ; + skos:definition "x interval_is_after y iff x and y are both instances of Temporal Interval and y interval_is_before x."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001848 cco:ont00001848 rdf:type owl:ObjectProperty ; - rdfs:domain obo:BFO_0000148 ; - rdfs:range obo:BFO_0000038 ; - rdfs:label "is inside instant of"@en ; - skos:definition "x is_inside_instant of y iff x is an instance of Temporal Instant and y is an instance of One-Dimensional Temporal Region and there are instances of Temporal Instant w and z that are part of y and non-identical to x such that w precedes x and z is preceded by x."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:domain obo:BFO_0000203 ; + rdfs:range obo:BFO_0000038 ; + rdfs:label "is inside instant of"@en ; + skos:definition "x is_inside_instant of y iff x is an instance of Temporal Instant and y is an instance of One-Dimensional Temporal Region and there are instances of Temporal Instant w and z that are part of y and non-identical to x such that w precedes x and z is preceded by x."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001862 cco:ont00001862 rdf:type owl:ObjectProperty ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - owl:propertyDisjointWith cco:ont00001870 , - cco:ont00001924 , - cco:ont00001971 ; - rdfs:label "interval disjoint"@en ; - skos:definition "x interval_disjoint y iff x and y are both instances of Temporal Interval and have no parts in common."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + owl:propertyDisjointWith cco:ont00001870 , + cco:ont00001924 , + cco:ont00001971 ; + rdfs:label "interval disjoint"@en ; + skos:definition "x interval_disjoint y iff x and y are both instances of Temporal Interval and have no parts in common."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001869 cco:ont00001869 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001971 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval during"@en ; - skos:definition "x interval_during y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant u, v, w, and z such that u is the starting instant of x, v is the ending instant of x, w is the starting instant of y, z is the ending instant of y, w is before u, and v is before z."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001971 ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval during"@en ; + skos:definition "x interval_during y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant u, v, w, and z such that u is the starting instant of x, v is the ending instant of x, w is the starting instant of y, z is the ending instant of y, w is before u, and v is before z."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001870 cco:ont00001870 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001825 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval overlapped by"@en ; - skos:definition "x is_overlapped_by y iff x and y are both instances of Temporal Interval and y interval_overlaps x."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval overlapped by"@en ; + skos:definition "x is_overlapped_by y iff x and y are both instances of Temporal Interval and y interval_overlaps x."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001875 cco:ont00001875 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001924 ; - owl:inverseOf cco:ont00001923 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval started by"@en ; - skos:definition "x interval_started_by y iff x and y are both instances of Temporal Interval and y interval_starts x."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001924 ; + owl:inverseOf cco:ont00001923 ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval started by"@en ; + skos:definition "x interval_started_by y iff x and y are both instances of Temporal Interval and y interval_starts x."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001893 cco:ont00001893 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001990 ; - rdf:type owl:TransitiveProperty ; - rdfs:domain obo:BFO_0000148 ; - rdfs:range obo:BFO_0000148 ; - rdfs:label "instant is after"@en ; - skos:definition "x instant_is_after y iff x and y are both instances of Temporal Instant and there exists some instance of Temporal Interval z such that y is the starting instant of z and x is the ending instant of z."@en ; - skos:scopeNote "'instant is after' is a primitive relationship. Informally, a temporal instant x is after some temporal instant y iff y precedes x."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + owl:inverseOf cco:ont00001990 ; + rdf:type owl:TransitiveProperty ; + rdfs:domain obo:BFO_0000203 ; + rdfs:range obo:BFO_0000203 ; + rdfs:label "instant is after"@en ; + skos:definition "x instant_is_after y iff x and y are both instances of Temporal Instant and there exists some instance of Temporal Interval z such that y is the starting instant of z and x is the ending instant of z."@en ; + skos:scopeNote "'instant is after' is a primitive relationship. Informally, a temporal instant x is after some temporal instant y iff y precedes x."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001896 cco:ont00001896 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001862 ; - rdf:type owl:IrreflexiveProperty ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval meets"@en ; - skos:definition "x interval_meets y iff x and y are both instances of Temporal Interval and there exists some instance of Temporal Instant z such that z is the ending instant of x and z is the starting instant of y."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001862 ; + owl:inverseOf cco:ont00001915 ; + rdf:type owl:IrreflexiveProperty ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval meets"@en ; + skos:definition "x interval_meets y iff x and y are both instances of Temporal Interval and there exists some instance of Temporal Instant z such that z is the ending instant of x and z is the starting instant of y."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001915 cco:ont00001915 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001862 ; - rdf:type owl:IrreflexiveProperty ; - owl:inverseOf cco:ont00001896 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval met by"@en ; - skos:definition "x interval_met_by y iff x and y are both instances of Temporal Interval and y interval_meets x."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001862 ; + rdf:type owl:IrreflexiveProperty ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval met by"@en ; + skos:definition "x interval_met_by y iff x and y are both instances of Temporal Interval and y interval_meets x."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001923 cco:ont00001923 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001971 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval starts"@en ; - skos:definition "x interval_starts y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant v, w, and z such that v is the starting instant of both x and y, w is the ending instant of x, z is the ending instant of y and w is before z."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001971 ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval starts"@en ; + skos:definition "x interval_starts y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant v, w, and z such that v is the starting instant of both x and y, w is the ending instant of x, z is the ending instant of y and w is before z."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001924 cco:ont00001924 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001971 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval contains"@en ; - skos:definition "x interval_contains y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant u, v, w, and z such that u is the starting instant of x, v is the ending instant of x, w is the starting instant of y, z is the ending instant of y, w is before or identical to u, and v is before or identical to z, and it is not the case that both w is identical to u and v is identical to z."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + owl:inverseOf cco:ont00001971 ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval contains"@en ; + skos:definition "x interval_contains y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant u, v, w, and z such that u is the starting instant of x, v is the ending instant of x, w is the starting instant of y, z is the ending instant of y, w is before or identical to u, and v is before or identical to z, and it is not the case that both w is identical to u and v is identical to z."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001940 cco:ont00001940 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf cco:ont00001862 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval is before"@en ; - skos:definition "x interval_is_before y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant w, z such that w is the ending instant of x and z is the starting instant of y and w is before z."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subPropertyOf cco:ont00001862 ; + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval is before"@en ; + skos:definition "x interval_is_before y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant w, z such that w is the ending instant of x and z is the starting instant of y and w is before z."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001971 cco:ont00001971 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001924 ; - rdfs:domain obo:BFO_0000202 ; - rdfs:range obo:BFO_0000202 ; - rdfs:label "interval contained by"@en ; - skos:definition "x interval_contained_by y iff x and y are both instances of Temporal Interval and y interval_contains x."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:domain obo:BFO_0000202 ; + rdfs:range obo:BFO_0000202 ; + rdfs:label "interval contained by"@en ; + skos:definition "x interval_contained_by y iff x and y are both instances of Temporal Interval and y interval_contains x."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001990 cco:ont00001990 rdf:type owl:ObjectProperty , - owl:TransitiveProperty ; - rdfs:domain obo:BFO_0000148 ; - rdfs:range obo:BFO_0000148 ; - rdfs:label "instant is before"@en ; - skos:definition "x instant_is_before y iff x and y are both instances of Zero Dimensional Temporal Region and there exists some instance of Temporal Interval z such that x is the starting instant of z and y is the ending instant of z."@en ; - skos:scopeNote "'instant is before' is a primitive relationship. Informally, a temporal instant x is before some temporal instant y iff x precedes y."@en ; - cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + owl:TransitiveProperty ; + rdfs:domain obo:BFO_0000203 ; + rdfs:range obo:BFO_0000203 ; + rdfs:label "instant is before"@en ; + skos:definition "x instant_is_before y iff x and y are both instances of Zero Dimensional Temporal Region and there exists some instance of Temporal Interval z such that x is the starting instant of z and y is the ending instant of z."@en ; + skos:scopeNote "'instant is before' is a primitive relationship. Informally, a temporal instant x is before some temporal instant y iff x precedes y."@en ; + cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ################################################################# @@ -282,366 +280,366 @@ cco:ont00001990 rdf:type owl:ObjectProperty , ### https://www.commoncoreontologies.org/ont00000063 cco:ont00000063 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000038 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001924 ; - owl:someValuesFrom cco:ont00001058 - ] ; - rdfs:comment "This is a defined class."@en ; - rdfs:label "Multi-Hour Temporal Interval"@en ; - skos:definition "A one-dimensional temporal region that is measured in Hours and spans at least one Hour."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000038 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001924 ; + owl:someValuesFrom cco:ont00001058 + ] ; + rdfs:comment "This is a defined class."@en ; + rdfs:label "Multi-Hour Temporal Interval"@en ; + skos:definition "A one-dimensional temporal region that is measured in Hours and spans at least one Hour."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000085 cco:ont00000085 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001869 ; - owl:someValuesFrom cco:ont00001058 - ] ; - rdfs:label "Minute"@en ; - skos:definition "A Temporal Interval that is equal to sixty consecutive Seconds."@en ; - cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=minute" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001869 ; + owl:someValuesFrom cco:ont00001058 + ] ; + rdfs:label "Minute"@en ; + skos:definition "A Temporal Interval that is equal to sixty consecutive Seconds."@en ; + cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=minute" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000114 cco:ont00000114 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000203 ; - rdfs:label "Unix Temporal Instant"@en ; - skos:definition "A Temporal Instant as specified by the number of Seconds that have elapsed since the specified Epoch Time as described by an implementation of Unix Time."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000203 ; + rdfs:label "Unix Temporal Instant"@en ; + skos:definition "A Temporal Instant as specified by the number of Seconds that have elapsed since the specified Epoch Time as described by an implementation of Unix Time."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000184 cco:ont00000184 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 ; - rdfs:label "Axial Rotation Period"@en ; - skos:definition "A Temporal Interval that is equal to the length of time required for a spinning Object to complete one rotation around its Axis of Rotation."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 ; + rdfs:label "Axial Rotation Period"@en ; + skos:definition "A Temporal Interval that is equal to the length of time required for a spinning Object to complete one rotation around its Axis of Rotation."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000211 cco:ont00000211 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000038 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001924 ; - owl:someValuesFrom cco:ont00000800 - ] ; - rdfs:comment "This is a defined class."@en ; - rdfs:label "Multi-Day Temporal Interval"@en ; - skos:definition "A one-dimensional temporal region that is measured in Days and spans at least one Day."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000038 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001924 ; + owl:someValuesFrom cco:ont00000800 + ] ; + rdfs:comment "This is a defined class."@en ; + rdfs:label "Multi-Day Temporal Interval"@en ; + skos:definition "A one-dimensional temporal region that is measured in Days and spans at least one Day."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000223 cco:ont00000223 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000203 , - [ rdf:type owl:Restriction ; - owl:onProperty obo:BFO_0000132 ; - owl:someValuesFrom cco:ont00000800 - ] ; - rdfs:label "Time of Day"@en ; - skos:definition "A Temporal Instant that is part of a Day."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000203 , + [ rdf:type owl:Restriction ; + owl:onProperty obo:BFO_0000132 ; + owl:someValuesFrom cco:ont00000800 + ] ; + rdfs:label "Time of Day"@en ; + skos:definition "A Temporal Instant that is part of a Day."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000225 cco:ont00000225 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001869 ; - owl:someValuesFrom cco:ont00000832 - ] ; - rdfs:label "Month"@en ; - skos:definition "A Temporal Interval that is based on the approximate length of time required for a Natural Satellite to complete one cycle of its rotational motion around its Primary Body."@en ; - skos:scopeNote "Unless otherwise specified, it is assumed that a Month is specified relative to the Rotational Motion of the Moon around the Earth. Earth Months are approximately equal to four consecutive Weeks or 30 consecutive Days."@en ; - cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=month" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001869 ; + owl:someValuesFrom cco:ont00000832 + ] ; + rdfs:label "Month"@en ; + skos:definition "A Temporal Interval that is based on the approximate length of time required for a Natural Satellite to complete one cycle of its rotational motion around its Primary Body."@en ; + skos:scopeNote "Unless otherwise specified, it is assumed that a Month is specified relative to the Rotational Motion of the Moon around the Earth. Earth Months are approximately equal to four consecutive Weeks or 30 consecutive Days."@en ; + cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=month" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000227 cco:ont00000227 rdf:type owl:Class ; - rdfs:subClassOf cco:ont00000674 ; - rdfs:comment "A Julian Year begins concurrently with January 1, ends concurrently with December 31, and has an average duration of exactly 365.25 Julian Days. Julian Years are typically indicated by prefixing a capital 'J' in front of the Year number, e.g. J2000.0 or J2018."@en ; - rdfs:label "Julian Year"@en ; - skos:definition "A Calendar Year in the Julian Calendar."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf cco:ont00000674 ; + rdfs:comment "A Julian Year begins concurrently with January 1, ends concurrently with December 31, and has an average duration of exactly 365.25 Julian Days. Julian Years are typically indicated by prefixing a capital 'J' in front of the Year number, e.g. J2000.0 or J2018."@en ; + rdfs:label "Julian Year"@en ; + skos:definition "A Calendar Year in the Julian Calendar."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000259 cco:ont00000259 rdf:type owl:Class ; - rdfs:subClassOf cco:ont00000225 ; - rdfs:label "Calendar Month"@en ; - skos:definition "A Month that begins and ends concurrently with the Days specified by a Calendar System to be the first and last Days of the Month."@en ; - skos:example "January; February; March; April; May; June; July; August; September; October; November; December" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf cco:ont00000225 ; + rdfs:label "Calendar Month"@en ; + skos:definition "A Month that begins and ends concurrently with the Days specified by a Calendar System to be the first and last Days of the Month."@en ; + skos:example "January; February; March; April; May; June; July; August; September; October; November; December" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000329 cco:ont00000329 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000038 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001924 ; - owl:someValuesFrom cco:ont00000225 - ] ; - rdfs:comment "This is a defined class."@en ; - rdfs:label "Multi-Month Temporal Interval"@en ; - skos:definition "A one-dimensional temporal region that is measured in Months and spans at least one Month."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000038 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001924 ; + owl:someValuesFrom cco:ont00000225 + ] ; + rdfs:comment "This is a defined class."@en ; + rdfs:label "Multi-Month Temporal Interval"@en ; + skos:definition "A one-dimensional temporal region that is measured in Months and spans at least one Month."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000359 cco:ont00000359 rdf:type owl:Class ; - rdfs:subClassOf cco:ont00000223 , - [ rdf:type owl:Restriction ; - owl:onProperty obo:BFO_0000132 ; - owl:someValuesFrom cco:ont00000498 - ] ; - rdfs:label "Julian Date"@en ; - skos:definition "A Time of Day as specified according to the Julian Calendar using the Julian Date epoch."@en ; - cco:ont00001753 "JD" ; - cco:ont00001754 "https://www.defit.org/julian-date/" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf cco:ont00000223 , + [ rdf:type owl:Restriction ; + owl:onProperty obo:BFO_0000132 ; + owl:someValuesFrom cco:ont00000498 + ] ; + rdfs:label "Julian Date"@en ; + skos:definition "A Time of Day as specified according to the Julian Calendar using the Julian Date epoch."@en ; + cco:ont00001753 "JD" ; + cco:ont00001754 "https://www.defit.org/julian-date/" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000425 cco:ont00000425 rdf:type owl:Class ; - rdfs:subClassOf cco:ont00000674 ; - rdfs:comment "A Gregorian Year begins concurrently with January 1, ends concurrently with December 31, and has an average duration of exactly 365.2425 Gregorian Days. The Gregorian Year is based upon the vernal equinox year. Unless otherwise stated, instances of Calendar Year are assumed to be instances of Gregorian Year since the Gregorian Calendar is the most widely used civil Calendar System."@en ; - rdfs:label "Gregorian Year"@en ; - skos:definition "A Calendar Year in the Gregorian Calendar."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf cco:ont00000674 ; + rdfs:comment "A Gregorian Year begins concurrently with January 1, ends concurrently with December 31, and has an average duration of exactly 365.2425 Gregorian Days. The Gregorian Year is based upon the vernal equinox year. Unless otherwise stated, instances of Calendar Year are assumed to be instances of Gregorian Year since the Gregorian Calendar is the most widely used civil Calendar System."@en ; + rdfs:label "Gregorian Year"@en ; + skos:definition "A Calendar Year in the Gregorian Calendar."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000435 cco:ont00000435 rdf:type owl:Class ; - rdfs:subClassOf cco:ont00000921 ; - rdfs:comment "A Gregorian Day is twenty-four Hours in duration."@en ; - rdfs:label "Gregorian Day"@en ; - skos:definition "A Calendar Day in the Gregorian Calendar."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf cco:ont00000921 ; + rdfs:comment "A Gregorian Day is twenty-four Hours in duration."@en ; + rdfs:label "Gregorian Day"@en ; + skos:definition "A Calendar Day in the Gregorian Calendar."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000465 cco:ont00000465 rdf:type owl:Class ; - rdfs:subClassOf cco:ont00000223 ; - rdfs:comment """A Day begins at midnight GMT within the Modified Julian Date reference system. The Modified Julian Date (MJD) is related to the Julian Date (JD) by the formula: + rdfs:subClassOf cco:ont00000223 ; + rdfs:comment """A Day begins at midnight GMT within the Modified Julian Date reference system. The Modified Julian Date (MJD) is related to the Julian Date (JD) by the formula: MJD = JD - 2400000.5"""@en ; - rdfs:label "Modified Julian Date"@en ; - skos:definition "A Time of Day as specified according to the Julian Calendar using the Modified Julian Date epoch."@en ; - cco:ont00001753 "MJD" ; - cco:ont00001754 "http://aa.usno.navy.mil/data/docs/JulianDate.php" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:label "Modified Julian Date"@en ; + skos:definition "A Time of Day as specified according to the Julian Calendar using the Modified Julian Date epoch."@en ; + cco:ont00001753 "MJD" ; + cco:ont00001754 "http://aa.usno.navy.mil/data/docs/JulianDate.php" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000498 cco:ont00000498 rdf:type owl:Class ; - rdfs:subClassOf cco:ont00000921 ; - rdfs:comment "A Julian Day begins at noon Universal Time and is twenty-four Hours in duration."@en ; - rdfs:label "Julian Day"@en ; - skos:definition "A Calendar Day in the Julian Calendar."@en ; - cco:ont00001754 "https://www.defit.org/julian-date/" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf cco:ont00000921 ; + rdfs:comment "A Julian Day begins at noon Universal Time and is twenty-four Hours in duration."@en ; + rdfs:label "Julian Day"@en ; + skos:definition "A Calendar Day in the Julian Calendar."@en ; + cco:ont00001754 "https://www.defit.org/julian-date/" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000550 cco:ont00000550 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 ; - rdfs:label "Morning"@en ; - skos:definition "A Temporal Interval that consists of the temporal regions between when the sun dawns (approximately 6:00am) and reaches its apex (approximately 12:00pm)."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 ; + rdfs:label "Morning"@en ; + skos:definition "A Temporal Interval that consists of the temporal regions between when the sun dawns (approximately 6:00am) and reaches its apex (approximately 12:00pm)."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000619 cco:ont00000619 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001869 ; - owl:someValuesFrom cco:ont00000225 - ] ; - rdfs:label "Week"@en ; - skos:definition "A Temporal Interval that is equal to seven consecutive Days."@en ; - cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=week" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001869 ; + owl:someValuesFrom cco:ont00000225 + ] ; + rdfs:label "Week"@en ; + skos:definition "A Temporal Interval that is equal to seven consecutive Days."@en ; + cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=week" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000674 cco:ont00000674 rdf:type owl:Class ; - rdfs:subClassOf cco:ont00000832 ; - rdfs:label "Calendar Year"@en ; - skos:definition "A Year that begins and ends concurrently with the Days specified by a Calendar System to be the first and last Days of the Year."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf cco:ont00000832 ; + rdfs:label "Calendar Year"@en ; + skos:definition "A Year that begins and ends concurrently with the Days specified by a Calendar System to be the first and last Days of the Year."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000699 cco:ont00000699 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 ; - rdfs:label "Afternoon"@en ; - skos:definition "A Temporal Interval that consists of the temporal regions between when the sun is at its apex (approximately 12:00pm) and when it sets (approximately 6:00pm)."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 ; + rdfs:label "Afternoon"@en ; + skos:definition "A Temporal Interval that consists of the temporal regions between when the sun is at its apex (approximately 12:00pm) and when it sets (approximately 6:00pm)."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000800 cco:ont00000800 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001869 ; - owl:someValuesFrom cco:ont00000619 - ] ; - rdfs:label "Day"@en ; - skos:definition "A Temporal Interval that is equal to the approximate length of time required for an Astronomical Body to complete one rotation around its Rotational Axis as specified relative to a particular Temporal Reference System."@en ; - skos:scopeNote "Unless otherwise specified, a Day is assumed to be relative to the rotational motion of the Earth and is approximately equal to a twenty-four hour temporal region for which the start and end times are specified by the Temporal Reference System used."@en ; - cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=day" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001869 ; + owl:someValuesFrom cco:ont00000619 + ] ; + rdfs:label "Day"@en ; + skos:definition "A Temporal Interval that is equal to the approximate length of time required for an Astronomical Body to complete one rotation around its Rotational Axis as specified relative to a particular Temporal Reference System."@en ; + skos:scopeNote "Unless otherwise specified, a Day is assumed to be relative to the rotational motion of the Earth and is approximately equal to a twenty-four hour temporal region for which the start and end times are specified by the Temporal Reference System used."@en ; + cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=day" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000810 cco:ont00000810 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000038 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001924 ; - owl:someValuesFrom cco:ont00000619 - ] ; - rdfs:comment "This is a defined class."@en ; - rdfs:label "Multi-Week Temporal Interval"@en ; - skos:definition "A one-dimensional temporal region that is measured in Weeks and spans at least one Week."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000038 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001924 ; + owl:someValuesFrom cco:ont00000619 + ] ; + rdfs:comment "This is a defined class."@en ; + rdfs:label "Multi-Week Temporal Interval"@en ; + skos:definition "A one-dimensional temporal region that is measured in Weeks and spans at least one Week."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000832 cco:ont00000832 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001869 ; - owl:someValuesFrom cco:ont00001088 - ] ; - rdfs:label "Year"@en ; - skos:definition "A Temporal Interval that is equal to the approximate length of time required for an Astronomical Body to complete one Orbital Revolution around its Primary Body as specified relative to a particular Temporal Reference System."@en ; - skos:scopeNote "Unless otherwise specified, a Year is assumed to be relative to the Orbiting of the Earth around the Sun and is approximately equal to 12 Months or 365 Days."@en ; - cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=year" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001869 ; + owl:someValuesFrom cco:ont00001088 + ] ; + rdfs:label "Year"@en ; + skos:definition "A Temporal Interval that is equal to the approximate length of time required for an Astronomical Body to complete one Orbital Revolution around its Primary Body as specified relative to a particular Temporal Reference System."@en ; + skos:scopeNote "Unless otherwise specified, a Year is assumed to be relative to the Orbiting of the Earth around the Sun and is approximately equal to 12 Months or 365 Days."@en ; + cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=year" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000921 cco:ont00000921 rdf:type owl:Class ; - rdfs:subClassOf cco:ont00000800 ; - rdfs:label "Calendar Day"@en ; - skos:definition "A Day that begins and ends concurrently with the Seconds specified by a Calendar System to be the first and last Seconds of the Day."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf cco:ont00000800 ; + rdfs:label "Calendar Day"@en ; + skos:definition "A Day that begins and ends concurrently with the Seconds specified by a Calendar System to be the first and last Seconds of the Day."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00000992 cco:ont00000992 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001869 ; - owl:someValuesFrom cco:ont00000085 - ] ; - rdfs:comment "The Second is used as the basic SI unit of time."@en ; - rdfs:label "Second"@en ; - skos:definition "A Temporal Interval that is equal to the duration of 9,192,631,770 periods of the radiation corresponding to the transition between the two hyperfine levels of the ground state of the cesium 133 atom."@en ; - cco:ont00001754 "https://physics.nist.gov/cuu/Units/second.html" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001869 ; + owl:someValuesFrom cco:ont00000085 + ] ; + rdfs:comment "The Second is used as the basic SI unit of time."@en ; + rdfs:label "Second"@en ; + skos:definition "A Temporal Interval that is equal to the duration of 9,192,631,770 periods of the radiation corresponding to the transition between the two hyperfine levels of the ground state of the cesium 133 atom."@en ; + cco:ont00001754 "https://physics.nist.gov/cuu/Units/second.html" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001023 cco:ont00001023 rdf:type owl:Class ; - rdfs:subClassOf cco:ont00000619 ; - rdfs:label "Calendar Week"@en ; - skos:definition "A Week that begins and ends concurrently with the Days specified by a Calendar System to be the first and last Days of the Week."@en ; - cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=calendar+week" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf cco:ont00000619 ; + rdfs:label "Calendar Week"@en ; + skos:definition "A Week that begins and ends concurrently with the Days specified by a Calendar System to be the first and last Days of the Week."@en ; + cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=calendar+week" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001058 cco:ont00001058 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001869 ; - owl:someValuesFrom cco:ont00000800 - ] ; - rdfs:label "Hour"@en ; - skos:definition "A Temporal Interval that is equal to sixty consecutive Minutes."@en ; - cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=hour" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001869 ; + owl:someValuesFrom cco:ont00000800 + ] ; + rdfs:label "Hour"@en ; + skos:definition "A Temporal Interval that is equal to sixty consecutive Minutes."@en ; + cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=hour" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001088 cco:ont00001088 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 ; - rdfs:label "Decade"@en ; - skos:definition "A Temporal Interval that is equal to a period of ten consecutive Years."@en ; - cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=decade" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 ; + rdfs:label "Decade"@en ; + skos:definition "A Temporal Interval that is equal to a period of ten consecutive Years."@en ; + cco:ont00001754 "http://wordnetweb.princeton.edu/perl/webwn?s=decade" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001110 cco:ont00001110 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 ; - rdfs:label "Evening"@en ; - skos:definition "A Temporal Interval that consists of the temporal regions between when the sun sets (approximately 6:00pm) and when people typically retire to sleep (approximately 9:00pm)."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 ; + rdfs:label "Evening"@en ; + skos:definition "A Temporal Interval that consists of the temporal regions between when the sun sets (approximately 6:00pm) and when people typically retire to sleep (approximately 9:00pm)."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001116 cco:ont00001116 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000203 ; - rdfs:label "Reference Time"@en ; - skos:altLabel "Epoch"@en , - "Epoch Time"@en , - "Reference Date"@en ; - skos:definition "A Temporal Instant specified as the origin for which other Temporal Regions are measured or identified."@en ; - cco:ont00001754 "https://en.wikipedia.org/wiki/Epoch_(reference_date)" ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000203 ; + rdfs:label "Reference Time"@en ; + skos:altLabel "Epoch"@en , + "Epoch Time"@en , + "Reference Date"@en ; + skos:definition "A Temporal Instant specified as the origin for which other Temporal Regions are measured or identified."@en ; + cco:ont00001754 "https://en.wikipedia.org/wiki/Epoch_(reference_date)" ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001154 cco:ont00001154 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000038 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001924 ; - owl:someValuesFrom cco:ont00000992 - ] ; - rdfs:comment "This is a defined class."@en ; - rdfs:label "Multi-Second Temporal Interval"@en ; - skos:definition "A one-dimensional temporal region that is measured in Seconds and spans at least one Second."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000038 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001924 ; + owl:someValuesFrom cco:ont00000992 + ] ; + rdfs:comment "This is a defined class."@en ; + rdfs:label "Multi-Second Temporal Interval"@en ; + skos:definition "A one-dimensional temporal region that is measured in Seconds and spans at least one Second."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001166 cco:ont00001166 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000038 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001924 ; - owl:someValuesFrom cco:ont00000085 - ] ; - rdfs:comment "This is a defined class."@en ; - rdfs:label "Multi-Minute Temporal Interval"@en ; - skos:definition "A one-dimensional temporal region that is measured in Minutes and spans at least one Minute."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000038 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001924 ; + owl:someValuesFrom cco:ont00000085 + ] ; + rdfs:comment "This is a defined class."@en ; + rdfs:label "Multi-Minute Temporal Interval"@en ; + skos:definition "A one-dimensional temporal region that is measured in Minutes and spans at least one Minute."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001204 cco:ont00001204 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000202 ; - rdfs:label "Night"@en ; - skos:definition "A Temporal Interval that consists of the temporal regions between when people typically retire to sleep (approximately 9:00pm) and when the sun dawns (approximately 6:00am)."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + rdfs:subClassOf obo:BFO_0000202 ; + rdfs:label "Night"@en ; + skos:definition "A Temporal Interval that consists of the temporal regions between when people typically retire to sleep (approximately 9:00pm) and when the sun dawns (approximately 6:00am)."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001206 cco:ont00001206 rdf:type owl:Class ; - rdfs:subClassOf obo:BFO_0000038 , - [ rdf:type owl:Restriction ; - owl:onProperty cco:ont00001924 ; - owl:someValuesFrom cco:ont00000832 - ] ; - rdfs:comment "This is a defined class."@en ; - rdfs:label "Multi-Year Temporal Interval"@en ; - skos:definition "A one-dimensional temporal region that is measured in Years and spans at least one Year."@en ; - cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . - - -### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi + rdfs:subClassOf obo:BFO_0000038 , + [ rdf:type owl:Restriction ; + owl:onProperty cco:ont00001924 ; + owl:someValuesFrom cco:ont00000832 + ] ; + rdfs:comment "This is a defined class."@en ; + rdfs:label "Multi-Year Temporal Interval"@en ; + skos:definition "A one-dimensional temporal region that is measured in Years and spans at least one Year."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + + +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi From 39b8fb417323f8dd5b32df1c17d8e970120dbbcc Mon Sep 17 00:00:00 2001 From: John Beverley Date: Tue, 24 Mar 2026 15:09:21 -0400 Subject: [PATCH 2/2] updating def of birth per issue 599 --- src/cco-modules/EventOntology.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cco-modules/EventOntology.ttl b/src/cco-modules/EventOntology.ttl index 00583703..f735d5e1 100644 --- a/src/cco-modules/EventOntology.ttl +++ b/src/cco-modules/EventOntology.ttl @@ -2840,7 +2840,7 @@ cco:ont00001236 rdf:type owl:Class ; cco:ont00001237 rdf:type owl:Class ; rdfs:subClassOf cco:ont00000007 ; rdfs:label "Birth"@en ; - skos:definition "A Natural Process of bringing forth offspring."@en ; + skos:definition "A Process of bringing forth offspring."@en ; cco:ont00001754 "https://en.wikipedia.org/w/index.php?title=Birth&oldid=1063718655"^^xsd:anyURI ; cco:ont00001760 "https://www.commoncoreontologies.org/EventOntology"^^xsd:anyURI .