KRR-Oxford/RSAComb
Re-implementation of the combined approach for CQ answering over RSA ontologies
ScalaApache-2.0
Issues
- 0
Answers should be stored in their own named graph.
#18 opened by dyamon - 0
EXPLICIT vs rsacomb:Named
#17 opened by dyamon - 0
Complete RSA check
#2 opened by dyamon - 0
- 2
Unsound cases in PAGOdA
#12 opened by dyamon - 0
Maven, packages and dependences
#16 opened by dyamon - 0
Automatic testing in develop
#14 opened by dyamon - 0
RDFox debugging script
#15 opened by dyamon - 0
Concurrent execution of the filtering step
#13 opened by dyamon - 5
Equality and \top axiomatisation
#1 opened by dyamon - 1
DBpedia causes RDFox crash
#10 opened by dyamon - 0
RSAComb testing suite
#9 opened by dyamon - 0
RSAComb as a library
#8 opened by dyamon - 1
Loading data via OWLAPI is slow
#7 opened by dyamon - 2
NI predicate
#6 opened by dyamon - 2
Implementation of builtin predicate `notIn`
#5 opened by dyamon - 1
Answer Filtering
#3 opened by dyamon - 2
Datalog rules and triples in RDFox
#4 opened by dyamon