Giters
owlcs
/
hermit-reasoner
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
12
Watchers:
4
Issues:
10
Forks:
3
owlcs/hermit-reasoner Issues
hermit reasoner: python vs protege
Updated
4 years ago
Comments count
8
Entailment check is broken with command line 1.4.6.519
Updated
4 years ago
Comments count
1
Run HermiT on the command line
Closed
4 years ago
Comments count
15
support for swrl buillt-in atoms
Closed
4 years ago
Comments count
4
Undo unnecessary finals
Closed
4 years ago
Comments count
1
DateTime parsing error in HermiT
Closed
4 years ago
Comments count
5
Entailment of disjoint data properties fails
Closed
4 years ago
Comments count
1
Inverses cause false property equivalences
Closed
6 years ago
Comments count
1
Axioms that violate OWL specs - option to ignore
Updated
6 years ago
Command line module from original HermiT fork
Closed
6 years ago