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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Update README
Federico Igne
2020-11-14
1
-3
/
+45
*
Fix NI predicate computation
Federico Igne
2020-11-14
4
-37
/
+76
*
Add diagnostic queries along main query
Federico Igne
2020-11-13
1
-26
/
+83
*
Add first implementation of top and equality axiomatization
Federico Igne
2020-11-13
1
-2
/
+58
*
Simplify role extraction from axioms
Federico Igne
2020-11-13
1
-58
/
+18
*
Fix suffix generation in filtering program
Federico Igne
2020-11-13
2
-15
/
+15
*
Add NAMED facts to filtering program
Federico Igne
2020-11-12
1
-1
/
+2
*
Remove debug output
Federico Igne
2020-11-10
1
-1
/
+0
*
Add missing rule generated per role
Federico Igne
2020-11-10
1
-0
/
+43
*
Fix typo in example 1 (Turtle file)
Federico Igne
2020-11-10
1
-1
/
+1
*
Fix SKOLEM call creation during function skolemization
Federico Igne
2020-11-10
2
-8
/
+20
*
Generalize axiom hashing for constant generation
Federico Igne
2020-11-10
3
-12
/
+44
*
Improve query pretty printing
Federico Igne
2020-11-10
1
-1
/
+1
*
Add OWLClassAssertionAxiom to axioms handled during translation
Federico Igne
2020-11-10
1
-1
/
+22
*
Expose ABox in RSAOntology class
Federico Igne
2020-11-10
1
-2
/
+9
*
Rewrite example 1 in Turtle syntax
Federico Igne
2020-11-10
2
-0
/
+55
*
Fix `notIn` implementation in canonical model
Federico Igne
2020-11-09
1
-17
/
+18
*
Simplify reification process and add negation reification
Federico Igne
2020-11-09
2
-68
/
+42
*
Update canonical model unit tests
Federico Igne
2020-11-06
1
-11
/
+11
*
Rework canonical model computation
Federico Igne
2020-11-06
3
-323
/
+332
*
Fix bug in the filtering program generation
Federico Igne
2020-11-06
1
-4
/
+4
*
Update version on Github Actions custom script
Federico Igne
2020-11-05
1
-1
/
+1
*
Update tests to RDFox v4.0
Federico Igne
2020-11-05
6
-306
/
+313
*
Update code to RDFox v4.0
Federico Igne
2020-11-05
11
-172
/
+247
*
Simplify prettyprinting of queries in test
Federico Igne
2020-11-02
1
-8
/
+8
*
Update duplicate test queries
Federico Igne
2020-11-02
1
-17
/
+93
*
Introduce workaround to RDFox Query parsing bug
Federico Igne
2020-11-02
1
-113
/
+246
*
Add partial unit tests for filtering program computation
Federico Igne
2020-10-29
3
-4
/
+178
*
Add unit tests for example2.owl for the canonical model computation
Federico Igne
2020-10-28
3
-5
/
+154
*
Adapt test to new `cycle` method
Federico Igne
2020-10-28
2
-17
/
+29
*
Implement naive version of 'cycle' as in paper
Federico Igne
2020-10-23
1
-17
/
+54
*
Add tests for 'subObjectPropertyOf' axioms
Federico Igne
2020-10-23
1
-5
/
+34
*
Add additional tests for T5 axiom rule generation
Federico Igne
2020-10-23
1
-1
/
+58
*
Fix bug in computation of 'cycle' function
Federico Igne
2020-10-23
1
-1
/
+5
*
Fix bug in conflict set computation
Federico Igne
2020-10-21
3
-5
/
+23
*
Temporary remove `roles` from RSAOntology
Federico Igne
2020-10-21
1
-7
/
+7
*
Fix issue with introduction of new version of OWLAPI
Federico Igne
2020-10-21
2
-17
/
+23
*
More details in build.sbt and updated dependencies
Stefano Germano
2020-10-19
5
-14
/
+58
*
Add some tests for canonical model computation
Federico Igne
2020-10-10
2
-14
/
+70
*
Fix bug with conflict set computation
Federico Igne
2020-10-10
1
-8
/
+7
*
Add skeleton file for CanonicalModel testing
Federico Igne
2020-10-09
1
-0
/
+46
*
Simplify ProgramGenerator constructor
Federico Igne
2020-10-09
4
-16
/
+32
*
Fix problem with tests
Federico Igne
2020-10-09
3
-11
/
+11
*
Complete generation of logic program for the canonical model
Federico Igne
2020-10-06
4
-33
/
+75
*
Add generation of rules for safe T5 axioms
Federico Igne
2020-10-05
1
-4
/
+139
*
Implement `cycle()` and `unfold()` methods
Federico Igne
2020-10-02
1
-1
/
+29
*
Implement `self()` method for the computation of canonical models
Federico Igne
2020-10-02
1
-2
/
+16
*
Implement method to find conflicting roles
Federico Igne
2020-10-01
1
-5
/
+39
*
Add rule generation for unsafe T5 axioms for canonical model
Federico Igne
2020-09-30
7
-34
/
+88
*
Add generation for forward/backwards rules
Federico Igne
2020-09-25
1
-5
/
+34
[next]