docs/example/ExampleDemoOntology.owl

<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.example.com#"
     xml:base="http://www.example.com"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     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#">
    <owl:Ontology rdf:about="http://www.example.com"/>
    

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

    
    <!-- http://www.example.com/connectsTo -->

    <owl:ObjectProperty rdf:about="http://www.example.com/connectsTo">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/hasArea -->

    <owl:ObjectProperty rdf:about="http://www.example.com/hasArea">
        <rdfs:subPropertyOf rdf:resource="http://www.example.com/hasLocation"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/hasBuilding -->

    <owl:ObjectProperty rdf:about="http://www.example.com/hasBuilding">
        <rdfs:subPropertyOf rdf:resource="http://www.example.com/hasLocation"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/hasFloor -->

    <owl:ObjectProperty rdf:about="http://www.example.com/hasFloor">
        <rdfs:subPropertyOf rdf:resource="http://www.example.com/hasLocation"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/hasLocation -->

    <owl:ObjectProperty rdf:about="http://www.example.com/hasLocation">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/hasPhysicalLocation -->

    <owl:ObjectProperty rdf:about="http://www.example.com/hasPhysicalLocation">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/hasRoom -->

    <owl:ObjectProperty rdf:about="http://www.example.com/hasRoom">
        <rdfs:subPropertyOf rdf:resource="http://www.example.com/hasLocation"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/hasSector -->

    <owl:ObjectProperty rdf:about="http://www.example.com/hasSector">
        <rdfs:subPropertyOf rdf:resource="http://www.example.com/hasLocation"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/hasUnitOfMeasure -->

    <owl:ObjectProperty rdf:about="http://www.example.com/hasUnitOfMeasure">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/isLocatedIn -->

    <owl:ObjectProperty rdf:about="http://www.example.com/isLocatedIn">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/isMeasuredBy -->

    <owl:ObjectProperty rdf:about="http://www.example.com/isMeasuredBy">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/isUnitOfMeasureOf -->

    <owl:ObjectProperty rdf:about="http://www.example.com/isUnitOfMeasureOf">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>
    

    <!-- http://www.example.com/measures -->

    <owl:ObjectProperty rdf:about="http://www.example.com/measures">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
    </owl:ObjectProperty>
    

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

    
    <!-- http://www.example.com/hasDescription -->

    <owl:DatatypeProperty rdf:about="http://www.example.com/hasDescription">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topDataProperty"/>
    </owl:DatatypeProperty>
    

    <!-- http://www.example.com/hasID -->

    <owl:DatatypeProperty rdf:about="http://www.example.com/hasID">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topDataProperty"/>
    </owl:DatatypeProperty>
    

    <!-- http://www.example.com/hasName -->

    <owl:DatatypeProperty rdf:about="http://www.example.com/hasName">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topDataProperty"/>
    </owl:DatatypeProperty>
    

    <!-- http://www.example.com/hasTimeSeriesID -->

    <owl:DatatypeProperty rdf:about="http://www.example.com/hasTimeSeriesID">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topDataProperty"/>
    </owl:DatatypeProperty>
    

    <!-- http://www.example.com/hasTimeStamp -->

    <owl:DatatypeProperty rdf:about="http://www.example.com/hasTimeStamp">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topDataProperty"/>
    </owl:DatatypeProperty>
    

    <!-- http://www.example.com/hasUnitSymbol -->

    <owl:DatatypeProperty rdf:about="http://www.example.com/hasUnitSymbol">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topDataProperty"/>
    </owl:DatatypeProperty>
    

    <!-- http://www.example.com/hasValue -->

    <owl:DatatypeProperty rdf:about="http://www.example.com/hasValue">
        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topDataProperty"/>
    </owl:DatatypeProperty>
    

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

    
    <!-- http://www.example.com/Actuator -->

    <owl:Class rdf:about="http://www.example.com/Actuator">
        <rdfs:subClassOf rdf:resource="http://www.example.com/Node"/>
    </owl:Class>
    

    <!-- http://www.example.com/Area -->

    <owl:Class rdf:about="http://www.example.com/Area">
        <rdfs:subClassOf rdf:resource="http://www.example.com/PhysicalLocation"/>
    </owl:Class>
    

    <!-- http://www.example.com/Building -->

    <owl:Class rdf:about="http://www.example.com/Building">
        <rdfs:subClassOf rdf:resource="http://www.example.com/PhysicalLocation"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasFloor"/>
                <owl:someValuesFrom rdf:resource="http://www.example.com/Floor"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    

    <!-- http://www.example.com/Edge -->

    <owl:Class rdf:about="http://www.example.com/Edge">
        <rdfs:subClassOf rdf:resource="http://www.example.com/Node"/>
    </owl:Class>
    

    <!-- http://www.example.com/Floor -->

    <owl:Class rdf:about="http://www.example.com/Floor">
        <rdfs:subClassOf rdf:resource="http://www.example.com/PhysicalLocation"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasRoom"/>
                <owl:someValuesFrom rdf:resource="http://www.example.com/Room"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasSector"/>
                <owl:someValuesFrom rdf:resource="http://www.example.com/Sector"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    

    <!-- http://www.example.com/Humidity -->

    <owl:Class rdf:about="http://www.example.com/Humidity">
        <rdfs:subClassOf rdf:resource="http://www.example.com/Measurement"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasUnitOfMeasure"/>
                <owl:maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxQualifiedCardinality>
                <owl:onClass rdf:resource="http://www.example.com/HumidityUnit"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    

    <!-- http://www.example.com/HumidityUnit -->

    <owl:Class rdf:about="http://www.example.com/HumidityUnit">
        <rdfs:subClassOf rdf:resource="http://www.example.com/UnitOfMeasure"/>
    </owl:Class>
    

    <!-- http://www.example.com/Luminosity -->

    <owl:Class rdf:about="http://www.example.com/Luminosity">
        <rdfs:subClassOf rdf:resource="http://www.example.com/Measurement"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasUnitOfMeasure"/>
                <owl:maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxQualifiedCardinality>
                <owl:onClass rdf:resource="http://www.example.com/LuminosityUnit"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    

    <!-- http://www.example.com/LuminosityUnit -->

    <owl:Class rdf:about="http://www.example.com/LuminosityUnit">
        <rdfs:subClassOf rdf:resource="http://www.example.com/UnitOfMeasure"/>
    </owl:Class>
    

    <!-- http://www.example.com/Measurement -->

    <owl:Class rdf:about="http://www.example.com/Measurement">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasUnitOfMeasure"/>
                <owl:maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxQualifiedCardinality>
                <owl:onClass rdf:resource="http://www.example.com/UnitOfMeasure"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasDescription"/>
                <owl:someValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasName"/>
                <owl:someValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasTimeStamp"/>
                <owl:someValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#dateTimeStamp"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasValue"/>
                <owl:someValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    

    <!-- http://www.example.com/Node -->

    <owl:Class rdf:about="http://www.example.com/Node">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/connectsTo"/>
                <owl:someValuesFrom rdf:resource="http://www.example.com/Node"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/measures"/>
                <owl:someValuesFrom rdf:resource="http://www.example.com/Measurement"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasPhysicalLocation"/>
                <owl:maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxQualifiedCardinality>
                <owl:onClass rdf:resource="http://www.example.com/PhysicalLocation"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasDescription"/>
                <owl:someValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasID"/>
                <owl:someValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasName"/>
                <owl:someValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    

    <!-- http://www.example.com/PhysicalLocation -->

    <owl:Class rdf:about="http://www.example.com/PhysicalLocation">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasDescription"/>
                <owl:someValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasID"/>
                <owl:someValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasName"/>
                <owl:someValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    

    <!-- http://www.example.com/Room -->

    <owl:Class rdf:about="http://www.example.com/Room">
        <rdfs:subClassOf rdf:resource="http://www.example.com/PhysicalLocation"/>
    </owl:Class>
    

    <!-- http://www.example.com/Sector -->

    <owl:Class rdf:about="http://www.example.com/Sector">
        <rdfs:subClassOf rdf:resource="http://www.example.com/PhysicalLocation"/>
    </owl:Class>
    

    <!-- http://www.example.com/Sensor -->

    <owl:Class rdf:about="http://www.example.com/Sensor">
        <rdfs:subClassOf rdf:resource="http://www.example.com/Node"/>
    </owl:Class>
    

    <!-- http://www.example.com/Site -->

    <owl:Class rdf:about="http://www.example.com/Site">
        <rdfs:subClassOf rdf:resource="http://www.example.com/PhysicalLocation"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasBuilding"/>
                <owl:someValuesFrom rdf:resource="http://www.example.com/Building"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    

    <!-- http://www.example.com/Temperature -->

    <owl:Class rdf:about="http://www.example.com/Temperature">
        <rdfs:subClassOf rdf:resource="http://www.example.com/Measurement"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.example.com/hasUnitOfMeasure"/>
                <owl:maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxQualifiedCardinality>
                <owl:onClass rdf:resource="http://www.example.com/TemperatureUnit"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    

    <!-- http://www.example.com/TemperatureUnit -->

    <owl:Class rdf:about="http://www.example.com/TemperatureUnit">
        <rdfs:subClassOf rdf:resource="http://www.example.com/UnitOfMeasure"/>
    </owl:Class>
    

    <!-- http://www.example.com/UnitOfMeasure -->

    <owl:Class rdf:about="http://www.example.com/UnitOfMeasure"/>
    

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

    
    <!-- http://www.example.com/celsius -->

    <owl:NamedIndividual rdf:about="http://www.example.com/celsius">
        <rdf:type rdf:resource="http://www.example.com/TemperatureUnit"/>
    </owl:NamedIndividual>
    

    <!-- http://www.example.com/fahrenheit -->

    <owl:NamedIndividual rdf:about="http://www.example.com/fahrenheit">
        <rdf:type rdf:resource="http://www.example.com/TemperatureUnit"/>
    </owl:NamedIndividual>
    

    <!-- http://www.example.com/kelvin -->

    <owl:NamedIndividual rdf:about="http://www.example.com/kelvin">
        <rdf:type rdf:resource="http://www.example.com/TemperatureUnit"/>
    </owl:NamedIndividual>
    

    <!-- http://www.example.com/lux -->

    <owl:NamedIndividual rdf:about="http://www.example.com/lux">
        <rdf:type rdf:resource="http://www.example.com/LuminosityUnit"/>
    </owl:NamedIndividual>
    

    <!-- http://www.example.com/relativeHumidity -->

    <owl:NamedIndividual rdf:about="http://www.example.com/relativeHumidity">
        <rdf:type rdf:resource="http://www.example.com/HumidityUnit"/>
    </owl:NamedIndividual>
    

    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // General axioms
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <rdf:Description>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses"/>
        <owl:members rdf:parseType="Collection">
            <rdf:Description rdf:about="http://www.example.com/Actuator"/>
            <rdf:Description rdf:about="http://www.example.com/Edge"/>
            <rdf:Description rdf:about="http://www.example.com/Sensor"/>
        </owl:members>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses"/>
        <owl:members rdf:parseType="Collection">
            <rdf:Description rdf:about="http://www.example.com/Area"/>
            <rdf:Description rdf:about="http://www.example.com/Building"/>
            <rdf:Description rdf:about="http://www.example.com/Floor"/>
            <rdf:Description rdf:about="http://www.example.com/Room"/>
            <rdf:Description rdf:about="http://www.example.com/Sector"/>
            <rdf:Description rdf:about="http://www.example.com/Site"/>
        </owl:members>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses"/>
        <owl:members rdf:parseType="Collection">
            <rdf:Description rdf:about="http://www.example.com/Measurement"/>
            <rdf:Description rdf:about="http://www.example.com/Node"/>
            <rdf:Description rdf:about="http://www.example.com/PhysicalLocation"/>
            <rdf:Description rdf:about="http://www.example.com/UnitOfMeasure"/>
        </owl:members>
    </rdf:Description>
</rdf:RDF>


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