Let us note that the Corese query language supports ontological reasoning by querying ontologies just like annotations, since RDF Schemas are RDF data.
Example : the following query retrieves all the properties whose domain is a subclass of the kmp:Document concept.
?p rdf:type rdf:Property ?p rdfs:domain ?c ?c rdfs:subClassOf kmp:Document