<?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/fish"/> <!-- /////////////////////////////////////////////////////////////////////////////////////// // // Object Properties // /////////////////////////////////////////////////////////////////////////////////////// --> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn --> <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn"> <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#SpaceRegion"/> </owl:ObjectProperty> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesThrough --> <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesThrough"> <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#OrganicBodyPart"/> </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#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#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#isDangerousFor --> <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isDangerousFor"> <rdfs:comment>to vague to have domain and range constraints</rdfs:comment> </owl:ObjectProperty> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isGraspableBy --> <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isGraspableBy"> <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#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> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn --> <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn"> <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#SpaceRegion"/> <rdfs:comment>anche qui si potrebe togliere, usando hasLocationQuality e hasLocationValue di Dolce. Altrimenti "lives in" si puo' definire con la composizione di ruoli (Subproperty Chain of)</rdfs:comment> </owl:ObjectProperty> <!-- 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#LivingThing"/> <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicMatter"/> </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#needs --> <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#needs"> <rdfs:comment>Domain and Range are modelled inside the Vehicle ontology, here they are choosen to be left free, since the need of Fuel for a Vehicle is something external to the ontology of Fish- ' needs' would be too vague to have domain and range constraints</rdfs:comment> </owl:ObjectProperty> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn --> <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn"> <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#Water"/> </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:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </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#Anchovy --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Anchovy"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fish"/> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater"/> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn"/> <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater"/> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn"/> <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#GrassCarp"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Shark"/> </owl:Class> <!-- 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#LivingThing"/> <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#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#Bones --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bones"> <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#Eye"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fin"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Gill"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Limb"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Mouth"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Scale"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Tail"/> </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#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#Eye --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eye"> <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#Fin"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Gill"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Limb"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Mouth"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Scale"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Tail"/> </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#Fin --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fin"> <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#Gill"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Limb"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Mouth"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Scale"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Tail"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fish --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fish"> <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#SelfMotivated"/> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn"/> <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn"/> <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn"/> <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <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#Limb"/> </owl:Restriction> </owl:complementOf> </owl:Class> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesThrough"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Gill"/> </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#SlipperySurface"/> </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#SmoothSurface"/> </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#Bones"/> </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#Eye"/> </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#Fin"/> </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#Gill"/> </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#Mouth"/> </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#Scale"/> </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#Tail"/> </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#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#hasShapeQuale"/> <owl:allValuesFrom> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OvalShape"/> <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#StreamlinedShape"/> </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#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#Fish"/> <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#hasColorQuale"/> <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Colorful"/> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> </owl:annotatedTarget> <rdfs:comment>OR hasQuality some (SpatialLocation and hasValue some Colorful)??</rdfs:comment> </owl:Axiom> <owl:Axiom> <owl:annotatedSource rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fish"/> <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#hasShapeQuale"/> <owl:allValuesFrom> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OvalShape"/> <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#StreamlinedShape"/> </owl:unionOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> </owl:annotatedTarget> <rdfs:comment>DOLCE inspired formulation</rdfs:comment> </owl:Axiom> <owl:Axiom> <owl:annotatedSource rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fish"/> <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#FixedAndStableArea --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FixedAndStableArea"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </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:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Gill --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Gill"> <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#Limb"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Mouth"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Scale"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Tail"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#GrassCarp --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#GrassCarp"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fish"/> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater"/> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn"/> <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater"/> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn"/> <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Shark"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </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#Limb --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Limb"> <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#Mouth"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Scale"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Tail"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#LivingThing --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#LivingThing"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> </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#Mouth --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Mouth"> <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#Scale"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Tail"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Moving --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Moving"> <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#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#OvalShape --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OvalShape"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#StreamlinedShape"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PredatorAnimal --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PredatorAnimal"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal"/> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isDangerousFor"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human"/> </owl:Restriction> </rdfs:subClassOf> </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#SaltWater --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Scale --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Scale"> <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#Tail"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SelfMotivated --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SelfMotivated"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject"/> <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> <rdfs:comment>kill this as a concept, and just use not isControlledBy some?</rdfs:comment> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion"/> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Shark --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Shark"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fish"/> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PredatorAnimal"/> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater"/> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn"/> <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater"/> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn"/> <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </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#SlipperySurface --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SlipperySurface"> <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#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#SmoothSurface --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmoothSurface"> <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#SpaceRegion --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion"/> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#StreamlinedShape --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#StreamlinedShape"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </owl:Class> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Tail --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Tail"> <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#Water --> <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"> <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion"/> </owl:Class> <!-- /////////////////////////////////////////////////////////////////////////////////////// // // Individuals // /////////////////////////////////////////////////////////////////////////////////////// --> <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#nemo --> <owl:NamedIndividual rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#nemo"> <rdf:type rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fish"/> </owl:NamedIndividual> <!-- /////////////////////////////////////////////////////////////////////////////////////// // // General axioms // /////////////////////////////////////////////////////////////////////////////////////// --> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn"/> <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </owl:Restriction> </owl:intersectionOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <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#needs"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel"/> </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#hasFeature"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SlipperySurface"/> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Restriction> <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isGraspableBy"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human"/> </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#Moving"/> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <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 rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FixedAndStableArea"/> </owl:Restriction> </owl:allValuesFrom> </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#swimsIn"/> <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water"/> <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#Moving"/> </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 -->