@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_0000054 rdf:type owl:ObjectProperty ; rdfs:range ; rdfs:label "has realization"@en , "realized in"@en ; "b has realization c =Def c realizes b"@en . ### http://purl.obolibrary.org/obo/IAO_0000039 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:label "has measurement unit label"@en . ### http://purl.obolibrary.org/obo/RO_0000052 rdf:type owl:ObjectProperty ; owl:inverseOf ; rdf:type owl:FunctionalProperty ; "this fragility is a characteristic of this vase"@en , "this red color is a characteristic of this apple"@en ; "a relation between a specifically dependent continuant (the characteristic) and any other entity (the bearer), in which the characteristic depends on the bearer for its existence."@en ; rdfs:comment "Note that this relation was previously called \"inheres in\", but was changed to be called \"characteristic of\" because BFO2 uses \"inheres in\" in a more restricted fashion. This relation differs from BFO2:inheres_in in two respects: (1) it does not impose a range constraint, and thus it allows qualities of processes, as well as of information entities, whereas BFO2 restricts inheres_in to only apply to independent continuants (2) it is declared functional, i.e. something can only be a characteristic of one thing." ; rdfs:label "characteristic of"@en . ### http://purl.obolibrary.org/obo/RO_0000053 rdf:type owl:ObjectProperty , owl:InverseFunctionalProperty ; rdfs:range ; "this apple is bearer of this red color"@en , "this vase is bearer of this fragility"@en ; "Inverse of characteristic_of"@en ; "A bearer can have many dependents, and its dependents can exist for different periods of time, but none of its dependents can exist when the bearer does not exist."@en ; rdfs:label "has characteristic"@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_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_0000015 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "process"@en ; "(Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant"@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/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_0000005 rdf:type owl:Class ; rdfs:subClassOf , ; rdfs:comment """A property is a material trait in terms of the kind and magnitude of response to a specific imposed stimulus. Generally, definitions of properties are made independent of material shape and size. (Callister, W.D., Rethwisch, D.G., Materials Science and Engineering, Wiley, 2014) Technical materials are complex aggregates. Many properties that are determined for those aggregates are intrinsically associated with the methodologies employed in the measurement process. This is in contrast to typical 'physical' properties, which like e.g. mass that can be determined to high accuracy independently of the measurement process. As a consequence, material properties in the ontology are differeciated according to their measurement method, e.g. Brinell hardness and Vickers hardness are different types of indentation hardness rather than different measures/quantification (GDC) of the materials property 'indentation hardness'. The 'unit idenifieres' of such properties (e.g. \"HV1\", \"HV10\", \"HBW\") are strictly speaking not units but rather references to the measurement methodology used to determine a numeric value that quantifies the property. Extensive properties that depend on the object being tested rather than on the portion of matter are (extensive) object- or system-properties."""@en ; rdfs:label "Materialeigenschaft"@de , "material performance property"@en ; "a disposition of a portion of matter that is realized in a compatible process and whose realization is grounded in the portions intensive qualities"@en . ### https://w3id.org/pmd/co/PMD_0000522 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "mechanical process"@en , "mechanischer Prozess"@de ; "is a process in which forces, moments, or imposed displacements to objects or object aggregates occur and/or the equivalent (stresses, strains) to materials or portions of matter"@en , "ist ein Prozess, bei dem Kräfte, Momente oder auferlegte Verschiebungen auf Objekte oder Objektaggregate und/oder das Äquivalent (Spannungen, Dehnungen) auf Materialien oder Teile der Materie auftreten"@de . ### 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_0000851 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "Schmelzpunkt"@de , "melting point"@en ; "Der Schmelzpunkt ist eine Zustandsgrenze einer Materie, die durch den Übergang vom festen in den flüssigen Zustand (oder umgekehrt) entsteht."@de , "The melting point is a state of matter boundary realized by transition form the solid state to the liquid state (or vice versa)."@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_0020164 rdf:type owl:Class ; rdfs:label "Zustandsgrenze der Materie"@de , "state of matter boundary"@en ; "A state of matter boundary is a phase boundary that is realized by the transition from one aggregate state to another aggregate state."@en , "Eine Zustandsgrenze ist eine Phasengrenze, die durch den Übergang von einem Aggregatzustand in einen anderen Aggregatzustand realisiert wird."@de . ### https://w3id.org/pmd/co/PMD_0020353 rdf:type owl:Class ; "Do not use this class directly. It will be deprecated in future releases." ; rdfs:label "unclassified property"@en ; "a collection of to-be classifed SDCs"@en . ### https://w3id.org/pmd/co/PMD_0023004 rdf:type owl:Class ; rdfs:label "a portions property"@en ; "a 'property by bearer' that indicates that its bearer is a portion of matter"@en . ### https://w3id.org/pmd/co/PMD_0080171 rdf:type owl:Class ; rdfs:comment "The amount of plastic strain typically gives more information about the yield stress. E.g. Rp02 has 0.2% plastic strain."@en ; rdfs:label "Fließgrenze"@de , "yield stress"@en ; "is the stress at which the material has a non-zero plastic strain."@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 owl:disjointWith . # 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 characteristic', whose range is 'specifically dependent continuant' in PMDco 3.1.2 rdfs:domain . # E: inverse of 'specifies value of', whose domain is 'value specification' in PMDco 3.1.2 rdfs:range . # T: entailed by PMDco 3.1.2 through classes outside the pattern: ferrous metal < metal < material < portion of matter < material entity < independent continuant < continuant rdfs:subClassOf . # T: entailed by PMDco 3.1.2 through classes outside the pattern: state of matter boundary < phase boundary (realization) < realizable entity < thermodynamic property < specifically dependent continuant rdfs:subClassOf . # T: entailed by PMDco 3.1.2 through classes outside the pattern: unclassified property < property < specifically dependent continuant rdfs:subClassOf . # T: entailed by PMDco 3.1.2 through classes outside the pattern: a portions property < property by bearer < facetted property < property < specifically dependent continuant rdfs:subClassOf . # T: entailed by PMDco 3.1.2 through classes outside the pattern: yield stress < strength < characteristic material property < a portions property rdfs:subClassOf . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi