| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| | |
|
| | |
|
| |
|
|
|
|
|
|
| |
The previous implementation was using the visitor pattern suggested by
the OWLAPI. This was buggy for some reasons and resulting in runtime
exceptions (probably due to the complex class tree of the API). In Scala
using type pattern matching results in a shorter and more readable way
of traversing an AST.
|
| | |
|
| | |
|
| |
|
|
|
| |
Not all rules of the filtering program have been implemented, but the
code for the generation and reification of the rules seems to work.
|
| |
|
|
|
| |
We now check that the existential expression in the axiom of type T3 is
not top.
|
| |
|
|
|
|
| |
The current implementation is still a first attempt and by far not the
most effective. It is still missing some corner cases and extensive
testing.
|
|
|
This has been done to better accommodate the code to detect all unsafe
roles in an ontology.
|
