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
/
main
/
scala
/
uk
/
ac
/
ox
/
cs
/
rsacomb
/
converter
/
Normalizer.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
refactor: move RSAOntology class under ontology package
Federico Igne
2022-05-19
1
-1
/
+1
*
Fix bug in normalisation
Federico Igne
2021-11-29
1
-3
/
+2
*
Update RDFox library to 5.2.1
Federico Igne
2021-09-01
1
-8
/
+9
*
Add new fresh data factory
Federico Igne
2021-08-06
1
-67
/
+82
*
Update normalizer to handle additional OWL axioms
Federico Igne
2021-08-02
1
-111
/
+97
*
Merge branch 'approximation'
v0.2.0
Federico Igne
2021-07-27
1
-14
/
+12
|
\
|
*
Generalize dependency graph generation
Federico Igne
2021-07-20
1
-8
/
+9
|
*
Fix minor compilation errors
Federico Igne
2021-06-01
1
-14
/
+11
*
|
Add Apache License 2.0
Federico Igne
2021-06-30
1
-0
/
+16
|
/
*
Fix handling of class expression OWLObjectHasSelf
Federico Igne
2021-04-09
1
-2
/
+9
*
Streamline RSA approximation
Federico Igne
2021-04-09
1
-3
/
+3
*
Add shifting for disjunction in the rhs of an axiom
Federico Igne
2021-04-05
1
-2
/
+56
*
Fix generation of fresh classes during normalization
Federico Igne
2021-04-05
1
-1
/
+4
*
Add ontology normalizer
Federico Igne
2021-02-04
1
-0
/
+532