Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Added transitivity to P5, P9 and P46. Deleted number cardinality on P…
…5i and P9i because ecrm would not be owl-dl anymore if the properties are transitive.
- Loading branch information