
ontology(G) :-
	once(graph(_S, P, _O, G),
	     ontology_trigger_property(P)).

ontology_trigger_property(rdfs:range).
ontology_trigger_property(rdfs:domain).
ontology_trigger_property(rdfs:subClassOf).
ontology_trigger_property(rdfs:subPropertyOf).
ontology_trigger_property(owl:allValuesFrom).
ontology_trigger_property(owl:cardinality).
ontology_trigger_property(owl:complementOf).
ontology_trigger_property(owl:differentFrom).
ontology_trigger_property(owl:disjointWith ).
ontology_trigger_property(owl:distinctMembers).
ontology_trigger_property(owl:equivalentClass).
ontology_trigger_property(owl:equivalentProperty).
ontology_trigger_property(owl:hasValue).
ontology_trigger_property(owl:incompatibleWith).
ontology_trigger_property(owl:intersectionOf).
ontology_trigger_property(owl:inverseOf).
ontology_trigger_property(owl:maxCardinality).
ontology_trigger_property(owl:minCardinality).
ontology_trigger_property(owl:onProperty).
ontology_trigger_property(owl:someValuesFrom).
ontology_trigger_property(owl:unionOf).
ontology_trigger_property(owl:backwardCompatibleWith).
ontology_trigger_property(owl:oneOf).
ontology_trigger_property(owl:priorVersion).
ontology_trigger_property(owl:versionInfo).

%   these have some decent chance of being used in
%   general RDF data...
% ontology_trigger_property(owl:imports).
% ontology_trigger_property(owl:sameAs).
