Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- <?xml version="1.0"?>
- <Ontology xmlns="http://www.w3.org/2002/07/owl#"
- xml:base="http://www.w3.org/2002/07/owl#"
- xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
- 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#">
- <Prefix name="" IRI="http://www.w3.org/2002/07/owl#"/>
- <Prefix name="owl" IRI="http://www.w3.org/2002/07/owl#"/>
- <Prefix name="rdf" IRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
- <Prefix name="xml" IRI="http://www.w3.org/XML/1998/namespace"/>
- <Prefix name="xsd" IRI="http://www.w3.org/2001/XMLSchema#"/>
- <Prefix name="rdfs" IRI="http://www.w3.org/2000/01/rdf-schema#"/>
- <Declaration>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#PetOwner"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Blacky"/>
- </Declaration>
- <Declaration>
- <Class IRI="http://www.co-ode.org/ontologies/ont.owl#MultiPetsOwner"/>
- </Declaration>
- <Declaration>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Owl"/>
- </Declaration>
- <Declaration>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Cat"/>
- </Declaration>
- <Declaration>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#hasPet"/>
- </Declaration>
- <Declaration>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Dog"/>
- </Declaration>
- <Declaration>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#isPetOf"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Hedwig_II"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Padfoot"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Anthony"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Sally"/>
- </Declaration>
- <Declaration>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Goldy"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Ruby"/>
- </Declaration>
- <Declaration>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Goldfish"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Harry"/>
- </Declaration>
- <Declaration>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Person"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Hermione"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Crooks"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Alex"/>
- </Declaration>
- <Declaration>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Hedwig"/>
- </Declaration>
- <EquivalentClasses>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#PetOwner"/>
- <ObjectIntersectionOf>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Person"/>
- <ObjectSomeValuesFrom>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#hasPet"/>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- </ObjectSomeValuesFrom>
- </ObjectIntersectionOf>
- </EquivalentClasses>
- <EquivalentClasses>
- <Class IRI="http://www.co-ode.org/ontologies/ont.owl#MultiPetsOwner"/>
- <ObjectMinCardinality cardinality="2">
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#hasPet"/>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- </ObjectMinCardinality>
- </EquivalentClasses>
- <SubClassOf>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Cat"/>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- </SubClassOf>
- <SubClassOf>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Dog"/>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- </SubClassOf>
- <SubClassOf>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Goldfish"/>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- </SubClassOf>
- <SubClassOf>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Owl"/>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- </SubClassOf>
- <SubClassOf>
- <Class IRI="http://www.co-ode.org/ontologies/ont.owl#MultiPetsOwner"/>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Person"/>
- </SubClassOf>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Person"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Anthony"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#PetOwner"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Anthony"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="Thing"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Anthony"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Crooks"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Cat"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Crooks"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="Thing"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Crooks"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Goldy"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Goldfish"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Goldy"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="Thing"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Goldy"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Person"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Harry"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="Thing"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Harry"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Hedwig"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Owl"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Hedwig"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="Thing"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Hedwig"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Person"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Hermione"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#PetOwner"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Hermione"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="Thing"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Hermione"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Padfoot"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Dog"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Padfoot"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="Thing"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Padfoot"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Person"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Sally"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="Thing"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Sally"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Person"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Alex"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Blacky"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Dog"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Blacky"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Hedwig_II"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Owl"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Hedwig_II"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="Thing"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Hedwig_II"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Ruby"/>
- </ClassAssertion>
- <ClassAssertion>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Dog"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Ruby"/>
- </ClassAssertion>
- <ObjectPropertyAssertion>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#isPetOf"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Crooks"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Hermione"/>
- </ObjectPropertyAssertion>
- <ObjectPropertyAssertion>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#isPetOf"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Goldy"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Anthony"/>
- </ObjectPropertyAssertion>
- <ObjectPropertyAssertion>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#hasPet"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Harry"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Hedwig"/>
- </ObjectPropertyAssertion>
- <ObjectPropertyAssertion>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#isPetOf"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Padfoot"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Harry"/>
- </ObjectPropertyAssertion>
- <ObjectPropertyAssertion>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#hasPet"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Alex"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Blacky"/>
- </ObjectPropertyAssertion>
- <ObjectPropertyAssertion>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#hasPet"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Alex"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Ruby"/>
- </ObjectPropertyAssertion>
- <ObjectPropertyAssertion>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#isPetOf"/>
- <NamedIndividual IRI="http://www.co-ode.org/ontologies/ont.owl#Hedwig_II"/>
- <NamedIndividual IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Harry"/>
- </ObjectPropertyAssertion>
- <InverseObjectProperties>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#hasPet"/>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#isPetOf"/>
- </InverseObjectProperties>
- <ObjectPropertyRange>
- <ObjectProperty IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#hasPet"/>
- <Class IRI="http://owl.cs.manchester.ac.uk/2009/07/sssw/pets#Animal"/>
- </ObjectPropertyRange>
- </Ontology>
- <!-- Generated by the OWL API (version 4.2.6.20160910-2108) https://github.com/owlcs/owlapi -->
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement