Skip to content

Commit

Permalink
Restructure modules
Browse files Browse the repository at this point in the history
  • Loading branch information
ChristophB committed Jul 5, 2024
1 parent a464e57 commit ef3b2ed
Show file tree
Hide file tree
Showing 4 changed files with 1,231 additions and 2,686 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ Work on GFO has started in 1999 in the context of the GOL project (General Ontol
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.

Expand Down
Loading

0 comments on commit ef3b2ed

Please sign in to comment.