@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_0000055 rdf:type owl:ObjectProperty ; "Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process"@en ; rdfs:label "realizes"@en ; "(Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c"@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/IAO_0000136 rdf:type owl:ObjectProperty ; owl:inverseOf ; "This document is about information artifacts and their representations"@en ; "A (currently) primitive relation that relates an information artifact to an entity."@en ; """7/6/2009 Alan Ruttenberg. Following discussion with Jonathan Rees, and introduction of \"mentions\" relation. Weaken the is_about relationship to be primitive. We will try to build it back up by elaborating the various subproperties that are more precisely defined. Some currently missing phenomena that should be considered \"about\" are predications - \"The only person who knows the answer is sitting beside me\" , Allegory, Satire, and other literary forms that can be topical without explicitly mentioning the topic."""@en ; rdfs:label "is about"@en . ### http://purl.obolibrary.org/obo/IAO_0000221 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdfs:domain ; "m is a quality measurement of q at t. When q is a quality, there is a measurement process p that has specified output m, a measurement datum, that is about q"@en ; "8/6/2009 Alan Ruttenberg: The strategy is to be rather specific with this relationship. There are other kinds of measurements that are not of qualities, such as those that measure time. We will add these as separate properties for the moment and see about generalizing later"@en , """From the second IAO workshop [Alan Ruttenberg 8/6/2009: not completely current, though bringing in comparison is probably important] This one is the one we are struggling with at the moment. The issue is what a measurement measures. On the one hand saying that it measures the quality would include it \"measuring\" the bearer = referring to the bearer in the measurement. However this makes comparisons of two different things not possible. On the other hand not having it inhere in the bearer, on the face of it, breaks the audit trail. Werner suggests a solution based on \"Magnitudes\" a proposal for which we are awaiting details. -- From the second IAO workshop, various comments, [commented on by Alan Ruttenberg 8/6/2009] unit of measure is a quality, e.g. the length of a ruler. [We decided to hedge on what units of measure are, instead talking about measurement unit labels, which are the information content entities that are about whatever measurement units are. For IAO we need that information entity in any case. See the term measurement unit label] [Some struggling with the various subflavors of is_about. We subsequently removed the relation represents, and describes until and only when we have a better theory] a represents b means either a denotes b or a describes describe: a describes b means a is about b and a allows an inference of at least one quality of b We have had a long discussion about denotes versus describes."""@en , """From the second IAO workshop: An attempt at tieing the quality to the measurement datum more carefully. a is a magnitude means a is a determinate quality particular inhering in some bearer b existing at a time t that can be represented/denoted by an information content entity e that has parts denoting a unit of measure, a number, and b. The unit of measure is an instance of the determinable quality."""@en , """From the second meeting on IAO: An attempt at defining assay using Barry's \"reliability\" wording assay: process and has_input some material entity and has_output some information content entity and which is such that instances of this process type reliably generate outputs that describes the input."""@en , """This one is the one we are struggling with at the moment. The issue is what a measurement measures. On the one hand saying that it measures the quality would include it \"measuring\" the bearer = referring to the bearer in the measurement. However this makes comparisons of two different things not possible. On the other hand not having it inhere in the bearer, on the face of it, breaks the audit trail. Werner suggests a solution based on \"Magnitudes\" a proposal for which we are awaiting details."""@en ; rdfs:label "is quality measurement of"@en . ### http://purl.obolibrary.org/obo/IAO_0000419 rdf:type owl:ObjectProperty ; "inverse of the relation of is quality specification of"@en ; "2009/10/19 Alan Ruttenberg. Named 'junk' relation useful in restrictions, but not a real instance relationship"@en ; rdfs:label "quality is specified as"@en . ### http://purl.obolibrary.org/obo/OBI_0000293 rdf:type owl:ObjectProperty ; rdfs:domain ; "see is_input_of example_of_usage"@en ; "The inverse property of is specified input of" ; "8/17/09: specified inputs of one process are not necessarily specified inputs of a larger process that it is part of. This is in contrast to how 'has participant' works." ; rdfs:label "has specified input"@en . ### http://purl.obolibrary.org/obo/OBI_0000299 rdf:type owl:ObjectProperty ; rdfs:domain ; "The inverse property of is specified output of" ; rdfs:label "has specified output"@en . ### http://purl.obolibrary.org/obo/OBI_0000417 rdf:type owl:ObjectProperty ; rdfs:domain ; "A cell sorting process achieves the objective specification 'material separation objective'" ; "This relation obtains between a planned process and a objective specification when the criteria specified in the objective specification are met at the end of the planned process."@en ; rdfs:label "achieves_planned_objective" . ### http://purl.obolibrary.org/obo/OBI_0001927 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; "A relation between a value specification and an entity which the specification is about."@en ; rdfs:label "specifies value of" . ### http://purl.obolibrary.org/obo/OBI_0001938 rdf:type owl:ObjectProperty ; "A relation between an information content entity and a value specification that specifies its value."@en ; rdfs:label "has value specification" . ### http://purl.obolibrary.org/obo/RO_0000053 rdf:type owl:ObjectProperty , owl:InverseFunctionalProperty ; "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 . ### http://purl.obolibrary.org/obo/RO_0000058 rdf:type owl:ObjectProperty ; owl:inverseOf ; "A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The journal article (a generically dependent continuant) is concretized as the quality (a specifically dependent continuant), and both depend on that copy of the printed journal (an independent continuant)."@en , "An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process)."@en ; "A relationship between a generically dependent continuant and a specifically dependent continuant or process, in which the generically dependent continuant depends on some independent continuant or process in virtue of the fact that the specifically dependent continuant or process also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants or processes."@en , "A relationship between a generically dependent continuant and a specifically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants."@en ; rdfs:label "is concretized as"@en . ### http://purl.obolibrary.org/obo/RO_0000059 rdf:type owl:ObjectProperty ; "A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The quality (a specifically dependent continuant) concretizes the journal article (a generically dependent continuant), and both depend on that copy of the printed journal (an independent continuant)."@en , "An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process)."@en ; "A relationship between a specifically dependent continuant and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. Multiple specifically dependent continuants can concretize the same generically dependent continuant."@en , "A relationship between a specifically dependent continuant or process and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant or process also depends on that same independent continuant. Multiple specifically dependent continuants or processes can concretize the same generically dependent continuant."@en ; rdfs:label "concretizes"@en . ### http://purl.obolibrary.org/obo/RO_0000086 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; 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 . ### http://purl.obolibrary.org/obo/RO_0000087 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; "this person has role this investigator role (more colloquially: this person has this role of investigator)"@en ; "a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence"@en ; "A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists."@en ; rdfs:label "has role"@en . ### http://purl.obolibrary.org/obo/RO_0009006 rdf:type owl:ObjectProperty ; "A mass measurement assay measures an material's mass characteristic. A radioactivity detection assay measures the amount of radiation (alpha, beta or gamma ray emmissions) coming from a material."@en ; "A relation between an assay and a characteristic, in which the assay generates a data item which is a measure of a characteristic."@en ; rdfs:label "assay measures characteristic"@en . ### https://w3id.org/pmd/co/PMD_0000004 rdf:type owl:ObjectProperty ; rdfs:label "is subject of"@en ; "Inverse of 'is about'."@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_0000004 rdf:type owl:Class ; 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_0000017 rdf:type owl:Class ; rdfs:label "realizable entity"@en ; "(Elucidation) A realizable entity is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region & which is of a type some instances of which are realized in processes of a correlated type"@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_0000023 rdf:type owl:Class ; rdfs:label "role"@en ; "(Elucidation) A role b is a realizable entity such that b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be & b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed"@en . ### http://purl.obolibrary.org/obo/BFO_0000030 rdf:type owl:Class ; 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/COB_0000035 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; rdfs:label "completely executed planned process"@en . ### http://purl.obolibrary.org/obo/COB_0000082 rdf:type owl:Class ; "A process that is initiated by an agent who intends to carry out a plan to achieve an objective through one or more actions as described in a plan specification."@en ; rdfs:label "planned process"@en . ### http://purl.obolibrary.org/obo/IAO_0000027 rdf:type owl:Class ; "Data items include counts of things, analyte concentrations, and statistical summaries."@en ; "An information content entity that is intended to be a truthful statement about something (modulo, e.g., measurement precision or other systematic errors) and is constructed/acquired by a method which reliably tends to produce (approximately) truthful statements."@en , "An information content entity that is intended to be one or more truthful statement(s) about something (modulo, e.g., measurement precision or other systematic errors) and is constructed/acquired by a method which reliably tends to produce (approximately) truthful statements."@en ; "2/2/2009 Alan and Bjoern discussing FACS run output data. This is a data item because it is about the cell population. Each element records an event and is typically further composed a set of measurment data items that record the fluorescent intensity stimulated by one of the lasers."@en , "2009-03-16: data item deliberatly ambiguous: we merged data set and datum to be one entity, not knowing how to define singular versus plural. So data item is more general than datum."@en , "2009-03-16: removed datum as alternative term as datum specifically refers to singular form, and is thus not an exact synonym."@en , "2014-03-31: See discussion at http://odontomachus.wordpress.com/2014/03/30/aboutness-objects-propositions/" , """JAR: datum -- well, this will be very tricky to define, but maybe some information-like stuff that might be put into a computer and that is meant, by someone, to denote and/or to be interpreted by some process... I would include lists, tables, sentences... I think I might defer to Barry, or to Brian Cantwell Smith JAR: A data item is an approximately justified approximately true approximate belief"""@en ; rdfs:label "data entity"@en , "data item"@en . ### http://purl.obolibrary.org/obo/IAO_0000030 rdf:type owl:Class ; "Examples of information content entites include journal articles, data, graphical layouts, and graphs."@en ; "A generically dependent continuant that is about some thing."@en ; "2014-03-10: The use of \"thing\" is intended to be general enough to include universals and configurations (see https://groups.google.com/d/msg/information-ontology/GBxvYZCk1oc/-L6B5fSBBTQJ)."@en , "Pier: 'data, information or knowledge'. OR 'representation'"@en , """information_content_entity 'is_encoded_in' some digital_entity in obi before split (040907). information_content_entity 'is_encoded_in' some physical_document in obi before split (040907). Previous. An information content entity is a non-realizable information entity that 'is encoded in' some digital or physical entity."""@en ; rdfs:label "information content entity"@en . ### http://purl.obolibrary.org/obo/IAO_0000033 rdf:type owl:Class ; rdfs:subClassOf ; "An information content entity whose concretizations indicate to their bearer how to realize them in a process."@en ; "2009-03-16: provenance: a term realizable information entity was proposed for OBI (OBI_0000337) , edited by the PlanAndPlannedProcess branch. Original definition was \"is the specification of a process that can be concretized and realized by an actor\" with alternative term \"instruction\".It has been subsequently moved to IAO where the objective for which the original term was defined was satisfied with the definitionof this, different, term."@en , "2013-05-30 Alan Ruttenberg: What differentiates a directive information entity from an information concretization is that it can have concretizations that are either qualities or realizable entities. The concretizations that are realizable entities are created when an individual chooses to take up the direction, i.e. has the intention to (try to) realize it."@en , "8/6/2009 Alan Ruttenberg: Changed label from \"information entity about a realizable\" after discussions at ICBO"@en , "Werner pushed back on calling it realizable information entity as it isn't realizable. However this name isn't right either. An example would be a recipe. The realizable entity would be a plan, but the information entity isn't about the plan, it, once concretized, *is* the plan. -Alan"@en ; rdfs:label "directive information entity"@en . ### http://purl.obolibrary.org/obo/IAO_0000104 rdf:type owl:Class ; rdfs:subClassOf ; "PMID: 18323827.Nat Med. 2008 Mar;14(3):226.New plan proposed to help resolve conflicting medical advice."@en ; "A directive information entity with action specifications and objective specifications as parts, and that may be concretized as a realizable entity that, if realized, is realized in a process in which the bearer tries to achieve the objectives by taking the actions specified."@en ; "2009-03-16: provenance: a term a plan was proposed for OBI (OBI_0000344) , edited by the PlanAndPlannedProcess branch. Original definition was \" a plan is a specification of a process that is realized by an actor to achieve the objective specified as part of the plan\". It has been subsequently moved to IAO where the objective for which the original term was defined was satisfied with the definitionof this, different, term."@en , "2014-03-31: A plan specification can have other parts, such as conditional specifications."@en , "2022-01-16 Updated definition to that proposed by Clint Dowloand, IAO Issue 231."@en , "Alternative previous definition: a plan is a set of instructions that specify how an objective should be achieved"@en ; rdfs:comment """2/3/2009 Comment from OBI review. Action specification not well enough specified. Conditional specification not well enough specified. Question whether all plan specifications have objective specifications. Request that IAO either clarify these or change definitions not to use them"""@en ; rdfs:label "plan specification"@en . ### http://purl.obolibrary.org/obo/IAO_0000109 rdf:type owl:Class ; rdfs:subClassOf ; "Examples of measurement data are the recoding of the weight of a mouse as {40,mass,\"grams\"}, the recording of an observation of the behavior of the mouse {,process,\"agitated\"}, the recording of the expression level of a gene as measured through the process of microarray experiment {3.4,luminosity,}."@en ; "A measurement datum is an information content entity that is a recording of the output of a measurement such as produced by a device."@en ; "2/2/2009 is_specified_output of some assay?"@en ; rdfs:label "measurement datum"@en . ### http://purl.obolibrary.org/obo/OBI_0000067 rdf:type owl:Class ; rdfs:subClassOf ; "When a specimen of blood is assayed for glucose concentration, the blood has the evaluant role. When measuring the mass of a mouse, the evaluant is the mouse. When measuring the time of DNA replication, the evaluant is the DNA. When measuring the intensity of light on a surface, the evaluant is the light source."@en ; "a role that inheres in a material entity that is realized in an assay in which data is generated about the bearer of the evaluant role"@en ; "Role call - 17nov-08: JF and MC think an evaluant role is always specified input of a process. Even in the case where we have an assay taking blood as evaluant and outputting blood, the blood is not the specified output at the end of the assay (the concentration of glucose in the blood is)"@en , "examples of features that could be described in an evaluant: quality.... e.g. \"contains 10 pg/ml IL2\", or \"no glucose detected\")"@en ; rdfs:label "evaluant role"@en . ### http://purl.obolibrary.org/obo/OBI_0000070 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ] ; "Assay the wavelength of light emitted by excited Neon atoms. Count of geese flying over a house." ; "A planned process that has the objective to produce information about a material entity (the evaluant) by examining it."@en ; "12/3/12: BP: the reference to the 'physical examination' is included to point out that a prediction is not an assay, as that does not require physical examiniation." , "Discussion on OBI call 2023-05-01 resulted in an agreement to revise the textual definition of 'assay'. https://github.com/obi-ontology/obi/issues/1683." ; rdfs:label "assay"@en . ### http://purl.obolibrary.org/obo/OBI_0000260 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "The plan of researcher X to perform an experiment according to a protocol." ; "A plan is a realizable entity that is the inheres in a bearer who is committed to realizing it as a completely executed planned process."@en ; "This class is included to make clear how the plan specification, the plan, and the planned process relate. OBI will however only subclass and work under the 'plan specification', and 'planned process' class, as we want to avoid to get deep into discussions of 'intend' etc." ; rdfs:label "plan"@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_0000638 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "Ermüdungsprüfverfahren"@de , "fatigue testing process"@en ; "Ein Mechanische Eigenschaften Analyseverfahren, das die Fähigkeit eines Materials bewertet, zyklischen Belastungen standzuhalten, und seine Ermüdungslebensdauer und -grenze bestimmt."@de , "Fatigue testing process is a mechanical property analyzing process that assesses a material's ability to withstand cyclic loading, determining its fatigue life and endurance limit. It must have occurent parts single fatigue tests."@en . ### https://w3id.org/pmd/co/PMD_0000773 rdf:type owl:Class ; rdfs:label "Härte"@de , "hardness"@en ; "The hardness is a mechanical property used as a measure of a material's resistance to localized plastic deformation, often tested by indentation or scratch methods."@en . ### https://w3id.org/pmd/co/PMD_0000789 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "Indentationshärte"@de , "indentation hardness"@en ; "Die Eindruckhärte ist eine Härte, die den Widerstand eines Materials gegenüber der Verformung durch einen Eindringkörper angibt und zur Beurteilung der Oberflächenhärte verwendet wird."@de , "The indentation hardness is a hardness representing the resistance of a material to deformation from an indenter, used to assess surface hardness."@en . ### https://w3id.org/pmd/co/PMD_0000849 rdf:type owl:Class ; rdfs:label "Mechanische Eigenschaften Analyseverfahren"@de , "mechanical property analyzing process"@en ; "An assay that evaluates the mechanical characteristics of materials, such as strength, hardness, elasticity, and tensile properties, often through tests that measure response to forces and loads."@en , "Eine Analyse, die die mechanischen Eigenschaften von Materialien bewertet, wie z.B. Festigkeit, Härte, Elastizität und Zugfestigkeit, oft durch Tests, die die Reaktion auf Kräfte und Lasten messen."@de . ### https://w3id.org/pmd/co/PMD_0020176 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "plate"@en ; "A plate is a thick rectangular object that may bear a semi finished product role. At the same time it may be a material."@en . ### https://w3id.org/pmd/co/PMD_0060009 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:comment "The intent of the specification datum is to express the \"Sollwert\" of some qualitiy or behavioral material property. Then, the specification datum can be further specified by some value specification."@en ; rdfs:label "specification datum"@en ; "A directive information entity that provides information of a setpoint of some value, i.e., it is an intended value."@en . ################################################################# # Rules ################################################################# rdf:type . rdf:type . [ rdf:type ; [ rdf:type ; rdf:first [ rdf:type ; ; ] ; rdf:rest [ rdf:type ; rdf:first [ rdf:type ; ; ; ] ; rdf:rest rdf:nil ] ] ; [ rdf:type ; rdf:first [ rdf:type ; ; ; ] ; rdf:rest rdf:nil ] ] . ################################################################# # 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 . # 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 rdfs:subClassOf . # S: stated by PMDco 3.1.2 rdfs:range . # S: stated by PMDco 3.1.2 rdfs:subClassOf . # S: stated by PMDco 3.1.2 rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] . # S: stated by PMDco 3.1.2 rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] . # S: stated by PMDco 3.1.2 rdfs:domain . # S: stated by PMDco 3.1.2 rdfs:subClassOf [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; # S: stated by PMDco 3.1.2 rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ] ) ; rdf:type owl:Class ] ] . # S: stated by PMDco 3.1.2 rdfs:domain . # 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 ] . # S: stated by PMDco 3.1.2 rdfs:subClassOf . # S: stated by PMDco 3.1.2 rdfs:domain . # S: stated by PMDco 3.1.2 rdfs:domain ; # S: stated by PMDco 3.1.2 rdfs:range . # S: stated by PMDco 3.1.2 rdfs:range . # S: stated by PMDco 3.1.2 rdfs:domain ; # S: stated by PMDco 3.1.2 rdfs:range . # S: stated by PMDco 3.1.2 rdfs:range ; # O: the real RO (2025-12-17, as imported by PMDco 3.1.2) gives it this domain, PMDco's copy omits it, PMDco's figures agree rdfs:domain . # E: inverse of 'is about', whose domain is 'information content entity' in PMDco 3.1.2 rdfs:range . # T: entailed by PMDco 3.1.2 through classes outside the pattern: hardness < a portions property < characteristic material property < property by bearer < property < facetted property < specifically dependent continuant 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