├── .DS_Store ├── .gitignore ├── README.md ├── contributing.md ├── documentation ├── 2025 C-FORS Exercises.pptx ├── BFO Oslo Tutorial.pdf ├── BFO Oslo Tutorial.pptx ├── Basic Formal Ontology Case Studies.pdf └── The Occupation Ontology (OccO) - Building a Bridge between Global Occupational Standards REVISED.pdf ├── exercises ├── .DS_Store ├── bfo-core-c-fors.ttl ├── datasets │ ├── aircraft_data.xlsx │ ├── employment_wage_May_2024.xlsx │ └── soc_structure_definitions.xlsx └── solutions │ └── 2025 C-FORS Exercise Solutions.pptx └── submissions └── 2025 C-FORS Exercise Solutions.pptx /.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/.DS_Store -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # C-FORS BFO Session 2 | Here you will find educational material related to the [2025 C-FORS summer school in foundational ontology](https://www.hf.uio.no/ifikk/english/research/projects/c-fors/events/conferences/summer-school-in-foundational-ontology.html) held in Oslo, Norway. 3 | 4 | This four-day summer school aimed to give both a theoretical and a practical overview of foundational ontologies. It focuses on four of them, devoting one full day to each: Unified Foundational Ontology (UFO, Tuesday 20 May), Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE, Wednesday 21 May), Basic Formal Ontology (BFO, Thursday 22 May), and Business Objects Reference Ontology (BORO, Friday 23 May). Each day is divided into two sessions. In the morning sessions, invited speakers will give a theoretical introduction to the ontology. The afternoon sessions will consist of practical group work on case studies that will help participants understand how to apply the ontology. At the end of these sessions, invited speakers will discuss the case studies engaging with participants’ group work. 5 | 6 | This repository is in particular is devoted to the Thursday 22 May BFO Tutorial session led by [John Beverley](https:johnbeverley.com) 7 | 8 | ## Slack Channel 9 | https://ncorlabswg.slack.com/archives/C08T9NQMCKE 10 | 11 | ## Youtube Channel (TBD) 12 | 13 | [Basics of Basic Formal Ontology]() 14 | 15 | ## Repository Content 16 | This repository contains the following content: 17 | * **documentation** - Here you will find the BFO: Case Studies paper, a paper decribing the Occupation Ontology which describes ontological representations of occupation codes, slides from my tutorial, as well as a pptx with guidance for the exercises. 18 | * **exercises** - This repository contains datasets and solutions for exercises. Additinally, you will find the current version of Basic Formal Ontology named "bfo-core-c-fors.ttl". 19 | * **datasets** - Here you will find the various datasets used in the tutorial exercises. 20 | * **solutions** - Here you will (eventually) find my preferred solutions to the exercises. 21 | * **submissions** - In your forked repository, you will upload your work here. Following the naming convention: [lastname]-[firstname]-Case-#-Diagram and [lastname]-[firstname]-Case-#-Justification. 22 | 23 | In the main directory you will also find "contributing.md" which provides an overview of how to use GitHub for these exercises. -------------------------------------------------------------------------------- /contributing.md: -------------------------------------------------------------------------------- 1 | ## Contributing 2 | 3 | - [Introduction](#introduction) 4 | - [Git and GitHub](#git-and-github) 5 | - [GitHub Workflow](#github-workflow) 6 | - [Workflow for this Course](#workflow-for-this-course) 7 | - [Merging using VSCode Command Palette](#vscode-merging-command") 8 | - [Merging using VSCode Source Control](#vscode-merging-source") 9 | - [Merging using Command Line](#vscode-merging-cli") 10 | - [Further Resources](#resource) 11 | 12 | 13 | 14 | ## Introduction 15 | 16 | The content of this file is adapted from the Github Classroom starter assignment, which is designed to give you a brief introduction to Git and GitHub. 17 | 18 | 19 | 20 | ## Git and Github 21 | 22 | **Git** is a system for tracking changes to your code, collaborating, and sharing. With Git you can track the changes you make to your project so you always have a record of what you’ve worked on and can easily revert back to an older version if need be. 23 | 24 | **GitHub** is a way to use Git online with an easy-to-use interface. 25 | 26 | 27 | 28 | ## GitHub Workflow 29 | 30 | The **GitHub Flow** is a workflow that allows you to experiment and collaborate on your projects easily, without the risk of losing your previous work. 31 | 32 | A **repository** is where your project work happens--think of it as your project folder. It contains all of your project’s files and revision history. You can work within a repository alone or invite others to collaborate with you on those files. Repositories also contain **README**s. You can add a README file to your repository to tell other people why your project is useful, what they can do with your project, and how they can use it. 33 | 34 | When a repository is created with GitHub, it’s stored remotely in the cloud. You can **clone** a repository to create a local copy on your computer and then use Git to sync the two. This makes it easier to fix issues, add or remove files, and push larger commits. Cloning a repository pulls down all the repository data that GitHub has at that point in time, including all versions of every file and folder for the project. This can be helpful if you experiment with your project and then realize you liked a previous version more. 35 | 36 | A **fork** is another way to copy a repository, but is usually used when you want to contribute to someone else’s project. Forking a repository allows you to freely experiment with changes without affecting the original project and is very popular when contributing to open source software projects. 37 | 38 | **Committing** and **pushing** are how you can add the changes you made on your local machine to the main course repository so that your instructor can see your latest work. You should add a helpful **commit message** to remind yourself or your teammates what work you did. Once you have a commit or multiple commits that you’re ready to add to your repository, you can use the push command to add those changes to your remote repository. 39 | 40 | When working with branches, you can use a **pull request** to tell others about the changes you want to make and ask for their feedback. Once a pull request is opened, you can discuss and review the potential changes with collaborators and add more changes if need be. You can add specific people as reviewers of your pull request which shows you want their feedback on your changes! Once a pull request is ready-to-go, it can be merged into your main branch. 41 | 42 | 43 | 44 | ## Workflow for this Course 45 | 46 | For the purposes of this course, I will maintain a central repository where all of the course material - such as this documentation - is located, and you will 'fork' that repository on your personal Github account. There, you will complete assignments, adding your answers to your personal Github page. 47 | 48 | When you add your submission to your personal Github repository, you will be prompted to either "commit to the main branch' or "create a new branch for this request and start a pull request. You will always choose to open a 'pull request'. The difference here is that by opening a pull request, you open the door for your peers to help you refine the submission. That in mind, when you open a pull request, you will tag other students in the class requesting that they review your work. You will work together to polish your answers. Once your reviewers have 'approved' your work, you will then 'merge' your work to your personal repository. 49 | 50 | Once you have merged your work there, you will open another pull request - this time tagging @johnbeve - so that I can review your work before merging it to the main course repository. 51 | 52 | You can visualize the process as something like: 53 | 54 | ```mermaid 55 | gitGraph 56 | commit id: "1" 57 | commit id: "2" 58 | branch Your_Work 59 | checkout Your_Work 60 | commit id: "3" 61 | checkout main 62 | commit id: "4" 63 | checkout Your_Work 64 | branch Your_Work_in_PR 65 | commit id: "5" 66 | checkout Your_Work 67 | merge Your_Work_in_PR id: "Reviewed!" 68 | checkout main 69 | merge Your_Work id: "Submit Work" 70 | commit id: "6" 71 | checkout main 72 | commit id: "7" 73 | ``` 74 | Where the numbers instances where changes have been made to a repository. The top grey line represents the main course repository. At change - or 'commit' - 2, you create a copy of the repository and begin working. You periodically check to make sure that your copy is up to date with the main branch, and this is reflected in your making commit 3 then making commit 5. This is because commit 4 occurred on the main branch, but you - good student that you are - updated your personal repository to keep up with the main course repository. Eventually, you submit your work to the main branch and it is 'merged'. Afterwards, you'll be able to see your work on the main course repository. 75 | 76 | 77 | 78 | ## Resources 79 | * [A short video explaining what GitHub is](https://www.youtube.com/watch?v=w3jLJU7DT5E&feature=youtu.be) 80 | * [Git and GitHub learning resources](https://docs.github.com/en/github/getting-started-with-github/git-and-github-learning-resources) 81 | * [Understanding the GitHub flow](https://guides.github.com/introduction/flow/) 82 | * [How to use GitHub branches](https://www.youtube.com/watch?v=H5GJfcp3p4Q&feature=youtu.be) 83 | * [Interactive Git training materials](https://githubtraining.github.io/training-manual/#/01_getting_ready_for_class) 84 | * [GitHub's Learning Lab](https://lab.github.com/) 85 | * [Education community forum](https://education.github.community/) 86 | * [GitHub community forum](https://github.community/) 87 | 88 | 89 | 90 | ## Merging Branches in VS Code Using the Command Palette 91 | 92 | 1. **Open VS Code**: Launch Visual Studio Code. 93 | 94 | 2. **Open the Command Palette**: 95 | - Press `Ctrl+Shift+P` (Windows/Linux) or `Cmd+Shift+P` (Mac) to open the Command Palette. 96 | 97 | 3. **Switch to the `master` (or `main`) Branch**: 98 | - Type `Git: Checkout to...` and select it from the dropdown. 99 | - Choose `master` or `main` from the list of branches. 100 | 101 | 4. **Pull the Latest Changes (Optional but Recommended)**: 102 | - Open the Command Palette again. 103 | - Type `Git: Pull` and select it from the dropdown. 104 | - Choose the remote branch you want to pull changes from, typically `origin/master` or `origin/main`. 105 | 106 | 5. **Merge the `dev` Branch into `master` (or `main`)**: 107 | - Open the Command Palette. 108 | - Type `Git: Merge Branch...` and select it. 109 | - Choose `dev` from the list of branches to merge into the currently checked-out branch (`master` or `main`). 110 | 111 | 6. **Resolve Any Merge Conflicts**: 112 | - If there are conflicts, VS Code will show them in the editor. Open the conflicted files. 113 | - Use the inline merge conflict resolution tools provided by VS Code to resolve the conflicts. 114 | 115 | 7. **Commit the Merge**: 116 | - If conflicts were resolved, go to the Source Control view to commit the merge. 117 | 118 | 8. **Push the Changes**: 119 | - Open the Command Palette. 120 | - Type `Git: Push` and select it to push the changes to the remote repository. 121 | 122 | 123 | 124 | ## Merging Branches in VS Code Using Source Control View 125 | 126 | 1. **Open VS Code**: Launch Visual Studio Code. 127 | 128 | 2. **Open the Source Control View**: 129 | - Click on the Source Control icon in the [Activity Bar](https://code.visualstudio.com/docs/getstarted/userinterface) on the side of the window, or press `Ctrl+Shift+G` (Windows/Linux) or `Cmd+Shift+G` (Mac). 130 | 131 | 3. **Switch to the `master` (or `main`) Branch**: 132 | - Click on the branch name in the bottom-left corner of the Status Bar. 133 | - Select `master` or `main` from the list of branches to switch to it. 134 | 135 | 4. **Pull the Latest Changes (Optional but Recommended)**: 136 | - Click on the ellipsis (`...`) in the Source Control view. 137 | - Select `Pull` from the dropdown to fetch the latest changes from the remote repository. 138 | 139 | 5. **Merge the `dev` Branch into `master` (or `main`)**: 140 | - Click on the ellipsis (`...`) in the Source Control view. 141 | - Select `Merge Branch...`. 142 | - Choose `dev` from the list of branches to merge into the currently checked-out branch (`master` or `main`). 143 | 144 | 6. **Resolve Any Merge Conflicts**: 145 | - If there are conflicts, VS Code will highlight them in the editor. Open the conflicted files and use the inline tools to resolve them. 146 | 147 | 7. **Commit the Merge**: 148 | - If conflicts were resolved, you will see the merge changes in the Source Control view. Enter a commit message and commit the merge. 149 | 150 | 8. **Push the Changes**: 151 | - Click on the ellipsis (`...`) in the Source Control view. 152 | - Select `Push` to push the merged changes to the remote repository. 153 | 154 | 155 | 156 | ## Merging Branches Using Git in the Command Line 157 | 158 | 1. **Open Terminal and Navigate to Your Repository**: 159 | - cd /path/to/your/repo 160 | 161 | 2. **Fetch the Latest Changes from Remote (Optional but Recommended)**: 162 | - git fetch origin 163 | 164 | 3. **Switch to the Master (or Main) Branch**: 165 | - git checkout master (or git checkout main) 166 | 167 | 4. **Pull the Latest Changes to Master (or Main)**: 168 | - git pull origin master (git pull origin main) 169 | 170 | 5. **Merge the Dev Branch into Master (or Main)**: 171 | - git merge dev 172 | 173 | 6. **Resolve Any Merge Conflicts (If They Arise)**: 174 | - Open conflicted files in a text editor and resolve conflicts. 175 | - After resolving conflicts, add the resolved files: 176 | - git add 177 | 178 | 7. **Complete the Merge if There Were Conflicts**: 179 | - git commit 180 | 181 | 8. **Push the Changes to the Remote Repository**: 182 | - git push origin master (git push origin main) 183 | 184 | ## Resources 185 | * [A short video explaining what GitHub is](https://www.youtube.com/watch?v=w3jLJU7DT5E&feature=youtu.be) 186 | * [Git and GitHub learning resources](https://docs.github.com/en/github/getting-started-with-github/git-and-github-learning-resources) 187 | * [Understanding the GitHub flow](https://guides.github.com/introduction/flow/) 188 | * [How to use GitHub branches](https://www.youtube.com/watch?v=H5GJfcp3p4Q&feature=youtu.be) 189 | * [Interactive Git training materials](https://githubtraining.github.io/training-manual/#/01_getting_ready_for_class) 190 | * [GitHub's Learning Lab](https://lab.github.com/) 191 | * [Education community forum](https://education.github.community/) 192 | * [GitHub community forum](https://github.community/) -------------------------------------------------------------------------------- /documentation/2025 C-FORS Exercises.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/documentation/2025 C-FORS Exercises.pptx -------------------------------------------------------------------------------- /documentation/BFO Oslo Tutorial.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/documentation/BFO Oslo Tutorial.pdf -------------------------------------------------------------------------------- /documentation/BFO Oslo Tutorial.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/documentation/BFO Oslo Tutorial.pptx -------------------------------------------------------------------------------- /documentation/Basic Formal Ontology Case Studies.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/documentation/Basic Formal Ontology Case Studies.pdf -------------------------------------------------------------------------------- /documentation/The Occupation Ontology (OccO) - Building a Bridge between Global Occupational Standards REVISED.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/documentation/The Occupation Ontology (OccO) - Building a Bridge between Global Occupational Standards REVISED.pdf -------------------------------------------------------------------------------- /exercises/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/exercises/.DS_Store -------------------------------------------------------------------------------- /exercises/bfo-core-c-fors.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix dc: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix dc11: . 8 | @prefix rdfs: . 9 | @prefix skos: . 10 | @base . 11 | 12 | rdf:type owl:Ontology ; 13 | owl:versionIRI ; 14 | dc11:contributor "Alan Ruttenberg" , 15 | "Albert Goldfain" , 16 | "Barry Smith" , 17 | "Bill Duncan" , 18 | "Bjoern Peters" , 19 | "Chris Mungall" , 20 | "David Osumi-Sutherland" , 21 | "Fabian Neuhaus" , 22 | "James A. Overton" , 23 | "Janna Hastings" , 24 | "Jie Zheng" , 25 | "John Beverley" , 26 | "Jonathan Bona" , 27 | "Larry Hunter" , 28 | "Leonard Jacuzzo" , 29 | "Ludger Jansen" , 30 | "Mark Jensen" , 31 | "Mark Ressler" , 32 | "Mathias Brochhausen" , 33 | "Mauricio Almeida" , 34 | "Melanie Courtot" , 35 | "Neil Otte" , 36 | "Pierre Grenon" , 37 | "Randall Dipert" , 38 | "Robert Rovetto" , 39 | "Ron Rudnicki" , 40 | "Stefan Schulz" , 41 | "Thomas Bittner" , 42 | "Werner Ceusters" , 43 | "Yongqun \"Oliver\" He" ; 44 | dc:description "Basic Formal Ontology implemented in the Web Ontology Language (OWL 2) with direct semantics."@en ; 45 | dc:license ; 46 | dc:title "BFO 2020" ; 47 | rdfs:comment "The most recent version of this file will always be in the GitHub repository https://github.com/bfo-ontology/bfo-2020" . 48 | 49 | ################################################################# 50 | # Annotation properties 51 | ################################################################# 52 | 53 | ### http://purl.org/dc/elements/1.1/contributor 54 | dc11:contributor rdf:type owl:AnnotationProperty . 55 | 56 | 57 | ### http://purl.org/dc/elements/1.1/identifier 58 | dc11:identifier rdf:type owl:AnnotationProperty . 59 | 60 | 61 | ### http://purl.org/dc/elements/1.1/license 62 | dc11:license rdf:type owl:AnnotationProperty . 63 | 64 | 65 | ### http://purl.org/dc/terms/description 66 | dc:description rdf:type owl:AnnotationProperty . 67 | 68 | 69 | ### http://purl.org/dc/terms/license 70 | dc:license rdf:type owl:AnnotationProperty . 71 | 72 | 73 | ### http://purl.org/dc/terms/title 74 | dc:title rdf:type owl:AnnotationProperty . 75 | 76 | 77 | ### http://www.w3.org/2004/02/skos/core#altLabel 78 | skos:altLabel rdf:type owl:AnnotationProperty . 79 | 80 | 81 | ### http://www.w3.org/2004/02/skos/core#definition 82 | skos:definition rdf:type owl:AnnotationProperty . 83 | 84 | 85 | ### http://www.w3.org/2004/02/skos/core#example 86 | skos:example rdf:type owl:AnnotationProperty . 87 | 88 | 89 | ### http://www.w3.org/2004/02/skos/core#prefLabel 90 | skos:prefLabel rdf:type owl:AnnotationProperty . 91 | 92 | 93 | ### http://www.w3.org/2004/02/skos/core#scopeNote 94 | skos:scopeNote rdf:type owl:AnnotationProperty . 95 | 96 | 97 | ################################################################# 98 | # Object Properties 99 | ################################################################# 100 | 101 | ### http://purl.obolibrary.org/obo/BFO_0000054 102 | rdf:type owl:ObjectProperty ; 103 | owl:inverseOf ; 104 | rdfs:domain ; 105 | rdfs:range ; 106 | dc11:identifier "206-BFO" ; 107 | rdfs:label "has realization"@en ; 108 | skos:altLabel "realized in"@en ; 109 | skos:definition "b has realization c =Def c realizes b"@en ; 110 | skos:example "As for realizes"@en . 111 | 112 | 113 | ### http://purl.obolibrary.org/obo/BFO_0000055 114 | rdf:type owl:ObjectProperty ; 115 | rdfs:domain ; 116 | rdfs:range ; 117 | dc11:identifier "059-BFO" ; 118 | rdfs:label "realizes"@en ; 119 | skos:definition "(Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c"@en ; 120 | skos:example "A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart"@en . 121 | 122 | ### http://purl.obolibrary.org/obo/DEMO_0000001 123 | rdf:type owl:ObjectProperty ; 124 | rdfs:domain ; 125 | rdfs:range ; 126 | rdfs:label "is about"@en ; 127 | skos:definition "A primitive relation that relates an information artifact to an entity."@en . 128 | 129 | ### http://purl.obolibrary.org/obo/BFO_0000056 130 | rdf:type owl:ObjectProperty ; 131 | owl:inverseOf ; 132 | rdfs:domain [ rdf:type owl:Class ; 133 | owl:unionOf ( 134 | 135 | [ owl:intersectionOf ( 136 | [ rdf:type owl:Class ; 137 | owl:complementOf 138 | ] 139 | ) ; 140 | rdf:type owl:Class 141 | ] 142 | ) 143 | ] ; 144 | rdfs:range ; 145 | dc11:identifier "250-BFO" ; 146 | rdfs:label "participates in"@en ; 147 | skos:definition "(Elucidation) participates in holds between some b that is either a specifically dependent continuant or generically dependent continuant or independent continuant that is not a spatial region & some process p such that b participates in p some way"@en ; 148 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 149 | 150 | 151 | ### http://purl.obolibrary.org/obo/BFO_0000057 152 | rdf:type owl:ObjectProperty ; 153 | rdfs:domain ; 154 | rdfs:range [ rdf:type owl:Class ; 155 | owl:unionOf ( 156 | 157 | [ owl:intersectionOf ( 158 | [ rdf:type owl:Class ; 159 | owl:complementOf 160 | ] 161 | ) ; 162 | rdf:type owl:Class 163 | ] 164 | ) 165 | ] ; 166 | dc11:identifier "248-BFO" ; 167 | rdfs:label "has participant"@en ; 168 | skos:definition "p has participant c =Def c participates in p"@en ; 169 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 170 | 171 | 172 | ### http://purl.obolibrary.org/obo/BFO_0000058 173 | rdf:type owl:ObjectProperty ; 174 | owl:inverseOf ; 175 | rdfs:domain ; 176 | rdfs:range [ rdf:type owl:Class ; 177 | owl:unionOf ( 178 | 179 | ) 180 | ] ; 181 | dc11:identifier "258-BFO" ; 182 | rdfs:label "is concretized by"@en ; 183 | skos:definition "c is concretized by b =Def b concretizes c"@en ; 184 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 185 | 186 | 187 | ### http://purl.obolibrary.org/obo/BFO_0000059 188 | rdf:type owl:ObjectProperty ; 189 | rdfs:domain [ rdf:type owl:Class ; 190 | owl:unionOf ( 191 | 192 | ) 193 | ] ; 194 | rdfs:range ; 195 | dc11:identifier "256-BFO" ; 196 | rdfs:label "concretizes"@en ; 197 | skos:definition "b concretizes c =Def b is a process or a specifically dependent continuant & c is a generically dependent continuant & there is some time t such that c is the pattern or content which b shares at t with actual or potential copies"@en ; 198 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 199 | 200 | 201 | ### http://purl.obolibrary.org/obo/BFO_0000062 202 | rdf:type owl:ObjectProperty ; 203 | owl:inverseOf ; 204 | rdf:type owl:TransitiveProperty ; 205 | rdfs:domain ; 206 | rdfs:range ; 207 | dc11:identifier "213-BFO" ; 208 | rdfs:label "preceded by"@en ; 209 | skos:definition "b preceded by c =Def b precedes c"@en ; 210 | skos:example "The temporal region occupied by the second half of the match is preceded by the temporal region occupied by the first half of the match"@en . 211 | 212 | 213 | ### http://purl.obolibrary.org/obo/BFO_0000063 214 | rdf:type owl:ObjectProperty , 215 | owl:TransitiveProperty ; 216 | rdfs:domain ; 217 | rdfs:range ; 218 | dc11:identifier "270-BFO" ; 219 | rdfs:label "precedes"@en ; 220 | skos:definition "(Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants"@en ; 221 | skos:example "The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death."@en ; 222 | skos:scopeNote "Each temporal region is its own temporal extent. The temporal extent of a spatiotemporal region is the temporal region it temporally projects onto. The temporal extent of a process or process boundary that occupies temporal region t is t." , 223 | "Precedes defines a strict partial order on occurrents." . 224 | 225 | 226 | ### http://purl.obolibrary.org/obo/BFO_0000066 227 | rdf:type owl:ObjectProperty ; 228 | owl:inverseOf ; 229 | rdfs:domain [ rdf:type owl:Class ; 230 | owl:unionOf ( 231 | 232 | ) 233 | ] ; 234 | rdfs:range [ rdf:type owl:Class ; 235 | owl:unionOf ( 236 | 237 | ) 238 | ] ; 239 | dc11:identifier "143-BFO" ; 240 | rdfs:label "occurs in"@en ; 241 | skos:definition "b occurs in c =Def b is a process or a process boundary & c is a material entity or site & there exists a spatiotemporal region r & b occupies spatiotemporal region r & for all time t, if b exists at t then c exists at t & there exist spatial regions s and s' where b spatially projects onto s at t & c occupies spatial region s' at t & s is a continuant part of s' at t"@en ; 242 | skos:example "A process of digestion occurs in the interior of an organism; a process of loading artillery rounds into a tank cannon occurs in the interior of the tank"@en . 243 | 244 | 245 | ### http://purl.obolibrary.org/obo/BFO_0000084 246 | rdf:type owl:ObjectProperty ; 247 | owl:inverseOf ; 248 | rdfs:domain ; 249 | rdfs:range [ owl:intersectionOf ( 250 | [ rdf:type owl:Class ; 251 | owl:complementOf 252 | ] 253 | ) ; 254 | rdf:type owl:Class 255 | ] ; 256 | dc11:identifier "252-BFO" ; 257 | rdfs:label "generically depends on"@en ; 258 | skos:altLabel "g-depends on"@en ; 259 | skos:definition "b generically depends on c =Def b is a generically dependent continuant & c is an independent continuant that is not a spatial region & at some time t there inheres in c a specifically dependent continuant which concretizes b at t"@en ; 260 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 261 | 262 | 263 | ### http://purl.obolibrary.org/obo/BFO_0000101 264 | rdf:type owl:ObjectProperty ; 265 | rdfs:domain [ owl:intersectionOf ( 266 | [ rdf:type owl:Class ; 267 | owl:complementOf 268 | ] 269 | ) ; 270 | rdf:type owl:Class 271 | ] ; 272 | rdfs:range ; 273 | dc11:identifier "254-BFO" ; 274 | rdfs:label "is carrier of"@en ; 275 | skos:definition "b is carrier of c =Def there is some time t such that c generically depends on b at t"@en ; 276 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 277 | 278 | 279 | ### http://purl.obolibrary.org/obo/BFO_0000108 280 | rdf:type owl:ObjectProperty ; 281 | rdfs:domain ; 282 | rdfs:range ; 283 | dc11:identifier "118-BFO" ; 284 | rdfs:label "exists at"@en ; 285 | skos:definition "(Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists"@en ; 286 | skos:example "First World War exists at 1914-1916; Mexico exists at January 1, 2000"@en . 287 | 288 | 289 | ### http://purl.obolibrary.org/obo/BFO_0000115 290 | rdf:type owl:ObjectProperty ; 291 | rdfs:subPropertyOf ; 292 | owl:inverseOf ; 293 | rdfs:domain ; 294 | rdfs:range ; 295 | dc11:identifier "230-BFO" ; 296 | rdfs:label "has member part"@en ; 297 | skos:definition "b has member part c =Def c member part of b"@en ; 298 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 299 | 300 | 301 | ### http://purl.obolibrary.org/obo/BFO_0000117 302 | rdf:type owl:ObjectProperty ; 303 | owl:inverseOf ; 304 | rdf:type owl:TransitiveProperty ; 305 | rdfs:domain ; 306 | rdfs:range ; 307 | dc11:identifier "202-BFO" ; 308 | rdfs:label "has occurrent part"@en ; 309 | skos:definition "b has occurrent part c =Def c occurrent part of b"@en ; 310 | skos:example "Mary's life has occurrent part Mary's 5th birthday"@en . 311 | 312 | 313 | ### http://purl.obolibrary.org/obo/BFO_0000121 314 | rdf:type owl:ObjectProperty ; 315 | rdfs:subPropertyOf ; 316 | owl:inverseOf ; 317 | rdf:type owl:TransitiveProperty ; 318 | rdfs:domain ; 319 | rdfs:range ; 320 | dc11:identifier "211-BFO" ; 321 | rdfs:label "has temporal part"@en ; 322 | skos:definition "b has temporal part c =Def c temporal part of b"@en ; 323 | skos:example "Your life has temporal part the first year of your life"@en . 324 | 325 | 326 | ### http://purl.obolibrary.org/obo/BFO_0000124 327 | rdf:type owl:ObjectProperty ; 328 | owl:inverseOf ; 329 | rdfs:domain [ owl:intersectionOf ( 330 | [ rdf:type owl:Class ; 331 | owl:complementOf 332 | ] 333 | ) ; 334 | rdf:type owl:Class 335 | ] ; 336 | rdfs:range [ owl:intersectionOf ( 337 | [ rdf:type owl:Class ; 338 | owl:complementOf 339 | ] 340 | ) ; 341 | rdf:type owl:Class 342 | ] ; 343 | dc11:identifier "236-BFO" ; 344 | rdfs:label "location of"@en ; 345 | skos:definition "b location of c =Def c located in b"@en ; 346 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 347 | 348 | 349 | ### http://purl.obolibrary.org/obo/BFO_0000127 350 | rdf:type owl:ObjectProperty ; 351 | owl:inverseOf ; 352 | rdfs:domain ; 353 | rdfs:range ; 354 | dc11:identifier "244-BFO" ; 355 | rdfs:label "material basis of"@en ; 356 | skos:definition "b material basis of c =Def c has material basis b"@en ; 357 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 358 | 359 | 360 | ### http://purl.obolibrary.org/obo/BFO_0000129 361 | rdf:type owl:ObjectProperty ; 362 | rdfs:subPropertyOf ; 363 | rdfs:domain ; 364 | rdfs:range ; 365 | dc11:identifier "228-BFO" ; 366 | rdfs:label "member part of"@en ; 367 | skos:definition "b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n)"@en ; 368 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 369 | 370 | 371 | ### http://purl.obolibrary.org/obo/BFO_0000132 372 | rdf:type owl:ObjectProperty , 373 | owl:TransitiveProperty ; 374 | rdfs:domain ; 375 | rdfs:range ; 376 | dc11:identifier "003-BFO" ; 377 | rdfs:label "occurrent part of"@en ; 378 | skos:definition "(Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c"@en ; 379 | skos:example "Mary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis match"@en . 380 | 381 | 382 | ### http://purl.obolibrary.org/obo/BFO_0000139 383 | rdf:type owl:ObjectProperty ; 384 | rdfs:subPropertyOf ; 385 | rdf:type owl:TransitiveProperty ; 386 | rdfs:domain ; 387 | rdfs:range ; 388 | dc11:identifier "078-BFO" ; 389 | rdfs:label "temporal part of"@en ; 390 | skos:definition "b temporal part of c =Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies)"@en ; 391 | skos:example "Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole game"@en . 392 | 393 | 394 | ### http://purl.obolibrary.org/obo/BFO_0000153 395 | rdf:type owl:ObjectProperty , 396 | owl:FunctionalProperty ; 397 | rdfs:domain ; 398 | rdfs:range ; 399 | dc11:identifier "080-BFO" ; 400 | rdfs:label "temporally projects onto"@en ; 401 | skos:definition "(Elucidation) temporally projects onto is a relation between a spatiotemporal region s and some temporal region which is the temporal extent of s"@en ; 402 | skos:example "The world line of a particle temporally projects onto the temporal region extending from the beginning to the end of the existence of the particle"@en . 403 | 404 | 405 | ### http://purl.obolibrary.org/obo/BFO_0000171 406 | rdf:type owl:ObjectProperty ; 407 | rdfs:domain [ owl:intersectionOf ( 408 | [ rdf:type owl:Class ; 409 | owl:complementOf 410 | ] 411 | ) ; 412 | rdf:type owl:Class 413 | ] ; 414 | rdfs:range [ owl:intersectionOf ( 415 | [ rdf:type owl:Class ; 416 | owl:complementOf 417 | ] 418 | ) ; 419 | rdf:type owl:Class 420 | ] ; 421 | dc11:identifier "234-BFO" ; 422 | rdfs:label "located in"@en ; 423 | skos:definition "b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t"@en ; 424 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 425 | 426 | 427 | ### http://purl.obolibrary.org/obo/BFO_0000176 428 | rdf:type owl:ObjectProperty ; 429 | owl:inverseOf ; 430 | rdfs:domain ; 431 | rdfs:range ; 432 | dc11:identifier "221-BFO" ; 433 | rdfs:label "continuant part of"@en ; 434 | skos:definition "b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t"@en ; 435 | skos:example "Milk teeth continuant part of human; surgically removed tumour continuant part of organism"@en ; 436 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 437 | 438 | 439 | ### http://purl.obolibrary.org/obo/BFO_0000178 440 | rdf:type owl:ObjectProperty ; 441 | rdfs:domain ; 442 | rdfs:range ; 443 | dc11:identifier "271-BFO" ; 444 | rdfs:label "has continuant part"@en ; 445 | skos:definition "b has continuant part c =Def c continuant part of b"@en ; 446 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 447 | 448 | 449 | ### http://purl.obolibrary.org/obo/BFO_0000183 450 | rdf:type owl:ObjectProperty ; 451 | rdfs:domain [ rdf:type owl:Class ; 452 | owl:unionOf ( 453 | 454 | ) 455 | ] ; 456 | rdfs:range [ rdf:type owl:Class ; 457 | owl:unionOf ( 458 | 459 | ) 460 | ] ; 461 | dc11:identifier "267-BFO" ; 462 | rdfs:label "environs"@en ; 463 | skos:altLabel "contains process"@en ; 464 | skos:definition "b environs c =Def c occurs in b"@en ; 465 | skos:example "Mouth environs process of mastication; city environs traffic"@en . 466 | 467 | 468 | ### http://purl.obolibrary.org/obo/BFO_0000184 469 | rdf:type owl:ObjectProperty ; 470 | owl:inverseOf ; 471 | rdf:type owl:FunctionalProperty , 472 | owl:InverseFunctionalProperty ; 473 | rdfs:domain ; 474 | rdfs:range ; 475 | dc11:identifier "144-BFO" ; 476 | rdfs:label "history of"@en ; 477 | skos:definition "(Elucidation) history of is a relation between history b and material entity c such that b is the unique history of c"@en ; 478 | skos:example "This life is the history of this organism"@en . 479 | 480 | 481 | ### http://purl.obolibrary.org/obo/BFO_0000185 482 | rdf:type owl:ObjectProperty ; 483 | rdfs:domain ; 484 | rdfs:range ; 485 | dc11:identifier "145-BFO" ; 486 | rdfs:label "has history"@en ; 487 | skos:definition "b has history c =Def c history of b"@en ; 488 | skos:example "This organism has history this life"@en . 489 | 490 | 491 | ### http://purl.obolibrary.org/obo/BFO_0000194 492 | rdf:type owl:ObjectProperty ; 493 | owl:inverseOf ; 494 | rdfs:domain [ rdf:type owl:Class ; 495 | owl:unionOf ( 496 | [ owl:intersectionOf ( 497 | [ rdf:type owl:Class ; 498 | owl:complementOf 499 | ] 500 | ) ; 501 | rdf:type owl:Class 502 | ] 503 | ) 504 | ] ; 505 | rdfs:range ; 506 | dc11:identifier "260-BFO" ; 507 | rdfs:label "specifically depended on by"@en ; 508 | skos:altLabel "s-depended on by"@en ; 509 | skos:definition "b specifically depended on by c =Def c specifically depends on b"@en ; 510 | skos:example "Coloured object specifically depended on by colour"@en . 511 | 512 | 513 | ### http://purl.obolibrary.org/obo/BFO_0000195 514 | rdf:type owl:ObjectProperty ; 515 | rdfs:domain ; 516 | rdfs:range [ rdf:type owl:Class ; 517 | owl:unionOf ( 518 | [ owl:intersectionOf ( 519 | [ rdf:type owl:Class ; 520 | owl:complementOf 521 | ] 522 | ) ; 523 | rdf:type owl:Class 524 | ] 525 | ) 526 | ] ; 527 | dc11:identifier "012-BFO" ; 528 | rdfs:label "specifically depends on"@en ; 529 | skos:altLabel "s-depends on"@en ; 530 | skos:definition "(Elucidation) specifically depends on is a relation between a specifically dependent continuant b and specifically dependent continuant or independent continuant that is not a spatial region c such that b and c share no parts in common & b is of a nature such that at all times t it cannot exist unless c exists & b is not a boundary of c"@en ; 531 | skos:example "A shape specifically depends on the shaped object; hue, saturation and brightness of a colour sample specifically depends on each other"@en ; 532 | skos:scopeNote "The analogue of specifically depends on for occurrents is has participant."@en . 533 | 534 | 535 | ### http://purl.obolibrary.org/obo/BFO_0000196 536 | rdf:type owl:ObjectProperty ; 537 | rdfs:subPropertyOf ; 538 | owl:inverseOf ; 539 | rdfs:domain [ owl:intersectionOf ( 540 | [ rdf:type owl:Class ; 541 | owl:complementOf 542 | ] 543 | ) ; 544 | rdf:type owl:Class 545 | ] ; 546 | rdfs:range ; 547 | dc11:identifier "053-BFO" ; 548 | rdfs:label "bearer of"@en ; 549 | skos:definition "b bearer of c =Def c inheres in b"@en ; 550 | skos:example "A patch of ink is the bearer of a colour quality; an organism is the bearer of a temperature quality"@en . 551 | 552 | 553 | ### http://purl.obolibrary.org/obo/BFO_0000197 554 | rdf:type owl:ObjectProperty ; 555 | rdfs:subPropertyOf ; 556 | rdfs:domain ; 557 | rdfs:range [ owl:intersectionOf ( 558 | [ rdf:type owl:Class ; 559 | owl:complementOf 560 | ] 561 | ) ; 562 | rdf:type owl:Class 563 | ] ; 564 | dc11:identifier "051-BFO" ; 565 | rdfs:label "inheres in"@en ; 566 | skos:definition "b inheres in c =Def b is a specifically dependent continuant & c is an independent continuant that is not a spatial region & b specifically depends on c"@en ; 567 | skos:example "A shape inheres in a shaped object; a mass inheres in a material entity"@en . 568 | 569 | 570 | ### http://purl.obolibrary.org/obo/BFO_0000199 571 | rdf:type owl:ObjectProperty , 572 | owl:FunctionalProperty ; 573 | rdfs:domain [ rdf:type owl:Class ; 574 | owl:unionOf ( 575 | 576 | ) 577 | ] ; 578 | rdfs:range ; 579 | dc11:identifier "132-BFO" ; 580 | rdfs:label "occupies temporal region"@en ; 581 | skos:definition "p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t"@en ; 582 | skos:example "The Second World War occupies the temporal region September 1, 1939 - September 2, 1945"@en . 583 | 584 | 585 | ### http://purl.obolibrary.org/obo/BFO_0000200 586 | rdf:type owl:ObjectProperty , 587 | owl:FunctionalProperty ; 588 | rdfs:domain [ rdf:type owl:Class ; 589 | owl:unionOf ( 590 | 591 | ) 592 | ] ; 593 | rdfs:range ; 594 | dc11:identifier "082-BFO" ; 595 | rdfs:label "occupies spatiotemporal region"@en ; 596 | skos:definition "(Elucidation) occupies spatiotemporal region is a relation between a process or process boundary p and the spatiotemporal region s which is its spatiotemporal extent"@en ; 597 | skos:example "A particle emitted by a nuclear reactor occupies the spatiotemporal region which is its trajectory"@en . 598 | 599 | 600 | ### http://purl.obolibrary.org/obo/BFO_0000210 601 | rdf:type owl:ObjectProperty ; 602 | rdfs:domain [ owl:intersectionOf ( 603 | [ rdf:type owl:Class ; 604 | owl:complementOf 605 | ] 606 | ) ; 607 | rdf:type owl:Class 608 | ] ; 609 | rdfs:range ; 610 | dc11:identifier "232-BFO" ; 611 | rdfs:label "occupies spatial region"@en ; 612 | skos:definition "b occupies spatial region r =Def b is an independent continuant that is not a spatial region & r is a spatial region & there is some time t such that every continuant part of b occupies some continuant part of r at t and no continuant part of b occupies any spatial region that is not a continuant part of r at t"@en ; 613 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 614 | 615 | 616 | ### http://purl.obolibrary.org/obo/BFO_0000216 617 | rdf:type owl:ObjectProperty ; 618 | rdfs:domain ; 619 | rdfs:range ; 620 | dc11:identifier "246-BFO" ; 621 | rdfs:label "spatially projects onto"@en ; 622 | skos:definition "(Elucidation) spatially projects onto is a relation between some spatiotemporal region b and spatial region c such that at some time t, c is the spatial extent of b at t"@en ; 623 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 624 | 625 | 626 | ### http://purl.obolibrary.org/obo/BFO_0000218 627 | rdf:type owl:ObjectProperty ; 628 | rdfs:domain ; 629 | rdfs:range ; 630 | dc11:identifier "242-BFO" ; 631 | rdfs:label "has material basis"@en ; 632 | skos:definition "b has material basis c =Def b is a disposition & c is a material entity & there is some d bearer of b & there is some time t such that c is a continuant part of d at t & d has disposition b because c is a continuant part of d at t"@en ; 633 | skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: "@en . 634 | 635 | 636 | ### http://purl.obolibrary.org/obo/BFO_0000221 637 | rdf:type owl:ObjectProperty ; 638 | owl:inverseOf ; 639 | rdfs:domain ; 640 | rdfs:range ; 641 | dc11:identifier "268-BFO" ; 642 | rdfs:label "first instant of"@en ; 643 | skos:definition "t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t"@en ; 644 | skos:example "An hour starting at midnight yesterday has first instant midnight yesterday"@en . 645 | 646 | 647 | ### http://purl.obolibrary.org/obo/BFO_0000222 648 | rdf:type owl:ObjectProperty , 649 | owl:FunctionalProperty ; 650 | rdfs:domain ; 651 | rdfs:range ; 652 | dc11:identifier "261-BFO" ; 653 | rdfs:label "has first instant"@en ; 654 | skos:definition "t has first instant t' =Def t' first instant of t"@en ; 655 | skos:example "The first hour of a year has first instant midnight on December 31"@en . 656 | 657 | 658 | ### http://purl.obolibrary.org/obo/BFO_0000223 659 | rdf:type owl:ObjectProperty ; 660 | owl:inverseOf ; 661 | rdfs:domain ; 662 | rdfs:range ; 663 | dc11:identifier "269-BFO" ; 664 | rdfs:label "last instant of"@en ; 665 | skos:definition "t last instant of t' =Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede t"@en ; 666 | skos:example "Last midnight is the last instant of yesterday"@en . 667 | 668 | 669 | ### http://purl.obolibrary.org/obo/BFO_0000224 670 | rdf:type owl:ObjectProperty , 671 | owl:FunctionalProperty ; 672 | rdfs:domain ; 673 | rdfs:range ; 674 | dc11:identifier "215-BFO" ; 675 | rdfs:label "has last instant"@en ; 676 | skos:definition "t has last instant t' =Def t' last instant of t"@en ; 677 | skos:example "The last hour of a year has last instant midnight December 31"@en . 678 | 679 | 680 | ################################################################# 681 | # Classes 682 | ################################################################# 683 | 684 | ### http://purl.obolibrary.org/obo/BFO_0000001 685 | rdf:type owl:Class ; 686 | dc11:identifier "001-BFO" ; 687 | rdfs:label "entity"@en ; 688 | skos:definition "(Elucidation) An entity is anything that exists or has existed or will exist"@en ; 689 | skos:example "Julius Caesar; the Second World War; your body mass index; Verdi's Requiem"@en . 690 | 691 | 692 | ### http://purl.obolibrary.org/obo/BFO_0000002 693 | rdf:type owl:Class ; 694 | rdfs:subClassOf , 695 | [ rdf:type owl:Restriction ; 696 | owl:onProperty ; 697 | owl:allValuesFrom 698 | ] ; 699 | owl:disjointWith ; 700 | dc11:identifier "008-BFO" ; 701 | rdfs:label "continuant"@en ; 702 | skos:definition "(Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity"@en ; 703 | skos:example "A human being; a tennis ball; a cave; a region of space; someone's temperature"@en . 704 | 705 | 706 | ### http://purl.obolibrary.org/obo/BFO_0000003 707 | rdf:type owl:Class ; 708 | rdfs:subClassOf ; 709 | dc11:identifier "077-BFO" ; 710 | rdfs:label "occurrent"@en ; 711 | skos:definition "(Elucidation) An occurrent is an entity that unfolds itself in time or it is the start or end of such an entity or it is a temporal or spatiotemporal region"@en ; 712 | skos:example "As for process, history, process boundary, spatiotemporal region, zero-dimensional temporal region, one-dimensional temporal region, temporal interval, temporal instant."@en . 713 | 714 | 715 | ### http://purl.obolibrary.org/obo/BFO_0000004 716 | rdf:type owl:Class ; 717 | rdfs:subClassOf , 718 | [ rdf:type owl:Restriction ; 719 | owl:onProperty ; 720 | owl:allValuesFrom 721 | ] ; 722 | dc11:identifier "017-BFO" ; 723 | rdfs:label "independent continuant"@en ; 724 | skos:definition "b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c"@en ; 725 | skos:example "An atom; a molecule; an organism; a heart; a chair; the bottom right portion of a human torso; a leg; the interior of your mouth; a spatial region; an orchestra"@en . 726 | 727 | 728 | ### http://purl.obolibrary.org/obo/BFO_0000006 729 | rdf:type owl:Class ; 730 | rdfs:subClassOf , 731 | [ rdf:type owl:Restriction ; 732 | owl:onProperty ; 733 | owl:allValuesFrom 734 | ] ; 735 | dc11:identifier "035-BFO" ; 736 | rdfs:label "spatial region"@en ; 737 | skos:definition "(Elucidation) A spatial region is a continuant entity that is a continuant part of the spatial projection of a portion of spacetime at a given time"@en ; 738 | skos:example "As for zero-dimensional spatial region, one-dimensional spatial region, two-dimensional spatial region, three-dimensional spatial region"@en . 739 | 740 | 741 | ### http://purl.obolibrary.org/obo/BFO_0000008 742 | rdf:type owl:Class ; 743 | rdfs:subClassOf , 744 | [ rdf:type owl:Restriction ; 745 | owl:onProperty ; 746 | owl:allValuesFrom 747 | ] , 748 | [ rdf:type owl:Restriction ; 749 | owl:onProperty ; 750 | owl:allValuesFrom 751 | ] ; 752 | dc11:identifier "100-BFO" ; 753 | rdfs:label "temporal region"@en ; 754 | skos:definition "(Elucidation) A temporal region is an occurrent over which processes can unfold"@en ; 755 | skos:example "As for zero-dimensional temporal region and one-dimensional temporal region"@en . 756 | 757 | 758 | ### http://purl.obolibrary.org/obo/BFO_0000009 759 | rdf:type owl:Class ; 760 | rdfs:subClassOf , 761 | [ rdf:type owl:Restriction ; 762 | owl:onProperty ; 763 | owl:allValuesFrom [ rdf:type owl:Class ; 764 | owl:unionOf ( 765 | 766 | 767 | ) 768 | ] 769 | ] ; 770 | dc11:identifier "039-BFO" ; 771 | rdfs:label "two-dimensional spatial region"@en ; 772 | skos:definition "(Elucidation) A two-dimensional spatial region is a spatial region that is a whole consisting of a surface together with zero or more surfaces which may have spatial regions of lower dimension as parts"@en ; 773 | skos:example "The surface of a sphere-shaped part of space; an infinitely thin plane in space"@en . 774 | 775 | 776 | ### http://purl.obolibrary.org/obo/BFO_0000011 777 | rdf:type owl:Class ; 778 | rdfs:subClassOf , 779 | [ rdf:type owl:Restriction ; 780 | owl:onProperty ; 781 | owl:allValuesFrom 782 | ] , 783 | [ rdf:type owl:Restriction ; 784 | owl:onProperty ; 785 | owl:allValuesFrom 786 | ] ; 787 | dc11:identifier "095-BFO" ; 788 | rdfs:label "spatiotemporal region"@en ; 789 | skos:definition "(Elucidation) A spatiotemporal region is an occurrent that is an occurrent part of spacetime"@en ; 790 | skos:example "The spatiotemporal region occupied by the development of a cancer tumour; the spatiotemporal region occupied by an orbiting satellite"@en ; 791 | skos:scopeNote "'Spacetime' here refers to the maximal instance of the universal spatiotemporal region."@en . 792 | 793 | 794 | ### http://purl.obolibrary.org/obo/BFO_0000015 795 | rdf:type owl:Class ; 796 | rdfs:subClassOf , 797 | [ rdf:type owl:Restriction ; 798 | owl:onProperty ; 799 | owl:allValuesFrom [ rdf:type owl:Class ; 800 | owl:unionOf ( 801 | 802 | ) 803 | ] 804 | ] , 805 | [ rdf:type owl:Restriction ; 806 | owl:onProperty ; 807 | owl:allValuesFrom 808 | ] , 809 | [ rdf:type owl:Restriction ; 810 | owl:onProperty ; 811 | owl:allValuesFrom 812 | ] ; 813 | dc11:identifier "083-BFO" ; 814 | rdfs:label "process"@en ; 815 | skos:altLabel "event"@en ; 816 | skos:definition "(Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant"@en ; 817 | skos:example "An act of selling; the life of an organism; a process of sleeping; a process of cell-division; a beating of the heart; a process of meiosis; the taxiing of an aircraft; the programming of a computer"@en . 818 | 819 | 820 | ### http://purl.obolibrary.org/obo/BFO_0000016 821 | rdf:type owl:Class ; 822 | rdfs:subClassOf ; 823 | owl:disjointWith ; 824 | dc11:identifier "062-BFO" ; 825 | rdfs:label "disposition"@en ; 826 | skos:altLabel "internally-grounded realizable entity"@en ; 827 | skos:definition "(Elucidation) A disposition b is a realizable entity such that if b ceases to exist then its bearer is physically changed & b's realization occurs when and because this bearer is in some special physical circumstances & this realization occurs in virtue of the bearer's physical make-up"@en ; 828 | skos:example "An atom of element X has the disposition to decay to an atom of element Y; the cell wall is disposed to transport cellular material through endocytosis and exocytosis; certain people have a predisposition to colon cancer; children are innately disposed to categorize objects in certain ways"@en . 829 | 830 | 831 | ### http://purl.obolibrary.org/obo/BFO_0000017 832 | rdf:type owl:Class ; 833 | rdfs:subClassOf ; 834 | owl:disjointWith ; 835 | dc11:identifier "058-BFO" ; 836 | rdfs:label "realizable entity"@en ; 837 | skos:definition "(Elucidation) A realizable entity is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region & which is of a type some instances of which are realized in processes of a correlated type"@en ; 838 | skos:example "The role of being a doctor; the role of this boundary to delineate where Utah and Colorado meet; the function of your reproductive organs; the disposition of your blood to coagulate; the disposition of this piece of metal to conduct electricity"@en . 839 | 840 | 841 | ### http://purl.obolibrary.org/obo/BFO_0000018 842 | rdf:type owl:Class ; 843 | rdfs:subClassOf , 844 | [ rdf:type owl:Restriction ; 845 | owl:onProperty ; 846 | owl:allValuesFrom 847 | ] ; 848 | dc11:identifier "037-BFO" ; 849 | rdfs:label "zero-dimensional spatial region"@en ; 850 | skos:definition "(Elucidation) A zero-dimensional spatial region is one or a collection of more than one spatially disjoint points in space"@en ; 851 | skos:example "The spatial region occupied at some time instant by the North Pole"@en . 852 | 853 | 854 | ### http://purl.obolibrary.org/obo/BFO_0000019 855 | rdf:type owl:Class ; 856 | rdfs:subClassOf ; 857 | dc11:identifier "055-BFO" ; 858 | rdfs:label "quality"@en ; 859 | skos:definition "(Elucidation) A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized"@en ; 860 | skos:example "The colour of a tomato; the ambient temperature of this portion of air; the length of the circumference of your waist; the shape of your nose; the shape of your nostril; the mass of this piece of gold"@en . 861 | 862 | 863 | ### http://purl.obolibrary.org/obo/BFO_0000020 864 | rdf:type owl:Class ; 865 | rdfs:subClassOf ; 866 | dc11:identifier "050-BFO" ; 867 | rdfs:label "specifically dependent continuant"@en ; 868 | skos:definition "b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b specifically depends on c"@en ; 869 | skos:example "(with multiple bearers) John's love for Mary; the ownership relation between John and this statue; the relation of authority between John and his subordinates"@en , 870 | "(with one bearer) The mass of this tomato; the pink colour of a medium rare piece of grilled filet mignon at its centre; the smell of this portion of mozzarella; the disposition of this fish to decay; the role of being a doctor; the function of this heart to pump blood; the shape of this hole"@en . 871 | 872 | 873 | ### http://purl.obolibrary.org/obo/BFO_0000023 874 | rdf:type owl:Class ; 875 | rdfs:subClassOf ; 876 | dc11:identifier "061-BFO" ; 877 | rdfs:label "role"@en ; 878 | skos:altLabel "externally-grounded realizable entity"@en ; 879 | skos:definition "(Elucidation) A role b is a realizable entity such that b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be & b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed"@en ; 880 | skos:example "The priest role; the student role; the role of subject in a clinical trial; the role of a stone in marking a property boundary; the role of a boundary to demarcate two neighbouring administrative territories; the role of a building in serving as a military target"@en . 881 | 882 | 883 | ### http://purl.obolibrary.org/obo/BFO_0000024 884 | rdf:type owl:Class ; 885 | rdfs:subClassOf ; 886 | dc11:identifier "027-BFO" ; 887 | rdfs:label "fiat object part"@en ; 888 | skos:definition "(Elucidation) A fiat object part b is a material entity & such that if b exists then it is continuant part of some object c & demarcated from the remainder of c by one or more fiat surfaces"@en ; 889 | skos:example "The upper and lower lobes of the left lung; the dorsal and ventral surfaces of the body; the Western hemisphere of the Earth; the FMA:regional parts of an intact human body"@en . 890 | 891 | 892 | ### http://purl.obolibrary.org/obo/BFO_0000026 893 | rdf:type owl:Class ; 894 | rdfs:subClassOf , 895 | [ rdf:type owl:Restriction ; 896 | owl:onProperty ; 897 | owl:allValuesFrom [ rdf:type owl:Class ; 898 | owl:unionOf ( 899 | 900 | ) 901 | ] 902 | ] ; 903 | dc11:identifier "038-BFO" ; 904 | rdfs:label "one-dimensional spatial region"@en ; 905 | skos:definition "(Elucidation) A one-dimensional spatial region is a whole consisting of a line together with zero or more lines which may have points as parts"@en ; 906 | skos:example "An edge of a cube-shaped portion of space; a line connecting two points; two parallel lines extended in space"@en . 907 | 908 | 909 | ### http://purl.obolibrary.org/obo/BFO_0000027 910 | rdf:type owl:Class ; 911 | rdfs:subClassOf ; 912 | dc11:identifier "025-BFO" ; 913 | rdfs:label "object aggregate"@en ; 914 | skos:definition "(Elucidation) An object aggregate is a material entity consisting exactly of a plurality (≥1) of objects as member parts which together form a unit"@en ; 915 | skos:example "The aggregate of the musicians in a symphony orchestra and their instruments; the aggregate of bearings in a constant velocity axle joint; the nitrogen atoms in the atmosphere; a collection of cells in a blood biobank"@en ; 916 | skos:scopeNote "'Exactly' means that there are no parts of the object aggregate other than its member parts." , 917 | "The unit can, at certain times, consist of exactly one object, for example, when a wolf litter loses all but one of its pups, but it must at some time have a plurality of member parts." . 918 | 919 | 920 | ### http://purl.obolibrary.org/obo/BFO_0000028 921 | rdf:type owl:Class ; 922 | rdfs:subClassOf , 923 | [ rdf:type owl:Restriction ; 924 | owl:onProperty ; 925 | owl:allValuesFrom 926 | ] ; 927 | dc11:identifier "040-BFO" ; 928 | rdfs:label "three-dimensional spatial region"@en ; 929 | skos:definition "(Elucidation) A three-dimensional spatial region is a whole consisting of a spatial volume together with zero or more spatial volumes which may have spatial regions of lower dimension as parts"@en ; 930 | skos:example "A cube-shaped region of space; a sphere-shaped region of space; the region of space occupied by all and only the planets in the solar system at some point in time"@en . 931 | 932 | 933 | ### http://purl.obolibrary.org/obo/BFO_0000029 934 | rdf:type owl:Class ; 935 | rdfs:subClassOf , 936 | [ rdf:type owl:Restriction ; 937 | owl:onProperty ; 938 | owl:allValuesFrom [ rdf:type owl:Class ; 939 | owl:unionOf ( 940 | 941 | ) 942 | ] 943 | ] , 944 | [ rdf:type owl:Restriction ; 945 | owl:onProperty ; 946 | owl:allValuesFrom [ rdf:type owl:Class ; 947 | owl:unionOf ( 948 | 949 | ) 950 | ] 951 | ] , 952 | [ rdf:type owl:Restriction ; 953 | owl:onProperty ; 954 | owl:allValuesFrom 955 | ] ; 956 | dc11:identifier "034-BFO" ; 957 | rdfs:label "site"@en ; 958 | skos:definition "(Elucidation) A site is a three-dimensional immaterial entity whose boundaries either (partially or wholly) coincide with the boundaries of one or more material entities or have locations determined in relation to some material entity"@en ; 959 | skos:example "A hole in a portion of cheese; a rabbit hole; the Grand Canyon; the Piazza San Marco; the kangaroo-joey-containing hole of a kangaroo pouch; your left nostril (a fiat part - the opening - of your left nasal cavity); the lumen of your gut; the hold of a ship; the interior of the trunk of your car; hole in an engineered floor joist"@en . 960 | 961 | 962 | ### http://purl.obolibrary.org/obo/BFO_0000030 963 | rdf:type owl:Class ; 964 | rdfs:subClassOf ; 965 | dc11:identifier "024-BFO" ; 966 | rdfs:label "object"@en ; 967 | skos:definition "(Elucidation) An object is a material entity which manifests causal unity & is of a type instances of which are maximal relative to the sort of causal unity manifested"@en ; 968 | skos:example "An organism; a fish tank; a planet; a laptop; a valve; a block of marble; an ice cube"@en ; 969 | skos:scopeNote "A description of three primary sorts of causal unity is provided in Basic Formal Ontology 2.0. Specification and User Guide"@en . 970 | 971 | 972 | ### http://purl.obolibrary.org/obo/BFO_0000031 973 | rdf:type owl:Class ; 974 | rdfs:subClassOf ; 975 | dc11:identifier "074-BFO" ; 976 | rdfs:label "generically dependent continuant"@en ; 977 | skos:altLabel "g-dependent continuant"@en ; 978 | skos:definition "(Elucidation) A generically dependent continuant is an entity that exists in virtue of the fact that there is at least one of what may be multiple copies which is the content or the pattern that multiple copies would share"@en ; 979 | skos:example "The pdf file on your laptop; the pdf file that is a copy thereof on my laptop; the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule; the content that is shared by a string of dots and dashes written on a page and the transmitted Morse code signal; the content of a sentence; an engineering blueprint"@en . 980 | 981 | 982 | ### http://purl.obolibrary.org/obo/BFO_0000034 983 | rdf:type owl:Class ; 984 | rdfs:subClassOf ; 985 | dc11:identifier "064-BFO" ; 986 | rdfs:label "function"@en ; 987 | skos:definition "(Elucidation) A function is a disposition that exists in virtue of its bearer's physical make-up & this physical make-up is something the bearer possesses because it came into being either through evolution (in the case of natural biological entities) or through intentional design (in the case of artefacts) in order to realize processes of a certain sort"@en ; 988 | skos:example "The function of a hammer to drive in nails; the function of a heart pacemaker to regulate the beating of a heart through electricity"@en . 989 | 990 | 991 | ### http://purl.obolibrary.org/obo/BFO_0000035 992 | rdf:type owl:Class ; 993 | rdfs:subClassOf , 994 | [ rdf:type owl:Restriction ; 995 | owl:onProperty ; 996 | owl:allValuesFrom 997 | ] , 998 | [ rdf:type owl:Restriction ; 999 | owl:onProperty ; 1000 | owl:allValuesFrom 1001 | ] , 1002 | [ rdf:type owl:Restriction ; 1003 | owl:onProperty ; 1004 | owl:allValuesFrom [ rdf:type owl:Class ; 1005 | owl:unionOf ( 1006 | 1007 | ) 1008 | ] 1009 | ] , 1010 | [ rdf:type owl:Restriction ; 1011 | owl:onProperty ; 1012 | owl:allValuesFrom [ rdf:type owl:Class ; 1013 | owl:unionOf ( 1014 | 1015 | ) 1016 | ] 1017 | ] ; 1018 | dc11:identifier "084-BFO" ; 1019 | rdfs:label "process boundary"@en ; 1020 | skos:definition "p is a process boundary =Def p is a temporal part of a process & p has no proper temporal parts"@en ; 1021 | skos:example "The boundary between the 2nd and 3rd year of your life"@en . 1022 | 1023 | 1024 | ### http://purl.obolibrary.org/obo/BFO_0000038 1025 | rdf:type owl:Class ; 1026 | rdfs:subClassOf , 1027 | [ rdf:type owl:Restriction ; 1028 | owl:onProperty ; 1029 | owl:allValuesFrom [ rdf:type owl:Class ; 1030 | owl:unionOf ( 1031 | 1032 | ) 1033 | ] 1034 | ] , 1035 | [ rdf:type owl:Restriction ; 1036 | owl:onProperty ; 1037 | owl:allValuesFrom 1038 | ] ; 1039 | owl:disjointWith ; 1040 | dc11:identifier "103-BFO" ; 1041 | rdfs:label "one-dimensional temporal region"@en ; 1042 | skos:definition "(Elucidation) A one-dimensional temporal region is a temporal region that is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts"@en ; 1043 | skos:example "The temporal region during which a process occurs"@en . 1044 | 1045 | 1046 | ### http://purl.obolibrary.org/obo/BFO_0000040 1047 | rdf:type owl:Class ; 1048 | rdfs:subClassOf , 1049 | [ rdf:type owl:Restriction ; 1050 | owl:onProperty ; 1051 | owl:allValuesFrom 1052 | ] , 1053 | [ rdf:type owl:Restriction ; 1054 | owl:onProperty ; 1055 | owl:allValuesFrom [ rdf:type owl:Class ; 1056 | owl:unionOf ( 1057 | 1058 | 1059 | ) 1060 | ] 1061 | ] ; 1062 | owl:disjointWith ; 1063 | dc11:identifier "019-BFO" ; 1064 | rdfs:label "material entity"@en ; 1065 | skos:definition "(Elucidation) A material entity is an independent continuant has some portion of matter as continuant part"@en ; 1066 | skos:example "A human being; the undetached arm of a human being; an aggregate of human beings"@en . 1067 | 1068 | 1069 | ### http://purl.obolibrary.org/obo/BFO_0000140 1070 | rdf:type owl:Class ; 1071 | rdfs:subClassOf , 1072 | [ rdf:type owl:Restriction ; 1073 | owl:onProperty ; 1074 | owl:allValuesFrom 1075 | ] , 1076 | [ rdf:type owl:Restriction ; 1077 | owl:onProperty ; 1078 | owl:allValuesFrom 1079 | ] ; 1080 | dc11:identifier "029-BFO" ; 1081 | rdfs:label "continuant fiat boundary"@en ; 1082 | skos:definition "(Elucidation) A continuant fiat boundary b is an immaterial entity that is of zero, one or two dimensions & such that there is no time t when b has a spatial region as continuant part & whose location is determined in relation to some material entity"@en ; 1083 | skos:example "As for fiat point, fiat line, fiat surface"@en . 1084 | 1085 | 1086 | ### http://purl.obolibrary.org/obo/BFO_0000141 1087 | rdf:type owl:Class ; 1088 | rdfs:subClassOf ; 1089 | dc11:identifier "028-BFO" ; 1090 | rdfs:label "immaterial entity"@en ; 1091 | skos:definition "b is an immaterial entity =Def b is an independent continuant which is such that there is no time t when it has a material entity as continuant part"@en ; 1092 | skos:example "As for fiat point, fiat line, fiat surface, site"@en . 1093 | 1094 | 1095 | ### http://purl.obolibrary.org/obo/BFO_0000142 1096 | rdf:type owl:Class ; 1097 | rdfs:subClassOf , 1098 | [ rdf:type owl:Restriction ; 1099 | owl:onProperty ; 1100 | owl:allValuesFrom [ rdf:type owl:Class ; 1101 | owl:unionOf ( 1102 | 1103 | ) 1104 | ] 1105 | ] ; 1106 | dc11:identifier "032-BFO" ; 1107 | rdfs:label "fiat line"@en ; 1108 | skos:definition "(Elucidation) A fiat line is a one-dimensional continuant fiat boundary that is continuous"@en ; 1109 | skos:example "The Equator; all geopolitical boundaries; all lines of latitude and longitude; the median sulcus of your tongue; the line separating the outer surface of the mucosa of the lower lip from the outer surface of the skin of the chin"@en . 1110 | 1111 | 1112 | ### http://purl.obolibrary.org/obo/BFO_0000145 1113 | rdf:type owl:Class ; 1114 | rdfs:subClassOf ; 1115 | dc11:identifier "057-BFO" ; 1116 | rdfs:label "relational quality"@en ; 1117 | skos:definition "b is a relational quality =Def b is a quality & there exists c and d such that c and d are not identical & b specifically depends on c & b specifically depends on d"@en ; 1118 | skos:example "A marriage bond; an instance of love; an obligation between one person and another"@en . 1119 | 1120 | 1121 | ### http://purl.obolibrary.org/obo/BFO_0000146 1122 | rdf:type owl:Class ; 1123 | rdfs:subClassOf , 1124 | [ rdf:type owl:Restriction ; 1125 | owl:onProperty ; 1126 | owl:allValuesFrom 1127 | ] ; 1128 | dc11:identifier "033-BFO" ; 1129 | rdfs:label "fiat surface"@en ; 1130 | skos:definition "(Elucidation) A fiat surface is a two-dimensional continuant fiat boundary that is self-connected"@en ; 1131 | skos:example "The surface of the Earth; the plane separating the smoking from the non-smoking zone in a restaurant"@en . 1132 | 1133 | 1134 | ### http://purl.obolibrary.org/obo/BFO_0000147 1135 | rdf:type owl:Class ; 1136 | rdfs:subClassOf , 1137 | [ rdf:type owl:Restriction ; 1138 | owl:onProperty ; 1139 | owl:allValuesFrom 1140 | ] ; 1141 | dc11:identifier "031-BFO" ; 1142 | rdfs:label "fiat point"@en ; 1143 | skos:definition "(Elucidation) A fiat point is a zero-dimensional continuant fiat boundary that consists of a single point"@en ; 1144 | skos:example "The geographic North Pole; the quadripoint where the boundaries of Colorado, Utah, New Mexico and Arizona meet; the point of origin of some spatial coordinate system"@en . 1145 | 1146 | 1147 | ### http://purl.obolibrary.org/obo/BFO_0000148 1148 | rdf:type owl:Class ; 1149 | rdfs:subClassOf , 1150 | [ rdf:type owl:Restriction ; 1151 | owl:onProperty ; 1152 | owl:allValuesFrom 1153 | ] ; 1154 | dc11:identifier "102-BFO" ; 1155 | rdfs:label "zero-dimensional temporal region"@en ; 1156 | skos:definition "(Elucidation) A zero-dimensional temporal region is a temporal region that is a whole consisting of one or more separated temporal instants as parts"@en ; 1157 | skos:example "A temporal region that is occupied by a process boundary; the moment at which a finger is detached in an industrial accident"@en . 1158 | 1159 | 1160 | ### http://purl.obolibrary.org/obo/BFO_0000182 1161 | rdf:type owl:Class ; 1162 | rdfs:subClassOf ; 1163 | dc11:identifier "138-BFO" ; 1164 | rdfs:label "history"@en ; 1165 | skos:definition "(Elucidation) A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by the material part of a material entity"@en ; 1166 | skos:example "The life of an organism from the beginning to the end of its existence"@en . 1167 | 1168 | 1169 | ### http://purl.obolibrary.org/obo/BFO_0000202 1170 | rdf:type owl:Class ; 1171 | rdfs:subClassOf ; 1172 | dc11:identifier "155-BFO" ; 1173 | rdfs:label "temporal interval"@en ; 1174 | skos:definition "(Elucidation) A temporal interval is a one-dimensional temporal region that is continuous, thus without gaps or breaks"@en ; 1175 | skos:example "The year 2018."@en ; 1176 | skos:scopeNote "A one-dimensional temporal region can include as parts not only temporal intervals but also temporal instants separated from other parts by gaps."@en . 1177 | 1178 | 1179 | ### http://purl.obolibrary.org/obo/BFO_0000203 1180 | rdf:type owl:Class ; 1181 | rdfs:subClassOf ; 1182 | dc11:identifier "209-BFO" ; 1183 | rdfs:label "temporal instant"@en ; 1184 | skos:definition "(Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part"@en ; 1185 | skos:example "The millennium"@en . 1186 | 1187 | 1188 | ################################################################# 1189 | # General axioms 1190 | ################################################################# 1191 | 1192 | [ rdf:type owl:AllDisjointClasses ; 1193 | owl:members ( 1194 | 1195 | 1196 | ) 1197 | ] . 1198 | 1199 | 1200 | [ rdf:type owl:AllDisjointClasses ; 1201 | owl:members ( 1202 | 1203 | 1204 | ) 1205 | ] . 1206 | 1207 | 1208 | [ rdf:type owl:AllDisjointClasses ; 1209 | owl:members ( 1210 | 1211 | 1212 | 1213 | ) 1214 | ] . 1215 | 1216 | 1217 | [ rdf:type owl:AllDisjointClasses ; 1218 | owl:members ( 1219 | 1220 | 1221 | 1222 | ) 1223 | ] . 1224 | 1225 | 1226 | [ rdf:type owl:AllDisjointClasses ; 1227 | owl:members ( 1228 | 1229 | 1230 | ) 1231 | ] . 1232 | 1233 | 1234 | ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi 1235 | -------------------------------------------------------------------------------- /exercises/datasets/aircraft_data.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/exercises/datasets/aircraft_data.xlsx -------------------------------------------------------------------------------- /exercises/datasets/employment_wage_May_2024.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/exercises/datasets/employment_wage_May_2024.xlsx -------------------------------------------------------------------------------- /exercises/datasets/soc_structure_definitions.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/exercises/datasets/soc_structure_definitions.xlsx -------------------------------------------------------------------------------- /exercises/solutions/2025 C-FORS Exercise Solutions.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/exercises/solutions/2025 C-FORS Exercise Solutions.pptx -------------------------------------------------------------------------------- /submissions/2025 C-FORS Exercise Solutions.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/2025-C-FORS-BFO-Session/a169b81359f979ac12f4c7562405cd17ae4e2887/submissions/2025 C-FORS Exercise Solutions.pptx --------------------------------------------------------------------------------