@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix s: <http://www.w3.org/2000/01/rdf-schema#>.

# some stuff needs to be explicit in OWL DL
owl:Thing a owl:Class.
{ ?P s:range [ a owl:Class ] } => { ?P a owl:ObjectProperty }.
{ ?C s:subClassOf [ a owl:Class ] } => { ?C a owl:Class }.
{ ?R owl:onProperty ?P } => { ?R a owl:Restriction. ?P a owl:ObjectProperty }.
{ [] owl:allValuesFrom ?C } => { ?C a owl:Class }.
{ [ a owl:ObjectProperty; s:subPropertyOf ?P ] }
 => { ?P a owl:ObjectProperty }.
{ ?P s:subPropertyOf [ a owl:ObjectProperty ] }
 => { ?P a owl:ObjectProperty }.

rdf:value a owl:DatatypeProperty; s:domain owl:Thing.