@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 ; rdfs:domain ; "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/BFO_0000063 rdf:type owl:ObjectProperty , owl:TransitiveProperty ; "x precedes y if and only if the time point at which x ends is before or equivalent to the time point at which y starts. Formally: x precedes y iff ω(x) <= α(y), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point."@en ; rdfs:label "precedes"@en ; "(Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants"@en . ### http://purl.obolibrary.org/obo/BFO_0000117 rdf:type owl:ObjectProperty , owl:TransitiveProperty ; rdfs:label "has occurrent part"@en ; "b has occurrent part c =Def c occurrent part of b"@en . ### http://purl.obolibrary.org/obo/BFO_0000118 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdf:type owl:TransitiveProperty ; rdfs:label "has proper occurrent part"@en ; "b has proper occurrent part c =Def b has occurrent part c & b and c are not identical"@en . ### http://purl.obolibrary.org/obo/OBI_0000293 rdf:type owl:ObjectProperty ; "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 ; "The inverse property of is specified output of" ; rdfs:label "has specified output"@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_0002082 rdf:type owl:ObjectProperty , owl:SymmetricProperty , owl:TransitiveProperty ; "x simultaneous with y iff ω(x) = ω(y) and ω(α ) = ω(α), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point and '=' indicates the same instance in time." ; rdfs:comment "t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2)"@en ; rdfs:label "simultaneous with"@en . ### http://purl.obolibrary.org/obo/RO_0002224 rdf:type owl:ObjectProperty , owl:TransitiveProperty ; "Every insulin receptor signaling pathway starts with the binding of a ligand to the insulin receptor" ; "x starts with y if and only if x has part y and the time point at which x starts is equivalent to the time point at which y starts. Formally: α(y) = α(x) ∧ ω(y) < ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point." ; rdfs:label "starts with"@en . ### http://purl.obolibrary.org/obo/RO_0002230 rdf:type owl:ObjectProperty , owl:TransitiveProperty ; "x ends with y if and only if x has part y and the time point at which x ends is equivalent to the time point at which y ends. Formally: α(y) > α(x) ∧ ω(y) = ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point." ; rdfs:label "ends with"@en . ### https://w3id.org/pmd/co/PMD_0000004 rdf:type owl:ObjectProperty ; rdfs:label "is subject of"@en ; "Inverse of 'is about'."@en . ################################################################# # Classes ################################################################# ### 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_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_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 ; "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/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/OBI_0000260 rdf:type owl:Class ; rdfs:subClassOf ; "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 . ### 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 . ################################################################# # 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: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:domain ; # 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 . # E: inverse of 'is about', whose domain is 'information content entity' 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