]> (assert (triple (predicate "&rdf;#type") (subject "") (object "&owl;#Class") ) ) (assert (triple (predicate "&rdf;#type") (subject "") (object "") ) ) (assert (triple (predicate "&rdfs;#subClassOf") (subject "") (object "") ) ) (assert (triple (predicate "&owl;#complementOf") (subject "") (object "") ) ) (assert (triple (predicate "&owl;#sameAs") (subject "") (object "") ) ) (assert (triple (predicate "&owl;#sameIndividualAs") (subject "") (object "") ) ) (assert (triple (predicate "&owl;#differentFrom") (subject "") (object "") ) ) (assert (triple (predicate "&owl;#disjointWith") (subject "") (object "") ) ) (assert (triple (predicate "&owl;#equivalentClass") (subject "") (object "") ) ) (assert (triple (predicate "&rdf;#type") (subject "") (object "&rdf;#Property") ) ) (assert (triple (predicate "&rdf;#type") (subject "") (object "&owl;#ObjectProperty") ) ) (assert (triple (predicate "&rdf;#type") (subject "") (object "&owl;#FunctionalProperty") ) ) (assert (triple (predicate "&rdf;#type") (subject "") (object "&owl;#InverseFunctionalProperty") ) ) (assert (triple (predicate "&rdf;#type") (subject "") (object "&owl;#SymmetricProperty") ) ) (assert (triple (predicate "&rdf;#type") (subject "") (object "&owl;#DatatypeProperty") ) ) (assert (triple (predicate "&rdfs;#subPropertyOf") (subject "") (object "") ) ) (assert (triple (predicate "&owl;#inverseOf") (subject "") (object "") ) ) (assert (triple (predicate "&owl;#equivalentProperty") (subject "") (object "") ) ) (assert (triple (predicate "&rdfs;#domain") (subject "") (object "") ) ) (assert (triple (predicate "&rdfs;#range") (subject "") (object "") ) )