From f4ed3bc698d08d35e2618e2dcfc2e92e199264c2 Mon Sep 17 00:00:00 2001 From: Anders Nilsson <anders.nilsson@cs.lth.se> Date: Thu, 14 Sep 2006 16:01:52 +0200 Subject: [PATCH] Pruned the v06 ontology as small_v06.owl in order to get a usable test case for the JastAdd system --- testontologies/small_v06.owl | 716 +++++++++++++++++++++++++++++++++++ 1 file changed, 716 insertions(+) create mode 100644 testontologies/small_v06.owl diff --git a/testontologies/small_v06.owl b/testontologies/small_v06.owl new file mode 100644 index 0000000..869040d --- /dev/null +++ b/testontologies/small_v06.owl @@ -0,0 +1,716 @@ +<?xml version="1.0"?> +<rdf:RDF + xmlns="http://www.owl-ontologies.com/siaras.owl#" + xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:xsd="http://www.w3.org/2001/XMLSchema#" + xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" + xmlns:owl="http://www.w3.org/2002/07/owl#" + xmlns:daml="http://www.daml.org/2001/03/daml+oil#" + xmlns:p1="http://www.owl-ontologies.com/assert.owl#" + xmlns:dc="http://purl.org/dc/elements/1.1/" + xml:base="http://www.owl-ontologies.com/siaras.owl"> + <owl:Ontology rdf:about=""/> + <owl:Class rdf:ID="Displace"> + <owl:disjointWith> + <owl:Class rdf:ID="Position"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:ID="Pass"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:ID="Pan"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:ID="Arrange"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:ID="Convey"/> + </owl:disjointWith> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Move translationally a part along a straight line. The part's orientiation remains unchanged.</rdfs:comment> + <owl:disjointWith> + <owl:Class rdf:ID="Turn"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:ID="Orient"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:ID="Feed"/> + </owl:disjointWith> + <rdfs:subClassOf> + <owl:Class rdf:ID="Move"/> + </rdfs:subClassOf> + </owl:Class> + <owl:Class rdf:about="#Turn"> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Move a part from one to another orientation by turning it around an axis which intersects with the part.</rdfs:comment> + <owl:disjointWith> + <owl:Class rdf:about="#Position"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Orient"/> + </owl:disjointWith> + <rdfs:subClassOf> + <owl:Class rdf:about="#Move"/> + </rdfs:subClassOf> + <owl:disjointWith> + <owl:Class rdf:about="#Feed"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Pan"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Arrange"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Pass"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Convey"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#Displace"/> + </owl:Class> + <owl:Class rdf:about="#Move"> + <rdfs:subClassOf> + <owl:Class rdf:ID="ManipulationAndHandlingFunction"/> + </rdfs:subClassOf> + <owl:disjointWith> + <owl:Class rdf:ID="Store"/> + </owl:disjointWith> + </owl:Class> + <owl:Class rdf:ID="MagnetGripper"> + <owl:disjointWith> + <owl:Class rdf:ID="FingerGripper"/> + </owl:disjointWith> + <rdfs:subClassOf> + <owl:Class rdf:ID="Gripper"/> + </rdfs:subClassOf> + <owl:disjointWith> + <owl:Class rdf:ID="VacuumGripper"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:ID="PincerGripper"/> + </owl:disjointWith> + </owl:Class> + <owl:Class rdf:about="#Orient"> + <owl:disjointWith> + <owl:Class rdf:about="#Feed"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#Turn"/> + <owl:disjointWith> + <owl:Class rdf:about="#Pass"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Pan"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Convey"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#Displace"/> + <owl:disjointWith> + <owl:Class rdf:about="#Position"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Arrange"/> + </owl:disjointWith> + <rdfs:subClassOf rdf:resource="#Move"/> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Move a part from an undefined to a well-defined orientation. The part's position is not important here.</rdfs:comment> + </owl:Class> + <owl:Class rdf:ID="ParallelGripper"> + <rdfs:subClassOf> + <owl:Class rdf:about="#PincerGripper"/> + </rdfs:subClassOf> + <owl:disjointWith> + <owl:Class rdf:ID="AngleGripper"/> + </owl:disjointWith> + </owl:Class> + <owl:Class rdf:about="#Arrange"> + <owl:disjointWith> + <owl:Class rdf:about="#Feed"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Pan"/> + </owl:disjointWith> + <rdfs:subClassOf rdf:resource="#Move"/> + <owl:disjointWith> + <owl:Class rdf:about="#Convey"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Pass"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Position"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#Displace"/> + <owl:disjointWith rdf:resource="#Orient"/> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Move a part from an undefined to a well-defined orientation and position.</rdfs:comment> + <owl:disjointWith rdf:resource="#Turn"/> + </owl:Class> + <owl:Class rdf:about="#Feed"> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Move a part from one to another positition along a given trajectory. The part's orientation is given at each point of the trajectory.</rdfs:comment> + <owl:disjointWith> + <owl:Class rdf:about="#Pass"/> + </owl:disjointWith> + <rdfs:subClassOf rdf:resource="#Move"/> + <owl:disjointWith> + <owl:Class rdf:about="#Pan"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#Displace"/> + <owl:disjointWith> + <owl:Class rdf:about="#Position"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#Orient"/> + <owl:disjointWith> + <owl:Class rdf:about="#Convey"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#Arrange"/> + <owl:disjointWith rdf:resource="#Turn"/> + </owl:Class> + <owl:Class rdf:about="#Gripper"> + <rdfs:subClassOf> + <owl:Class rdf:ID="ManipulationAndHandling"/> + </rdfs:subClassOf> + </owl:Class> + <owl:Class rdf:ID="StorePartlyOrdered"> + <rdfs:subClassOf> + <owl:Class rdf:about="#Store"/> + </rdfs:subClassOf> + <owl:disjointWith> + <owl:Class rdf:ID="StoreUnOrdered"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:ID="StoreInOrder"/> + </owl:disjointWith> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Save workpieces which are geometrically defined in a well-defined position and/or orientation. This means position and orientation are only defined in some of their degrees of freedom.</rdfs:comment> + </owl:Class> + <owl:Class rdf:about="#ManipulationAndHandlingFunction"> + <rdfs:subClassOf> + <owl:Class rdf:ID="MainFunction"/> + </rdfs:subClassOf> + </owl:Class> + <owl:Class rdf:ID="Manufacturing"> + <rdfs:subClassOf> + <owl:Class rdf:ID="Device"/> + </rdfs:subClassOf> + </owl:Class> + <owl:Class rdf:about="#Store"> + <rdfs:subClassOf rdf:resource="#ManipulationAndHandlingFunction"/> + <owl:disjointWith rdf:resource="#Move"/> + </owl:Class> + <owl:Class rdf:ID="Task"> + <owl:disjointWith> + <owl:Class rdf:ID="Property"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Device"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:ID="Skill"/> + </owl:disjointWith> + </owl:Class> + <owl:Class rdf:about="#MainFunction"> + <owl:disjointWith> + <owl:Class rdf:ID="AdditionalFunction"/> + </owl:disjointWith> + <rdfs:subClassOf> + <owl:Class rdf:about="#Skill"/> + </rdfs:subClassOf> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >SIARAS (FP6-017146) +Structured Description of Skills and Device 1.0 +pag:5 +(Breakdown of Skills)</rdfs:comment> + </owl:Class> + <owl:Class rdf:ID="JointFingerGripper"> + <rdfs:subClassOf> + <owl:Class rdf:about="#FingerGripper"/> + </rdfs:subClassOf> + <owl:disjointWith> + <owl:Class rdf:ID="ElasticFingerGripper"/> + </owl:disjointWith> + </owl:Class> + <owl:Class rdf:ID="LineParallelGripper"> + <owl:disjointWith> + <owl:Class rdf:ID="CircularParallelGripper"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:ID="GeneralParallelGripper"/> + </owl:disjointWith> + <rdfs:subClassOf rdf:resource="#ParallelGripper"/> + </owl:Class> + <owl:Class rdf:about="#Pass"> + <owl:disjointWith rdf:resource="#Arrange"/> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Move a part from one to another positition along an undefined trajectory. The part's orientation remains unchanged.</rdfs:comment> + <owl:disjointWith> + <owl:Class rdf:about="#Convey"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#Feed"/> + <owl:disjointWith rdf:resource="#Orient"/> + <owl:disjointWith rdf:resource="#Displace"/> + <owl:disjointWith rdf:resource="#Turn"/> + <owl:disjointWith> + <owl:Class rdf:about="#Position"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Pan"/> + </owl:disjointWith> + <rdfs:subClassOf rdf:resource="#Move"/> + </owl:Class> + <owl:Class rdf:about="#Pan"> + <rdfs:subClassOf rdf:resource="#Move"/> + <owl:disjointWith> + <owl:Class rdf:about="#Position"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#Pass"/> + <owl:disjointWith rdf:resource="#Displace"/> + <owl:disjointWith rdf:resource="#Arrange"/> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Move a part from one to another orientation and position by rotation around an axis which does not intersect with the part.</rdfs:comment> + <owl:disjointWith> + <owl:Class rdf:about="#Convey"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#Turn"/> + <owl:disjointWith rdf:resource="#Feed"/> + <owl:disjointWith rdf:resource="#Orient"/> + </owl:Class> + <owl:Class rdf:about="#PincerGripper"> + <rdfs:subClassOf rdf:resource="#Gripper"/> + <owl:disjointWith> + <owl:Class rdf:about="#FingerGripper"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#MagnetGripper"/> + <owl:disjointWith> + <owl:Class rdf:about="#VacuumGripper"/> + </owl:disjointWith> + </owl:Class> + <owl:Class rdf:ID="ID"> + <owl:disjointWith> + <owl:Class rdf:ID="Cost"/> + </owl:disjointWith> + <rdfs:subClassOf> + <owl:Class rdf:about="#Property"/> + </rdfs:subClassOf> + </owl:Class> + <owl:Class rdf:about="#CircularParallelGripper"> + <owl:disjointWith rdf:resource="#LineParallelGripper"/> + <owl:disjointWith> + <owl:Class rdf:about="#GeneralParallelGripper"/> + </owl:disjointWith> + <rdfs:subClassOf rdf:resource="#ParallelGripper"/> + </owl:Class> + <owl:Class rdf:ID="Assembly"> + <rdfs:subClassOf> + <owl:Class rdf:about="#Device"/> + </rdfs:subClassOf> + </owl:Class> + <owl:Class rdf:about="#StoreUnOrdered"> + <owl:disjointWith> + <owl:Class rdf:about="#StoreInOrder"/> + </owl:disjointWith> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Save workpieces which are geometrically defined in an undefined position and orientation.</rdfs:comment> + <owl:disjointWith rdf:resource="#StorePartlyOrdered"/> + <rdfs:subClassOf rdf:resource="#Store"/> + </owl:Class> + <owl:Class rdf:about="#AdditionalFunction"> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >SIARAS (FP6-017146) +Structured Description of Skills and Device 1.0 +pag:5 +(Breakdown of Skills)</rdfs:comment> + <rdfs:subClassOf> + <owl:Class rdf:about="#Skill"/> + </rdfs:subClassOf> + <owl:disjointWith rdf:resource="#MainFunction"/> + </owl:Class> + <owl:Class rdf:about="#Convey"> + <owl:disjointWith rdf:resource="#Turn"/> + <owl:disjointWith rdf:resource="#Orient"/> + <owl:disjointWith rdf:resource="#Feed"/> + <owl:disjointWith rdf:resource="#Displace"/> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Move a part (or transported material) from one undefined to another undefined position. The trajectory and the orientation of the parts while moved are not necessarily defined.</rdfs:comment> + <owl:disjointWith rdf:resource="#Pass"/> + <owl:disjointWith> + <owl:Class rdf:about="#Position"/> + </owl:disjointWith> + <owl:disjointWith rdf:resource="#Pan"/> + <rdfs:subClassOf rdf:resource="#Move"/> + <owl:disjointWith rdf:resource="#Arrange"/> + </owl:Class> + <owl:Class rdf:about="#Device"> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >SIARAS (FP6-017146) +Structured Description of Skills and Device 1.0 +pag:8</rdfs:comment> + <owl:disjointWith rdf:resource="#Task"/> + <rdfs:subClassOf> + <owl:Restriction> + <owl:allValuesFrom> + <owl:Class rdf:about="#Property"/> + </owl:allValuesFrom> + <owl:onProperty> + <owl:ObjectProperty rdf:ID="hasProperty"/> + </owl:onProperty> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf> + <owl:Restriction> + <owl:onProperty> + <owl:ObjectProperty rdf:ID="hasSkill"/> + </owl:onProperty> + <owl:allValuesFrom> + <owl:Class rdf:about="#Skill"/> + </owl:allValuesFrom> + </owl:Restriction> + </rdfs:subClassOf> + <owl:disjointWith> + <owl:Class rdf:about="#Property"/> + </owl:disjointWith> + <owl:disjointWith> + <owl:Class rdf:about="#Skill"/> + </owl:disjointWith> + <rdfs:subClassOf> + <owl:Restriction> + <owl:someValuesFrom rdf:resource="#MainFunction"/> + <owl:onProperty> + <owl:ObjectProperty rdf:about="#hasSkill"/> + </owl:onProperty> + </owl:Restriction> + </rdfs:subClassOf> + <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> + </owl:Class> + <owl:Class rdf:about="#FingerGripper"> + <owl:disjointWith rdf:resource="#PincerGripper"/> + <rdfs:subClassOf rdf:resource="#Gripper"/> + <owl:disjointWith rdf:resource="#MagnetGripper"/> + <owl:disjointWith> + <owl:Class rdf:about="#VacuumGripper"/> + </owl:disjointWith> + </owl:Class> + <owl:Class rdf:about="#StoreInOrder"> + <owl:disjointWith rdf:resource="#StorePartlyOrdered"/> + <owl:disjointWith rdf:resource="#StoreUnOrdered"/> + <rdfs:subClassOf rdf:resource="#Store"/> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Save workpieces which are geometrically defined in a well-defined position and/or orientation.</rdfs:comment> + </owl:Class> + <owl:Class rdf:about="#GeneralParallelGripper"> + <owl:disjointWith rdf:resource="#LineParallelGripper"/> + <owl:disjointWith rdf:resource="#CircularParallelGripper"/> + <rdfs:subClassOf rdf:resource="#ParallelGripper"/> + </owl:Class> + <owl:Class rdf:about="#Property"> + <owl:disjointWith rdf:resource="#Device"/> + <owl:disjointWith rdf:resource="#Task"/> + <owl:disjointWith> + <owl:Class rdf:about="#Skill"/> + </owl:disjointWith> + </owl:Class> + <owl:Class rdf:about="#AngleGripper"> + <owl:disjointWith rdf:resource="#ParallelGripper"/> + <rdfs:subClassOf rdf:resource="#PincerGripper"/> + </owl:Class> + <owl:Class rdf:about="#ManipulationAndHandling"> + <rdfs:subClassOf rdf:resource="#Device"/> + </owl:Class> + <owl:Class rdf:about="#VacuumGripper"> + <owl:disjointWith rdf:resource="#MagnetGripper"/> + <owl:disjointWith rdf:resource="#PincerGripper"/> + <owl:disjointWith rdf:resource="#FingerGripper"/> + <rdfs:subClassOf rdf:resource="#Gripper"/> + </owl:Class> + <owl:Class rdf:about="#Cost"> + <owl:disjointWith rdf:resource="#ID"/> + <rdfs:subClassOf rdf:resource="#Property"/> + </owl:Class> + <owl:Class rdf:ID="IntelligentRobot"> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Introdution to Robotics +(Analysis, System, Applications) +Saeed B. Niku</rdfs:comment> + <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DeprecatedClass"/> + </owl:Class> + <owl:Class rdf:about="#ElasticFingerGripper"> + <owl:disjointWith rdf:resource="#JointFingerGripper"/> + <rdfs:subClassOf rdf:resource="#FingerGripper"/> + </owl:Class> + <owl:Class rdf:about="#Position"> + <owl:disjointWith rdf:resource="#Turn"/> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >Move a part from an undefined to a well-defined position. The part's orientation is not important here.</rdfs:comment> + <owl:disjointWith rdf:resource="#Orient"/> + <owl:disjointWith rdf:resource="#Pan"/> + <rdfs:subClassOf rdf:resource="#Move"/> + <owl:disjointWith rdf:resource="#Convey"/> + <owl:disjointWith rdf:resource="#Arrange"/> + <owl:disjointWith rdf:resource="#Pass"/> + <owl:disjointWith rdf:resource="#Displace"/> + <owl:disjointWith rdf:resource="#Feed"/> + </owl:Class> + <owl:Class rdf:about="#Skill"> + <owl:disjointWith rdf:resource="#Device"/> + <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> + <owl:disjointWith rdf:resource="#Property"/> + <owl:disjointWith rdf:resource="#Task"/> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >SIARAS (FP6-017146) +Structured Description of Skills and Device 1.0 +pag:5 +(Breakdown of Skills)</rdfs:comment> + <rdfs:subClassOf> + <owl:Restriction> + <owl:allValuesFrom rdf:resource="#Device"/> + <owl:onProperty> + <owl:ObjectProperty rdf:ID="isSkillOf"/> + </owl:onProperty> + </owl:Restriction> + </rdfs:subClassOf> + </owl:Class> + <owl:ObjectProperty rdf:ID="canBePerformedBy"> + <rdfs:domain rdf:resource="#Task"/> + </owl:ObjectProperty> + <owl:ObjectProperty rdf:about="#hasSkill"> + <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >SIARAS (FP6-017146) +Structured Description of Skills and Device 1.0 +pag:5 +(Breakdown of Skills)</rdfs:comment> + <owl:inverseOf> + <owl:ObjectProperty rdf:about="#isSkillOf"/> + </owl:inverseOf> + </owl:ObjectProperty> + <owl:ObjectProperty rdf:about="#hasProperty"> + <owl:inverseOf> + <owl:ObjectProperty rdf:ID="isPropertyOf"/> + </owl:inverseOf> + </owl:ObjectProperty> + <owl:ObjectProperty rdf:about="#isSkillOf"> + <owl:inverseOf rdf:resource="#hasSkill"/> + </owl:ObjectProperty> + <owl:ObjectProperty rdf:about="#isPropertyOf"> + <owl:inverseOf rdf:resource="#hasProperty"/> + </owl:ObjectProperty> + <owl:DatatypeProperty rdf:ID="value"> + <rdfs:domain rdf:resource="#Property"/> + </owl:DatatypeProperty> + <owl:DataRange> + <owl:oneOf rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >electric</rdf:first> + <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >hydraulic</rdf:first> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >pneumatic</rdf:first> + </owl:oneOf> + </owl:DataRange> + <owl:DataRange> + <owl:oneOf rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >scara</rdf:first> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >articulated</rdf:first> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >spherical</rdf:first> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >cylindrical</rdf:first> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >carthesian</rdf:first> + </owl:oneOf> + </owl:DataRange> + <owl:DataRange> + <owl:oneOf rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >joint</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >world</rdf:first> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >tool</rdf:first> + </rdf:rest> + </owl:oneOf> + </owl:DataRange> + <owl:DataRange> + <owl:oneOf rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >inside</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >outside</rdf:first> + <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> + </rdf:rest> + </owl:oneOf> + </owl:DataRange> + <owl:DataRange> + <owl:oneOf rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >venturi nozzle</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >vacuum pump</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >blower</rdf:first> + <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> + </rdf:rest> + </rdf:rest> + </owl:oneOf> + </owl:DataRange> + <owl:DataRange> + <owl:oneOf rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >multiple joints</rdf:first> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >elastic</rdf:first> + </owl:oneOf> + </owl:DataRange> + <owl:DataRange> + <owl:oneOf rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >torque</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >belts</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >harmonic</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >ball-screw</rdf:first> + <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> + </rdf:rest> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >gears</rdf:first> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >chains</rdf:first> + </rdf:rest> + </rdf:rest> + </owl:oneOf> + </owl:DataRange> + <owl:DataRange> + <owl:oneOf rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#float" + >3.5</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#float" + >4.0</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#float" + >6.0</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#float" + >7.0</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#float" + >6.5</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#float" + >2.5</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#float" + >2.0</rdf:first> + <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> + </rdf:rest> + </rdf:rest> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#float" + >5.5</rdf:first> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#float" + >4.5</rdf:first> + </rdf:rest> + </rdf:rest> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#float" + >5.0</rdf:first> + </rdf:rest> + </rdf:rest> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#float" + >3.0</rdf:first> + </owl:oneOf> + </owl:DataRange> + <owl:DataRange> + <owl:oneOf rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >outside</rdf:first> + <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >inside</rdf:first> + </owl:oneOf> + </owl:DataRange> + <owl:DataRange> + <owl:oneOf rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >electric</rdf:first> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >pneumatic</rdf:first> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string" + >hydraulic</rdf:first> + </owl:oneOf> + </owl:DataRange> + <owl:AllDifferent/> + <owl:DataRange> + <owl:oneOf rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#int" + >2</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#int" + >3</rdf:first> + <rdf:rest rdf:parseType="Resource"> + <rdf:rest rdf:parseType="Resource"> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#int" + >5</rdf:first> + <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> + </rdf:rest> + <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#int" + >4</rdf:first> + </rdf:rest> + </rdf:rest> + </owl:oneOf> + </owl:DataRange> + <owl:AllDifferent/> +</rdf:RDF> + +<!-- Created with Protege (with OWL Plugin 2.2, Build 331) http://protege.stanford.edu --> -- GitLab