Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: BFO-ontology/BFO-2020
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: release-2024-01-29
Choose a base ref
...
head repository: BFO-ontology/BFO-2020
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
  • 17 commits
  • 60 files changed
  • 3 contributors

Commits on Jan 10, 2024

  1. Update various axioms. See src/common logic/release-notes-2024-01-10.… 

    …txt. Add temporalized-relations.cl/p9 to src/owl/temporal extensions/temporalized relations/prover9/temporalized-relations.p9. Add documentation/temporal extensions/temporalized relations/temporalized-relations.pdf
    @alanruttenberg
    alanruttenberg committed Jan 10, 2024
    1
    Copy the full SHA
    65c1e0b View commit details

Commits on Jan 30, 2024

  1. Check in the files I thought I checked in 65c1e0b

    @alanruttenberg
    alanruttenberg committed Jan 30, 2024
    Copy the full SHA
    1df1274 View commit details

  2. Merge branch 'release-2024-01-10'

    @alanruttenberg
    alanruttenberg committed Jan 30, 2024
    Copy the full SHA
    08f2f9d View commit details

  3. Establish a release notes directory and add a bit more documentation … 

    …about the axiomatization release of earlier this month
    @alanruttenberg
    alanruttenberg committed Jan 30, 2024
    Copy the full SHA
    2711535 View commit details

  4. Add release notes directory and release notes for 2024-01-10 FOL. Cha… 

    …nge spaces in a few directory names to dashes.
    @alanruttenberg
    alanruttenberg committed Jan 30, 2024
    Copy the full SHA
    541df2c View commit details

Commits on Feb 1, 2024

  1. Created profile directories for implementations, updated readmes, add… 

    …ed no duplicate definition sparql qc
    @johnbeve
    johnbeve committed Feb 1, 2024
    Copy the full SHA
    569ef3d View commit details

  2. Fixed spacing issue in uns-1

    @johnbeve
    johnbeve committed Feb 1, 2024
    Copy the full SHA
    83e25b9 View commit details

Commits on Feb 2, 2024

  1. Adding documentation

    @johnbeve
    johnbeve committed Feb 2, 2024
    Copy the full SHA
    3b7e1df View commit details

Commits on Feb 7, 2024

  1. Updated <LINK> scopenote with temporal extension link

    @johnbeve
    johnbeve committed Feb 7, 2024
    Copy the full SHA
    5ed4687 View commit details

  2. Updating main repo for clarity

    @johnbeve
    johnbeve committed Feb 7, 2024
    Copy the full SHA
    796ec1c View commit details

  3. fixed spacing in uns-1 ugh

    @johnbeve
    johnbeve committed Feb 7, 2024
    4
    Copy the full SHA
    62640d3 View commit details

Commits on Mar 6, 2024

  1. Update README.md 

    Corrected readme grammar
    @johnbeve
    johnbeve authored Mar 6, 2024
    Copy the full SHA
    b04ff07 View commit details

Commits on Jun 9, 2024

  1. showing jark mensen how we roll

    @johnbeve
    johnbeve committed Jun 9, 2024
    Copy the full SHA
    66976d0 View commit details

Commits on Jun 19, 2024

  1. office hours info

    @johnbeve
    johnbeve committed Jun 19, 2024
    Copy the full SHA
    25c834e View commit details

Commits on Sep 18, 2024

  1. Update ncor office hours link

    @johnbeve
    johnbeve committed Sep 18, 2024
    Copy the full SHA
    12ac8c8 View commit details

Commits on Dec 9, 2024

  1. Update README.md 

    correcting relationship arrow directions
    @John-D-4
    John-D-4 authored Dec 9, 2024
    Copy the full SHA
    f62ff74 View commit details

  2. Merge pull request #118 from John-D-4/master 

    mermaid arrow direction
    @johnbeve
    johnbeve authored Dec 9, 2024
    Copy the full SHA
    2db6310 View commit details
Loading