index
:
RSAComb
develop
master
Re-implementation of the combined approach for CQ answering over RSA ontologies
Federico Igne
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
test
/
scala
/
uk
/
ac
/
ox
/
cs
/
rsacomb
/
CanonicalModelSpec.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
feat: implicitly propagate configs to approximations
Federico Igne
2022-06-01
1
-6
/
+18
*
refactor: move RSAOntology class under ontology package
Federico Igne
2022-05-19
1
-1
/
+1
*
Serialise and silence output in tests
Federico Igne
2021-10-21
1
-1
/
+3
*
Temporary comment unit test
Federico Igne
2021-10-03
1
-1
/
+1
*
Add new fresh data factory
Federico Igne
2021-08-06
1
-173
/
+175
*
Merge branch 'master' of github.com:KRR-Oxford/RSA-combined-approach
Federico Igne
2021-06-30
1
-0
/
+16
|
\
|
*
Add Apache License 2.0
Federico Igne
2021-06-30
1
-0
/
+16
*
|
Update README.md
Federico Igne
2021-06-30
1
-1
/
+1
|
/
*
Fix bug for OWLObjectSubPropertyOfAxiom
Federico Igne
2020-12-08
1
-2
/
+2
*
Reorganize tests
Federico Igne
2020-12-07
1
-1
/
+1
*
Temporarily ignore tests involving `cycle` computation
Federico Igne
2020-12-06
1
-4
/
+4
*
Rework skolemization strategies
Federico Igne
2020-12-04
1
-28
/
+10
*
Fix tests failing due to recent changes
Federico Igne
2020-12-02
1
-28
/
+71
*
Rename `RDFoxHelpers` to `RDFoxUtil`
Federico Igne
2020-11-24
1
-1
/
+1
*
Reorganize project with Java-like folder structure
Federico Igne
2020-11-18
1
-0
/
+370