Module CombinedClosure

source code

The combined closure: performing both the OWL 2 RL and RDFS closures. The two are very close but there are some rules in RDFS that are not in OWL 2 RL (eg, the axiomatic triples concerning the container membership properties). Using this closure class the OWL 2 RL implementation becomes a full extension of RDFS.

Imports: Resource, Class, Datatype, OWLClass, Thing, equivalentClass, DataRange, RDFS_Semantics, OWLRL_Semantics