issues
search
INCATools
/
whelk-rs
Whelk is an OWL EL reasoner
MIT License
11
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Perf
#23
jdr0887
opened
1 year ago
0
performance profiling
#22
balhoff
opened
1 year ago
0
test putting model structures directly in im collections rather than in Rc
#21
balhoff
opened
1 year ago
1
Make it easy to see that subsumptions checks are actually running.
#20
balhoff
closed
1 year ago
0
Fix missing superproperties in role hierarchy.
#19
balhoff
closed
1 year ago
0
Refactor tests
#18
jdr0887
closed
1 year ago
0
Reorganize test data. Add another inference test.
#17
balhoff
closed
1 year ago
0
fix test
#16
jdr0887
closed
1 year ago
0
Initial testing
#15
jdr0887
closed
1 year ago
0
merging and fixing issue #13
#14
jdr0887
closed
1 year ago
0
drop horned-bin dependency, use parsers directly in CLI
#13
balhoff
closed
1 year ago
1
Consider using horned-owl's IRI type instead of strings for entity identifiers
#12
balhoff
opened
1 year ago
5
read functional syntax
#11
balhoff
opened
1 year ago
1
cleaning things up, adding logger, fixing ct errors
#10
jdr0887
closed
1 year ago
0
add inference test framework
#9
balhoff
closed
1 year ago
4
implement SWRL reasoner
#8
balhoff
opened
1 year ago
0
define a minimal interface to the reasoner
#7
balhoff
opened
1 year ago
2
make a crate
#6
cmungall
opened
2 years ago
1
No such file or directory error
#5
cmungall
closed
1 year ago
1
Create README.md
#4
cmungall
closed
2 years ago
0
Don’t create both subclass axioms when owl:Nothing equivalent to an expression.
#3
balhoff
closed
2 years ago
0
Remove unnecessary rule applications for concept inclusions.
#2
balhoff
closed
2 years ago
0
Support more OWL constructs.
#1
balhoff
closed
2 years ago
0