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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Add method to compute a query's bounded vars
Federico Igne
2020-09-22
1
-2
/
+20
*
Use `App` trait instead of `main` function
Federico Igne
2020-09-10
1
-44
/
+38
*
Add first attempt at retrieving all constants in an ontology
Federico Igne
2020-09-09
1
-1
/
+8
*
Rename functions to follow Scala naming conventions
Federico Igne
2020-09-09
1
-4
/
+4
*
Move reifing code under `FilteringProgram` class
Federico Igne
2020-09-09
3
-113
/
+96
*
Add full set of rules for filtering program
Federico Igne
2020-09-08
4
-102
/
+363
*
Add functions to detect class/role assertions
Federico Igne
2020-09-08
1
-14
/
+43
*
Introduce naive fresh variable generator
Federico Igne
2020-09-07
5
-35
/
+45
*
Fix SKOLEM function call
Federico Igne
2020-09-07
1
-1
/
+3
*
Add setup code to compute the RSA filtering program
Federico Igne
2020-09-07
6
-48
/
+261
*
Add check for RSA graph acyclicity
Federico Igne
2020-08-19
1
-40
/
+44
*
Generalise prefixes
Federico Igne
2020-08-19
3
-35
/
+21
*
Use `rdf(..)` instead of `create(..)` to create `Atom`s
Federico Igne
2020-08-19
6
-58
/
+76
*
Add simple examples
Federico Igne
2020-08-17
1
-1
/
+2
*
Automate query evaluation in RDFoxUtil
Federico Igne
2020-08-17
2
-14
/
+34
*
Add code to access query answers programmatically
Federico Igne
2020-08-16
1
-12
/
+10
*
Include built-in rules in RSA check
Federico Igne
2020-08-16
4
-112
/
+214
*
Fix role unsafety check
Federico Igne
2020-08-11
2
-7
/
+8
*
Add code to communicate with a local RDFox instance
Federico Igne
2020-08-11
2
-3
/
+61
*
Add condition 2 for role unsafety detection
Federico Igne
2020-08-08
1
-15
/
+30
*
Add unsafety check for ontology roles
Federico Igne
2020-08-06
2
-132
/
+142
*
Refactor code into different files
Federico Igne
2020-08-06
5
-167
/
+335
*
Adapt LP conversion to RSA check
Federico Igne
2020-08-04
4
-28
/
+68
*
Add DL renderer for input rules
Federico Igne
2020-08-03
4
-17
/
+55
*
Update to JRDFox v3.1.0
Federico Igne
2020-07-16
5
-15
/
+20
*
Rename source code directory structure
Federico Igne
2020-07-15
6
-0
/
+0
*
Add reworked code from previous repo
Federico Igne
2020-07-15
6
-0
/
+390