logic_puzzle.owl
logic_puzzle.owl
—
RDF file,
15 KB (15443 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#" > <!ENTITY Ontology1305274734392 "http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#" > ]> <rdf:RDF xmlns="http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#" xml:base="http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:Ontology1305274734392="http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#" 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/4/Ontology1305274734392.owl"/> <!-- /////////////////////////////////////////////////////////////////////////////////////// // // Object Properties // /////////////////////////////////////////////////////////////////////////////////////// --> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#doesSports --> <owl:ObjectProperty rdf:about="&Ontology1305274734392;doesSports"> <rdf:type rdf:resource="&owl;FunctionalProperty"/> <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/> <rdfs:domain rdf:resource="&Ontology1305274734392;Person"/> <rdfs:range rdf:resource="&Ontology1305274734392;Sports"/> <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/> </owl:ObjectProperty> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#eats --> <owl:ObjectProperty rdf:about="&Ontology1305274734392;eats"> <rdf:type rdf:resource="&owl;FunctionalProperty"/> <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/> <rdfs:range rdf:resource="&Ontology1305274734392;Food"/> <rdfs:domain rdf:resource="&Ontology1305274734392;Person"/> <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/> </owl:ObjectProperty> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#livesInHouse --> <owl:ObjectProperty rdf:about="&Ontology1305274734392;livesInHouse"> <rdf:type rdf:resource="&owl;FunctionalProperty"/> <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/> <rdfs:range rdf:resource="&Ontology1305274734392;House"/> <rdfs:domain rdf:resource="&Ontology1305274734392;Person"/> <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/> </owl:ObjectProperty> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#nextTo --> <owl:ObjectProperty rdf:about="&Ontology1305274734392;nextTo"> <rdf:type rdf:resource="&owl;SymmetricProperty"/> <rdfs:domain rdf:resource="&Ontology1305274734392;House"/> <rdfs:range rdf:resource="&Ontology1305274734392;House"/> <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/> </owl:ObjectProperty> <!-- http://www.w3.org/2002/07/owl#topObjectProperty --> <owl:ObjectProperty rdf:about="&owl;topObjectProperty"/> <!-- /////////////////////////////////////////////////////////////////////////////////////// // // Classes // /////////////////////////////////////////////////////////////////////////////////////// --> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#Food --> <owl:Class rdf:about="&Ontology1305274734392;Food"> <owl:equivalentClass> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="&Ontology1305274734392;ice"/> <rdf:Description rdf:about="&Ontology1305274734392;pancakes"/> <rdf:Description rdf:about="&Ontology1305274734392;waffles"/> </owl:oneOf> </owl:Class> </owl:equivalentClass> </owl:Class> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#House --> <owl:Class rdf:about="&Ontology1305274734392;House"> <owl:equivalentClass> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="&Ontology1305274734392;brownHouse"/> <rdf:Description rdf:about="&Ontology1305274734392;blueHouse"/> <rdf:Description rdf:about="&Ontology1305274734392;yellowHouse"/> </owl:oneOf> </owl:Class> </owl:equivalentClass> <owl:equivalentClass> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="&Ontology1305274734392;middleHouse"/> <rdf:Description rdf:about="&Ontology1305274734392;leftHouse"/> <rdf:Description rdf:about="&Ontology1305274734392;rightHouse"/> </owl:oneOf> </owl:Class> </owl:equivalentClass> </owl:Class> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#Person --> <owl:Class rdf:about="&Ontology1305274734392;Person"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="&Ontology1305274734392;doesSports"/> <owl:onClass rdf:resource="&Ontology1305274734392;Sports"/> <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="&Ontology1305274734392;livesInHouse"/> <owl:onClass rdf:resource="&Ontology1305274734392;House"/> <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="&Ontology1305274734392;eats"/> <owl:onClass rdf:resource="&Ontology1305274734392;Food"/> <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#Sports --> <owl:Class rdf:about="&Ontology1305274734392;Sports"> <owl:equivalentClass> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="&Ontology1305274734392;rugby"/> <rdf:Description rdf:about="&Ontology1305274734392;soccer"/> <rdf:Description rdf:about="&Ontology1305274734392;icehockey"/> </owl:oneOf> </owl:Class> </owl:equivalentClass> </owl:Class> <!-- /////////////////////////////////////////////////////////////////////////////////////// // // Individuals // /////////////////////////////////////////////////////////////////////////////////////// --> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#blueHouse --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;blueHouse"> <rdf:type rdf:resource="&Ontology1305274734392;House"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#brownHouse --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;brownHouse"> <rdf:type rdf:resource="&Ontology1305274734392;House"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#ice --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;ice"> <rdf:type rdf:resource="&Ontology1305274734392;Food"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#icehockey --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;icehockey"> <rdf:type rdf:resource="&Ontology1305274734392;Sports"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#leftHouse --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;leftHouse"> <rdf:type rdf:resource="&Ontology1305274734392;House"/> <nextTo rdf:resource="&Ontology1305274734392;middleHouse"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#middleHouse --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;middleHouse"> <rdf:type rdf:resource="&Ontology1305274734392;House"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#p0 --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;p0"> <rdf:type rdf:resource="&Ontology1305274734392;Person"/> <livesInHouse rdf:resource="&Ontology1305274734392;middleHouse"/> <eats rdf:resource="&Ontology1305274734392;pancakes"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#p1 --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;p1"> <rdf:type rdf:resource="&Ontology1305274734392;Person"/> <livesInHouse rdf:resource="&Ontology1305274734392;rightHouse"/> </owl:NamedIndividual> <rdf:Description> <rdf:type rdf:resource="&owl;NegativePropertyAssertion"/> <owl:assertionProperty rdf:resource="&Ontology1305274734392;doesSports"/> <owl:sourceIndividual rdf:resource="&Ontology1305274734392;p1"/> <owl:targetIndividual rdf:resource="&Ontology1305274734392;rugby"/> </rdf:Description> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#p2 --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;p2"> <rdf:type rdf:resource="&Ontology1305274734392;Person"/> <eats rdf:resource="&Ontology1305274734392;waffles"/> <livesInHouse rdf:resource="&Ontology1305274734392;yellowHouse"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#p3 --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;p3"> <rdf:type rdf:resource="&Ontology1305274734392;Person"/> <livesInHouse rdf:resource="&Ontology1305274734392;middleHouse"/> <doesSports rdf:resource="&Ontology1305274734392;soccer"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#pancakes --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;pancakes"> <rdf:type rdf:resource="&Ontology1305274734392;Food"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#pep --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;pep"/> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#rightHouse --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;rightHouse"> <rdf:type rdf:resource="&Ontology1305274734392;House"/> <nextTo rdf:resource="&Ontology1305274734392;middleHouse"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#rugby --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;rugby"> <rdf:type rdf:resource="&Ontology1305274734392;Sports"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#soccer --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;soccer"> <rdf:type rdf:resource="&Ontology1305274734392;Sports"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#waffles --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;waffles"> <rdf:type rdf:resource="&Ontology1305274734392;Food"/> </owl:NamedIndividual> <!-- http://www.semanticweb.org/ontologies/2011/4/Ontology1305274734392.owl#yellowHouse --> <owl:NamedIndividual rdf:about="&Ontology1305274734392;yellowHouse"> <rdf:type rdf:resource="&Ontology1305274734392;House"/> </owl:NamedIndividual> <!-- /////////////////////////////////////////////////////////////////////////////////////// // // General axioms // /////////////////////////////////////////////////////////////////////////////////////// --> <rdf:Description> <rdf:type rdf:resource="&owl;AllDifferent"/> <owl:distinctMembers rdf:parseType="Collection"> <rdf:Description rdf:about="&Ontology1305274734392;leftHouse"/> <rdf:Description rdf:about="&Ontology1305274734392;middleHouse"/> <rdf:Description rdf:about="&Ontology1305274734392;rightHouse"/> </owl:distinctMembers> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="&owl;AllDifferent"/> <owl:distinctMembers rdf:parseType="Collection"> <rdf:Description rdf:about="&Ontology1305274734392;blueHouse"/> <rdf:Description rdf:about="&Ontology1305274734392;brownHouse"/> <rdf:Description rdf:about="&Ontology1305274734392;yellowHouse"/> </owl:distinctMembers> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="&owl;AllDifferent"/> <owl:distinctMembers rdf:parseType="Collection"> <rdf:Description rdf:about="&Ontology1305274734392;icehockey"/> <rdf:Description rdf:about="&Ontology1305274734392;rugby"/> <rdf:Description rdf:about="&Ontology1305274734392;soccer"/> </owl:distinctMembers> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="&owl;AllDifferent"/> <owl:distinctMembers rdf:parseType="Collection"> <rdf:Description rdf:about="&Ontology1305274734392;ice"/> <rdf:Description rdf:about="&Ontology1305274734392;pancakes"/> <rdf:Description rdf:about="&Ontology1305274734392;waffles"/> </owl:distinctMembers> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="&owl;AllDifferent"/> <owl:distinctMembers rdf:parseType="Collection"> <rdf:Description rdf:about="&Ontology1305274734392;rightHouse"/> <rdf:Description rdf:about="&Ontology1305274734392;yellowHouse"/> </owl:distinctMembers> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="&owl;AllDifferent"/> <owl:distinctMembers rdf:parseType="Collection"> <rdf:Description rdf:about="&Ontology1305274734392;brownHouse"/> <rdf:Description rdf:about="&Ontology1305274734392;rightHouse"/> </owl:distinctMembers> </rdf:Description> </rdf:RDF> <!-- Generated by the OWL API (version 3.2.3.22702) http://owlapi.sourceforge.net -->