| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Suite containing all the tests | Stefano Germano | 2020-12-18 | 1 | -0/+17 |
| | | |||||
| * | Merge remote-tracking branch 'origin/master' into master | Federico Igne | 2020-12-17 | 1 | -1/+1 |
| |\ | |||||
| | * | Fix typo | Stefano Germano | 2020-12-16 | 1 | -1/+1 |
| | | | |||||
| * | | Comment out old tests | Federico Igne | 2020-12-17 | 3 | -521/+521 |
| | | | | | | | | | These need to be ported to the new conversion implementation. | ||||
| * | | Fix and improve tests for CQ answer class | Federico Igne | 2020-12-17 | 1 | -5/+48 |
| |/ | |||||
| * | Change how inverse roles are handle on the logic programming side | Federico Igne | 2020-12-08 | 1 | -3/+2 |
| | | | | | | | | | Seems like an easy way to convert inverse roles into atoms is to write `R(y,x)` instead of `R^-(x,y)`. This is still something we need to test and some additional rules that use inverse roles in the naive way are still generated. | ||||
| * | Fix bug for OWLObjectSubPropertyOfAxiom | Federico Igne | 2020-12-08 | 1 | -2/+2 |
| | | | | | | A version of the rule with an empty suffix was missing. Note that this is not completely clear from the paper. | ||||
| * | Reorganize tests | Federico Igne | 2020-12-07 | 5 | -5/+5 |
| | | |||||
| * | Change ConjunctiveQuery constructors interface | Federico Igne | 2020-12-07 | 2 | -18/+18 |
| | | | | | | One of the object constructor was returning an Option. It was weird to have a constructor that would not always return an object. | ||||
| * | Update answers pretty printer | Federico Igne | 2020-12-07 | 1 | -2/+2 |
| | | |||||
| * | Change answer pritty printer to use CSV-like syntax | Federico Igne | 2020-12-06 | 1 | -14/+24 |
| | | |||||
| * | Temporarily ignore tests involving `cycle` computation | Federico Igne | 2020-12-06 | 1 | -4/+4 |
| | | | | | | This is done because `cycle` is being reworked from a theoretical point of view at the moment. | ||||
| * | Fix axiom skolemization | Federico Igne | 2020-12-04 | 2 | -62/+56 |
| | | | | | | | Skolemization should be uniquely bound to the axiom being skolemized. When an axiom is a shortcut for a set of axioms, the skolemization strategy should be updated with the new axiom(s). | ||||
| * | Rework skolemization strategies | Federico Igne | 2020-12-04 | 4 | -75/+65 |
| | | | | | | | In particular `ConstantRSA` has been removed, since it was *not* a skolemization strategy. The case for extra atoms generation previously handled by `ConstantRSA` is not dealt with inside the RSA check. | ||||
| * | Make filtering program generate/load facts as facts | Federico Igne | 2020-12-02 | 1 | -5/+13 |
| | | |||||
| * | Fix tests failing due to recent changes | Federico Igne | 2020-12-02 | 2 | -39/+86 |
| | | |||||
| * | Add alternative conversion of axioms using switch-cases | Federico Igne | 2020-12-01 | 1 | -0/+104 |
| | | | | | | | This is part of an effort to move away from the Java-style visitor pattern pushed by the OWLAPI and RDFox. Using a Scala approach will allow us to be more flexible in the long run. | ||||
| * | Rename `RDFoxHelpers` to `RDFoxUtil` | Federico Igne | 2020-11-24 | 1 | -1/+1 |
| | | | | | For a more consistent naming. | ||||
| * | Rework filtering program generation | Federico Igne | 2020-11-24 | 1 | -284/+59 |
| | | |||||
| * | Rename `boolean` as `bcq` | Federico Igne | 2020-11-23 | 1 | -3/+3 |
| | | |||||
| * | Add wrapper class for (boolean) conjunctive queries | Federico Igne | 2020-11-19 | 3 | -85/+297 |
| | | |||||
| * | Reorganize project with Java-like folder structure | Federico Igne | 2020-11-18 | 4 | -0/+1381 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |