@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/BFO_0000051 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdf:type owl:TransitiveProperty ; "my body has part my brain (continuant parthood, two material entities)"@en , "my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)"@en , "this year has part this day (occurrent parthood)"@en ; "a core relation that holds between a whole and its part"@en ; "Everything has itself as a part. Any part of any part of a thing is itself part of that thing. Two distinct things cannot have each other as a part."@en , "Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/"@en , """Parthood requires the part and the whole to have compatible classes: only an occurrent have an occurrent as part; only a process can have a process as part; only a continuant can have a continuant as part; only an independent continuant can have an independent continuant as part; only a specifically dependent continuant can have a specifically dependent continuant as part; only a generically dependent continuant can have a generically dependent continuant as part. (This list is not exhaustive.) A continuant cannot have an occurrent as part: use 'participates in'. An occurrent cannot have a continuant as part: use 'has participant'. An immaterial entity cannot have a material entity as part: use 'location of'. An independent continuant cannot have a specifically dependent continuant as part: use 'bearer of'. A specifically dependent continuant cannot have an independent continuant as part: use 'inheres in'."""@en ; rdfs:label "has part"@en . ### http://purl.obolibrary.org/obo/IAO_0000039 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdf:type owl:FunctionalProperty ; rdfs:label "has measurement unit label"@en . ### http://purl.obolibrary.org/obo/RO_0000080 rdf:type owl:ObjectProperty ; owl:inverseOf ; "this red color is a quality of this apple"@en ; "a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence"@en ; "A quality inheres in its bearer at all times for which the quality exists."@en ; rdfs:comment "This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020." ; rdfs:label "quality of"@en . ### http://purl.obolibrary.org/obo/RO_0000086 rdf:type owl:ObjectProperty ; rdfs:range ; "this apple has quality this red color"@en ; "a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence"@en ; "A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist."@en ; rdfs:label "has quality"@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_0000001 rdf:type owl:Class ; rdfs:label "entity"@en ; "(Elucidation) An entity is anything that exists or has existed or will exist"@en . ### 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_0000003 rdf:type owl:Class ; rdfs:label "occurrent"@en ; "(Elucidation) An occurrent is an entity that unfolds itself in time or it is the start or end of such an entity or it is a temporal or spatiotemporal region"@en . ### http://purl.obolibrary.org/obo/BFO_0000004 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "independent continuant"@en ; "b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c"@en . ### http://purl.obolibrary.org/obo/BFO_0000008 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "temporal region"@en ; "(Elucidation) A temporal region is an occurrent over which processes can unfold"@en . ### http://purl.obolibrary.org/obo/BFO_0000019 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "quality"@en ; "(Elucidation) A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized"@en . ### http://purl.obolibrary.org/obo/BFO_0000020 rdf:type owl:Class ; 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/BFO_0000030 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "object"@en ; "(Elucidation) An object is a material entity which manifests causal unity & is of a type instances of which are maximal relative to the sort of causal unity manifested"@en . ### http://purl.obolibrary.org/obo/BFO_0000040 rdf:type owl:Class ; rdfs:subClassOf ; "An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time."@en ; "Elucidation: An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time."@en ; rdfs:label "material entity"@en ; "(Elucidation) A material entity is an independent continuant has some portion of matter as continuant part"@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" . ### https://w3id.org/pmd/co/PMD_0000000 rdf:type owl:Class ; rdfs:comment "Instances of Portions Of Matter whose shape is relevant for their dispostion to participate in a manufacturing process may be (subclasses of) objects that bear a 'blank role' in the context of the manufacturing process."@en , """Material is defined in terms of the three main perspectives that material specifications rely on: the structure of the material (\"intensive quality\"), the performance of the material (\"behavoiral material property\") and the processing the material must have undergone (\"output of some process\"). When defining specific materials/material taxonomies, these three aspects shall be taken into account in the aristotelian (\"per genus et differentiam\") as differentiation."""@en , "The sum of portions of matter of the same type form a portion of matter of that type."@en ; rdfs:label "Material"@de , "material"@en ; "A material is a portion of matter that may participate in some manufacturing process and whose shape is not relevant for its participation in the manufacturing process."@en . ### https://w3id.org/pmd/co/PMD_0000068 rdf:type owl:Class ; rdfs:subClassOf ; "For any temporally qualified continuant x@t, there exists a continuant y such that x@t has_state y, meaning that y is the anchor continuant of which x@t is a temporal phase existing at temporal regions t. The relation has_state is functional and signifies that all such temporally qualified continuants are uniquely associated with their basic anchor continuant."@en ; rdfs:label "temporally qualified continuant"@en ; "A temporally qualified continuant is a continuant that, by reference to a determinate temporal region, is such as to possess its properties only for so long as that period obtains, being otherwise in its essentiality unchanged."@en . ### https://w3id.org/pmd/co/PMD_0000597 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "mass density"@en ; "fundamental property of matter representing the mass of a portion of matter per unit volume"@en . ### https://w3id.org/pmd/co/PMD_0000639 rdf:type owl:Class ; rdfs:label "ferrous metal"@en ; "metal that has iron as primary constituent"@en . ### https://w3id.org/pmd/co/PMD_0020026 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:comment "A Portion Of Matter that consists of only Iron atoms."@en ; rdfs:label "portion of iron"@en ; "A 'portion of iron' is a 'Poriton Of Pure Substance' that 'consists of' only chebi:iron atom."@en . ### https://w3id.org/pmd/co/PMD_0020096 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "steel"@en ; "ferrous metal that consists of iron and carbon and possibly other alloying elements (and possibly impurities)"@en . ### https://w3id.org/pmd/co/PMD_0020133 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "Masse"@de , "mass"@en ; "Mass is fundamental extensive quality."@en . ### https://w3id.org/pmd/co/PMD_0020140 rdf:type owl:Class ; rdfs:label "portion of pure chemical element"@en ; "A portion of pure chemical element is a pure substance composed of multiple atoms, which are all of the same kind."@en . ### https://w3id.org/pmd/co/PMD_0020170 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:comment "The ingot may be hot rolled after casting..."@en ; rdfs:label "Bramme"@de , "ingot"@en ; "An ingot is an object that has a thick section and may bear a semi finished product role and that is the specified output of a casting process. At the same time it is a material."@en . ### https://w3id.org/pmd/co/PMD_0023000 rdf:type owl:Class ; "TODO: system requires further precision"@en ; rdfs:label "fundamental quality of system"@en ; "a quality that is quality of every system made of demarcated materail entites"@en . ### https://w3id.org/pmd/co/PMD_0023043 rdf:type owl:Class ; rdfs:label "fundamental quality of matter"@en ; "a quality that is quality of every portion of matter"@en . ################################################################# # 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. # S: stated by PMDco 3.1.2 rdfs:subClassOf ; # S: stated by PMDco 3.1.2 owl:disjointWith . # S: stated by PMDco 3.1.2 rdfs:subClassOf . # S: stated by PMDco 3.1.2 owl:disjointWith . # S: stated by PMDco 3.1.2 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 'has quality', whose range is 'quality' in PMDco 3.1.2 rdfs:domain . # E: one conjunct of a PMDco 3.1.2 axiom on 'material' rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; # T: entailed by PMDco 3.1.2 through classes outside the pattern: material < portion of matter < material entity rdfs:subClassOf . # E: inverse of 'specifies value of', whose domain is 'value specification' in PMDco 3.1.2 rdfs:range . # S: stated by PMDco 3.1.2 rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; # T: entailed by PMDco 3.1.2 through classes outside the pattern: ferrous metal < metal < material rdfs:subClassOf . # T: entailed by PMDco 3.1.2 through classes outside the pattern: portion of pure chemical element < pure substance < chemical substance < chemical entity < portion of matter < material entity rdfs:subClassOf . # S: stated by PMDco 3.1.2 rdfs:subClassOf . # S: stated by PMDco 3.1.2 rdfs:subClassOf . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi