subproperties are not handled correctly at the moment. There are 2 cases:
they derive the domain & range (and other axioms) from their superproperties so we miss some validations tests.
they return false violations on cardinality constrains.
For (1) we can create additional generators that produce the same tests for their superproperties (need to think of side-effects)
For (2) we need to place property paths in the TYPRODEP, OWLCARDT and OWLCARD patterns to include subproperties in the query evaluation. (but this will produce some huge queries)
subproperties are not handled correctly at the moment. There are 2 cases:
For (1) we can create additional generators that produce the same tests for their superproperties (need to think of side-effects)
For (2) we need to place property paths in the TYPRODEP, OWLCARDT and OWLCARD patterns to include subproperties in the query evaluation. (but this will produce some huge queries)