@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @base . rdf:type owl:Ontology . # MWO 3.0.2 reading of Pattern 7 "Temporal region" (https://ise-fizkarlsruhe.github.io/mwo/docs/patterns/). # The figure was drawn against MWO 3.0.0. Every term below was checked against the 3.0.2 release; domains, ranges and # characteristics are 3.0.2's own and none is narrowed to the classes the figure draws. # Edges of the figure (tail --property--> head); all nine are carried: # process --occupies temporal region--> 1-D temporal region obo:BFO_0000199 (functional: ONE region per process) # 1-D temporal region --has proper temporal part--> 1-D temporal region # obo:BFO_0000181; the figure's label 'proper_temporal_part' has no has/of, # the arrow reads 'has' (the inverse is obo:BFO_0000136, declared too) # 1-D temporal region --has first instant--> temporal instant obo:BFO_0000222 (the figure says 'has_first_instance') # 1-D temporal region --has last instant--> temporal instant obo:BFO_0000224 (the figure says 'has_last_instance') # 1-D temporal region --denoted by--> specification datum obo:IAO_0000235; pmdco:PMD_0060009 # 0-D temporal region --denoted by--> specification datum # process --denoted by--> event frequency datum mwo:MWO_0001001 # specification datum --has value--> literal nfdi:NFDI_0001007 # event frequency datum --has value--> literal # The figure draws the two instants as zero-dimensional temporal regions; MWO ranges has first / last instant over temporal # instant (obo:BFO_0000203, a subclass of the zero-dimensional region), so that is the class the instants have here. # The figure also draws the process occupying TWO regions. occupies temporal region is functional, so a process has one; # the worked example gives it one and relates the second by has proper temporal part. ################################################################# # 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_0000136 rdf:type owl:ObjectProperty ; owl:inverseOf ; rdfs:domain ; rdfs:range ; rdfs:label "proper temporal part of"@en ; "b proper temporal part of c =Def b temporal part of c & not (b = c)"@en . ### http://purl.obolibrary.org/obo/BFO_0000181 rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range ; rdfs:label "has proper temporal part"@en ; "b has proper temporal part c =Def c proper temporal part of b"@en . ### http://purl.obolibrary.org/obo/BFO_0000199 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range ; rdfs:label "occupies temporal region"@en ; "p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t"@en . ### http://purl.obolibrary.org/obo/BFO_0000221 rdf:type owl:ObjectProperty ; owl:inverseOf ; rdfs:domain ; rdfs:range ; rdfs:label "first instant of"@en ; "t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t"@en . ### http://purl.obolibrary.org/obo/BFO_0000222 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain ; rdfs:range ; rdfs:label "has first instant"@en ; "t has first instant t' =Def t' first instant of t"@en . ### http://purl.obolibrary.org/obo/BFO_0000223 rdf:type owl:ObjectProperty ; owl:inverseOf ; rdfs:domain ; rdfs:range ; rdfs:label "last instant of"@en ; "t last instant of t' =Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede t"@en . ### http://purl.obolibrary.org/obo/BFO_0000224 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain ; rdfs:range ; rdfs:label "has last instant"@en ; "t has last instant t' =Def t' last instant of t"@en . ### http://purl.obolibrary.org/obo/IAO_0000235 rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range ; "inverse of the relation 'denotes'"@en ; rdfs:label "denoted by"@en . ################################################################# # Data properties ################################################################# ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0001007 rdf:type owl:DatatypeProperty ; rdfs:label "has value"@en ; "A relation between an information content entity and its specific value."@en . ################################################################# # Classes ################################################################# ### http://purl.obolibrary.org/obo/BFO_0000001 rdf:type owl:Class ; "Julius Caesar"@en , "Verdi’s Requiem"@en , "the Second World War"@en , "your body mass index"@en ; "BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81"@en ; rdfs:label "entity"@en ; "(Elucidation) An entity is anything that exists or has existed or will exist"@en . ### http://purl.obolibrary.org/obo/BFO_0000003 rdf:type owl:Class ; rdfs:subClassOf ; "An entity that has temporal parts and that happens, unfolds or develops through time."@en ; "BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region"@en , "BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players."@en ; 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_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_0000015 rdf:type owl:Class ; rdfs:subClassOf ; "a process of cell-division, \\ a beating of the heart"@en , "a process of meiosis"@en , "a process of sleeping"@en , "the course of a disease"@en , "the flight of a bird"@en , "the life of an organism"@en , "your process of aging."@en ; "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])"@en ; "BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)"@en ; 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_0000031 rdf:type owl:Class ; "The entries in your database are patterns instantiated as quality instances in your hard drive. The database itself is an aggregate of such patterns. When you create the database you create a particular instance of the generically dependent continuant type database. Each entry in the database is an instance of the generically dependent continuant type IAO: information content entity."@en , "the pdf file on your laptop, the pdf file that is a copy thereof on my laptop"@en , "the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule."@en ; "b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])"@en ; rdfs:label "generically dependent continuant"@en ; "(Elucidation) A generically dependent continuant is an entity that exists in virtue of the fact that there is at least one of what may be multiple copies which is the content or the pattern that multiple copies would share"@en . ### http://purl.obolibrary.org/obo/BFO_0000035 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "process boundary"@en ; "p is a process boundary =Def p is a temporal part of a process & p has no proper temporal parts"@en . ### http://purl.obolibrary.org/obo/BFO_0000038 rdf:type owl:Class ; rdfs:subClassOf ; owl:disjointWith ; rdfs:label "one-dimensional temporal region"@en ; "(Elucidation) A one-dimensional temporal region is a temporal region that is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts"@en . ### http://purl.obolibrary.org/obo/BFO_0000148 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "zero-dimensional temporal region"@en ; "(Elucidation) A zero-dimensional temporal region is a temporal region that is a whole consisting of one or more separated temporal instants as parts"@en . ### http://purl.obolibrary.org/obo/BFO_0000203 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "temporal instant"@en ; "(Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part"@en . ### http://purl.obolibrary.org/obo/IAO_0000027 rdf:type owl:Class ; rdfs:subClassOf ; "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 ; rdfs:subClassOf ; "Examples of information content entites include journal articles, data, graphical layouts, and graphs." , "Examples of information content entites include journal articles, data, graphical layouts, and graphs."@en ; "A generically dependent continuant that is about some thing."@en , "An information content entity is an entity that is generically dependent on some artifact and stands in relation of aboutness to some entity." ; "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" , "information content entity"@en . ### http://purl.obolibrary.org/obo/IAO_0000032 rdf:type owl:Class ; "10 feet. 3 ml."@en ; "A scalar measurement datum is a measurement datum that is composed of two parts, numerals and a unit label."@en ; """2009-03-16: we decided to keep datum singular in scalar measurement datum, as in this case we explicitly refer to the singular form"""@en , "Would write this as: has_part some 'measurement unit label' and has_part some numeral and has_part exactly 2, except for the fact that this won't let us take advantage of OWL reasoning over the numbers. Instead use has measurment value property to represent the same. Use has measurement unit label (subproperty of has_part) so we can easily say that there is only one of them."@en ; rdfs:label "scalar measurement datum"@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_0000416 rdf:type owl:Class ; rdfs:subClassOf ; "A scalar measurement datum that is the result of measuring a temporal interval"@en ; "2009/09/28 Alan Ruttenberg. Fucoidan-use-case"@en ; rdfs:label "time measurement datum"@en . ### http://purl.obolibrary.org/obo/OBI_0002471 rdf:type owl:Class ; rdfs:subClassOf ; "A data item that is the date when a process was initiated."@en ; rdfs:label "date process started"@en . ### http://purls.helmholtz-metadaten.de/mwo/MWO_0001001 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "event frequency datum"@en ; "Event frequency datum describes how often an events occurs within a given time interval" . ### http://purls.helmholtz-metadaten.de/mwo/MWO_0001012 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "date process ended"@en ; "The date and time at which the experimental process was completed." . ### https://w3id.org/pmd/co/PMD_0060009 rdf:type owl:Class ; rdfs:subClassOf ; 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 . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi