Add tautologies & structural-tautologies axiom selectors#579

Merged

jamesaoverton merged 23 commits intomasterfrom 562-feature

Nov 20, 2019

+1,272-1,028

Commits on Sep 23, 2019

Add 'foreign' selector and '--exclude' option for remove/filter, add '--base' to global options
rctauber
committed
Fix extra header
rctauber
committed
Fix if statements
rctauber
committed
Add test files
rctauber
committed

Commits on Sep 30, 2019

Add internal/external axiom selectors and bases
rctauber
committed
Fix uberon_annotated example (too many annotated classes)
rctauber
committed

Commits on Oct 1, 2019

Remove extra test file
rctauber
committed

Commits on Oct 2, 2019

Fix queries to exclude nary only axioms?
rctauber
committed

Commits on Oct 3, 2019

Remove comment lines
rctauber
committed
Fix some prefixes, ignore duplicated obsolete labels
rctauber
committed

Commits on Oct 14, 2019

Add doc comments
rctauber
committed
Add tautologies and structural-tautologies axiom selectors to remove and filter
rctauber
committed

Commits on Oct 15, 2019

Update javadocs, rename methods to be more clear
rctauber
committed
Merge branch 'master' into 562-feature
rctauber
committed
ignore annotation assertions for tautology checker
rctauber
committed

Commits on Oct 17, 2019

Only look at logical axioms for tautology checker
rctauber
committed

Commits on Oct 29, 2019

Add Jenkinsfile
jamesaoverton
committed

Commits on Oct 31, 2019

Merge remote-tracking branch 'upstream/master' into foreign-ax
rctauber
committed
Merge branch 'foreign-ax' of http://github.com/ontodev/robot into foreign-ax
rctauber
committed
Merge remote-tracking branch 'upstream/foreign-ax' into 562-feature
rctauber
committed

Commits on Nov 19, 2019

Merge branch 'master' into foreign-ax
rctauber
committed
Merge branch 'foreign-ax' into 562-feature
rctauber
committed

Commits on Nov 20, 2019

Fix remove no-tautologies output path
jamesaoverton
committed