| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Reorganize project with Java-like folder structure | Federico Igne | 2020-11-18 | 1 | -100/+0 |
| | | |||||
| * | Rename internal predicate "EquivTo" to "congruent" | Federico Igne | 2020-11-18 | 1 | -2/+2 |
| | | |||||
| * | Change IRI prefix for internal resources | Federico Igne | 2020-11-18 | 1 | -1/+1 |
| | | |||||
| * | Rework RSA as a utility object | Federico Igne | 2020-11-18 | 1 | -34/+71 |
| | | |||||
| * | Remove implicit RSAOntology conversion | Federico Igne | 2020-11-17 | 1 | -9/+2 |
| | | | | | | | This was causing problems without giving any significant advantage. Now it will be easier to refactor classes like RSA, RSAOntology, CanonicalModel. | ||||
| * | Rework suffixes | Federico Igne | 2020-11-16 | 1 | -1/+0 |
| | | | | | | This is a WIP implementation of a generalized way of handling IRI suffixes. It is not currently used everywhere. | ||||
| * | Change "internal:" prefix to "rsa:" | Federico Igne | 2020-11-16 | 1 | -5/+5 |
| | | |||||
| * | Fix NI predicate computation | Federico Igne | 2020-11-14 | 1 | -0/+2 |
| | | | | | | | Now NAMED is introduced during the canonical model computation, while NI instances are computed and introduced in the filtering program generation phase. | ||||
| * | Generalize axiom hashing for constant generation | Federico Igne | 2020-11-10 | 1 | -1/+18 |
| | | |||||
| * | Update code to RDFox v4.0 | Federico Igne | 2020-11-05 | 1 | -9/+1 |
| | | |||||
| * | Simplify ProgramGenerator constructor | Federico Igne | 2020-10-09 | 1 | -0/+6 |
| | | | | | | If we pass the whole ontology there is no need to also provide the set of unsafe roles. | ||||
| * | Add method to parse a string into a Query | Federico Igne | 2020-09-23 | 1 | -12/+1 |
| | | | | | This is using `SPARQLParser`, an undocumented class provided by JRDFox | ||||
| * | Add full set of rules for filtering program | Federico Igne | 2020-09-08 | 1 | -2/+3 |
| | | |||||
| * | Introduce naive fresh variable generator | Federico Igne | 2020-09-07 | 1 | -0/+8 |
| | | |||||
| * | Add setup code to compute the RSA filtering program | Federico Igne | 2020-09-07 | 1 | -0/+24 |
| | | | | | | Not all rules of the filtering program have been implemented, but the code for the generation and reification of the rules seems to work. | ||||
| * | Generalise prefixes | Federico Igne | 2020-08-19 | 1 | -5/+14 |
| | | |||||
| * | Use `rdf(..)` instead of `create(..)` to create `Atom`s | Federico Igne | 2020-08-19 | 1 | -1/+7 |
| | | |||||
| * | Refactor code into different files | Federico Igne | 2020-08-06 | 1 | -0/+17 |
| This has been done to better accommodate the code to detect all unsafe roles in an ontology. | |||||
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |