SingleRedCarOwner.owl

<?xml version="1.0"?>
<Ontology xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="http://de.athalis.owl.App.main()"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:xml="http://www.w3.org/XML/1998/namespace"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     ontologyIRI="http://de.athalis.owl.App.main()"
     versionIRI="http://de.athalis.owl.App.main()_0.0">
    <Prefix name="" IRI="http://de.athalis.owl.App.main()"/>
    <Prefix name="owl" IRI="http://www.w3.org/2002/07/owl#"/>
    <Prefix name="rdf" IRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
    <Prefix name="xml" IRI="http://www.w3.org/XML/1998/namespace"/>
    <Prefix name="xsd" IRI="http://www.w3.org/2001/XMLSchema#"/>
    <Prefix name="rdfs" IRI="http://www.w3.org/2000/01/rdf-schema#"/>
    <Declaration>
        <Class IRI="#Car"/>
    </Declaration>
    <Declaration>
        <NamedIndividual IRI="#Red"/>
    </Declaration>
    <Declaration>
        <ObjectProperty IRI="#hasCar"/>
    </Declaration>
    <Declaration>
        <ObjectProperty IRI="#hasColour"/>
    </Declaration>
    <Declaration>
        <Class IRI="#Colour"/>
    </Declaration>
    <Declaration>
        <Class IRI="#SingleRedCarOwner"/>
    </Declaration>
    <Declaration>
        <Class IRI="#Owner"/>
    </Declaration>
    <SubClassOf>
        <Class IRI="#Car"/>
        <ObjectSomeValuesFrom>
            <ObjectProperty IRI="#hasColour"/>
            <Class IRI="#Colour"/>
        </ObjectSomeValuesFrom>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#Owner"/>
        <ObjectSomeValuesFrom>
            <ObjectProperty IRI="#hasCar"/>
            <Class IRI="#Car"/>
        </ObjectSomeValuesFrom>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#SingleRedCarOwner"/>
        <Class IRI="#Owner"/>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#SingleRedCarOwner"/>
        <ObjectAllValuesFrom>
            <ObjectProperty IRI="#hasCar"/>
            <ObjectIntersectionOf>
                <Class IRI="#Car"/>
                <ObjectHasValue>
                    <ObjectProperty IRI="#hasColour"/>
                    <NamedIndividual IRI="#Red"/>
                </ObjectHasValue>
            </ObjectIntersectionOf>
        </ObjectAllValuesFrom>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#SingleRedCarOwner"/>
        <ObjectExactCardinality cardinality="1">
            <ObjectProperty IRI="#hasCar"/>
            <ObjectIntersectionOf>
                <Class IRI="#Car"/>
                <ObjectHasValue>
                    <ObjectProperty IRI="#hasColour"/>
                    <NamedIndividual IRI="#Red"/>
                </ObjectHasValue>
            </ObjectIntersectionOf>
        </ObjectExactCardinality>
    </SubClassOf>
    <ClassAssertion>
        <Class IRI="#Colour"/>
        <NamedIndividual IRI="#Red"/>
    </ClassAssertion>
    <ObjectPropertyRange>
        <ObjectProperty IRI="#hasCar"/>
        <Class IRI="#Car"/>
    </ObjectPropertyRange>
    <ObjectPropertyRange>
        <ObjectProperty IRI="#hasColour"/>
        <Class IRI="#Colour"/>
    </ObjectPropertyRange>
</Ontology>



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

SingleRedCarOwnerInternalReasonerException.owl

<?xml version="1.0"?>
<Ontology xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="http://de.athalis.owl.App.main()"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:xml="http://www.w3.org/XML/1998/namespace"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     ontologyIRI="http://de.athalis.owl.App.main()"
     versionIRI="http://de.athalis.owl.App.main()_0.0">
    <Prefix name="" IRI="http://de.athalis.owl.App.main()"/>
    <Prefix name="owl" IRI="http://www.w3.org/2002/07/owl#"/>
    <Prefix name="rdf" IRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
    <Prefix name="xml" IRI="http://www.w3.org/XML/1998/namespace"/>
    <Prefix name="xsd" IRI="http://www.w3.org/2001/XMLSchema#"/>
    <Prefix name="rdfs" IRI="http://www.w3.org/2000/01/rdf-schema#"/>
    <Declaration>
        <Class IRI="#Car"/>
    </Declaration>
    <Declaration>
        <NamedIndividual IRI="#Red"/>
    </Declaration>
    <Declaration>
        <ObjectProperty IRI="#hasCar"/>
    </Declaration>
    <Declaration>
        <ObjectProperty IRI="#hasColour"/>
    </Declaration>
    <Declaration>
        <Class IRI="#Colour"/>
    </Declaration>
    <Declaration>
        <Class IRI="#SingleRedCarOwner"/>
    </Declaration>
    <Declaration>
        <Class IRI="#Owner"/>
    </Declaration>
    <SubClassOf>
        <Class IRI="#Car"/>
        <ObjectSomeValuesFrom>
            <ObjectProperty IRI="#hasColour"/>
            <Class IRI="#Colour"/>
        </ObjectSomeValuesFrom>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#Owner"/>
        <ObjectSomeValuesFrom>
            <ObjectProperty IRI="#hasCar"/>
            <Class IRI="#Car"/>
        </ObjectSomeValuesFrom>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#SingleRedCarOwner"/>
        <Class IRI="#Owner"/>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#SingleRedCarOwner"/>
        <ObjectExactCardinality cardinality="1">
            <ObjectProperty IRI="#hasCar"/>
            <ObjectIntersectionOf>
                <Class IRI="#Car"/>
                <ObjectHasValue>
                    <ObjectProperty IRI="#hasColour"/>
                    <NamedIndividual IRI="#Red"/>
                </ObjectHasValue>
            </ObjectIntersectionOf>
        </ObjectExactCardinality>
    </SubClassOf>
    <ClassAssertion>
        <Class IRI="#Colour"/>
        <NamedIndividual IRI="#Red"/>
    </ClassAssertion>
    <ObjectPropertyRange>
        <ObjectProperty IRI="#hasCar"/>
        <Class IRI="#Car"/>
    </ObjectPropertyRange>
    <ObjectPropertyRange>
        <ObjectProperty IRI="#hasColour"/>
        <Class IRI="#Colour"/>
    </ObjectPropertyRange>
</Ontology>



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