diff --git a/HamptonOntologies/KitchenUtensilBird/KitchenUtensilBirdOntologies/BirdBis.owl b/HamptonOntologies/KitchenUtensilBird/KitchenUtensilBirdOntologies/BirdBis.owl new file mode 100644 index 0000000000000000000000000000000000000000..1ea5d0dc3b4f41257697779db62cd0a423f30a34 --- /dev/null +++ b/HamptonOntologies/KitchenUtensilBird/KitchenUtensilBirdOntologies/BirdBis.owl @@ -0,0 +1,1034 @@ +<?xml version="1.0"?> +<rdf:RDF xmlns="http://www.semanticweb.org/guenda/ontologies/2020/2/fish#" + xml:base="http://www.semanticweb.org/guenda/ontologies/2020/2/fish" + xmlns:fv="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#" + xmlns:owl="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#"> + <owl:Ontology rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/bird"/> + + + + <!-- + /////////////////////////////////////////////////////////////////////////////////////// + // + // Object Properties + // + /////////////////////////////////////////////////////////////////////////////////////// + --> + + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#builds --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#builds"> + <rdfs:domain rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + <rdfs:range rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + </owl:ObjectProperty> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats"> + <rdfs:domain rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + <rdfs:range> + <owl:Class> + <owl:unionOf rdf:parseType="Collection"> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food"/> + </owl:unionOf> + </owl:Class> + </rdfs:range> + </owl:ObjectProperty> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasFeature --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasFeature"> + <rdfs:domain> + <owl:Class> + <owl:unionOf rdf:parseType="Collection"> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + </owl:unionOf> + </owl:Class> + </rdfs:domain> + <rdfs:range rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature"/> + </owl:ObjectProperty> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isControlledBy --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isControlledBy"> + <rdfs:domain rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + <rdfs:range rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + </owl:ObjectProperty> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isEnjoyedBy --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isEnjoyedBy"> + <rdfs:range rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + </owl:ObjectProperty> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#lays --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#lays"> + <rdfs:domain rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + <rdfs:range rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Egg"/> + </owl:ObjectProperty> + <owl:Axiom> + <owl:annotatedSource rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#lays"/> + <owl:annotatedProperty rdf:resource="http://www.w3.org/2000/01/rdf-schema#domain"/> + <owl:annotatedTarget rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + <rdfs:comment>Animal?</rdfs:comment> + </owl:Axiom> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#madeOf --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#madeOf"> + <rdfs:domain> + <owl:Class> + <owl:unionOf rdf:parseType="Collection"> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + </owl:unionOf> + </owl:Class> + </rdfs:domain> + <rdfs:range rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter"/> + </owl:ObjectProperty> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayBeEatenBy --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayBeEatenBy"> + <rdfs:domain> + <owl:Class> + <owl:unionOf rdf:parseType="Collection"> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food"/> + </owl:unionOf> + </owl:Class> + </rdfs:domain> + <rdfs:range rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + </owl:ObjectProperty> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#usedFor --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#usedFor"> + <rdfs:domain rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + <rdfs:range rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + </owl:ObjectProperty> + + + + <!-- + /////////////////////////////////////////////////////////////////////////////////////// + // + // Classes + // + /////////////////////////////////////////////////////////////////////////////////////// + --> + + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AirSac --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AirSac"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BeadyEye"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Beak"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Claw"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feather"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Leg"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#madeOf"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicMatter"/> + </owl:Restriction> + </rdfs:subClassOf> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BeadyEye --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BeadyEye"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Beak"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Claw"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feather"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Leg"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Beak --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Beak"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Claw"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feather"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Leg"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BigSize --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BigSize"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MediumSize"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallSize"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bird --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bird"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#WildAnimal"/> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#builds"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Nest"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasFeature"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#DelicateStructure"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AirSac"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BeadyEye"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Beak"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Claw"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feather"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Leg"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SharpBeak"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isEnjoyedBy"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#lays"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Egg"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayBeEatenBy"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Chirping"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Flying"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Migrating"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Singing"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart"/> + <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality"/> + <owl:allValuesFrom> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale"/> + <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Colorful"/> + </owl:Restriction> + </owl:allValuesFrom> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality"/> + <owl:allValuesFrom> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale"/> + <owl:allValuesFrom> + <owl:Class> + <owl:unionOf rdf:parseType="Collection"> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CageArea"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TreeArea"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#WildArea"/> + </owl:unionOf> + </owl:Class> + </owl:allValuesFrom> + </owl:Restriction> + </owl:allValuesFrom> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality"/> + <owl:allValuesFrom> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale"/> + <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#LightWeight"/> + </owl:Restriction> + </owl:allValuesFrom> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality"/> + <owl:allValuesFrom> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale"/> + <owl:allValuesFrom> + <owl:Class> + <owl:unionOf rdf:parseType="Collection"> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BigSize"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MediumSize"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallSize"/> + </owl:unionOf> + </owl:Class> + </owl:allValuesFrom> + </owl:Restriction> + </owl:allValuesFrom> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#madeOf"/> + <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicMatter"/> + </owl:Restriction> + </rdfs:subClassOf> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human"/> + </owl:Class> + <owl:Axiom> + <owl:annotatedSource rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bird"/> + <owl:annotatedProperty rdf:resource="http://www.w3.org/2000/01/rdf-schema#subClassOf"/> + <owl:annotatedTarget rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + <rdfs:comment>directly classified as an Animal in Hampton experiments, here classified also as WildAnimal to account for the distinction Wild-Functional in the case of the impossible combination with KitchenUtensil</rdfs:comment> + </owl:Axiom> + <owl:Axiom> + <owl:annotatedSource rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bird"/> + <owl:annotatedProperty rdf:resource="http://www.w3.org/2000/01/rdf-schema#subClassOf"/> + <owl:annotatedTarget rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#WildAnimal"/> + <rdfs:comment>directly classified as an Animal in Hampton experiments, here classified also as WildAnimal to account for the distinction Wild-Functional in the case of the impossible combination with KitchenUtensil</rdfs:comment> + </owl:Axiom> + <owl:Axiom> + <owl:annotatedSource rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bird"/> + <owl:annotatedProperty rdf:resource="http://www.w3.org/2000/01/rdf-schema#subClassOf"/> + <owl:annotatedTarget> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality"/> + <owl:allValuesFrom> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale"/> + <owl:allValuesFrom> + <owl:Class> + <owl:unionOf rdf:parseType="Collection"> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BigSize"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MediumSize"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallSize"/> + </owl:unionOf> + </owl:Class> + </owl:allValuesFrom> + </owl:Restriction> + </owl:allValuesFrom> + </owl:Restriction> + </owl:annotatedTarget> + <rdfs:comment>DOLCE inspired formulation</rdfs:comment> + </owl:Axiom> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BirdSeed --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BirdSeed"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BlackBird --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BlackBird"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bird"/> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BirdSeed"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Worm"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality"/> + <owl:allValuesFrom> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale"/> + <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallSize"/> + </owl:Restriction> + </owl:allValuesFrom> + </owl:Restriction> + </rdfs:subClassOf> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CageArea --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CageArea"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CarnivorousAnimal --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CarnivorousAnimal"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Chirping --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Chirping"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Claw --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Claw"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feather"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Leg"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Colorful --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Colorful"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Cooking --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Cooking"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#DelicateStructure --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#DelicateStructure"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eagle --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eagle"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bird"/> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CarnivorousAnimal"/> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallAnimal"/> + </owl:Restriction> + </rdfs:subClassOf> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Sparrow"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Egg --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Egg"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feather --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feather"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Leg"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fluttering --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fluttering"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Flying --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Flying"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicMatter"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Leg --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Leg"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#LightWeight --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#LightWeight"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#WeightRegion"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MediumSize --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MediumSize"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallSize"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Migrating --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Migrating"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + <rdfs:comment>achievement? accomplishment?</rdfs:comment> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Nest --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Nest"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicMatter"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + </owl:Class> + <owl:Axiom> + <owl:annotatedSource rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"/> + <owl:annotatedProperty rdf:resource="http://www.w3.org/2000/01/rdf-schema#subClassOf"/> + <owl:annotatedTarget rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + <rdfs:comment>One could add: hasOrganicPart some OrganicBodyPart SubClassOf madeOf some OrganicMatter</rdfs:comment> + </owl:Axiom> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicMatter --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicMatter"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SelfMoving --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SelfMoving"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SharpBeak --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SharpBeak"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Beak"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Singing --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Singing"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallAnimal --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallAnimal"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallSize --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallSize"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Sparrow --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Sparrow"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bird"/> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BirdSeed"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Worm"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality"/> + <owl:allValuesFrom> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale"/> + <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallSize"/> + </owl:Restriction> + </owl:allValuesFrom> + </owl:Restriction> + </rdfs:subClassOf> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TreeArea --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TreeArea"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Walking --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Walking"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#WeightRegion --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#WeightRegion"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#WildAnimal --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#WildAnimal"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + <rdfs:subClassOf> + <owl:Class> + <owl:complementOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isControlledBy"/> + <owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> + </owl:Restriction> + </owl:complementOf> + </owl:Class> + </rdfs:subClassOf> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#WildArea --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#WildArea"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Worm --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Worm"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + </owl:Class> + + + + <!-- + /////////////////////////////////////////////////////////////////////////////////////// + // + // Individuals + // + /////////////////////////////////////////////////////////////////////////////////////// + --> + + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#tweety --> + + <owl:NamedIndividual rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#tweety"> + <rdf:type rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bird"/> + </owl:NamedIndividual> + + + + <!-- + /////////////////////////////////////////////////////////////////////////////////////// + // + // General axioms + // + /////////////////////////////////////////////////////////////////////////////////////// + --> + + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food"/> + <rdfs:subClassOf> + <owl:Class> + <owl:complementOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#usedFor"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Cooking"/> + </owl:Restriction> + </owl:complementOf> + </owl:Class> + </rdfs:subClassOf> + </owl:Restriction> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Chirping"/> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + </owl:Restriction> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fluttering"/> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + </owl:Restriction> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fluttering"/> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SelfMoving"/> + </owl:Restriction> + </rdfs:subClassOf> + </owl:Restriction> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Flying"/> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + </owl:Restriction> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Flying"/> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SelfMoving"/> + </owl:Restriction> + </rdfs:subClassOf> + </owl:Restriction> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Migrating"/> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + </owl:Restriction> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Migrating"/> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SelfMoving"/> + </owl:Restriction> + </rdfs:subClassOf> + </owl:Restriction> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Singing"/> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> + </owl:Restriction> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Walking"/> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> + </owl:Restriction> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Walking"/> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SelfMoving"/> + </owl:Restriction> + </rdfs:subClassOf> + </owl:Restriction> +</rdf:RDF> + + + +<!-- Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi --> +