Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[2797] trunk/examples
|
From: <ji...@us...> - 2011-05-12 11:57:18
|
Revision: 2797
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2797&view=rev
Author: jialva
Date: 2011-05-12 11:57:08 +0000 (Thu, 12 May 2011)
Log Message:
-----------
New update of fuzzyDL-Learner (supporting files)
Added Paths:
-----------
trunk/examples/fuzzydll/
trunk/examples/fuzzydll/CONFIG
trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput.fuzzyDL.txt
trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput_manual.fuzzyDL.txt
trunk/examples/fuzzydll/fuzzyTrains_v1.3.owl
Added: trunk/examples/fuzzydll/CONFIG
===================================================================
--- trunk/examples/fuzzydll/CONFIG (rev 0)
+++ trunk/examples/fuzzydll/CONFIG 2011-05-12 11:57:08 UTC (rev 2797)
@@ -0,0 +1,6 @@
+MILP_SOLVER = /Users/josue/Documents/PhD/AKSW/fuzzySemanticTools/FuzzyDLMacOSX/FuzzyDL/fuzzyDLcbc
+EPSILON = 0.01
+solver = z
+max_individuals = -1
+debugPrint = false
+CBC = 1
Added: trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput.fuzzyDL.txt
===================================================================
--- trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput.fuzzyDL.txt (rev 0)
+++ trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput.fuzzyDL.txt 2011-05-12 11:57:08 UTC (rev 2797)
@@ -0,0 +1,93 @@
+(define-fuzzy-concept fuzzyLongCar right-shoulder(5.0, 50.0, 40.0, 40.0) )
+(define-fuzzy-concept fuzzyShortCar left-shoulder(5.0, 50.0, 15.0, 15.0) )
+(define-fuzzy-concept fuzzyMediumLengthCar trapezoidal(5.0, 50.0, 15.0, 15.0, 40.0, 40.0) )
+(functional isInFrontOf)
+(functional hasCarLength)
+(domain hasLoad Car )
+(domain isInFrontOf (or Car Train ) )
+(domain hasCar Train )
+(range hasCar Car )
+(range isInFrontOf Car )
+(range hasLoad Load )
+(domain hasCarLength Car )
+(range hasCarLength *real* 5.0 50.0 )
+(instance load62a Triangle 1.0)
+(instance load63a Rectangle 1.0)
+(instance east2 Train 1.0)
+(instance car72 Car 1.0)
+(instance car22 Car 1.0)
+(instance car61 Car 1.0)
+(instance load21b Triangle 1.0)
+(instance car13 Car 1.0)
+(instance load72c Triangle 1.0)
+(instance load63b Triangle 1.0)
+(instance car21 Car 1.0)
+(instance car62 Car 1.0)
+(instance load71b Rectangle 1.0)
+(instance car63 Car 1.0)
+(instance load72b Rectangle 1.0)
+(instance load11a Rectangle 1.0)
+(instance car11 Car 1.0)
+(instance car12 Car 1.0)
+(instance west7 Train 1.0)
+(instance load11c Triangle 1.0)
+(instance load11b Rectangle 1.0)
+(instance load71a Triangle 1.0)
+(instance car71 Car 1.0)
+(instance west6 Train 1.0)
+(instance load62b Rectangle 1.0)
+(instance load12a Rectangle 1.0)
+(instance east1 Train 1.0)
+(instance load21a Rectangle 1.0)
+(instance load72a Rectangle 1.0)
+(related west6 car61 isInFrontOf 1.0)
+(related car63 load63a hasLoad 1.0)
+(related west6 car63 hasCar 1.0)
+(related east1 car13 hasCar 1.0)
+(related east2 car21 hasCar 1.0)
+(related car72 load72b hasLoad 1.0)
+(related east1 car11 hasCar 1.0)
+(related west7 car72 hasCar 1.0)
+(related car62 load62a hasLoad 1.0)
+(related car11 load11a hasLoad 1.0)
+(related west6 car61 hasCar 1.0)
+(related car71 load71a hasLoad 1.0)
+(related west7 car71 isInFrontOf 1.0)
+(related car21 load12a hasLoad 1.0)
+(related car11 load11c hasLoad 1.0)
+(related west7 car71 hasCar 1.0)
+(related east2 car22 hasCar 1.0)
+(related car21 car22 isInFrontOf 1.0)
+(related car63 load63b hasLoad 1.0)
+(related west6 car62 hasCar 1.0)
+(related east1 car11 isInFrontOf 1.0)
+(related car12 car13 isInFrontOf 1.0)
+(related car61 car62 isInFrontOf 1.0)
+(related car12 load12a hasLoad 1.0)
+(related car11 car12 isInFrontOf 1.0)
+(related car62 load62b hasLoad 1.0)
+(related east1 car12 hasCar 1.0)
+(related car72 load72c hasLoad 1.0)
+(related east2 car21 isInFrontOf 1.0)
+(related car71 car72 isInFrontOf 1.0)
+(related car71 load71b hasLoad 1.0)
+(related car21 load21a hasLoad 1.0)
+(related car62 car63 isInFrontOf 1.0)
+(related car11 load11b hasLoad 1.0)
+(related car72 load72a hasLoad 1.0)
+(instance car13 (= hasCarLength 13) 1.0 )
+(instance car22 (= hasCarLength 7) 1.0 )
+(instance car71 (= hasCarLength 7) 1.0 )
+(instance car11 (= hasCarLength 49) 1.0 )
+(instance car62 (= hasCarLength 8) 1.0 )
+(instance car21 (= hasCarLength 47) 1.0 )
+(instance car61 (= hasCarLength 45) 1.0 )
+(instance car63 (= hasCarLength 25) 1.0 )
+(instance car12 (= hasCarLength 25) 1.0 )
+(instance car72 (= hasCarLength 6) 1.0 )
+(disjoint Car Load )
+(disjoint Car Train )
+(disjoint Load Train )
+(define-concept LongCar (and Car (some hasCarLength fuzzyLongCar)))
+(define-concept ShortCar (and Car (some hasCarLength fuzzyShortCar)))
+(define-concept MediumLenghtCar (and Car (some hasCarLength fuzzyMediumLengthCar)))
Added: trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput_manual.fuzzyDL.txt
===================================================================
--- trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput_manual.fuzzyDL.txt (rev 0)
+++ trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput_manual.fuzzyDL.txt 2011-05-12 11:57:08 UTC (rev 2797)
@@ -0,0 +1,93 @@
+(define-fuzzy-concept fuzzyLongCar right-shoulder(5.0, 50.0, 40.0, 40.0) )
+(define-fuzzy-concept fuzzyShortCar left-shoulder(5.0, 50.0, 15.0, 15.0) )
+(define-fuzzy-concept fuzzyMediumLengthCar trapezoidal(5.0, 50.0, 15.0, 15.0, 40.0, 40.0) )
+(functional isInFrontOf)
+(functional hasCarLength)
+(domain hasLoad Car )
+(domain isInFrontOf (or Car Train ) )
+(domain hasCar Train )
+(range hasCar Car )
+(range isInFrontOf Car )
+(range hasLoad Load )
+(domain hasCarLength Car )
+(range hasCarLength *real* 5.0 50.0 )
+(instance load62a Triangle 1.0)
+(instance load63a Rectangle 1.0)
+(instance east2 Train 1.0)
+(instance car72 Car 1.0)
+(instance car22 Car 1.0)
+(instance car61 Car 1.0)
+(instance load21b Triangle 1.0)
+(instance car13 Car 1.0)
+(instance load72c Triangle 1.0)
+(instance load63b Triangle 1.0)
+(instance car21 Car 1.0)
+(instance car62 Car 1.0)
+(instance load71b Rectangle 1.0)
+(instance car63 Car 1.0)
+(instance load72b Rectangle 1.0)
+(instance load11a Rectangle 1.0)
+(instance car11 Car 1.0)
+(instance car12 Car 1.0)
+(instance west7 Train 1.0)
+(instance load11c Triangle 1.0)
+(instance load11b Rectangle 1.0)
+(instance load71a Triangle 1.0)
+(instance car71 Car 1.0)
+(instance west6 Train 1.0)
+(instance load62b Rectangle 1.0)
+(instance load12a Rectangle 1.0)
+(instance east1 Train 1.0)
+(instance load21a Rectangle 1.0)
+(instance load72a Rectangle 1.0)
+(related west6 car61 isInFrontOf 1.0)
+(related car63 load63a hasLoad 1.0)
+(related west6 car63 hasCar 1.0)
+(related east1 car13 hasCar 1.0)
+(related east2 car21 hasCar 1.0)
+(related car72 load72b hasLoad 1.0)
+(related east1 car11 hasCar 1.0)
+(related west7 car72 hasCar 1.0)
+(related car62 load62a hasLoad 1.0)
+(related car11 load11a hasLoad 1.0)
+(related west6 car61 hasCar 1.0)
+(related car71 load71a hasLoad 1.0)
+(related west7 car71 isInFrontOf 1.0)
+(related car21 load12a hasLoad 1.0)
+(related car11 load11c hasLoad 1.0)
+(related west7 car71 hasCar 1.0)
+(related east2 car22 hasCar 1.0)
+(related car21 car22 isInFrontOf 1.0)
+(related car63 load63b hasLoad 1.0)
+(related west6 car62 hasCar 1.0)
+(related east1 car11 isInFrontOf 1.0)
+(related car12 car13 isInFrontOf 1.0)
+(related car61 car62 isInFrontOf 1.0)
+(related car12 load12a hasLoad 1.0)
+(related car11 car12 isInFrontOf 1.0)
+(related car62 load62b hasLoad 1.0)
+(related east1 car12 hasCar 1.0)
+(related car72 load72c hasLoad 1.0)
+(related east2 car21 isInFrontOf 1.0)
+(related car71 car72 isInFrontOf 1.0)
+(related car71 load71b hasLoad 1.0)
+(related car21 load21a hasLoad 1.0)
+(related car62 car63 isInFrontOf 1.0)
+(related car11 load11b hasLoad 1.0)
+(related car72 load72a hasLoad 1.0)
+(instance car13 (= hasCarLength 13) 1.0 )
+(instance car22 (= hasCarLength 7) 1.0 )
+(instance car71 (= hasCarLength 7) 1.0 )
+(instance car11 (= hasCarLength 49) 1.0 )
+(instance car62 (= hasCarLength 8) 1.0 )
+(instance car21 (= hasCarLength 47) 1.0 )
+(instance car61 (= hasCarLength 45) 1.0 )
+(instance car63 (= hasCarLength 25) 1.0 )
+(instance car12 (= hasCarLength 25) 1.0 )
+(instance car72 (= hasCarLength 6) 1.0 )
+(disjoint Car Load )
+(disjoint Car Train )
+(disjoint Load Train )
+(define-concept LongCar (and Car (some hasCarLength fuzzyLongCar)))
+(define-concept ShortCar (and Car (some hasCarLength fuzzyShortCar)))
+(define-concept MediumLenghtCar (and Car (some hasCarLength fuzzyMediumLengthCar)))
Added: trunk/examples/fuzzydll/fuzzyTrains_v1.3.owl
===================================================================
--- trunk/examples/fuzzydll/fuzzyTrains_v1.3.owl (rev 0)
+++ trunk/examples/fuzzydll/fuzzyTrains_v1.3.owl 2011-05-12 11:57:08 UTC (rev 2797)
@@ -0,0 +1,634 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
+ <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
+]>
+
+
+<rdf:RDF xmlns="http://www.example.com/fuzzyTrains.owl#"
+ xml:base="http://www.example.com/fuzzyTrains.owl"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl="http://www.w3.org/2002/07/owl#"
+ xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
+ <owl:Ontology rdf:about="http://www.example.com/fuzzyTrains.owl">
+ <rdfs:comment xml:lang="en">Fuzzy adaptation of Michalsky's trains problem [1]
+Original idea from [2]
+
+Developed by Josue Iglesias (josue at grpss.ssr.upm.es)
+
+[1] http://www.mli.gmu.edu/papers/79-80/80-05.pdf
+[2] http://users.iit.demokritos.gr/~konstant/dload/Pubs/fuzz10.pdf</rdfs:comment>
+ <rdfs:comment xml:lang="en">v1.0: Cars can be (fuzzy) classified as being short, medium or long depending on their length (double)</rdfs:comment>
+ <rdfs:comment xml:lang="en">v1.1: Car's load can be more or less similar to a triangle and/or a rectangle</rdfs:comment>
+ <rdfs:comment xml:lang="en">v1.2: Change properties (Train) hasFirstCar (Car) + (Car) isInFrontOf (Car) for just (Train) hasCar (Car) in order to make the example easier</rdfs:comment>
+ <rdfs:comment xml:lang="en">v1.3:
+Some concepts of v1.1 and v1.2 are merged:
+- (Train) hasCar (Train)
+- (Train) or (Car) isInFrontOf (Car)</rdfs:comment>
+ </owl:Ontology>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Annotation properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+ <owl:AnnotationProperty rdf:about="http://www.example.com/fuzzyTrains.owl#fuzzyLabel"/>
+ <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Datatypes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#fuzzyLongCar -->
+
+ <rdfs:Datatype rdf:about="http://www.example.com/fuzzyTrains.owl#fuzzyLongCar">
+ <owl:equivalentClass>
+ <rdfs:Datatype>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <rdfs:Datatype>
+ <owl:onDatatype rdf:resource="&xsd;double"/>
+ <owl:withRestrictions rdf:parseType="Collection">
+ <rdf:Description>
+ <xsd:minInclusive rdf:datatype="&xsd;double">5.0</xsd:minInclusive>
+ </rdf:Description>
+ </owl:withRestrictions>
+ </rdfs:Datatype>
+ <rdfs:Datatype>
+ <owl:onDatatype rdf:resource="&xsd;double"/>
+ <owl:withRestrictions rdf:parseType="Collection">
+ <rdf:Description>
+ <xsd:maxInclusive rdf:datatype="&xsd;double">50.0</xsd:maxInclusive>
+ </rdf:Description>
+ </owl:withRestrictions>
+ </rdfs:Datatype>
+ </owl:intersectionOf>
+ </rdfs:Datatype>
+ </owl:equivalentClass>
+ <fuzzyLabel><fuzzyOwl2 fuzzyType="datatype">
+<Datatype type="rightshoulder" a="40" b="40" />
+</fuzzyOwl2></fuzzyLabel>
+ </rdfs:Datatype>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#fuzzyMediumLengthCar -->
+
+ <rdfs:Datatype rdf:about="http://www.example.com/fuzzyTrains.owl#fuzzyMediumLengthCar">
+ <owl:equivalentClass>
+ <rdfs:Datatype>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <rdfs:Datatype>
+ <owl:onDatatype rdf:resource="&xsd;double"/>
+ <owl:withRestrictions rdf:parseType="Collection">
+ <rdf:Description>
+ <xsd:minInclusive rdf:datatype="&xsd;double">5.0</xsd:minInclusive>
+ </rdf:Description>
+ </owl:withRestrictions>
+ </rdfs:Datatype>
+ <rdfs:Datatype>
+ <owl:onDatatype rdf:resource="&xsd;double"/>
+ <owl:withRestrictions rdf:parseType="Collection">
+ <rdf:Description>
+ <xsd:maxInclusive rdf:datatype="&xsd;double">50.0</xsd:maxInclusive>
+ </rdf:Description>
+ </owl:withRestrictions>
+ </rdfs:Datatype>
+ </owl:intersectionOf>
+ </rdfs:Datatype>
+ </owl:equivalentClass>
+ <fuzzyLabel><fuzzyOwl2 fuzzyType="datatype">
+<Datatype type="trapezoidal" a="15" b="15" c="40" d="40" />
+</fuzzyOwl2></fuzzyLabel>
+ </rdfs:Datatype>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#fuzzyShortCar -->
+
+ <rdfs:Datatype rdf:about="http://www.example.com/fuzzyTrains.owl#fuzzyShortCar">
+ <owl:equivalentClass>
+ <rdfs:Datatype>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <rdfs:Datatype>
+ <owl:onDatatype rdf:resource="&xsd;double"/>
+ <owl:withRestrictions rdf:parseType="Collection">
+ <rdf:Description>
+ <xsd:minInclusive rdf:datatype="&xsd;double">5.0</xsd:minInclusive>
+ </rdf:Description>
+ </owl:withRestrictions>
+ </rdfs:Datatype>
+ <rdfs:Datatype>
+ <owl:onDatatype rdf:resource="&xsd;double"/>
+ <owl:withRestrictions rdf:parseType="Collection">
+ <rdf:Description>
+ <xsd:maxInclusive rdf:datatype="&xsd;double">50.0</xsd:maxInclusive>
+ </rdf:Description>
+ </owl:withRestrictions>
+ </rdfs:Datatype>
+ </owl:intersectionOf>
+ </rdfs:Datatype>
+ </owl:equivalentClass>
+ <fuzzyLabel><fuzzyOwl2 fuzzyType="datatype">
+<Datatype type="leftshoulder" a="15" b="15" />
+</fuzzyOwl2></fuzzyLabel>
+ </rdfs:Datatype>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#hasCar -->
+
+ <owl:ObjectProperty rdf:about="http://www.example.com/fuzzyTrains.owl#hasCar">
+ <rdfs:range rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <rdfs:domain rdf:resource="http://www.example.com/fuzzyTrains.owl#Train"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#hasLoad -->
+
+ <owl:ObjectProperty rdf:about="http://www.example.com/fuzzyTrains.owl#hasLoad">
+ <rdfs:domain rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <rdfs:range rdf:resource="http://www.example.com/fuzzyTrains.owl#Load"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#isInFrontOf -->
+
+ <owl:ObjectProperty rdf:about="http://www.example.com/fuzzyTrains.owl#isInFrontOf">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:range rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <rdfs:domain>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <rdf:Description rdf:about="http://www.example.com/fuzzyTrains.owl#Train"/>
+ </owl:unionOf>
+ </owl:Class>
+ </rdfs:domain>
+ </owl:ObjectProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Data properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#hasCarLength -->
+
+ <owl:DatatypeProperty rdf:about="http://www.example.com/fuzzyTrains.owl#hasCarLength">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:domain rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <rdfs:range>
+ <rdfs:Datatype>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <rdfs:Datatype>
+ <owl:onDatatype rdf:resource="&xsd;double"/>
+ <owl:withRestrictions rdf:parseType="Collection">
+ <rdf:Description>
+ <xsd:minInclusive rdf:datatype="&xsd;double">5.0</xsd:minInclusive>
+ </rdf:Description>
+ </owl:withRestrictions>
+ </rdfs:Datatype>
+ <rdfs:Datatype>
+ <owl:onDatatype rdf:resource="&xsd;double"/>
+ <owl:withRestrictions rdf:parseType="Collection">
+ <rdf:Description>
+ <xsd:maxInclusive rdf:datatype="&xsd;double">50.0</xsd:maxInclusive>
+ </rdf:Description>
+ </owl:withRestrictions>
+ </rdfs:Datatype>
+ </owl:intersectionOf>
+ </rdfs:Datatype>
+ </rdfs:range>
+ </owl:DatatypeProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#Car -->
+
+ <owl:Class rdf:about="http://www.example.com/fuzzyTrains.owl#Car">
+ <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+ <owl:disjointWith rdf:resource="http://www.example.com/fuzzyTrains.owl#Load"/>
+ <owl:disjointWith rdf:resource="http://www.example.com/fuzzyTrains.owl#Train"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#Load -->
+
+ <owl:Class rdf:about="http://www.example.com/fuzzyTrains.owl#Load">
+ <owl:disjointWith rdf:resource="http://www.example.com/fuzzyTrains.owl#Train"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#LongCar -->
+
+ <owl:Class rdf:about="http://www.example.com/fuzzyTrains.owl#LongCar">
+ <owl:equivalentClass>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.example.com/fuzzyTrains.owl#hasCarLength"/>
+ <owl:someValuesFrom rdf:resource="http://www.example.com/fuzzyTrains.owl#fuzzyLongCar"/>
+ </owl:Restriction>
+ </owl:equivalentClass>
+ <rdfs:subClassOf rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#MediumLenghtCar -->
+
+ <owl:Class rdf:about="http://www.example.com/fuzzyTrains.owl#MediumLenghtCar">
+ <owl:equivalentClass>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.example.com/fuzzyTrains.owl#hasCarLength"/>
+ <owl:someValuesFrom rdf:resource="http://www.example.com/fuzzyTrains.owl#fuzzyMediumLengthCar"/>
+ </owl:Restriction>
+ </owl:equivalentClass>
+ <rdfs:subClassOf rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#Rectangle -->
+
+ <owl:Class rdf:about="http://www.example.com/fuzzyTrains.owl#Rectangle">
+ <rdfs:subClassOf rdf:resource="http://www.example.com/fuzzyTrains.owl#Load"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#ShortCar -->
+
+ <owl:Class rdf:about="http://www.example.com/fuzzyTrains.owl#ShortCar">
+ <owl:equivalentClass>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.example.com/fuzzyTrains.owl#hasCarLength"/>
+ <owl:someValuesFrom rdf:resource="http://www.example.com/fuzzyTrains.owl#fuzzyShortCar"/>
+ </owl:Restriction>
+ </owl:equivalentClass>
+ <rdfs:subClassOf rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#Train -->
+
+ <owl:Class rdf:about="http://www.example.com/fuzzyTrains.owl#Train"/>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#Triangle -->
+
+ <owl:Class rdf:about="http://www.example.com/fuzzyTrains.owl#Triangle">
+ <rdfs:subClassOf rdf:resource="http://www.example.com/fuzzyTrains.owl#Load"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#Thing -->
+
+ <owl:Class rdf:about="&owl;Thing"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#car11 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#car11">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <hasCarLength rdf:datatype="&xsd;double">49</hasCarLength>
+ <isInFrontOf rdf:resource="http://www.example.com/fuzzyTrains.owl#car12"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load11a"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load11b"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load11c"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#car12 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#car12">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <hasCarLength rdf:datatype="&xsd;double">25</hasCarLength>
+ <isInFrontOf rdf:resource="http://www.example.com/fuzzyTrains.owl#car13"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load12a"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#car13 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#car13">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <hasCarLength rdf:datatype="&xsd;double">13</hasCarLength>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#car21 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#car21">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <hasCarLength rdf:datatype="&xsd;double">47</hasCarLength>
+ <isInFrontOf rdf:resource="http://www.example.com/fuzzyTrains.owl#car22"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load12a"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load21a"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#car22 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#car22">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <hasCarLength rdf:datatype="&xsd;double">7</hasCarLength>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#car61 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#car61">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <hasCarLength rdf:datatype="&xsd;double">45</hasCarLength>
+ <isInFrontOf rdf:resource="http://www.example.com/fuzzyTrains.owl#car62"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#car62 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#car62">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <hasCarLength rdf:datatype="&xsd;double">8</hasCarLength>
+ <isInFrontOf rdf:resource="http://www.example.com/fuzzyTrains.owl#car63"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load62a"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load62b"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#car63 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#car63">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <hasCarLength rdf:datatype="&xsd;double">25</hasCarLength>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load63a"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load63b"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#car71 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#car71">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <hasCarLength rdf:datatype="&xsd;double">7</hasCarLength>
+ <isInFrontOf rdf:resource="http://www.example.com/fuzzyTrains.owl#car72"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load71a"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load71b"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#car72 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#car72">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Car"/>
+ <hasCarLength rdf:datatype="&xsd;double">6</hasCarLength>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load72a"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load72b"/>
+ <hasLoad rdf:resource="http://www.example.com/fuzzyTrains.owl#load72c"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#east1 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#east1">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Train"/>
+ <isInFrontOf rdf:resource="http://www.example.com/fuzzyTrains.owl#car11"/>
+ <hasCar rdf:resource="http://www.example.com/fuzzyTrains.owl#car11"/>
+ <hasCar rdf:resource="http://www.example.com/fuzzyTrains.owl#car12"/>
+ <hasCar rdf:resource="http://www.example.com/fuzzyTrains.owl#car13"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#east2 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#east2">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Train"/>
+ <hasCar rdf:resource="http://www.example.com/fuzzyTrains.owl#car21"/>
+ <isInFrontOf rdf:resource="http://www.example.com/fuzzyTrains.owl#car21"/>
+ <hasCar rdf:resource="http://www.example.com/fuzzyTrains.owl#car22"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load11a -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load11a">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Rectangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load11b -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load11b">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Rectangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load11c -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load11c">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Triangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load12a -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load12a">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Rectangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load21a -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load21a">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Rectangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load21b -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load21b">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Triangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load62a -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load62a">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Triangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load62b -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load62b">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Rectangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load63a -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load63a">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Rectangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load63b -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load63b">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Triangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load71a -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load71a">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Triangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load71b -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load71b">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Rectangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load72a -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load72a">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Rectangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load72b -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load72b">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Rectangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#load72c -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#load72c">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Triangle"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#west6 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#west6">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Train"/>
+ <isInFrontOf rdf:resource="http://www.example.com/fuzzyTrains.owl#car61"/>
+ <hasCar rdf:resource="http://www.example.com/fuzzyTrains.owl#car61"/>
+ <hasCar rdf:resource="http://www.example.com/fuzzyTrains.owl#car62"/>
+ <hasCar rdf:resource="http://www.example.com/fuzzyTrains.owl#car63"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#west7 -->
+
+ <owl:NamedIndividual rdf:about="http://www.example.com/fuzzyTrains.owl#west7">
+ <rdf:type rdf:resource="http://www.example.com/fuzzyTrains.owl#Train"/>
+ <hasCar rdf:resource="http://www.example.com/fuzzyTrains.owl#car71"/>
+ <isInFrontOf rdf:resource="http://www.example.com/fuzzyTrains.owl#car71"/>
+ <hasCar rdf:resource="http://www.example.com/fuzzyTrains.owl#car72"/>
+ </owl:NamedIndividual>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->
+
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
