@prefix : <http://www.example.org/#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.example.org/#> .

<http://www.example.org/#> rdf:type owl:Ontology .

#################################################################
#    Object Properties
#################################################################

###  http://www.example.org/#hasFather
:hasFather rdf:type owl:ObjectProperty ;
                                    rdfs:domain :Person ;
                                    rdfs:range :Person .


#################################################################
#    Data properties
#################################################################

###  http://www.example.org/#birthDate
:birthDate rdf:type owl:DatatypeProperty ;
                                    rdfs:range xsd:dateTime .


###  http://www.example.org/#ssn
:ssn rdf:type owl:DatatypeProperty ;
                              rdfs:range xsd:string .


#################################################################
#    Classes
#################################################################

###  http://www.example.org/#Person
:Person rdf:type owl:Class .


#################################################################
#    Individuals
#################################################################

###  http://www.example.org/#Alice
:Alice rdf:type owl:NamedIndividual ,
                                         :Person ;
                                :hasFather :Bob ,
                                                                    :Robert ;
                                :ssn "987-65-432A" .


###  http://www.example.org/#Bob
:Bob rdf:type owl:NamedIndividual ,
                                       :Person ;
                              :ssn "124-35-6789" .


###  http://www.example.org/#Calvin
:Calvin rdf:type owl:NamedIndividual ,
                                          :Person ;
                                 :birthDate "1956-06-25T10:00:00+01:00"^^xsd:dateTime .


###  http://www.example.org/#Robert
:Robert rdf:type owl:NamedIndividual ,
                                          :Person ;
                                 :ssn "123-45-6789" .


#################################################################
#    Rules
#################################################################

<urn:swrl#p> rdf:type <http://www.w3.org/2003/11/swrl#Variable> .

<urn:swrl#f1> rdf:type <http://www.w3.org/2003/11/swrl#Variable> .

<urn:swrl#f2> rdf:type <http://www.w3.org/2003/11/swrl#Variable> .

[ rdf:type <http://www.w3.org/2003/11/swrl#Imp> ;
   <http://www.w3.org/2003/11/swrl#body> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                           rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ;
                                                       <http://www.w3.org/2003/11/swrl#classPredicate> :Person ;
                                                       <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#p>
                                                     ] ;
                                           rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                                      rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ;
                                                                  <http://www.w3.org/2003/11/swrl#classPredicate> :Person ;
                                                                  <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#f1>
                                                                ] ;
                                                      rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                                                 rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ;
                                                                             <http://www.w3.org/2003/11/swrl#classPredicate> :Person ;
                                                                             <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#f2>
                                                                           ] ;
                                                                 rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                                                            rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
                                                                                        <http://www.w3.org/2003/11/swrl#propertyPredicate> :hasFather ;
                                                                                        <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#p> ;
                                                                                        <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl#f1>
                                                                                      ] ;
                                                                            rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                                                                       rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
                                                                                                   <http://www.w3.org/2003/11/swrl#propertyPredicate> :hasFather ;
                                                                                                   <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#p> ;
                                                                                                   <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl#f2>
                                                                                                 ] ;
                                                                                       rdf:rest rdf:nil
                                                                                     ]
                                                                          ]
                                                               ]
                                                    ]
                                         ] ;
   <http://www.w3.org/2003/11/swrl#head> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                           rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#SameIndividualAtom> ;
                                                       <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#f1> ;
                                                       <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl#f2>
                                                     ] ;
                                           rdf:rest rdf:nil
                                         ]
 ] .

###  Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi