| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| | |
|
| | |
|
| |
|
|
|
|
| |
This was causing problems without giving any significant advantage. Now
it will be easier to refactor classes like RSA, RSAOntology,
CanonicalModel.
|
| | |
|
| |
|
|
|
|
| |
Now NAMED is introduced during the canonical model computation, while
NI instances are computed and introduced in the filtering program
generation phase.
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This is a first attempt to avoid a bug triggered by the nature of the
class RSAOntology and CanonicalModel.
An OWLOntology is converted implicitly to an RSAOntology object
whenever it is needed. From within the RSAOntology class we used to
create a CanonicalModel object (and pass the underling OWLOntology
object as a parameter). Inside CanonicalModel we require RSAOntology
functionalities from the OWLOntology, triggering a new conversion into
RSAOntology (that would compute a new CanonicalModel and so on in a
loop).
While declaring the CanonicalModel as lazy in RSAOntology could solve
the problem, it does not fix the underlying issue of having a class
strictly related to RSAOntology as a top level class.
As a first attempt we moved CanonicalModel as an object inside
RSAOntology.
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
This is using `SPARQLParser`, an undocumented class provided by JRDFox
|
| | |
|
| | |
|
| |
|
|
|
| |
Not all rules of the filtering program have been implemented, but the
code for the generation and reification of the rules seems to work.
|
|
|
This has been done to better accommodate the code to detect all unsafe
roles in an ontology.
|
