From 1b1c0ce40bf3ed43c70d6fc9462774396cf047b1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ralph=20Sch=C3=A4fermeier?= Date: Thu, 23 Jan 2025 17:10:01 +0100 Subject: [PATCH] 48 situation module (#57) * Add situation module * Add situation module * change prefix * Fix namespaces * add gfo-core module * add gfo-situation-simple pattern * update gfo-situation-simple pattern * update update gfo-situation-simple pattern * add gfo-situation-object pattern * add gfo-situation-object-extended pattern * Update gfo-core module * update gfo-core module * add gfo-presentic module * add gfo-presentic module * update gfo-core module * add gfo-timeExtended module * add gfo-connector-presentic-timeExtended module * delete gfo-base * Add situation patterns+examples from JAO paper * Corrections * Add new files to CI workflow * Fix import resolution * Remove CI test step for deleted ontology * Specify profile for reasoning tests * Update documentation * Replace robot `reason` calls with `report` * Disable report for gfo-light.owl again This file will be replaced in another pull request * Add some labels * Update import statement of gfo.owl * Add gfo.owl to tested files * Remove unnecessary prefixes * Merge imports of some modules before reporting * Add labels to examples * Add rdfs:labels to individuals * Correct auto generated labels that start with a number * Remove module files from PR * Remove module tests from PR * Temporarily reinstitute gfo-base.owl * Fix import * replace gfo-core by gfo-base * replace risk_sit_1_timespan by 10_months_timespan --------- Co-authored-by: auciteli Co-authored-by: AlexU75 <65653151+AlexU75@users.noreply.github.com> Co-authored-by: Christoph Beger --- .github/workflows/test.yml | 50 +- CONTRIBUTING.md | 4 +- catalog-v001.xml | 4 + gfo.owl | 2 +- modules/situation/examples/catalog-v001.xml | 20 + .../examples/gfo-situation-object-example.ttl | 183 +++++ .../gfo-situation-object-extended-example.ttl | 257 +++++++ ...gfo-situation-presentic-object-example.ttl | 179 +++++ ...reified-presentic-attributives-example.ttl | 173 +++++ ...ject-reified-presentic-objects-example.ttl | 187 +++++ ...gfo-situation-presentic-simple-example.ttl | 206 +++++ .../examples/gfo-situation-simple-example.ttl | 199 +++++ .../gfo-situation-time-extended-example.ttl | 229 ++++++ .../gfo-situation-object-extended.ttl | 260 +++++++ modules/situation/gfo-situation-object.ttl | 170 +++++ ...-object-reified-presentic-attributives.ttl | 168 +++++ ...entic-object-reified-presentic-objects.ttl | 179 +++++ .../gfo-situation-presentic-object.ttl | 170 +++++ .../gfo-situation-presentic-simple.ttl | 154 ++++ modules/situation/gfo-situation-simple.ttl | 151 ++++ .../situation/gfo-situation-time-extended.ttl | 194 +++++ modules/situation/gfo-situation.ttl | 705 ++++++++++++++++++ 22 files changed, 3836 insertions(+), 8 deletions(-) create mode 100644 catalog-v001.xml create mode 100644 modules/situation/examples/catalog-v001.xml create mode 100644 modules/situation/examples/gfo-situation-object-example.ttl create mode 100644 modules/situation/examples/gfo-situation-object-extended-example.ttl create mode 100644 modules/situation/examples/gfo-situation-presentic-object-example.ttl create mode 100644 modules/situation/examples/gfo-situation-presentic-object-reified-presentic-attributives-example.ttl create mode 100644 modules/situation/examples/gfo-situation-presentic-object-reified-presentic-objects-example.ttl create mode 100644 modules/situation/examples/gfo-situation-presentic-simple-example.ttl create mode 100644 modules/situation/examples/gfo-situation-simple-example.ttl create mode 100644 modules/situation/examples/gfo-situation-time-extended-example.ttl create mode 100644 modules/situation/gfo-situation-object-extended.ttl create mode 100644 modules/situation/gfo-situation-object.ttl create mode 100644 modules/situation/gfo-situation-presentic-object-reified-presentic-attributives.ttl create mode 100644 modules/situation/gfo-situation-presentic-object-reified-presentic-objects.ttl create mode 100644 modules/situation/gfo-situation-presentic-object.ttl create mode 100644 modules/situation/gfo-situation-presentic-simple.ttl create mode 100644 modules/situation/gfo-situation-simple.ttl create mode 100644 modules/situation/gfo-situation-time-extended.ttl create mode 100644 modules/situation/gfo-situation.ttl diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index b672814..bca6fbd 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -26,11 +26,51 @@ jobs: steps: - uses: actions/checkout@v4 + - run: check-rdfxml gfo.owl - run: check-rdfxml gfo-light.owl - - run: check-rdfxml modules/gfo-base.owl + # - run: check-rdfxml modules/gfo-core.ttl + # - run: check-rdfxml modules/gfo-presentic.ttl + # - run: check-rdfxml modules/gfo-timeExtended.ttl + # - run: check-rdfxml modules/gfo-connector-presentic-timeExtended.ttl + - run: check-rdfxml modules/situation/gfo-situation.ttl + - run: check-rdfxml modules/situation/gfo-situation-object-extended.ttl + - run: check-rdfxml modules/situation/gfo-situation-object.ttl + - run: check-rdfxml modules/situation/gfo-situation-presentic-object-reified-presentic-attributives.ttl + - run: check-rdfxml modules/situation/gfo-situation-presentic-object-reified-presentic-objects.ttl + - run: check-rdfxml modules/situation/gfo-situation-presentic-object.ttl + - run: check-rdfxml modules/situation/gfo-situation-presentic-simple.ttl + - run: check-rdfxml modules/situation/gfo-situation-simple.ttl + - run: check-rdfxml modules/situation/gfo-situation-time-extended.ttl + - run: check-rdfxml modules/situation/examples/gfo-situation-object-example.ttl + - run: check-rdfxml modules/situation/examples/gfo-situation-object-extended-example.ttl + - run: check-rdfxml modules/situation/examples/gfo-situation-presentic-object-example.ttl + - run: check-rdfxml modules/situation/examples/gfo-situation-presentic-object-reified-presentic-attributives-example.ttl + - run: check-rdfxml modules/situation/examples/gfo-situation-presentic-object-reified-presentic-objects-example.ttl + - run: check-rdfxml modules/situation/examples/gfo-situation-presentic-simple-example.ttl + - run: check-rdfxml modules/situation/examples/gfo-situation-simple-example.ttl + - run: check-rdfxml modules/situation/examples/gfo-situation-time-extended-example.ttl - - run: robot reason --input gfo-light.owl - - run: robot reason --input modules/gfo-base.owl + - run: robot report --profile qc_report/profile.txt -i gfo.owl + # - run: robot report --profile qc_report/profile.txt -i gfo-light.owl + # - run: robot report --profile qc_report/profile.txt -i modules/gfo-core.ttl + # - run: robot report --profile qc_report/profile.txt -i modules/gfo-presentic.ttl + # - run: robot report --profile qc_report/profile.txt -i modules/gfo-timeExtended.ttl + - run: robot report --profile qc_report/profile.txt -i modules/situation/gfo-situation.ttl + - run: robot report --profile qc_report/profile.txt -i modules/situation/gfo-situation-object-extended.ttl + - run: robot report --profile qc_report/profile.txt -i modules/situation/gfo-situation-object.ttl + - run: robot report --profile qc_report/profile.txt -i modules/situation/gfo-situation-presentic-object-reified-presentic-attributives.ttl + - run: robot report --profile qc_report/profile.txt -i modules/situation/gfo-situation-presentic-object-reified-presentic-objects.ttl + - run: robot report --profile qc_report/profile.txt -i modules/situation/gfo-situation-presentic-object.ttl + - run: robot report --profile qc_report/profile.txt -i modules/situation/gfo-situation-presentic-simple.ttl + - run: robot report --profile qc_report/profile.txt -i modules/situation/gfo-situation-simple.ttl + - run: robot report --profile qc_report/profile.txt -i modules/situation/gfo-situation-time-extended.ttl - # - run: robot report --input gfo-light.owl --profile qc_report/profile.txt - - run: robot report --input modules/gfo-base.owl --profile qc_report/profile.txt + # - run: robot merge --collapse-import-closure true -i modules/gfo-connector-presentic-timeExtended.ttl report --profile qc_report/profile.txt + - run: robot merge --collapse-import-closure true -i modules/situation/examples/gfo-situation-object-example.ttl report --profile qc_report/profile.txt + - run: robot merge --collapse-import-closure true -i modules/situation/examples/gfo-situation-object-extended-example.ttl report --profile qc_report/profile.txt + - run: robot merge --collapse-import-closure true -i modules/situation/examples/gfo-situation-presentic-object-example.ttl report --profile qc_report/profile.txt + - run: robot merge --collapse-import-closure true -i modules/situation/examples/gfo-situation-presentic-object-reified-presentic-attributives-example.ttl report --profile qc_report/profile.txt + - run: robot merge --collapse-import-closure true -i modules/situation/examples/gfo-situation-presentic-object-reified-presentic-objects-example.ttl report --profile qc_report/profile.txt + - run: robot merge --collapse-import-closure true -i modules/situation/examples/gfo-situation-presentic-simple-example.ttl report --profile qc_report/profile.txt + - run: robot merge --collapse-import-closure true -i modules/situation/examples/gfo-situation-simple-example.ttl report --profile qc_report/profile.txt + - run: robot merge --collapse-import-closure true -i modules/situation/examples/gfo-situation-time-extended-example.ttl report --profile qc_report/profile.txt diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 06184f3..8ce314d 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -24,9 +24,9 @@ If you want to contribute changes, please do so by: Edit the ontology files using a suitable ontology editor or text editor. Adhere to the GFO's existing coding style and conventions. Ensure your changes are well-documented and understandable. - You can run the following command with docker to check your changes locally (in this case `modules/gfo-base.owl` is checked): + You can run the following command with docker to check your changes locally (in this case `modules/gfo-core.owl` is checked): - docker run -it -v .:/gfo -w /gfo obolibrary/odklite robot report --input modules/gfo-base.owl --profile qc_report/profile.txt + docker run -it -v .:/gfo -w /gfo obolibrary/odklite robot report --input modules/gfo-core.owl --profile qc_report/profile.txt 4. Commit and push all changes. 5. Create a [pull request](https://github.com/Onto-Med/GFO/pulls). diff --git a/catalog-v001.xml b/catalog-v001.xml new file mode 100644 index 0000000..31f49e5 --- /dev/null +++ b/catalog-v001.xml @@ -0,0 +1,4 @@ + + + + diff --git a/gfo.owl b/gfo.owl index 2558bbc..95e88ad 100644 --- a/gfo.owl +++ b/gfo.owl @@ -17,7 +17,7 @@ 2024-11-18 - + General Formal Ontology (GFO) General Formal Ontology (GFO) The General Formal Ontology is a top-level ontology for conceptual diff --git a/modules/situation/examples/catalog-v001.xml b/modules/situation/examples/catalog-v001.xml new file mode 100644 index 0000000..4f765b5 --- /dev/null +++ b/modules/situation/examples/catalog-v001.xml @@ -0,0 +1,20 @@ + + + + + + + + + + + + + + + + + + + + diff --git a/modules/situation/examples/gfo-situation-object-example.ttl b/modules/situation/examples/gfo-situation-object-example.ttl new file mode 100644 index 0000000..0a58d20 --- /dev/null +++ b/modules/situation/examples/gfo-situation-object-example.ttl @@ -0,0 +1,183 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix rio: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix rio-ex: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-object-situation-example is an example for the object design pattern for modeling object situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (object situation pattern example)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-object-situation-example" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/object-example" ; + doap:repository ; + rdfs:label "GFO object situation pattern example"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/rio/Patient +rio:Patient rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Object , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasQuality ; + owl:someValuesFrom rio:PatientAge + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:participatesIn ; + owl:someValuesFrom rio:RiskSituation + ] ; + rdfs:label "Patient"@en . + + +### https://w3id.org/rio/PatientAge +rio:PatientAge rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Quality ; + rdfs:label "Patient age"@en . + + +### https://w3id.org/rio/RiskSeverity +rio:RiskSeverity rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Quality ; + rdfs:label "Risk severity"@en . + + +### https://w3id.org/rio/RiskSituation +rio:RiskSituation rdf:type owl:Class ; + rdfs:subClassOf :Situation , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasParticipantQuality ; + owl:someValuesFrom rio:PatientAge + ] ; + rdfs:label "Risk situation"@en . + + +################################################################# +# Individuals +################################################################# + +### https://w3id.org/rio/example/highly_severe +rio-ex:highly_severe rdf:type owl:NamedIndividual , + rio:RiskSeverity ; + rdfs:label "highly_severe"@en . + + +### https://w3id.org/rio/example/patient_1 +rio-ex:patient_1 rdf:type owl:NamedIndividual , + rio:Patient ; + gfo-core:hasQuality ; + gfo-core:participatesIn rio-ex:risk_sit1 ; + rdfs:label "patient_1"@en . + + +### https://w3id.org/rio/example/risk_sit1 +rio-ex:risk_sit1 rdf:type owl:NamedIndividual , + rio:RiskSituation ; + gfo-core:hasParticipantQuality ; + gfo-core:hasQuality rio-ex:highly_severe ; + rdfs:label "risk_sit1"@en . + + +### https://w3id.org/rio/example/10_months + rdf:type owl:NamedIndividual , + rio:PatientAge ; + rdfs:label "10_months"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/examples/gfo-situation-object-extended-example.ttl b/modules/situation/examples/gfo-situation-object-extended-example.ttl new file mode 100644 index 0000000..61f1dbf --- /dev/null +++ b/modules/situation/examples/gfo-situation-object-extended-example.ttl @@ -0,0 +1,257 @@ +@prefix : . +@prefix dc: . +@prefix nav: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-object-extended-situation-example is an example for the object-extended design pattern for modeling extended object situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (extended object situation pattern example)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-object-extended-situation-example" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/object-extended-example" ; + doap:repository ; + rdfs:label "GFO object-extended situation pattern example"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Classes +################################################################# + +### https://example.org/surgical-navigation-situation/BirthDate +nav:BirthDate rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Quality ; + rdfs:label "Birth date"@en . + + +### https://example.org/surgical-navigation-situation/JobProfile +nav:JobProfile rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Quality ; + rdfs:label "Job profile"@en . + + +### https://example.org/surgical-navigation-situation/Operator +nav:Operator rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Role , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:roleIn ; + owl:someValuesFrom nav:Surgery + ] ; + rdfs:label "Operator"@en . + + +### https://example.org/surgical-navigation-situation/Patient +nav:Patient rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Role , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasQuality ; + owl:someValuesFrom nav:PatientAge + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:roleIn ; + owl:someValuesFrom nav:Surgery + ] ; + rdfs:label "Patient"@en . + + +### https://example.org/surgical-navigation-situation/PatientAge +nav:PatientAge rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Quality ; + rdfs:label "Patient age"@en . + + +### https://example.org/surgical-navigation-situation/Person +nav:Person rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Object , + [ rdf:type owl:Class ; + owl:unionOf ( [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:plays ; + owl:someValuesFrom nav:Operator + ] + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:plays ; + owl:someValuesFrom nav:Patient + ] + ) + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasQuality ; + owl:someValuesFrom nav:BirthDate + ] ; + rdfs:label "Person"@en . + + +### https://example.org/surgical-navigation-situation/Surgery +nav:Surgery rdf:type owl:Class ; + rdfs:subClassOf :Situation ; + rdfs:label "Surgery"@en . + + +################################################################# +# Individuals +################################################################# + +### https://example.org/surgical-navigation-situation/operator_1 +nav:operator_1 rdf:type owl:NamedIndividual , + nav:Operator ; + gfo-core:roleIn nav:surgery_1 ; + rdfs:label "operator_1"@en . + + +### https://example.org/surgical-navigation-situation/operator_2 +nav:operator_2 rdf:type owl:NamedIndividual , + nav:Operator ; + gfo-core:roleIn nav:surgery_1 ; + rdfs:label "operator_2"@en . + + +### https://example.org/surgical-navigation-situation/patient_1 +nav:patient_1 rdf:type owl:NamedIndividual , + nav:Patient ; + gfo-core:hasQuality ; + gfo-core:roleIn nav:surgery_1 ; + rdfs:label "patient_1"@en . + + +### https://example.org/surgical-navigation-situation/person_1 +nav:person_1 rdf:type owl:NamedIndividual , + nav:Person ; + gfo-core:hasQuality ; + gfo-core:plays nav:patient_1 ; + rdfs:label "person_1"@en . + + +### https://example.org/surgical-navigation-situation/person_2 +nav:person_2 rdf:type owl:NamedIndividual , + nav:Person ; + gfo-core:hasQuality nav:surgeon ; + gfo-core:plays nav:operator_1 ; + rdfs:label "person_2"@en . + + +### https://example.org/surgical-navigation-situation/person_3 +nav:person_3 rdf:type owl:NamedIndividual , + nav:Person ; + gfo-core:hasQuality nav:surgeon ; + gfo-core:plays nav:operator_2 ; + rdfs:label "person_3"@en . + + +### https://example.org/surgical-navigation-situation/surgeon +nav:surgeon rdf:type owl:NamedIndividual , + nav:JobProfile ; + rdfs:label "surgeon"@en . + + +### https://example.org/surgical-navigation-situation/surgery_1 +nav:surgery_1 rdf:type owl:NamedIndividual , + nav:Surgery ; + rdfs:label "surgery_1"@en . + + +### https://example.org/surgical-navigation-situation/10_months + rdf:type owl:NamedIndividual , + nav:PatientAge ; + rdfs:label "10_months"@en . + + +### https://example.org/surgical-navigation-situation/10-07-2024 + rdf:type owl:NamedIndividual , + nav:BirthDate ; + rdfs:label "10-07-2024"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/examples/gfo-situation-presentic-object-example.ttl b/modules/situation/examples/gfo-situation-presentic-object-example.ttl new file mode 100644 index 0000000..50895b9 --- /dev/null +++ b/modules/situation/examples/gfo-situation-presentic-object-example.ttl @@ -0,0 +1,179 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix rio: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix rio-ex: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-presentic-object-situation-example is an example for the presentic-object design pattern for modeling presentic object situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (presentic object situation pattern example)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-presentic-object-situation-example" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/presentic-object-example" ; + doap:repository ; + rdfs:label "GFO presentic-object situation pattern example"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/rio/Patient +rio:Patient rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Object ; + rdfs:label "Patient"@en . + + +### https://w3id.org/rio/PatientAge +rio:PatientAge rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Attributive ; + rdfs:label "Patient age"@en . + + +### https://w3id.org/rio/example/RiskSituationSnapshot +rio-ex:RiskSituationSnapshot rdf:type owl:Class ; + rdfs:subClassOf :PresenticSituation ; + rdfs:label "Risk situation snapshot"@en . + + +################################################################# +# Individuals +################################################################# + +### https://w3id.org/rio/example/patient_1 +rio-ex:patient_1 rdf:type owl:NamedIndividual , + rio:Patient ; + gfo-core:hasAttributive ; + gfo-core:hasTime rio-ex:patient_1_lifespan ; + gfo-core:participatesIn rio-ex:risk_sit1_snapshot ; + rdfs:label "patient_1"@en . + + +### https://w3id.org/rio/example/patient_1_lifespan +rio-ex:patient_1_lifespan rdf:type owl:NamedIndividual , + gfo-core:TimeInterval ; + rdfs:label "patient_1_lifespan"@en . + + +### https://w3id.org/rio/example/risk_sit1_snapshot +rio-ex:risk_sit1_snapshot rdf:type owl:NamedIndividual , + rio-ex:RiskSituationSnapshot ; + gfo-core:hasPart ; + gfo-core:hasTime rio-ex:timepoint_1 ; + rdfs:label "risk_sit1_snapshot"@en . + + +### https://w3id.org/rio/example/10_months_timespan +rio-ex:10_months_timespan rdf:type owl:NamedIndividual , + gfo-core:TimeInterval ; + rdfs:label "10_months_timespan"@en . + + +### https://w3id.org/rio/example/timepoint_1 +rio-ex:timepoint_1 rdf:type owl:NamedIndividual , + gfo-core:TimePoint ; + rdfs:label "timepoint_1"@en . + + +### https://w3id.org/rio/example/10_months + rdf:type owl:NamedIndividual , + rio:PatientAge ; + gfo-core:hasTime rio-ex:10_months_timespan ; + rdfs:label "10_months"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/examples/gfo-situation-presentic-object-reified-presentic-attributives-example.ttl b/modules/situation/examples/gfo-situation-presentic-object-reified-presentic-attributives-example.ttl new file mode 100644 index 0000000..60a51cd --- /dev/null +++ b/modules/situation/examples/gfo-situation-presentic-object-reified-presentic-attributives-example.ttl @@ -0,0 +1,173 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix rio: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix rio-ex: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-presentic-object-reified-presentic-attributives-situation-example is an example for the presentic-object-reified-presentic-attributives design pattern for modeling presentic-object-reified-presentic-attributives situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (presentic-object-reified-presentic-attributives situation pattern example)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-presentic-object-reified-presentic-attributives-situation-example" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/presentic-object-reified-presentic-attributives-example" ; + doap:repository ; + rdfs:label "GFO presentic-object-reified-presentic-attributives situation pattern example"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/rio/Patient +rio:Patient rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Object ; + rdfs:label "Patient"@en . + + +### https://w3id.org/rio/PatientAgeSnapshot +rio:PatientAgeSnapshot rdf:type owl:Class ; + rdfs:subClassOf gfo-core:PresenticAttributive ; + rdfs:label "Patient age snapshot"@en . + + +### https://w3id.org/rio/example/RiskSituationSnapshot +rio-ex:RiskSituationSnapshot rdf:type owl:Class ; + rdfs:subClassOf :PresenticSituation ; + rdfs:label "Risk situation snapshot"@en . + + +################################################################# +# Individuals +################################################################# + +### https://w3id.org/rio/example/patient_1 +rio-ex:patient_1 rdf:type owl:NamedIndividual , + rio:Patient ; + gfo-core:hasAttributive ; + gfo-core:hasTime rio-ex:patient_1_lifespan ; + gfo-core:participatesIn rio-ex:risk_sit1_snapshot ; + rdfs:label "patient_1"@en . + + +### https://w3id.org/rio/example/patient_1_lifespan +rio-ex:patient_1_lifespan rdf:type owl:NamedIndividual , + gfo-core:TimeInterval ; + rdfs:label "patient_1_lifespan"@en . + + +### https://w3id.org/rio/example/risk_sit1_snapshot +rio-ex:risk_sit1_snapshot rdf:type owl:NamedIndividual , + rio-ex:RiskSituationSnapshot ; + gfo-core:hasPart ; + gfo-core:hasTime rio-ex:timepoint_1 ; + rdfs:label "risk_sit1_snapshot"@en . + + +### https://w3id.org/rio/example/timepoint_1 +rio-ex:timepoint_1 rdf:type owl:NamedIndividual , + gfo-core:TimePoint ; + rdfs:label "timepoint_1"@en . + + +### https://w3id.org/rio/example/10_months_presentic + rdf:type owl:NamedIndividual , + rio:PatientAgeSnapshot ; + gfo-core:hasTime rio-ex:timepoint_1 ; + rdfs:label "10_months_presentic"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/examples/gfo-situation-presentic-object-reified-presentic-objects-example.ttl b/modules/situation/examples/gfo-situation-presentic-object-reified-presentic-objects-example.ttl new file mode 100644 index 0000000..650a611 --- /dev/null +++ b/modules/situation/examples/gfo-situation-presentic-object-reified-presentic-objects-example.ttl @@ -0,0 +1,187 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix rio: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix rio-ex: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-presentic-object-reified-presentic-objects-situation-example is an example for the presentic-object-reified-presentic-objects design pattern for modeling presentic-object-reified-presentic-objects situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (presentic-object-reified-presentic-objects situation pattern example)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-presentic-object-reified-presentic-objects-situation-example" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/presentic-object-reified-presentic-objects-example" ; + doap:repository ; + rdfs:label "GFO presentic-object-reified-presentic-objects situation pattern example"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/rio/PatientAgeSnapshot +rio:PatientAgeSnapshot rdf:type owl:Class ; + rdfs:subClassOf gfo-core:PresenticAttributive ; + rdfs:label "Patient age snapshot"@en . + + +### https://w3id.org/rio/PatientSnapshot +rio:PatientSnapshot rdf:type owl:Class ; + rdfs:subClassOf gfo-core:PresenticObject ; + rdfs:label "Patient snapshot"@en . + + +### https://w3id.org/rio/example/Patient +rio-ex:Patient rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Object ; + rdfs:label "Patient"@en . + + +### https://w3id.org/rio/example/RiskSituationSnapshot +rio-ex:RiskSituationSnapshot rdf:type owl:Class ; + rdfs:subClassOf :PresenticSituation ; + rdfs:label "Risk situation snapshot"@en . + + +################################################################# +# Individuals +################################################################# + +### https://w3id.org/rio/example/patient_1 +rio-ex:patient_1 rdf:type owl:NamedIndividual , + rio-ex:Patient ; + gfo-core:hasTime rio-ex:patient_1_lifespan ; + rdfs:label "patient_1"@en . + + +### https://w3id.org/rio/example/patient_1_lifespan +rio-ex:patient_1_lifespan rdf:type owl:NamedIndividual , + gfo-core:TimeInterval ; + rdfs:label "patient_1_lifespan"@en . + + +### https://w3id.org/rio/example/patient_1_snapshot +rio-ex:patient_1_snapshot rdf:type owl:NamedIndividual , + rio:PatientSnapshot ; + gfo-core:hasAttributive ; + gfo-core:hasTime rio-ex:timepoint_1 ; + gfo-core:participatesIn rio-ex:risk_sit1_snapshot ; + gfo-core:snapshotOf rio-ex:patient_1 ; + rdfs:label "patient_1_snapshot"@en . + + +### https://w3id.org/rio/example/risk_sit1_snapshot +rio-ex:risk_sit1_snapshot rdf:type owl:NamedIndividual , + rio-ex:RiskSituationSnapshot ; + gfo-core:hasPart ; + gfo-core:hasTime rio-ex:timepoint_1 ; + rdfs:label "risk_sit1_snapshot"@en . + + +### https://w3id.org/rio/example/timepoint_1 +rio-ex:timepoint_1 rdf:type owl:NamedIndividual , + gfo-core:TimePoint ; + rdfs:label "timepoint_1"@en . + + +### https://w3id.org/rio/example/10_months_presentic + rdf:type owl:NamedIndividual , + rio:PatientAgeSnapshot ; + gfo-core:hasTime rio-ex:timepoint_1 ; + rdfs:label "10_months_presentic"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/examples/gfo-situation-presentic-simple-example.ttl b/modules/situation/examples/gfo-situation-presentic-simple-example.ttl new file mode 100644 index 0000000..037d64f --- /dev/null +++ b/modules/situation/examples/gfo-situation-presentic-simple-example.ttl @@ -0,0 +1,206 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix rio: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix rio-ex: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-presentic-simple-situation-example is an example for the presentic-simple design pattern for modeling simple presentic situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (simple presentic situation pattern example)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-presentic-simple-situation-example" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/presentic-simple-example" ; + doap:repository ; + rdfs:label "GFO presentic-simple situation pattern example"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/rio/GroupRiskSituation +rio:GroupRiskSituation rdf:type owl:Class ; + rdfs:subClassOf :PresenticSituation , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasPart ; + owl:someValuesFrom rio:RiskSituation + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasQuality ; + owl:someValuesFrom rio:NumberOfPatients + ] ; + rdfs:label "Group risk situation"@en . + + +### https://w3id.org/rio/NumberOfPatients +rio:NumberOfPatients rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Quality ; + rdfs:label "Number of patients"@en . + + +### https://w3id.org/rio/PatientAge +rio:PatientAge rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Quality ; + rdfs:label "Patient age"@en . + + +### https://w3id.org/rio/RiskSeverity +rio:RiskSeverity rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Quality ; + rdfs:label "Risk severity"@en . + + +### https://w3id.org/rio/RiskSituation +rio:RiskSituation rdf:type owl:Class ; + rdfs:subClassOf :PresenticSituation , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasParticipantQuality ; + owl:someValuesFrom rio:PatientAge + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasQuality ; + owl:someValuesFrom rio:RiskSeverity + ] ; + rdfs:label "Risk situation"@en . + + +################################################################# +# Individuals +################################################################# + +### https://w3id.org/rio/example/highly_severe +rio-ex:highly_severe rdf:type owl:NamedIndividual , + rio:RiskSeverity ; + rdfs:label "highly_severe"@en . + + +### https://w3id.org/rio/example/risk_sit1 +rio-ex:risk_sit1 rdf:type owl:NamedIndividual , + rio:RiskSituation ; + gfo-core:hasParticipantQuality ; + gfo-core:hasQuality rio-ex:highly_severe ; + gfo-core:hasTime rio-ex:timepoint_1 ; + rdfs:label "risk_sit1"@en . + + +### https://w3id.org/rio/example/risk_sit2 +rio-ex:risk_sit2 rdf:type owl:NamedIndividual , + rio:GroupRiskSituation ; + gfo-core:hasPart rio-ex:risk_sit1 ; + gfo-core:hasQuality ; + rdfs:label "risk_sit2"@en . + + +### https://w3id.org/rio/example/timepoint_1 +rio-ex:timepoint_1 rdf:type owl:NamedIndividual , + gfo-core:TimePoint ; + rdfs:label "timepoint_1"@en . + + +### https://w3id.org/rio/example/10_months + rdf:type owl:NamedIndividual , + rio:PatientAge ; + rdfs:label "10_months"@en . + + +### https://w3id.org/rio/example/7 + rdf:type owl:NamedIndividual , + rio:NumberOfPatients ; + rdfs:label "7"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/examples/gfo-situation-simple-example.ttl b/modules/situation/examples/gfo-situation-simple-example.ttl new file mode 100644 index 0000000..966b114 --- /dev/null +++ b/modules/situation/examples/gfo-situation-simple-example.ttl @@ -0,0 +1,199 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix rio: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix rio-ex: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-simple-situation-example is an example for the simple design pattern for modeling simple situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (simple situation pattern example)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-simple-situation-example" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/simple-example" ; + doap:repository ; + rdfs:label "GFO simple situation pattern example"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/rio/GroupRiskSituation +rio:GroupRiskSituation rdf:type owl:Class ; + rdfs:subClassOf :Situation , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasPart ; + owl:someValuesFrom rio:RiskSituation + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasQuality ; + owl:someValuesFrom rio:NumberOfPatients + ] ; + rdfs:label "Group risk situation"@en . + + +### https://w3id.org/rio/NumberOfPatients +rio:NumberOfPatients rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Quality ; + rdfs:label "Number of patients"@en . + + +### https://w3id.org/rio/PatientAge +rio:PatientAge rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Quality ; + rdfs:label "Patient age"@en . + + +### https://w3id.org/rio/RiskSeverity +rio:RiskSeverity rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Quality ; + rdfs:label "Risk severity"@en . + + +### https://w3id.org/rio/RiskSituation +rio:RiskSituation rdf:type owl:Class ; + rdfs:subClassOf :Situation , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasParticipantQuality ; + owl:someValuesFrom rio:PatientAge + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasQuality ; + owl:someValuesFrom rio:RiskSeverity + ] ; + rdfs:label "Risk Situation"@en . + + +################################################################# +# Individuals +################################################################# + +### https://w3id.org/rio/example/highly_severe +rio-ex:highly_severe rdf:type owl:NamedIndividual , + rio:RiskSeverity ; + rdfs:label "highly_severe"@en . + + +### https://w3id.org/rio/example/risk_sit1 +rio-ex:risk_sit1 rdf:type owl:NamedIndividual , + rio:RiskSituation ; + gfo-core:hasParticipantQuality ; + gfo-core:hasQuality rio-ex:highly_severe ; + rdfs:label "risk_sit1"@en . + + +### https://w3id.org/rio/example/risk_sit2 +rio-ex:risk_sit2 rdf:type owl:NamedIndividual , + rio:GroupRiskSituation ; + gfo-core:hasPart rio-ex:risk_sit1 ; + gfo-core:hasQuality ; + rdfs:label "risk_sit2"@en . + + +### https://w3id.org/rio/example/10_months + rdf:type owl:NamedIndividual , + rio:PatientAge ; + rdfs:label "10_months"@en . + + +### https://w3id.org/rio/example/7 + rdf:type owl:NamedIndividual , + rio:NumberOfPatients ; + rdfs:label "7"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/examples/gfo-situation-time-extended-example.ttl b/modules/situation/examples/gfo-situation-time-extended-example.ttl new file mode 100644 index 0000000..583f740 --- /dev/null +++ b/modules/situation/examples/gfo-situation-time-extended-example.ttl @@ -0,0 +1,229 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix rio: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix rio-ex: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-time-extended-situation-example is an example for the time-extended design pattern for modeling time-extended situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (time-extended situation pattern example)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-time-extended-situation-example" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/time-extended-example" ; + doap:repository ; + rdfs:label "GFO time-extended situation pattern example"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/gfo/core/hasQuality +gfo-core:hasQuality rdf:type owl:ObjectProperty . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/rio/RiskSeverity +rio:RiskSeverity rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Attributive ; + rdfs:label "Risk severity"@en . + + +### https://w3id.org/rio/RiskSituation +rio:RiskSituation rdf:type owl:Class ; + rdfs:subClassOf :Situation , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasQuality ; + owl:someValuesFrom rio:RiskSeverity + ] ; + rdfs:label "Risk situation"@en . + + +### https://w3id.org/rio/example/Patient +rio-ex:Patient rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Object ; + rdfs:label "Patient"@en . + + +### https://w3id.org/rio/example/PatientSnapshot +rio-ex:PatientSnapshot rdf:type owl:Class ; + rdfs:subClassOf gfo-core:PresenticObject ; + rdfs:label "Patient snapshot"@en . + + +### https://w3id.org/rio/example/RiskSeveritySnapshot +rio-ex:RiskSeveritySnapshot rdf:type owl:Class ; + rdfs:subClassOf gfo-core:PresenticAttributive ; + rdfs:label "Risk severity snapshot"@en . + + +### https://w3id.org/rio/example/RiskSituationSnapshot +rio-ex:RiskSituationSnapshot rdf:type owl:Class ; + rdfs:subClassOf :PresenticSituation ; + rdfs:label "Risk situation snapshot"@en . + + +################################################################# +# Individuals +################################################################# + +### https://w3id.org/rio/example/highly_severe +rio-ex:highly_severe rdf:type owl:NamedIndividual , + rio:RiskSeverity ; + gfo-core:hasTime rio-ex:timeinterval_1 ; + rdfs:label "highly_severe"@en . + + +### https://w3id.org/rio/example/highly_severe_presentic +rio-ex:highly_severe_presentic rdf:type owl:NamedIndividual , + rio-ex:RiskSeveritySnapshot ; + gfo-core:hasTime rio-ex:timepoint_1 ; + gfo-core:snapshotOf rio-ex:highly_severe ; + rdfs:label "highly_severe_presentic"@en . + + +### https://w3id.org/rio/example/patient_1 +rio-ex:patient_1 rdf:type owl:NamedIndividual , + rio-ex:Patient ; + gfo-core:hasTime rio-ex:timeinterval_1 ; + gfo-core:participatesIn rio-ex:risk_sit1 ; + rdfs:label "patient_1"@en . + + +### https://w3id.org/rio/example/patient_1_snapshot +rio-ex:patient_1_snapshot rdf:type owl:NamedIndividual , + rio-ex:PatientSnapshot ; + gfo-core:hasTime rio-ex:timepoint_1 ; + gfo-core:participatesIn rio-ex:risk_sit1_snapshot ; + gfo-core:snapshotOf rio-ex:patient_1 ; + rdfs:label "patient_1_snapshot"@en . + + +### https://w3id.org/rio/example/risk_sit1 +rio-ex:risk_sit1 rdf:type owl:NamedIndividual , + rio:RiskSituation ; + gfo-core:hasPart rio-ex:highly_severe ; + gfo-core:hasQuality rio-ex:highly_severe ; + gfo-core:hasTime rio-ex:timeinterval_1 ; + rdfs:label "risk_sit1"@en . + + +### https://w3id.org/rio/example/risk_sit1_snapshot +rio-ex:risk_sit1_snapshot rdf:type owl:NamedIndividual , + rio-ex:RiskSituationSnapshot ; + gfo-core:hasPart rio-ex:highly_severe_presentic ; + gfo-core:hasTime rio-ex:timepoint_1 ; + gfo-core:snapshotOf rio-ex:risk_sit1 ; + rdfs:label "risk_sit1_snapshot"@en . + + +### https://w3id.org/rio/example/timeinterval_1 +rio-ex:timeinterval_1 rdf:type owl:NamedIndividual , + gfo-core:TimeInterval ; + rdfs:label "timeinterval_1"@en . + + +### https://w3id.org/rio/example/timepoint_1 +rio-ex:timepoint_1 rdf:type owl:NamedIndividual , + gfo-core:TimePoint ; + rdfs:label "timepoint_1"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/gfo-situation-object-extended.ttl b/modules/situation/gfo-situation-object-extended.ttl new file mode 100644 index 0000000..4e8fa5c --- /dev/null +++ b/modules/situation/gfo-situation-object-extended.ttl @@ -0,0 +1,260 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-object-extended-situation is an ontology design pattern for modeling extended object situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (extended object situation pattern)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-object-extended-situation" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/object-extended" ; + doap:repository ; + rdfs:label "GFO object-extended situation pattern"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/gfo/core/hasPart +gfo-core:hasPart rdf:type owl:ObjectProperty ; + rdfs:label "has part"@en . + + +### https://w3id.org/gfo/core/hasParticipantQuality +gfo-core:hasParticipantQuality rdf:type owl:ObjectProperty ; + rdfs:label "has participant quality"@en . + + +### https://w3id.org/gfo/core/hasQuality +gfo-core:hasQuality rdf:type owl:ObjectProperty ; + rdfs:label "has quality"@en . + + +### https://w3id.org/gfo/core/participatesIn +gfo-core:participatesIn rdf:type owl:ObjectProperty ; + rdfs:label "participates in"@en . + + +### https://w3id.org/gfo/core/plays +gfo-core:plays rdf:type owl:ObjectProperty ; + rdfs:label "plays"@en . + + +### https://w3id.org/gfo/core/relatedBy +gfo-core:relatedBy rdf:type owl:ObjectProperty ; + rdfs:label "related by"@en . + + +### https://w3id.org/gfo/core/roleIn +gfo-core:roleIn rdf:type owl:ObjectProperty ; + rdfs:label "role in"@en . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/gfo/core/Attributive +gfo-core:Attributive rdf:type owl:Class ; + rdfs:comment "Qualities (attributes, traits, characteristics, etc.) of concrete individuals, relations (relators) between them and roles that objects can play in different contexts are subsumed under the category Attributive."@en ; + rdfs:label "Attributive"@en ; + skos:definition "Attributives are individuals that depend on other individuals by some kind of dependency relation."@en . + + +### https://w3id.org/gfo/core/Object +gfo-core:Object rdf:type owl:Class ; + rdfs:subClassOf _:genid1 , + _:genid3 ; + rdfs:label "Object"@en ; + skos:altLabel "Continuant"@en ; + skos:definition "An object is understood as a mutable entity that persists over time, having a finite lifespan of non-zero duration. As such, it specializes gfo:Continuant."@en ; + skos:example "Physical, tangible entities such as apples, cells and organisms"@en . + +_:genid1 rdf:type owl:Restriction ; + owl:onProperty gfo-core:plays ; + owl:allValuesFrom gfo-core:Role . + +_:genid3 rdf:type owl:Restriction ; + owl:onProperty gfo-core:relatedBy ; + owl:allValuesFrom gfo-core:Relator . + +[ rdf:type owl:Axiom ; + owl:annotatedSource gfo-core:Object ; + owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedTarget _:genid1 ; + rdfs:comment "As opposed to PresenticObject plays only PresenticRole" , + "Should this axiom be part of gfo-core?" + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource gfo-core:Object ; + owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedTarget _:genid3 ; + rdfs:comment "As opposed to PresenticObject relatedBy only PresenticRelator" , + "Should this axiom be part of gfo-core?" + ] . + + +### https://w3id.org/gfo/core/Quality +gfo-core:Quality rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Attributive ; + rdfs:label "Quality"@en ; + skos:definition "A quality links an entity—the necessary quality bearer—to a value, which can be quantitative (e.g., 10 kg, 40 $) or qualitative (e.g., ‘green’, ‘nice’)."@en . + + +### https://w3id.org/gfo/core/Relator +gfo-core:Relator rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Attributive ; + rdfs:label "Relator"@en ; + skos:definition "Relators are attributives that connect other entities (role players) by relational roles (played by role players)."@en ; + skos:example "The marriage (relator) of John and Mary (in which Mary plays the wife role and John the husband role)"@en . + + +### https://w3id.org/gfo/core/Role +gfo-core:Role rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Attributive , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:roleIn ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Relator + :Situation + ) + ] + ] ; + rdfs:label "Role"@en ; + skos:definition "A role characterizes an entity—its required player—through its context (e.g., relation/relator)."@en . + + +### https://w3id.org/gfo/situation/Situation +:Situation rdf:type owl:Class ; + rdfs:subClassOf _:genid9 , + _:genid14 ; + rdfs:comment "In line with GFO, we assume that every situation consists of at least one object that participates_in the situation."@en ; + rdfs:label "Situation"@en ; + skos:definition "Situations as complex entities that are comprehended as wholes"@en . + +_:genid9 rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasPart ; + owl:allValuesFrom [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Attributive + :Situation + ) + ] . + +_:genid14 rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasParticipantQuality ; + owl:allValuesFrom gfo-core:Quality . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :Situation ; + owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedTarget _:genid9 ; + rdfs:comment "As opposed to PresenticSituation hasPart only PresenticSituation" , + "Should this axiom be part of gfo-core?" + ] . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :Situation ; + owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedTarget _:genid14 ; + rdfs:comment "As opposed to PresenticSituation hasPArticipantQuality only PresenticQuality" , + "Should this axiom be part of gfo-core?" + ] . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/gfo-situation-object.ttl b/modules/situation/gfo-situation-object.ttl new file mode 100644 index 0000000..43e4856 --- /dev/null +++ b/modules/situation/gfo-situation-object.ttl @@ -0,0 +1,170 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-object-situation is an ontology design pattern for modeling object situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (object situation pattern)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-object-situation" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/object" ; + doap:repository ; + rdfs:label "GFO object situation pattern"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/gfo/core/hasPart +gfo-core:hasPart rdf:type owl:ObjectProperty ; + rdfs:label "has part"@en . + + +### https://w3id.org/gfo/core/hasParticipantQuality +gfo-core:hasParticipantQuality rdf:type owl:ObjectProperty ; + rdfs:label "has participant quality"@en . + + +### https://w3id.org/gfo/core/hasQuality +gfo-core:hasQuality rdf:type owl:ObjectProperty ; + rdfs:label "has quality"@en . + + +### https://w3id.org/gfo/core/partOf +gfo-core:partOf rdf:type owl:ObjectProperty ; + rdfs:label "part of"@en . + + +### https://w3id.org/gfo/core/participatesIn +gfo-core:participatesIn rdf:type owl:ObjectProperty ; + rdfs:label "participates in"@en . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/gfo/core/Individual +gfo-core:Individual rdf:type owl:Class ; + rdfs:label "Individual"@en ; + skos:definition "Individuals are entities which cannot be further instantiated."@en . + + +### https://w3id.org/gfo/core/Object +gfo-core:Object rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Individual ; + rdfs:label "Object"@en ; + skos:altLabel "Continuant"@en ; + skos:definition "An object is understood as a mutable entity that persists over time, having a finite lifespan of non-zero duration. As such, it specializes gfo:Continuant."@en ; + skos:example "Physical, tangible entities such as apples, cells and organisms"@en . + + +### https://w3id.org/gfo/core/Quality +gfo-core:Quality rdf:type owl:Class ; + rdfs:label "Quality"@en ; + skos:definition "A quality links an entity—the necessary quality bearer—to a value, which can be quantitative (e.g., 10 kg, 40 $) or qualitative (e.g., ‘green’, ‘nice’)."@en . + + +### https://w3id.org/gfo/situation/Situation +:Situation rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Individual ; + rdfs:comment "In line with GFO, we assume that every situation consists of at least one object that participates_in the situation."@en ; + rdfs:label "Situation"@en ; + skos:definition "Situations as complex entities that are comprehended as wholes"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/gfo-situation-presentic-object-reified-presentic-attributives.ttl b/modules/situation/gfo-situation-presentic-object-reified-presentic-attributives.ttl new file mode 100644 index 0000000..50bfdf0 --- /dev/null +++ b/modules/situation/gfo-situation-presentic-object-reified-presentic-attributives.ttl @@ -0,0 +1,168 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-presentic-object-reified-presentic-attributives-situation is an ontology design pattern for modeling presentic-object-reified-presentic-attributives situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (presentic-object-reified-presentic-attributives situation pattern)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-presentic-object-reified-presentic-attributives-situation" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/presentic-object-reified-presentic-attributives" ; + doap:repository ; + rdfs:label "GFO presentic-object-reified-presentic-attributives situation pattern"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/gfo/core/hasAttributive +gfo-core:hasAttributive rdf:type owl:ObjectProperty ; + rdfs:label "has attributive"@en . + + +### https://w3id.org/gfo/core/hasPart +gfo-core:hasPart rdf:type owl:ObjectProperty ; + rdfs:label "has part"@en . + + +### https://w3id.org/gfo/core/hasTime +gfo-core:hasTime rdf:type owl:ObjectProperty ; + rdfs:label "has time"@en . + + +### https://w3id.org/gfo/core/participatesIn +gfo-core:participatesIn rdf:type owl:ObjectProperty ; + rdfs:label "participates in"@en . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/gfo/core/Object +gfo-core:Object rdf:type owl:Class ; + rdfs:label "Object"@en ; + skos:altLabel "Continuant"@en ; + skos:definition "An object is understood as a mutable entity that persists over time, having a finite lifespan of non-zero duration. As such, it specializes gfo:Continuant."@en ; + skos:example "Physical, tangible entities such as apples, cells and organisms"@en . + + +### https://w3id.org/gfo/core/PresenticAttributive +gfo-core:PresenticAttributive rdf:type owl:Class ; + rdfs:label "Presentic attributive"@en . + + +### https://w3id.org/gfo/core/TimeInterval +gfo-core:TimeInterval rdf:type owl:Class ; + rdfs:label "Time interval"@en ; + skos:altLabel "Chronoid"@en , + "Time period"@en . + + +### https://w3id.org/gfo/core/TimePoint +gfo-core:TimePoint rdf:type owl:Class ; + rdfs:label "Time point"@en ; + skos:altLabel "Point in time"@en , + "Time boundary"@en . + + +### https://w3id.org/gfo/situation/PresenticSituation +:PresenticSituation rdf:type owl:Class ; + rdfs:label "Presentic situation"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/gfo-situation-presentic-object-reified-presentic-objects.ttl b/modules/situation/gfo-situation-presentic-object-reified-presentic-objects.ttl new file mode 100644 index 0000000..eb1bf93 --- /dev/null +++ b/modules/situation/gfo-situation-presentic-object-reified-presentic-objects.ttl @@ -0,0 +1,179 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-presentic-object-reified-presentic-objects-situation is an ontology design pattern for modeling presentic-object-reified-presentic-objects situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (presentic-object-reified-presentic-objects situation pattern)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-presentic-object-reified-presentic-objects-situation" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/presentic-object-reified-presentic-objects" ; + doap:repository ; + rdfs:label "GFO presentic-object-reified-presentic-objects situation pattern"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/gfo/core/hasAttributive +gfo-core:hasAttributive rdf:type owl:ObjectProperty ; + rdfs:label "has attributive"@en . + + +### https://w3id.org/gfo/core/hasPart +gfo-core:hasPart rdf:type owl:ObjectProperty ; + rdfs:label "has part"@en . + + +### https://w3id.org/gfo/core/hasTime +gfo-core:hasTime rdf:type owl:ObjectProperty ; + rdfs:label "has time"@en . + + +### https://w3id.org/gfo/core/participatesIn +gfo-core:participatesIn rdf:type owl:ObjectProperty ; + rdfs:label "participates in"@en . + + +### https://w3id.org/gfo/core/snapshotOf +gfo-core:snapshotOf rdf:type owl:ObjectProperty ; + rdfs:label "snapshot of"@en . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/gfo/core/Object +gfo-core:Object rdf:type owl:Class ; + rdfs:label "Object"@en ; + skos:altLabel "Continuant"@en ; + skos:definition "An object is understood as a mutable entity that persists over time, having a finite lifespan of non-zero duration. As such, it specializes gfo:Continuant."@en ; + skos:example "Physical, tangible entities such as apples, cells and organisms"@en . + + +### https://w3id.org/gfo/core/PresenticAttributive +gfo-core:PresenticAttributive rdf:type owl:Class ; + rdfs:label "Presentic attributive"@en . + + +### https://w3id.org/gfo/core/PresenticObject +gfo-core:PresenticObject rdf:type owl:Class ; + rdfs:label "Presentic object"@en ; + skos:definition "Each object manifests itself at any given time point of its existence as a presentic object (the latter is then a snapshot_of the former). A presentic object is likewise a complete whole, but with a lifetime of a unique time point, at which it is fully present."@en . + + +### https://w3id.org/gfo/core/TimeInterval +gfo-core:TimeInterval rdf:type owl:Class ; + rdfs:label "Time interval"@en ; + skos:altLabel "Chronoid"@en , + "Time period"@en . + + +### https://w3id.org/gfo/core/TimePoint +gfo-core:TimePoint rdf:type owl:Class ; + rdfs:label "Time point"@en ; + skos:altLabel "Point in time"@en , + "Time boundary"@en . + + +### https://w3id.org/gfo/situation/PresenticSituation +:PresenticSituation rdf:type owl:Class ; + rdfs:label "Presentic situation"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/gfo-situation-presentic-object.ttl b/modules/situation/gfo-situation-presentic-object.ttl new file mode 100644 index 0000000..6e291d2 --- /dev/null +++ b/modules/situation/gfo-situation-presentic-object.ttl @@ -0,0 +1,170 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-presentic-object-situation is an ontology design pattern for modeling presentic object situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (presentic object situation pattern)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-presentic-object-situation" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/presentic-object" ; + doap:repository ; + rdfs:label "GFO presentic-object situation pattern"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/gfo/core/hasPart +gfo-core:hasPart rdf:type owl:ObjectProperty ; + rdfs:label "has part"@en . + + +### https://w3id.org/gfo/core/hasAttributive +gfo-core:hasAttributive rdf:type owl:ObjectProperty ; + rdfs:label "has attributive"@en . + + +### https://w3id.org/gfo/core/hasTime +gfo-core:hasTime rdf:type owl:ObjectProperty ; + rdfs:label "has time"@en . + + +### https://w3id.org/gfo/core/participatesIn +gfo-core:participatesIn rdf:type owl:ObjectProperty ; + rdfs:label "participates in"@en . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/gfo/core/Attributive +gfo-core:Attributive rdf:type owl:Class ; + rdfs:comment "Qualities (attributes, traits, characteristics, etc.) of concrete individuals, relations (relators) between them and roles that objects can play in different contexts are subsumed under the category Attributive."@en ; + rdfs:label "Attributive"@en ; + skos:definition "Attributives are individuals that depend on other individuals by some kind of dependency relation."@en . + + +### https://w3id.org/gfo/core/Object +gfo-core:Object rdf:type owl:Class ; + rdfs:label "Object"@en ; + skos:altLabel "Continuant"@en ; + skos:definition "An object is understood as a mutable entity that persists over time, having a finite lifespan of non-zero duration. As such, it specializes gfo:Continuant."@en ; + skos:example "Physical, tangible entities such as apples, cells and organisms"@en . + + +### https://w3id.org/gfo/core/TimeInterval +gfo-core:TimeInterval rdf:type owl:Class ; + rdfs:label "Time interval"@en ; + skos:altLabel "Chronoid"@en , + "Time period"@en . + + +### https://w3id.org/gfo/core/TimePoint +gfo-core:TimePoint rdf:type owl:Class ; + rdfs:label "Time point"@en ; + skos:altLabel "Point in time"@en , + "Time boundary"@en . + + +### https://w3id.org/gfo/situation/PresenticSituation +:PresenticSituation rdf:type owl:Class ; + rdfs:label "Presentic situation"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/gfo-situation-presentic-simple.ttl b/modules/situation/gfo-situation-presentic-simple.ttl new file mode 100644 index 0000000..d668f13 --- /dev/null +++ b/modules/situation/gfo-situation-presentic-simple.ttl @@ -0,0 +1,154 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-presentic-simple-situation is an ontology design pattern for modeling simple presentic situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (simple presentic situation pattern)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-presentic-simple-situation" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/presentic-simple" ; + doap:repository ; + rdfs:label "GFO presentic-simple situation pattern"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/gfo/core/hasPart +gfo-core:hasPart rdf:type owl:ObjectProperty ; + rdfs:label "has part"@en . + + +### https://w3id.org/gfo/core/hasParticipantQuality +gfo-core:hasParticipantQuality rdf:type owl:ObjectProperty ; + rdfs:label "has participant quality"@en . + + +### https://w3id.org/gfo/core/hasQuality +gfo-core:hasQuality rdf:type owl:ObjectProperty ; + rdfs:label "has quality"@en . + + +### https://w3id.org/gfo/core/hasTime +gfo-core:hasTime rdf:type owl:ObjectProperty ; + rdfs:label "has time"@en . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/gfo/core/Quality +gfo-core:Quality rdf:type owl:Class ; + rdfs:label "Quality"@en ; + skos:definition "A quality links an entity—the necessary quality bearer—to a value, which can be quantitative (e.g., 10 kg, 40 $) or qualitative (e.g., ‘green’, ‘nice’)."@en . + + +### https://w3id.org/gfo/core/TimePoint +gfo-core:TimePoint rdf:type owl:Class ; + rdfs:label "Time point"@en ; + skos:altLabel "Point in time"@en , + "Time boundary"@en . + + +### https://w3id.org/gfo/situation/PresenticSituation +:PresenticSituation rdf:type owl:Class ; + rdfs:label "Presentic situation"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/gfo-situation-simple.ttl b/modules/situation/gfo-situation-simple.ttl new file mode 100644 index 0000000..cf3df8c --- /dev/null +++ b/modules/situation/gfo-situation-simple.ttl @@ -0,0 +1,151 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-simple-situation is an ontology design pattern for modeling simple situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (simple situation pattern)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-simple-situation" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/simple" ; + doap:repository ; + rdfs:label "GFO simple situation pattern"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/gfo/core/hasPart +gfo-core:hasPart rdf:type owl:ObjectProperty ; + rdfs:label "has part"@en . + + +### https://w3id.org/gfo/core/hasParticipantQuality +gfo-core:hasParticipantQuality rdf:type owl:ObjectProperty ; + rdfs:label "has participant quality"@en . + + +### https://w3id.org/gfo/core/hasQuality +gfo-core:hasQuality rdf:type owl:ObjectProperty ; + rdfs:label "has quality"@en . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/gfo/core/Individual +gfo-core:Individual rdf:type owl:Class ; + rdfs:label "Individual"@en ; + skos:definition "Individuals are entities which cannot be further instantiated."@en . + + +### https://w3id.org/gfo/core/Quality +gfo-core:Quality rdf:type owl:Class ; + rdfs:label "Quality"@en ; + skos:definition "A quality links an entity—the necessary quality bearer—to a value, which can be quantitative (e.g., 10 kg, 40 $) or qualitative (e.g., ‘green’, ‘nice’)."@en . + + +### https://w3id.org/gfo/situation/Situation +:Situation rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Individual ; + rdfs:comment "In line with GFO, we assume that every situation consists of at least one object that participates_in the situation."@en ; + rdfs:label "Situation"@en ; + skos:definition "Situations as complex entities that are comprehended as wholes"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/gfo-situation-time-extended.ttl b/modules/situation/gfo-situation-time-extended.ttl new file mode 100644 index 0000000..5655ad6 --- /dev/null +++ b/modules/situation/gfo-situation-time-extended.ttl @@ -0,0 +1,194 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + dc:created "2024-12-11" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-time-extended-situation is an ontology design pattern for modeling time-extended situations."@en ; + dc:modified "2024-12-11" ; + dc:title "General Formal Ontology (time-extended situation pattern)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-time-extended-situation" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/pattern/situation/time-extended" ; + doap:repository ; + rdfs:label "GFO time-extended situation pattern"@en ; + owl:versionInfo "2024-12-11" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/gfo/core/followUp +gfo-core:followUp rdf:type owl:ObjectProperty ; + rdfs:label "follow up"@en . + + +### https://w3id.org/gfo/core/hasPart +gfo-core:hasPart rdf:type owl:ObjectProperty ; + rdfs:label "has part"@en . + + +### https://w3id.org/gfo/core/hasTime +gfo-core:hasTime rdf:type owl:ObjectProperty ; + rdfs:label "has time"@en . + + +### https://w3id.org/gfo/core/participatesIn +gfo-core:participatesIn rdf:type owl:ObjectProperty ; + rdfs:label "participates in"@en . + + +### https://w3id.org/gfo/core/snapshotOf +gfo-core:snapshotOf rdf:type owl:ObjectProperty ; + rdfs:label "snapshot of"@en . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/gfo/core/Attributive +gfo-core:Attributive rdf:type owl:Class ; + rdfs:comment "Qualities (attributes, traits, characteristics, etc.) of concrete individuals, relations (relators) between them and roles that objects can play in different contexts are subsumed under the category Attributive."@en ; + rdfs:label "Attributive"@en ; + skos:definition "Attributives are individuals that depend on other individuals by some kind of dependency relation."@en . + + +### https://w3id.org/gfo/core/Object +gfo-core:Object rdf:type owl:Class ; + rdfs:label "Object"@en ; + skos:altLabel "Continuant"@en ; + skos:definition "An object is understood as a mutable entity that persists over time, having a finite lifespan of non-zero duration. As such, it specializes gfo:Continuant."@en ; + skos:example "Physical, tangible entities such as apples, cells and organisms"@en . + + +### https://w3id.org/gfo/core/PresenticAttributive +gfo-core:PresenticAttributive rdf:type owl:Class ; + rdfs:label "Presentic attributive"@en . + + +### https://w3id.org/gfo/core/PresenticObject +gfo-core:PresenticObject rdf:type owl:Class ; + rdfs:label "Presentic object"@en ; + skos:definition "Each object manifests itself at any given time point of its existence as a presentic object (the latter is then a snapshot_of the former). A presentic object is likewise a complete whole, but with a lifetime of a unique time point, at which it is fully present."@en . + + +### https://w3id.org/gfo/core/TimeInterval +gfo-core:TimeInterval rdf:type owl:Class ; + rdfs:label "Time interval"@en ; + skos:altLabel "Chronoid"@en , + "Time period"@en . + + +### https://w3id.org/gfo/core/TimePoint +gfo-core:TimePoint rdf:type owl:Class . + + +### https://w3id.org/gfo/situation/PresenticSituation +:PresenticSituation rdf:type owl:Class ; + rdfs:label "Presentic situation"@en . + + +### https://w3id.org/gfo/situation/Situation +:Situation rdf:type owl:Class ; + rdfs:subClassOf [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasPart ; + owl:allValuesFrom :Situation + ] ; + rdfs:comment "In line with GFO, we assume that every situation consists of at least one object that participates_in the situation."@en ; + rdfs:label "Situation"@en ; + skos:definition "Situations as complex entities that are comprehended as wholes"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi diff --git a/modules/situation/gfo-situation.ttl b/modules/situation/gfo-situation.ttl new file mode 100644 index 0000000..76b5a4b --- /dev/null +++ b/modules/situation/gfo-situation.ttl @@ -0,0 +1,705 @@ +@prefix : . +@prefix dc: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix doap: . +@prefix foaf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix terms: . +@prefix gfo-core: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + dc:created "2024-12-03" ; + dc:creator "Alexandr Uciteli" , + "Christoph Beger" , + "Frank Löbe" , + "Franz Matthies" , + "Heinrich Herre" , + "Konrad Höffner" , + "Patryk Burek" , + "Ralph Schäfermeier" ; + dc:description "GFO-situation is an ontology module describing a GFO-based situation theory."@en ; + dc:modified "2024-12-07" ; + dc:title "General Formal Ontology (situation module)"@en ; + terms:license ; + bibo:doi ; + vann:preferredNamespacePrefix "gfo-situation" ; + vann:preferredNamespaceURI "https://w3id.org/gfo/situation/" ; + doap:repository ; + rdfs:label "GFO-situation"@en ; + owl:versionInfo "2024-12-07" ; + foaf:homepage "https://github.com/Onto-Med/GFO" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/created +dc:created rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/description +dc:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/modified +dc:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +terms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/ontology/bibo/doi +bibo:doi rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceURI +vann:preferredNamespaceURI rdf:type owl:AnnotationProperty . + + +### http://usefulinc.com/ns/doap#repository +doap:repository rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2000/01/rdf-schema#comment +rdfs:comment rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#versionInfo +owl:versionInfo rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#example +skos:example rdf:type owl:AnnotationProperty . + + +### http://xmlns.com/foaf/0.1/homepage +foaf:homepage rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://w3id.org/gfo/core/attributiveOf +gfo-core:attributiveOf rdf:type owl:ObjectProperty ; + owl:inverseOf gfo-core:hasAttributive ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Attributive + gfo-core:PresenticAttributive + ) + ] ; + rdfs:range gfo-core:Individual ; + rdfs:label "attributive of"@en . + + +### https://w3id.org/gfo/core/followUp +gfo-core:followUp rdf:type owl:ObjectProperty ; + rdfs:domain gfo-core:PresenticIndividual ; + rdfs:range gfo-core:PresenticIndividual ; + rdfs:label "follow up"@en . + + +### https://w3id.org/gfo/core/hasAttributive +gfo-core:hasAttributive rdf:type owl:ObjectProperty ; + rdfs:domain gfo-core:Individual ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Attributive + gfo-core:PresenticAttributive + ) + ] ; + rdfs:label "has attributive"@en . + + +### https://w3id.org/gfo/core/hasPart +gfo-core:hasPart rdf:type owl:ObjectProperty ; + owl:inverseOf gfo-core:partOf ; + rdfs:domain gfo-core:Individual ; + rdfs:range gfo-core:Individual ; + rdfs:label "has part"@en . + + +### https://w3id.org/gfo/core/hasParticipant +gfo-core:hasParticipant rdf:type owl:ObjectProperty ; + owl:inverseOf gfo-core:participatesIn ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( :PresenticSituation + :Situation + ) + ] ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Object + gfo-core:PresenticObject + ) + ] ; + rdfs:label "has participant"@en . + + +### https://w3id.org/gfo/core/hasParticipantQuality +gfo-core:hasParticipantQuality rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :hasSituationPart ; + owl:inverseOf gfo-core:participantQualityOf ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( :PresenticSituation + :Situation + ) + ] ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:PresenticQuality + gfo-core:Quality + ) + ] ; + rdfs:label "has participant quality"@en . + + +### https://w3id.org/gfo/core/hasQuality +gfo-core:hasQuality rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gfo-core:hasAttributive ; + owl:inverseOf gfo-core:qualityOf ; + rdfs:domain gfo-core:Individual ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:PresenticQuality + gfo-core:Quality + ) + ] ; + rdfs:label "has quality"@en . + + +### https://w3id.org/gfo/core/hasTime +gfo-core:hasTime rdf:type owl:ObjectProperty ; + owl:inverseOf gfo-core:timeOf ; + rdfs:domain gfo-core:ConcreteIndividual ; + rdfs:range gfo-core:TimeEntity ; + rdfs:label "has time"@en . + + +### https://w3id.org/gfo/core/hasTimeBoundary +gfo-core:hasTimeBoundary rdf:type owl:ObjectProperty ; + owl:inverseOf gfo-core:timeBoundaryOf ; + rdfs:domain gfo-core:TimeInterval ; + rdfs:range gfo-core:TimePoint ; + rdfs:label "has time boundary"@en . + + +### https://w3id.org/gfo/core/partOf +gfo-core:partOf rdf:type owl:ObjectProperty ; + rdfs:domain gfo-core:Individual ; + rdfs:range gfo-core:Individual ; + rdfs:label "part of"@en . + + +### https://w3id.org/gfo/core/participantQualityOf +gfo-core:participantQualityOf rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf :situationPartOf ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:PresenticQuality + gfo-core:Quality + ) + ] ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( :PresenticSituation + :Situation + ) + ] ; + rdfs:label "participant quality of"@en . + + +### https://w3id.org/gfo/core/participatesIn +gfo-core:participatesIn rdf:type owl:ObjectProperty ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Object + gfo-core:PresenticObject + ) + ] ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( :PresenticSituation + :Situation + ) + ] ; + rdfs:label "participates in"@en . + + +### https://w3id.org/gfo/core/playedBy +gfo-core:playedBy rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gfo-core:attributiveOf ; + owl:inverseOf gfo-core:plays ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:PresenticRole + gfo-core:Role + ) + ] ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Object + gfo-core:PresenticObject + ) + ] ; + rdfs:label "played by"@en . + + +### https://w3id.org/gfo/core/plays +gfo-core:plays rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gfo-core:hasAttributive ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Object + gfo-core:PresenticObject + ) + ] ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:PresenticRole + gfo-core:Role + ) + ] ; + rdfs:label "plays"@en . + + +### https://w3id.org/gfo/core/qualityOf +gfo-core:qualityOf rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gfo-core:attributiveOf ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:PresenticQuality + gfo-core:Quality + ) + ] ; + rdfs:range gfo-core:Individual ; + rdfs:label "quality of"@en . + + +### https://w3id.org/gfo/core/relatedBy +gfo-core:relatedBy rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gfo-core:hasAttributive ; + owl:inverseOf gfo-core:relates ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Object + gfo-core:PresenticObject + ) + ] ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:PresenticRelator + gfo-core:Relator + ) + ] ; + rdfs:label "related by"@en . + + +### https://w3id.org/gfo/core/relates +gfo-core:relates rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gfo-core:attributiveOf ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:PresenticRelator + gfo-core:Relator + ) + ] ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Object + gfo-core:PresenticObject + ) + ] ; + rdfs:label "relates"@en . + + +### https://w3id.org/gfo/core/roleIn +gfo-core:roleIn rdf:type owl:ObjectProperty ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:PresenticRole + gfo-core:Role + ) + ] ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:PresenticRelator + gfo-core:Relator + ) + ] ; + rdfs:label "role in"@en . + + +### https://w3id.org/gfo/core/snapshotOf +gfo-core:snapshotOf rdf:type owl:ObjectProperty ; + rdfs:domain gfo-core:PresenticIndividual ; + rdfs:range gfo-core:TimeExtendedIndividual ; + rdfs:label "snapshot of"@en . + + +### https://w3id.org/gfo/core/timeBoundaryOf +gfo-core:timeBoundaryOf rdf:type owl:ObjectProperty ; + rdfs:domain gfo-core:TimePoint ; + rdfs:range gfo-core:TimeInterval ; + rdfs:label "time boundary of"@en . + + +### https://w3id.org/gfo/core/timeOf +gfo-core:timeOf rdf:type owl:ObjectProperty ; + rdfs:domain gfo-core:TimeEntity ; + rdfs:range gfo-core:ConcreteIndividual ; + rdfs:label "time of"@en . + + +### https://w3id.org/gfo/situation/hasSituationPart +:hasSituationPart rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gfo-core:hasPart ; + owl:inverseOf :situationPartOf ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( :PresenticSituation + :Situation + ) + ] ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Attributive + gfo-core:PresenticAttributive + ) + ] ; + rdfs:label "has situation part"@en . + + +### https://w3id.org/gfo/situation/situationPartOf +:situationPartOf rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gfo-core:partOf ; + rdfs:domain [ rdf:type owl:Class ; + owl:unionOf ( gfo-core:Attributive + gfo-core:PresenticAttributive + ) + ] ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( :PresenticSituation + :Situation + ) + ] ; + rdfs:label "situation part of"@en . + + +################################################################# +# Data properties +################################################################# + +### https://w3id.org/gfo/core/booleanValue +gfo-core:booleanValue rdf:type owl:DatatypeProperty ; + rdfs:domain gfo-core:Attributive ; + rdfs:range xsd:boolean ; + rdfs:label "boolean value"@en . + + +### https://w3id.org/gfo/core/dateTimeValue +gfo-core:dateTimeValue rdf:type owl:DatatypeProperty ; + rdfs:domain gfo-core:Individual ; + rdfs:range xsd:dateTime ; + rdfs:label "date time value"@en . + + +### https://w3id.org/gfo/core/decimalValue +gfo-core:decimalValue rdf:type owl:DatatypeProperty ; + rdfs:domain gfo-core:Attributive ; + rdfs:range xsd:decimal ; + rdfs:label "decimal value"@en . + + +### https://w3id.org/gfo/core/endDateTimeValue +gfo-core:endDateTimeValue rdf:type owl:DatatypeProperty ; + rdfs:subPropertyOf gfo-core:dateTimeValue ; + rdfs:label "end date time value"@en . + + +### https://w3id.org/gfo/core/startDateTimeValue +gfo-core:startDateTimeValue rdf:type owl:DatatypeProperty ; + rdfs:subPropertyOf gfo-core:dateTimeValue ; + rdfs:label "start date time value"@en . + + +### https://w3id.org/gfo/core/stringValue +gfo-core:stringValue rdf:type owl:DatatypeProperty ; + rdfs:domain gfo-core:Attributive ; + rdfs:range xsd:string ; + rdfs:label "string value"@en . + + +### https://w3id.org/gfo/core/unit +gfo-core:unit rdf:type owl:DatatypeProperty ; + rdfs:domain gfo-core:Attributive ; + rdfs:range xsd:string ; + rdfs:label "unit"@en . + + +################################################################# +# Classes +################################################################# + +### https://w3id.org/gfo/core/Attributive +gfo-core:Attributive rdf:type owl:Class ; + rdfs:subClassOf gfo-core:TimeExtendedIndividual , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:attributiveOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:TimeExtendedIndividual + ] ; + rdfs:comment "Qualities (attributes, traits, characteristics, etc.) of concrete individuals, relations (relators) between them and roles that objects can play in different contexts are subsumed under the category Attributive."@en ; + rdfs:label "Attributive"@en ; + skos:definition "Attributives are individuals that depend on other individuals by some kind of dependency relation."@en . + + +### https://w3id.org/gfo/core/ConcreteIndividual +gfo-core:ConcreteIndividual rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Individual , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasTime ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:TimeEntity + ] ; + rdfs:label "Concrete individual"@en ; + skos:definition "Concrete individuals are entities that have an immediate relation to time or to space-time. They exist in time."@en . + + +### https://w3id.org/gfo/core/Individual +gfo-core:Individual rdf:type owl:Class ; + rdfs:label "Individual"@en ; + skos:definition "Individuals are entities which cannot be further instantiated."@en . + + +### https://w3id.org/gfo/core/Object +gfo-core:Object rdf:type owl:Class ; + rdfs:subClassOf gfo-core:TimeExtendedIndividual ; + rdfs:label "Object"@en ; + skos:altLabel "Continuant"@en ; + skos:definition "An object is understood as a mutable entity that persists over time, having a finite lifespan of non-zero duration. As such, it specializes gfo:Continuant."@en ; + skos:example "Physical, tangible entities such as apples, cells and organisms"@en . + + +### https://w3id.org/gfo/core/PresenticAttributive +gfo-core:PresenticAttributive rdf:type owl:Class ; + rdfs:subClassOf gfo-core:PresenticIndividual , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:attributiveOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:PresenticIndividual + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:snapshotOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:Attributive + ] ; + rdfs:label "Presentic attributive"@en . + + +### https://w3id.org/gfo/core/PresenticIndividual +gfo-core:PresenticIndividual rdf:type owl:Class ; + rdfs:subClassOf gfo-core:ConcreteIndividual , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasTime ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:TimePoint + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:snapshotOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:TimeExtendedIndividual + ] ; + rdfs:label "Presentic individual"@en . + + +### https://w3id.org/gfo/core/PresenticObject +gfo-core:PresenticObject rdf:type owl:Class ; + rdfs:subClassOf gfo-core:PresenticIndividual , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:snapshotOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:Object + ] ; + rdfs:label "Presentic object"@en ; + skos:definition "Each object manifests itself at any given time point of its existence as a presentic object (the latter is then a snapshot_of the former). A presentic object is likewise a complete whole, but with a lifetime of a unique time point, at which it is fully present."@en . + + +### https://w3id.org/gfo/core/PresenticQuality +gfo-core:PresenticQuality rdf:type owl:Class ; + rdfs:subClassOf gfo-core:PresenticAttributive , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:qualityOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:PresenticIndividual + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:snapshotOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:Quality + ] ; + rdfs:label "Presentic quality"@en . + + +### https://w3id.org/gfo/core/PresenticRelator +gfo-core:PresenticRelator rdf:type owl:Class ; + rdfs:subClassOf gfo-core:PresenticAttributive , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:relates ; + owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:PresenticObject + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:snapshotOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:Relator + ] ; + rdfs:label "Presentic relator"@en . + + +### https://w3id.org/gfo/core/PresenticRole +gfo-core:PresenticRole rdf:type owl:Class ; + rdfs:subClassOf gfo-core:PresenticAttributive , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:playedBy ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:PresenticObject + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:roleIn ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:PresenticRelator + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:snapshotOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:Role + ] ; + rdfs:label "Presentic role"@en . + + +### https://w3id.org/gfo/core/Quality +gfo-core:Quality rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Attributive , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:qualityOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:TimeExtendedIndividual + ] ; + rdfs:label "Quality"@en ; + skos:definition "A quality links an entity—the necessary quality bearer—to a value, which can be quantitative (e.g., 10 kg, 40 $) or qualitative (e.g., ‘green’, ‘nice’)."@en . + + +### https://w3id.org/gfo/core/Relator +gfo-core:Relator rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Attributive , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:relates ; + owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:Object + ] ; + rdfs:label "Relator"@en ; + skos:definition "Relators are attributives that connect other entities (role players) by relational roles (played by role players)."@en ; + skos:example "The marriage (relator) of John and Mary (in which Mary plays the wife role and John the husband role)"@en . + + +### https://w3id.org/gfo/core/Role +gfo-core:Role rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Attributive , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:playedBy ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:Object + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:roleIn ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:Relator + ] ; + rdfs:label "Role"@en ; + skos:definition "A role characterizes an entity—its required player—through its context (e.g., relation/relator)."@en . + + +### https://w3id.org/gfo/core/TimeEntity +gfo-core:TimeEntity rdf:type owl:Class ; + rdfs:subClassOf gfo-core:Individual ; + rdfs:comment "The time entities defined in GFO are points in time (time boundaries) and time intervals (chronoids), which consist of points in time."@en ; + rdfs:label "Time entity"@en . + + +### https://w3id.org/gfo/core/TimeExtendedIndividual +gfo-core:TimeExtendedIndividual rdf:type owl:Class ; + rdfs:subClassOf gfo-core:ConcreteIndividual , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasTime ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:TimeInterval + ] ; + rdfs:label "Time-extended individual"@en . + + +### https://w3id.org/gfo/core/TimeInterval +gfo-core:TimeInterval rdf:type owl:Class ; + rdfs:subClassOf gfo-core:TimeEntity ; + rdfs:label "Time interval"@en ; + skos:altLabel "Chronoid"@en , + "Time period"@en . + + +### https://w3id.org/gfo/core/TimePoint +gfo-core:TimePoint rdf:type owl:Class ; + rdfs:subClassOf gfo-core:TimeEntity , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:timeBoundaryOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass gfo-core:TimeInterval + ] ; + rdfs:label "Time point"@en ; + skos:altLabel "Point in time"@en , + "Time boundary"@en . + + +### https://w3id.org/gfo/situation/PresenticSituation +:PresenticSituation rdf:type owl:Class ; + rdfs:subClassOf gfo-core:PresenticIndividual , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasParticipant ; + owl:someValuesFrom gfo-core:PresenticObject + ] , + [ rdf:type owl:Restriction ; + owl:onProperty :hasSituationPart ; + owl:someValuesFrom gfo-core:PresenticAttributive + ] , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:snapshotOf ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass :Situation + ] ; + rdfs:label "Presentic situation"@en . + + +### https://w3id.org/gfo/situation/Situation +:Situation rdf:type owl:Class ; + rdfs:subClassOf gfo-core:TimeExtendedIndividual , + [ rdf:type owl:Restriction ; + owl:onProperty gfo-core:hasParticipant ; + owl:someValuesFrom gfo-core:Object + ] , + [ rdf:type owl:Restriction ; + owl:onProperty :hasSituationPart ; + owl:someValuesFrom gfo-core:Attributive + ] ; + rdfs:comment "In line with GFO, we assume that every situation consists of at least one object that participates_in the situation."@en ; + rdfs:label "Situation"@en ; + skos:definition "Situations as complex entities that are comprehended as wholes"@en . + + +### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi