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