@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @base . rdf:type owl:Ontology . ################################################################# # Annotation properties ################################################################# ### http://purl.obolibrary.org/obo/IAO_0000112 rdf:type owl:AnnotationProperty . ### http://purl.obolibrary.org/obo/IAO_0000115 rdf:type owl:AnnotationProperty . ### http://purl.obolibrary.org/obo/IAO_0000116 rdf:type owl:AnnotationProperty . ### http://www.w3.org/2004/02/skos/core#definition rdf:type owl:AnnotationProperty . ################################################################# # Object Properties ################################################################# ### http://purl.obolibrary.org/obo/IAO_0000039 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:range ; rdfs:label "has measurement unit label"@en . ### https://w3id.org/pmd/co/PMD_0000077 rdf:type owl:ObjectProperty ; rdfs:label "specified by value"@en ; "A relation between an entity and a value specification which is about this entity."@en . ################################################################# # Data properties ################################################################# ### http://purl.obolibrary.org/obo/OBI_0001937 rdf:type owl:DatatypeProperty ; "A relation between a value specification and a number that quantifies it."@en ; "A range of 'real' might be better than 'float'. For now we follow 'has measurement value' until we can consider technical issues with SPARQL queries and reasoning." ; rdfs:label "has specified numeric value" . ################################################################# # Classes ################################################################# ### http://purl.obolibrary.org/obo/BFO_0000002 rdf:type owl:Class ; rdfs:label "continuant"@en ; "(Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity"@en . ### http://purl.obolibrary.org/obo/BFO_0000020 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "specifically dependent continuant"@en ; "b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b specifically depends on c"@en . ### http://purl.obolibrary.org/obo/IAO_0000003 rdf:type owl:Class ; rdfs:subClassOf ; "Examples of measurement unit labels are liters, inches, weight per volume."@en ; "A measurement unit label is as a label that is part of a scalar measurement datum and denotes a unit of measure."@en ; """2009-03-16: provenance: a term measurement unit was proposed for OBI (OBI_0000176) , edited by Chris Stoeckert and Cristian Cocos, and subsequently moved to IAO where the objective for which the original term was defined was satisfied with the definition of this, different, term."""@en , "2009-03-16: review of this term done during during the OBI workshop winter 2009 and the current definition was considered acceptable for use in OBI. If there is a need to modify this definition please notify OBI."@en ; rdfs:label "measurement unit label"@en . ### http://purl.obolibrary.org/obo/IAO_0000009 rdf:type owl:Class ; "A label is a symbol that is part of some other datum and is used to either partially define the denotation of that datum or to provide a means for identifying the datum as a member of the set of data with the same label"@en ; "http://www.golovchenko.org/cgi-bin/wnsearch?q=label#4n"@en ; rdfs:label "datum label"@en . ### http://purl.obolibrary.org/obo/OBI_0001931 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:minCardinality "1"^^xsd:nonNegativeInteger ] ; "A value specification that consists of two parts: a numeral and a unit label"@en ; rdfs:label "scalar value specification" . ### http://purl.obolibrary.org/obo/OBI_0001933 rdf:type owl:Class ; "The value of 'positive' in a classification scheme of \"positive or negative\"; the value of '20g' on the quantitative scale of mass." ; "An information content entity that specifies a value within a classification scheme or on a quantitative scale."@en ; "This term is currently a descendant of 'information content entity', which requires that it 'is about' something. A value specification of '20g' for a measurement data item of the mass of a particular mouse 'is about' the mass of that mouse. However there are cases where a value specification is not clearly about any particular. In the future we may change 'value specification' to remove the 'is about' requirement." ; rdfs:label "value specification" . ################################################################# # Axioms restored from PMDco 3.1.2 ################################################################# # The extraction dropped these although each mentions only terms declared above; no term is added. # S stated by PMDco 3.1.2. E follows from one PMDco 3.1.2 axiom (a conjunct, or an inverse property's domain/range). # T follows from PMDco 3.1.2 subclass axioms through classes outside the pattern. O stated by the real OBO file only. # T: entailed by PMDco 3.1.2 through classes outside the pattern: datum label < information content entity < generically dependent continuant < continuant rdfs:subClassOf . # O: the real OBI (2026-07-27, as imported by PMDco 3.1.2) states it, PMDco's copy omits it, PMDco's SHACL shape requires it rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:minCardinality "1"^^xsd:nonNegativeInteger ] . # T: entailed by PMDco 3.1.2 through classes outside the pattern: value specification < information content entity < generically dependent continuant < continuant rdfs:subClassOf . # S: stated by PMDco 3.1.2 rdfs:domain . # E: inverse of 'specifies value of', whose domain is 'value specification' in PMDco 3.1.2 rdfs:range . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi