Skip to content

semanticarts/gistBFO

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

48 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

gistBFO

gistBFO log


gistBFO is a version of gist that is compatible with the Basic Formal Ontology (BFO).

With gistBFO, you can get all the benefits of ontology development with gist while maintaining BFO-compliance.

Content

gistBFO contains:

  • ~40 rdfs:subClassOf assertions between high-level classes of gist and their most specific superclasses in BFO
  • A core set of rdfs:subPropertyOf assertions between properties in gist and BFO

Annotations are included to provide reasoning behind the assertions.


Import Structure

gistBFO imports gist and BFO. gistBFO itself can then be imported into a client-specific ontology.

graph BT
    CSO[Client-Specific Ontology]
    GBFO[gistBFO]
    GCORE[gistCore]
    BFO[BFO]

    CSO -->|imports| GBFO
    GBFO -->|imports| GCORE
    GBFO -->|imports| BFO
    CSO -.->|optionally imports| GCORE

    style CSO fill:#4A235A,stroke:#B39DDB,stroke-width:2px,color:#fff
    style GBFO fill:#1A237E,stroke:#B39DDB,stroke-width:2px,color:#fff
    style GCORE fill:#263238,stroke:#B39DDB,stroke-width:2px,color:#fff
    style BFO fill:#263238,stroke:#B39DDB,stroke-width:2px,color:#fff
Loading

Methodology

In creating gistBFO, we have attempted to balance a number of things:

  1. Genuine Compliance with BFO: This would not be an interesting or useful mapping if all gist classes were mapped to BFO's top-level class 'entity'. For this reason, we have tried to map top-level gist classes with their most specific possible superclass in BFO.
  2. Logical Consistency: The mapping does not generate any logical inconsistencies or contain unsatisfiable classes.
  3. Respecting the Spirit of gist and BFO: Even if the mappings are logically consistent, they should meet a higher bar of respecting the spirit of the concepts in gist and BFO. This requires an understanding of the intent behind the definitions, much of which is contained in the ontologies' annotations.
  4. Anticipation of Alignment with CCO: In some cases, if a gist class has a counterpart in the Common Core Ontologies (CCO) and that counterpart is aligned to a certain BFO class, then we considered placing the gist class under that BFO class as well. (See, e.g., gist:Organization.)

For more background, read our whitepaper.


Contributing

gistBFO is in active development. We hope to refine the mappings over time in accordance with the methodological considerations above. We invite feedback and suggestions in the form of GitHub issues.


Setting Up the Local Repository

  • Clone this repository
  • Run the script ./tools/setup.cmd. This script will work on Windows, Linux, and Mac. It copies the ./tools/pre-commit hook into .git/hooks, which means it will run before every commit you make to the repository.

The pre-commit hook does several things when you run git commit:

  • Prevents commits to the branches develop and main.
  • Runs the serializer. This converts files into a standard Turtle format in order to remove noise in the diffs. As the comments in the file indicate, you should use the pre-approved version of rdf-toolkit.jar in this directory, rather than another version that you may have elsewhere on your local drive.
  • Note: Any PR containing unserialized commits will be returned for correction.