Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Reorganize project with Java-like folder structure | Federico Igne | 2020-11-18 | 1 | -159/+0 |
| | |||||
* | Rework RSA as a utility object | Federico Igne | 2020-11-18 | 1 | -13/+6 |
| | |||||
* | Rework suffixes | Federico Igne | 2020-11-16 | 1 | -1/+3 |
| | | | | | 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 | -2/+2 |
| | |||||
* | Fix SKOLEM call creation during function skolemization | Federico Igne | 2020-11-10 | 1 | -4/+4 |
| | | | | | The first argument of a SKOLEM call needs to be a literal string. Note that this is not enforced in any way by RDFox, that will fail silently. | ||||
* | Update code to RDFox v4.0 | Federico Igne | 2020-11-05 | 1 | -13/+12 |
| | |||||
* | Fix problem with tests | Federico Igne | 2020-10-09 | 1 | -1/+1 |
| | | | | Tests where not ported to the new (slightly more generic) interface. | ||||
* | Add rule generation for unsafe T5 axioms for canonical model | Federico Igne | 2020-09-30 | 1 | -9/+12 |
| | |||||
* | Introduce naive fresh variable generator | Federico Igne | 2020-09-07 | 1 | -5/+3 |
| | |||||
* | Add setup code to compute the RSA filtering program | Federico Igne | 2020-09-07 | 1 | -1/+3 |
| | | | | | 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 | -2/+2 |
| | |||||
* | Use `rdf(..)` instead of `create(..)` to create `Atom`s | Federico Igne | 2020-08-19 | 1 | -15/+13 |
| | |||||
* | Include built-in rules in RSA check | Federico Igne | 2020-08-16 | 1 | -67/+98 |
| | |||||
* | Adapt LP conversion to RSA check | Federico Igne | 2020-08-04 | 1 | -16/+30 |
| | | | | | | Part of the process involves the search of unsafe roles in the input ontology. This is still to be implemented and for now the set of unsafe roles for the testing example is hardcoded. | ||||
* | Add DL renderer for input rules | Federico Igne | 2020-08-03 | 1 | -9/+9 |
| | |||||
* | Update to JRDFox v3.1.0 | Federico Igne | 2020-07-16 | 1 | -7/+7 |
| | |||||
* | Rename source code directory structure | Federico Igne | 2020-07-15 | 1 | -0/+119 |