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 -->