Beispiel-Ontologie: Städte und Länder
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 -->
+49 6151 16-21811
+49 6151 16-
Drucken
Impressum
Sitemap
Suche
