Skip to content

Commit

Permalink
Restructure modules
Browse files Browse the repository at this point in the history
  • Loading branch information
ChristophB committed Jul 8, 2024
1 parent a464e57 commit 1d9b3e3
Show file tree
Hide file tree
Showing 5 changed files with 1,654 additions and 3,104 deletions.
9 changes: 7 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,16 +12,21 @@ The General Formal Ontology is a [top-level ontology](http://en.wikipedia.org/wi
* elaborate accounts of functions and roles
* openness regarding philosophical positions such as realism, conceptualism, or nominalism by the provision of different kinds of categories as universals, concepts, or symbolic structures

## How to Use
The entire GFO ontology can be imported via IRI https://w3id.org/gfo. GFO is divided into modules, which are stored in separate OWL files under [modules/](modules/). Modules of interest can be imported into your ontology via their IRI (e.g., https://w3id.org/gfo/base).

**GFO-light** is a simplified view of the entire GFO. It does not build on single modules but combines all basic concepts and simplified axioms of the GFO. It is primarily intended to found domain or application ontologies and can be imported via IRI https://w3id.org/gfo/light.

## Brief History
Work on GFO has started in 1999 in the context of the GOL project (General Ontological Language). Meanwhile, several directions of research have been recognized and divided the initial project, such that GFO is now one component of a larger framework. Work on GFO remains in progress, because the development of top-level ontologies is a long-term research effort.

## Axiomatizations and Implementations
The "native" formalization language for GFO is [first-order logic (FOL)](https://en.wikipedia.org/wiki/First-order_logic). Partial axiomatizations of GFO in FOL exist in report working drafts, but are not yet available to the public.

### Release Strategy
[gfo-basic.owl](gfo-basic.owl) forms the core module of GFO. We are going to continually provide further modules/extensions, dedicated to several of our research domains, like time, space, processes, etc. There may be parallel extensions for these domains, and not all extensions will be consistent with each other. All module files are provided with their own namespaces (e.g., https://w3id.org/gfo-time/) and can be used separately. A selection of those modules will be unified in the next version of [gfo.owl](gfo.owl) (under the namespace https://w3id.org/gfo/).
[modules/gfo-base.owl](modules/gfo-base.owl) forms the core module of GFO. We are going to continually provide further modules/extensions, dedicated to several of our research domains, like time, space, processes, etc. There may be parallel extensions for these domains, and not all extensions will be consistent with each other. All module files are provided with their own namespaces (e.g., https://w3id.org/gfo/time) and can be used separately. A selection of those modules will be unified in the next version of [gfo.owl](gfo.owl) (under the namespace https://w3id.org/gfo).

[gfo-light.owl](gfo-light.owl) is a simplified view of the entire GFO. It does not build on single modules but combines all basic concepts and simplified axioms of the GFO. [gfo-light.owl](gfo-light.owl) is primarily intended to found domain or application ontologies.
All versions of GFO and it's modules are available via `owl:versionIRI`. e.g.: https://w3id.org/gfo/release/2024-07-05

### Release History
Work on the OWL version of GFO started in early 2006 in the context of the [GFO-Bio](http://www.onto-med.de/ontologies/gfo-bio/index.jsp) project, resulting in the 1.0 release of [gfo.owl](gfo.owl).
Expand Down
Loading

0 comments on commit 1d9b3e3

Please sign in to comment.