@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_0000050 rdf:type owl:ObjectProperty , owl:TransitiveProperty ; "my brain is part of my body (continuant parthood, two material entities)"@en , "my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity)"@en , "this day is part of this year (occurrent parthood)"@en ; "a core relation that holds between a part and its whole"@en ; "Everything is part of itself. Any part of any part of a thing is itself part of that thing. Two distinct things cannot be part of each other."@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 can be part of an occurrent; only a process can be part of a process; only a continuant can be part of a continuant; only an independent continuant can be part of an independent continuant; only an immaterial entity can be part of an immaterial entity; only a specifically dependent continuant can be part of a specifically dependent continuant; only a generically dependent continuant can be part of a generically dependent continuant. (This list is not exhaustive.) A continuant cannot be part of an occurrent: use 'participates in'. An occurrent cannot be part of a continuant: use 'has participant'. A material entity cannot be part of an immaterial entity: use 'has location'. A specifically dependent continuant cannot be part of an independent continuant: use 'inheres in'. An independent continuant cannot be part of a specifically dependent continuant: use 'bearer of'."""@en ; rdfs:label "part of" , "part of"@en . ### 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/OBI_0000295 rdf:type owl:ObjectProperty ; "some Autologous EBV(Epstein-Barr virus)-transformed B-LCL (B lymphocyte cell line) is_input_for instance of Chromum Release Assay described at https://wiki.cbil.upenn.edu/obiwiki/index.php/Chromium_Release_assay"@en ; "A relation between a completely executed planned process and a continuant participating in that process that is not created during the process. The presence of the continuant during the process is explicitly specified in the plan specification which the process realizes the concretization of." ; rdfs:label "is specified input of"@en . ### http://purl.obolibrary.org/obo/OBI_0000312 rdf:type owl:ObjectProperty ; "A relation between a completely executed planned process and a continuant participating in that process. The presence of the continuant at the end of the process is explicitly specified in the objective specification which the process realizes the concretization of."@en ; rdfs:label "is specified output of"@en . ### http://purl.obolibrary.org/obo/RO_0000057 rdf:type owl:ObjectProperty ; "this blood coagulation has participant this blood clot"@en , "this investigation has participant this investigator"@en , "this process has participant this input material (or this output material)"@en ; "a relation between a process and a continuant, in which the continuant is somehow involved in the process"@en ; "Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time."@en ; rdfs:label "has participant"@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_0000031 rdf:type owl:Class ; 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/IAO_0000030 rdf:type owl:Class ; rdfs:subClassOf ; "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 . ### https://w3id.org/pmd/co/PMD_0000066 rdf:type owl:Class ; rdfs:label "input assignment"@en ; "Input assignment is a process boundary which is part of a computing process and which connects a material entity or i.c.e as input to the computing process"@en . ### https://w3id.org/pmd/co/PMD_0000067 rdf:type owl:Class ; rdfs:label "output assignment"@en ; "Output assignment is a process boundary which is part of a computing process and which connects a material entity or i.c.e as output to the computing process"@en . ### https://w3id.org/pmd/co/PMD_0000583 rdf:type owl:Class ; "The subclass trees of \"Computing Process\" are currently still proposals and serve as a working basis for the discussion round with the simulation/workflow domain experts."@en ; rdfs:label "Rechenprozess"@de , "computing process"@en ; "A process that involves the systematic use of computational methods and tools to perform simulations, analyses, or data transformations to achieve specific scientific or engineering goals."@en , "Ein Prozess, der die systematische Verwendung von rechnerischen Methoden und Werkzeugen umfasst, um Simulationen, Analysen oder Datenumwandlungen durchzuführen, um spezifische wissenschaftliche oder technische Ziele zu erreichen."@de . ### https://w3id.org/pmd/co/PMD_0000933 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "Simulationsprozess"@de , "simulation process"@en ; "A computing process that models the behavior of a system over time using mathematical or computational techniques."@en , "Ein Datenverarbeitungsprozess, der das Verhalten eines Systems im Laufe der Zeit mit mathematischen oder rechnerischen Techniken modelliert"@de . ################################################################# # 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 [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom ] . # E: one conjunct of a PMDco 3.1.2 axiom on 'input assignment' rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; # E: one conjunct of a PMDco 3.1.2 axiom on 'input assignment' rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] . # E: one conjunct of a PMDco 3.1.2 axiom on 'output assignment' rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; # E: one conjunct of a PMDco 3.1.2 axiom on 'output assignment' rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi