issues
search
phillord
/
hermit-reasoner
51
stars
25
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Using Hermit from command line to retrieve individuals beloning to an OWL Class expression
#15
Demirrr
closed
2 months ago
2
List properties for which the domain includes a given class.
#14
lolive
opened
1 year ago
0
Disjoint classes inference resolution time
#13
areleu
opened
1 year ago
6
maven failure
#12
justin2004
opened
1 year ago
1
Configuration.tableauMonitorType is final??
#11
dendrown
opened
4 years ago
4
Reasoning inconsistency for disjoint sets of classes
#10
visraj1
closed
6 years ago
1
Reasoner::getReasonerName returns null
#9
balhoff
opened
6 years ago
22
Incorrect inference of equivalent properties: using inverse(R) and HermiT
#8
ykazakov
opened
6 years ago
12
Error parsing XML literals
#7
rsgoncalves
opened
7 years ago
4
Is this an official mirror?
#6
matanox
closed
6 years ago
2
getSuperClasses bug?
#5
kodymoodley
opened
8 years ago
3
Maven build fails
#4
jmvanel
opened
8 years ago
1
Update to OWLAPI 4.0.2
#3
ignazio1977
closed
1 year ago
3
HermiT updates for OWLAPI 4.0.2-SNAPSHOT
#2
ignazio1977
closed
9 years ago
0
update to 4.0.0 (alpha snapshot, tentative)
#1
ignazio1977
closed
9 years ago
3