<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY swrl "http://www.w3.org/2003/11/swrl#" >
    <!ENTITY swrlb "http://www.w3.org/2003/11/swrlb#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
]>


<rdf:RDF xmlns="http://www.semanticweb.org/jiba/ontologies/2019/1/test_rule.owl#"
     xml:base="http://www.semanticweb.org/jiba/ontologies/2019/1/test_rule.owl"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:swrl="http://www.w3.org/2003/11/swrl#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
    <owl:Ontology rdf:about="file:///home/jiba/src/owlready2/test/test_rule.owl"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Object Properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- file:///home/jiba/src/owlready2/test/test_rule.owl#prop -->

    <owl:ObjectProperty rdf:about="file:///home/jiba/src/owlready2/test/test_rule.owl#prop"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Data properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- file:///home/jiba/src/owlready2/test/test_rule.owl#data_prop -->

    <owl:DatatypeProperty rdf:about="file:///home/jiba/src/owlready2/test/test_rule.owl#data_prop"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- file:///home/jiba/src/owlready2/test/test_rule.owl#E -->

    <owl:Class rdf:about="file:///home/jiba/src/owlready2/test/test_rule.owl#E"/>
    


    <!-- file:///home/jiba/src/owlready2/test/test_rule.owl#S -->

    <owl:Class rdf:about="file:///home/jiba/src/owlready2/test/test_rule.owl#S"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Individuals
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- file:///home/jiba/src/owlready2/test/test_rule.owl#e -->

    <owl:NamedIndividual rdf:about="file:///home/jiba/src/owlready2/test/test_rule.owl#e">
        <rdf:type rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#E"/>
    </owl:NamedIndividual>
    


    <!-- file:///home/jiba/src/owlready2/test/test_rule.owl#obj -->

    <owl:Thing rdf:about="file:///home/jiba/src/owlready2/test/test_rule.owl#obj">
        <rdf:type rdf:resource="&owl;NamedIndividual"/>
    </owl:Thing>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Rules
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <rdf:Description rdf:about="urn:swrl#x">
        <rdf:type rdf:resource="&swrl;Variable"/>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="&swrl;Imp"/>
        <swrl:body>
            <rdf:Description>
                <rdf:type rdf:resource="&swrl;AtomList"/>
                <rdf:rest rdf:resource="&rdf;nil"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="&swrl;ClassAtom"/>
                        <swrl:classPredicate rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#E"/>
                        <swrl:argument1 rdf:resource="urn:swrl#x"/>
                    </rdf:Description>
                </rdf:first>
            </rdf:Description>
        </swrl:body>
        <swrl:head>
            <rdf:Description>
                <rdf:type rdf:resource="&swrl;AtomList"/>
                <rdf:rest rdf:resource="&rdf;nil"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="&swrl;ClassAtom"/>
                        <swrl:classPredicate rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#S"/>
                        <swrl:argument1 rdf:resource="urn:swrl#x"/>
                    </rdf:Description>
                </rdf:first>
            </rdf:Description>
        </swrl:head>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="&swrl;Imp"/>
        <swrl:head>
            <rdf:Description>
                <rdf:type rdf:resource="&swrl;AtomList"/>
                <rdf:rest rdf:resource="&rdf;nil"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="&swrl;IndividualPropertyAtom"/>
                        <swrl:argument2 rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#obj"/>
                        <swrl:propertyPredicate rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#prop"/>
                        <swrl:argument1 rdf:resource="urn:swrl#x"/>
                    </rdf:Description>
                </rdf:first>
            </rdf:Description>
        </swrl:head>
        <swrl:body>
            <rdf:Description>
                <rdf:type rdf:resource="&swrl;AtomList"/>
                <rdf:rest rdf:resource="&rdf;nil"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="&swrl;ClassAtom"/>
                        <swrl:classPredicate rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#E"/>
                        <swrl:argument1 rdf:resource="urn:swrl#x"/>
                    </rdf:Description>
                </rdf:first>
            </rdf:Description>
        </swrl:body>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="&swrl;Imp"/>
        <swrl:head>
            <rdf:Description>
                <rdf:type rdf:resource="&swrl;AtomList"/>
                <rdf:rest rdf:resource="&rdf;nil"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="&swrl;DatavaluedPropertyAtom"/>
                        <swrl:argument2 rdf:datatype="&xsd;double">1.0</swrl:argument2>
                        <swrl:propertyPredicate rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#data_prop"/>
                        <swrl:argument1 rdf:resource="urn:swrl#x"/>
                    </rdf:Description>
                </rdf:first>
            </rdf:Description>
        </swrl:head>
        <swrl:body>
            <rdf:Description>
                <rdf:type rdf:resource="&swrl;AtomList"/>
                <rdf:rest rdf:resource="&rdf;nil"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="&swrl;ClassAtom"/>
                        <swrl:classPredicate rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#E"/>
                        <swrl:argument1 rdf:resource="urn:swrl#x"/>
                    </rdf:Description>
                </rdf:first>
            </rdf:Description>
        </swrl:body>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="&swrl;Imp"/>
        <swrl:head>
            <rdf:Description>
                <rdf:type rdf:resource="&swrl;AtomList"/>
                <rdf:rest rdf:resource="&rdf;nil"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="&swrl;DatavaluedPropertyAtom"/>
                        <swrl:argument2 xml:lang="en">english</swrl:argument2>
                        <swrl:propertyPredicate rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#data_prop"/>
                        <swrl:argument1 rdf:resource="urn:swrl#x"/>
                    </rdf:Description>
                </rdf:first>
            </rdf:Description>
        </swrl:head>
        <swrl:body>
            <rdf:Description>
                <rdf:type rdf:resource="&swrl;AtomList"/>
                <rdf:rest rdf:resource="&rdf;nil"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="&swrl;ClassAtom"/>
                        <swrl:classPredicate rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#E"/>
                        <swrl:argument1 rdf:resource="urn:swrl#x"/>
                    </rdf:Description>
                </rdf:first>
            </rdf:Description>
        </swrl:body>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="&swrl;Imp"/>
        <swrl:body>
            <rdf:Description>
                <rdf:type rdf:resource="&swrl;AtomList"/>
                <rdf:rest rdf:resource="&rdf;nil"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="&swrl;ClassAtom"/>
                        <swrl:classPredicate rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#E"/>
                        <swrl:argument1 rdf:resource="urn:swrl#x"/>
                    </rdf:Description>
                </rdf:first>
            </rdf:Description>
        </swrl:body>
        <swrl:head>
            <rdf:Description>
                <rdf:type rdf:resource="&swrl;AtomList"/>
                <rdf:rest rdf:resource="&rdf;nil"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="&swrl;DatavaluedPropertyAtom"/>
                        <swrl:argument2 rdf:datatype="&xsd;boolean">true</swrl:argument2>
                        <swrl:propertyPredicate rdf:resource="file:///home/jiba/src/owlready2/test/test_rule.owl#data_prop"/>
                        <swrl:argument1 rdf:resource="urn:swrl#x"/>
                    </rdf:Description>
                </rdf:first>
            </rdf:Description>
        </swrl:head>
    </rdf:Description>
</rdf:RDF>



<!-- Generated by the OWL API (version 3.4.2) http://owlapi.sourceforge.net -->

