* [RDFS_READ,DEB] Added a module for automated testing. Currently contains some simple deductions based on the RDF(S) vocabulary.
* [RDFS_READ,FIX] Namespace typo in RDFS domain axioms.
* [RDFS_READ,SC] IRI check in RDFS individual predicate was unnecessary.
* [OWL_BUILD,NEW] Added owl_assert_disjointWith/3.
* [OWL_READ,NEW] Added owl_disjointWith/4.
* [RDFS_READ_TEST,FIX] Namespace typo.