@prefix : <http://metacognition.info/FuXi/DL-SHIOF-test.n3#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix log:  <http://www.w3.org/2000/10/swap/log#> .

#Notation 3 Description Logics (SHIOF)

{?C owl:oneOf ?L. ?X :in ?L} => {?X a ?C}.
{?L rdf:first ?I} => {?I :in ?L}.
{?L rdf:rest ?R. ?I :in ?R} => {?I :in ?L}.

{?C owl:unionOf ?L. ?X :inSomeOf ?L} => {?X a ?C}.
{?L rdf:first ?A. ?X a ?A} => {?X :inSomeOf ?L}.
{?L rdf:rest ?R. ?X :inSomeOf ?R} => {?X :inSomeOf ?L}.

#Description Logics Subsumption / Role Inclusion
{ ?S a [ rdfs:subClassOf ?C ] } => { ?S a ?C }.

#Description Logics Inverse Roles (I)
{ ?S [ owl:inverseOf ?P ] ?O } => { ?O ?P ?S }.

#Description Logics Inverse Functional Properties (F)  
{ ?P a owl:InverseFunctionalProperty.
  ?X ?P ?Z.
  ?Y ?P ?Z.
} => { ?X = ?Y }.

#Description Logics Transitive Closure
{ ?P a owl:TransitiveProperty.
  ?S ?P [ ?P ?O ] }
 => { ?S ?P ?O }.