From c91b328ff630d7f499d54f3d5fc657fa9235edfa Mon Sep 17 00:00:00 2001 From: "Guendalina.Righetti1" <guendalina.righetti@unibz.it> Date: Tue, 14 Nov 2023 15:46:49 +0100 Subject: [PATCH] Upload New File --- .../FruitFurnitureOntologies/Furniture.owl | 869 ++++++++++++++++++ 1 file changed, 869 insertions(+) create mode 100644 HamptonOntologies/FruitFurniture/FruitFurnitureOntologies/Furniture.owl diff --git a/HamptonOntologies/FruitFurniture/FruitFurnitureOntologies/Furniture.owl b/HamptonOntologies/FruitFurniture/FruitFurnitureOntologies/Furniture.owl new file mode 100644 index 0000000..8327594 --- /dev/null +++ b/HamptonOntologies/FruitFurniture/FruitFurnitureOntologies/Furniture.owl @@ -0,0 +1,869 @@ +<?xml version="1.0"?> +<rdf:RDF xmlns="http://www.semanticweb.org/guenda/ontologies/2020/2/furniture#" + xml:base="http://www.semanticweb.org/guenda/ontologies/2020/2/furniture" + 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/furniture"/> + + + + <!-- + /////////////////////////////////////////////////////////////////////////////////////// + // + // Object Properties + // + /////////////////////////////////////////////////////////////////////////////////////// + --> + + + + + <!-- 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:range rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature"/> + </owl:ObjectProperty> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasFunction --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasFunction"> + <rdfs:domain rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact"/> + <rdfs:range rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpecificFunction"/> + </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#hasSizeQuale --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale"/> + + + + <!-- 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 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#AmountOfMatter"/> + </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#supports --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#supports"> + <rdfs:domain rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact"/> + <rdfs:range> + <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:range> + </owl:ObjectProperty> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#usedBy --> + + <owl:ObjectProperty rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#usedBy"> + <rdfs:domain rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact"/> + <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#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#Artefact"/> + <rdfs:range> + <owl:Class> + <owl:unionOf rdf:parseType="Collection"> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpecificFunction"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State"/> + </owl:unionOf> + </owl:Class> + </rdfs:range> + </owl:ObjectProperty> + + + + <!-- + /////////////////////////////////////////////////////////////////////////////////////// + // + // Classes + // + /////////////////////////////////////////////////////////////////////////////////////// + --> + + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement"/> + + + + <!-- 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#AmountOfMatter --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + <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#NonOrganicMatter"/> + </owl:Restriction> + </rdfs:subClassOf> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicNonAgentiveObject"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bed --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bed"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Furniture"/> + <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#FirmStructure"/> + </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#SoftTexture"/> + </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#usedFor"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SleepingOn"/> + </owl:Restriction> + </rdfs:subClassOf> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Chair"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wardrobe"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BuildingArea --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BuildingArea"> + <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#Chair --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Chair"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Furniture"/> + <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#FirmStructure"/> + </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#usedFor"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SittingOn"/> + </owl:Restriction> + </rdfs:subClassOf> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wardrobe"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Comfort --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Comfort"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Satisfaction"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Covering --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Covering"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FurniturePart"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Leg"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Decoration --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Decoration"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpecificFunction"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#InalterateLasting"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SittingOn"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Storage"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fabric --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fabric"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Metal"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wood"/> + </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#FirmStructure --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FirmStructure"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SoftTexture"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SquashyStructure"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FixedSize --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FixedSize"> + <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#Furniture --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Furniture"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact"/> + <rdfs:subClassOf> + <owl:Class> + <owl:complementOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#usedFor"/> + <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Decoration"/> + </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#hasFeature"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FirmStructure"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasFunction"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpecificFunction"/> + </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#Covering"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#madeOf"/> + <owl:someValuesFrom> + <owl:Class> + <owl:unionOf rdf:parseType="Collection"> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fabric"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Metal"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wood"/> + </owl:unionOf> + </owl:Class> + </owl:someValuesFrom> + </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#InalterateLasting"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#supports"/> + <owl:someValuesFrom> + <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> + </owl:someValuesFrom> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#usedBy"/> + <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#usedFor"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Comfort"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <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#Decoration"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <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#Satisfaction"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#usedFor"/> + <owl:someValuesFrom> + <owl:Class> + <owl:unionOf rdf:parseType="Collection"> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SittingOn"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SleepingOn"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Storage"/> + </owl:unionOf> + </owl:Class> + </owl:someValuesFrom> + </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#FurniturePart"/> + </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#BuildingArea"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#HouseArea"/> + </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 rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FixedSize"/> + </owl:Restriction> + </owl:allValuesFrom> + </owl:Restriction> + </rdfs:subClassOf> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FurniturePart"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FurniturePart --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FurniturePart"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Growing --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Growing"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ripening"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Rotting"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#HouseArea --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#HouseArea"> + <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#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#AgentivePhysicalObject"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#InalterateLasting --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#InalterateLasting"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SittingOn"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Storage"/> + </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#FurniturePart"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Metal --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Metal"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wood"/> + </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#NonAgentiveSocialObject --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject"/> + + + + <!-- 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"/> + <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#InalterateLasting"/> + </owl:Restriction> + </rdfs:subClassOf> + <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#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#OrganicNonAgentiveObject --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicNonAgentiveObject"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject"/> + <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: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#Ripening --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ripening"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Rotting"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Rotting --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Rotting"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Satisfaction --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Satisfaction"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SittingOn --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SittingOn"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Storage"/> + </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#SleepingOn --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SleepingOn"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Storage"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SoftTexture --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SoftTexture"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature"/> + <owl:disjointWith rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SquashyStructure"/> + </owl:Class> + <owl:Axiom> + <owl:annotatedSource rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SoftTexture"/> + <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#Feature"/> + <rdfs:comment>soft texture both in Fruit and Furniture, both feature, how to proceed with alignment?</rdfs:comment> + </owl:Axiom> + + + + <!-- 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#SpatialLocation --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpecificFunction --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpecificFunction"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SquashyStructure --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SquashyStructure"> + <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#State --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State"/> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Storage --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Storage"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpecificFunction"/> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wardrobe --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wardrobe"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Furniture"/> + <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#FirmStructure"/> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <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#Storage"/> + </owl:Restriction> + </rdfs:subClassOf> + </owl:Class> + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wood --> + + <owl:Class rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wood"> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicMatter"/> + </owl:Class> + + + + <!-- + /////////////////////////////////////////////////////////////////////////////////////// + // + // Individuals + // + /////////////////////////////////////////////////////////////////////////////////////// + --> + + + + + <!-- http://www.semanticweb.org/guenda/ontologies/2020/2/fv#lumière --> + + <owl:NamedIndividual rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#lumière"> + <rdf:type rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Furniture"/> + </owl:NamedIndividual> + + + + <!-- + /////////////////////////////////////////////////////////////////////////////////////// + // + // General axioms + // + /////////////////////////////////////////////////////////////////////////////////////// + --> + + <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#FirmStructure"/> + <rdfs:subClassOf> + <owl:Class> + <owl:complementOf> + <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#SquashyStructure"/> + </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#madeOf"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter"/> + <rdfs:subClassOf> + <owl:Class> + <owl:complementOf> + <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#Growing"/> + </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#madeOf"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter"/> + <rdfs:subClassOf> + <owl:Class> + <owl:complementOf> + <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#Ripening"/> + </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#madeOf"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter"/> + <rdfs:subClassOf> + <owl:Class> + <owl:complementOf> + <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#Rotting"/> + </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#madeOf"/> + <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter"/> + <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#InalterateLasting"/> + </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#InalterateLasting"/> + <rdfs:subClassOf> + <owl:Class> + <owl:complementOf> + <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#Growing"/> + </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#InalterateLasting"/> + <rdfs:subClassOf> + <owl:Class> + <owl:complementOf> + <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#Ripening"/> + </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#InalterateLasting"/> + <rdfs:subClassOf> + <owl:Class> + <owl:complementOf> + <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#Rotting"/> + </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#usedFor"/> + <owl:someValuesFrom> + <owl:Class> + <owl:unionOf rdf:parseType="Collection"> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SittingOn"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SleepingOn"/> + <rdf:Description rdf:about="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Storage"/> + </owl:unionOf> + </owl:Class> + </owl:someValuesFrom> + <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact"/> + </owl:Restriction> + <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#FixedSize"/> + </owl:Restriction> + </owl:allValuesFrom> + <rdfs:subClassOf> + <owl:Class> + <owl:complementOf> + <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#Growing"/> + </owl:Restriction> + </owl:complementOf> + </owl:Class> + </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 --> + -- GitLab