Beispiel-Ontologie: Städte und Länder

RDF file icon capitals.owl — RDF file, 17 KB (17603 bytes)

File contents

<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!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/ontologies/2011/10/Ontology1321890408967.owl#"
     xml:base="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
    <owl:Ontology rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl"/>
    


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

    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#capitalOf -->

    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#capitalOf">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
        <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
        <rdfs:domain rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#City"/>
        <rdfs:range rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Country"/>
        <rdfs:subPropertyOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#locatedIn"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#contains -->

    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#contains">
        <owl:inverseOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#locatedIn"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#hasCapital -->

    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#hasCapital">
        <owl:inverseOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#capitalOf"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#locatedIn -->

    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#locatedIn">
        <rdf:type rdf:resource="&owl;TransitiveProperty"/>
    </owl:ObjectProperty>
    


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

    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#CapitalCity -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#CapitalCity">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#City"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#capitalOf"/>
                        <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Country"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#City -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#City">
        <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#GeoEntity"/>
        <owl:disjointWith rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Country"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#CountriesWithUniversityCitiesAsCapital -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#CountriesWithUniversityCitiesAsCapital">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Country"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#hasCapital"/>
                        <owl:allValuesFrom>
                            <owl:Restriction>
                                <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#contains"/>
                                <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#University"/>
                            </owl:Restriction>
                        </owl:allValuesFrom>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Country -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Country">
        <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#GeoEntity"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#EuropeanCapital -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#EuropeanCapital">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#CapitalCity"/>
                    <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#EuropeanCity"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#CapitalCity"/>
        <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#EuropeanCity"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#EuropeanCity -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#EuropeanCity">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#City"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#locatedIn"/>
                        <owl:hasValue rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Europe"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#GeoEntity -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#GeoEntity"/>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#University -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#University">
        <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#GeoEntity"/>
    </owl:Class>
    


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

    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Barcelona -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Barcelona">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#City"/>
        <locatedIn rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Spain"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Europe -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Europe">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#GeoEntity"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Finland -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Finland">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Country"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#France -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#France">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#GeoEntity"/>
        <locatedIn rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Europe"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Helsingfors -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Helsingfors">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#City"/>
        <capitalOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Finland"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Helsinki -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Helsinki">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#City"/>
        <capitalOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Finland"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Madrid -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Madrid">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#GeoEntity"/>
        <capitalOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Spain"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Paris -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Paris">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#GeoEntity"/>
        <capitalOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#France"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Spain -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Spain">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#GeoEntity"/>
        <locatedIn rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Europe"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#USA -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#USA">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Country"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#UniverityOfParis -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#UniverityOfParis">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#University"/>
        <locatedIn rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Paris"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#UniversityOfMadrid -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#UniversityOfMadrid">
        <locatedIn rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Madrid"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#WashingtonDC -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#WashingtonDC">
        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#City"/>
        <capitalOf rdf:resource="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#USA"/>
    </owl:NamedIndividual>
    


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

    <rdf:Description>
        <rdf:type rdf:resource="&owl;AllDifferent"/>
        <owl:distinctMembers rdf:parseType="Collection">
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Madrid"/>
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Paris"/>
        </owl:distinctMembers>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="&owl;AllDifferent"/>
        <owl:distinctMembers rdf:parseType="Collection">
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#France"/>
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Spain"/>
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#USA"/>
        </owl:distinctMembers>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="&owl;AllDifferent"/>
        <owl:distinctMembers rdf:parseType="Collection">
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Barcelona"/>
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Helsingfors"/>
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Madrid"/>
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Paris"/>
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#WashingtonDC"/>
        </owl:distinctMembers>
    </rdf:Description>
    <rdf:Description>
        <rdf:type rdf:resource="&owl;AllDifferent"/>
        <owl:distinctMembers rdf:parseType="Collection">
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Barcelona"/>
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Helsinki"/>
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Madrid"/>
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#Paris"/>
            <rdf:Description rdf:about="http://www.semanticweb.org/ontologies/2011/10/Ontology1321890408967.owl#WashingtonDC"/>
        </owl:distinctMembers>
    </rdf:Description>
</rdf:RDF>



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

A A A | Drucken | Impressum | Sitemap | Suche | Mobile Version
zum Seitenanfangzum Seitenanfang