issues
search
KRR-Oxford
/
RSAComb
Re-implementation of the combined approach for CQ answering over RSA ontologies
https://www.cs.ox.ac.uk/isg/tools/RSAComb
Apache License 2.0
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump scala-library from 2.13.4 to 2.13.9
#19
dependabot[bot]
closed
2 years ago
2
Answers should be stored in their own named graph.
#18
dyamon
opened
2 years ago
0
EXPLICIT vs rsacomb:Named
#17
dyamon
opened
2 years ago
0
Maven, packages and dependences
#16
dyamon
opened
3 years ago
0
RDFox debugging script
#15
dyamon
closed
3 years ago
0
Automatic testing in develop
#14
dyamon
closed
3 years ago
0
Concurrent execution of the filtering step
#13
dyamon
opened
3 years ago
0
Unsound cases in PAGOdA
#12
dyamon
opened
3 years ago
2
RDFox 5.2.1 exposes dependency graph in reserved named graph
#11
dyamon
opened
3 years ago
0
DBpedia causes RDFox crash
#10
dyamon
closed
3 years ago
1
RSAComb testing suite
#9
dyamon
opened
3 years ago
0
RSAComb as a library
#8
dyamon
opened
3 years ago
0
Loading data via OWLAPI is slow
#7
dyamon
closed
3 years ago
1
NI predicate
#6
dyamon
opened
3 years ago
2
Implementation of builtin predicate `notIn`
#5
dyamon
closed
4 years ago
2
Datalog rules and triples in RDFox
#4
dyamon
closed
4 years ago
2
Answer Filtering
#3
dyamon
closed
4 years ago
1
Complete RSA check
#2
dyamon
opened
4 years ago
0
Equality and \top axiomatisation
#1
dyamon
closed
3 years ago
5