Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[2807] trunk
|
From: <ji...@us...> - 2011-05-13 10:33:09
|
Revision: 2807
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2807&view=rev
Author: jialva
Date: 2011-05-13 10:33:02 +0000 (Fri, 13 May 2011)
Log Message:
-----------
New update of fuzzyDL-Learner
Modified Paths:
--------------
trunk/components-core/src/main/java/org/dllearner/core/owl/fuzzydll/FuzzyIndividual.java
trunk/components-core/src/main/java/org/dllearner/learningproblems/fuzzydll/FuzzyPosNegLPStandard.java
trunk/components-core/src/test/java/org/dllearner/test/FuzzyDLLTest_Trains.java
trunk/components-core/src/test/java/org/dllearner/test/FuzzyDLLTest_noFuzzyTrains.java
trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput.fuzzyDL.txt
Added Paths:
-----------
trunk/examples/fuzzydll/noFuzzyTrains_v1.3.owl
Modified: trunk/components-core/src/main/java/org/dllearner/core/owl/fuzzydll/FuzzyIndividual.java
===================================================================
--- trunk/components-core/src/main/java/org/dllearner/core/owl/fuzzydll/FuzzyIndividual.java 2011-05-13 09:59:27 UTC (rev 2806)
+++ trunk/components-core/src/main/java/org/dllearner/core/owl/fuzzydll/FuzzyIndividual.java 2011-05-13 10:33:02 UTC (rev 2807)
@@ -18,4 +18,20 @@
public void setBeliefDegree(double beliefDegree) {
this.beliefDegree = beliefDegree;
}
+
+ public int compareTo(FuzzyIndividual o) {
+ int d = Double.compare(beliefDegree, o.getBeliefDegree());
+ if (d == 0)
+ return super.compareTo(o);
+ else
+ return d;
+ }
+
+ @Override
+ public boolean equals(Object o) {
+ if(o==null) {
+ return false;
+ }
+ return (compareTo((FuzzyIndividual)o)==0);
+ }
}
Modified: trunk/components-core/src/main/java/org/dllearner/learningproblems/fuzzydll/FuzzyPosNegLPStandard.java
===================================================================
--- trunk/components-core/src/main/java/org/dllearner/learningproblems/fuzzydll/FuzzyPosNegLPStandard.java 2011-05-13 09:59:27 UTC (rev 2806)
+++ trunk/components-core/src/main/java/org/dllearner/learningproblems/fuzzydll/FuzzyPosNegLPStandard.java 2011-05-13 10:33:02 UTC (rev 2807)
@@ -527,6 +527,7 @@
// System.out.println("noise = " + noise);
+ // TODO in order the noise check to work ... is it necessary to have the examples ordered by its truthBelief?
// int individualCounter = fuzzyExamples.size();
double individualCounter = totalTruth;
for (FuzzyIndividual fuzzyExample : fuzzyExamples) {
Modified: trunk/components-core/src/test/java/org/dllearner/test/FuzzyDLLTest_Trains.java
===================================================================
--- trunk/components-core/src/test/java/org/dllearner/test/FuzzyDLLTest_Trains.java 2011-05-13 09:59:27 UTC (rev 2806)
+++ trunk/components-core/src/test/java/org/dllearner/test/FuzzyDLLTest_Trains.java 2011-05-13 10:33:02 UTC (rev 2807)
@@ -80,7 +80,7 @@
ComponentManager cm = ComponentManager.getInstance();
OWLFile ks = cm.knowledgeSource(OWLFile.class);
- ks.getConfigurator().setUrl(new URL("file", null, "../examples/fuzzydll/fuzzyTrains_v1.3.owl"));
+ ks.getConfigurator().setUrl(new URL("file", null, "../examples/fuzzydll/noFuzzyTrains_v1.3.owl"));
ks.init();
//ReasonerComponent rc = cm.reasoner(OWLAPIReasoner.class, ks);
Modified: trunk/components-core/src/test/java/org/dllearner/test/FuzzyDLLTest_noFuzzyTrains.java
===================================================================
--- trunk/components-core/src/test/java/org/dllearner/test/FuzzyDLLTest_noFuzzyTrains.java 2011-05-13 09:59:27 UTC (rev 2806)
+++ trunk/components-core/src/test/java/org/dllearner/test/FuzzyDLLTest_noFuzzyTrains.java 2011-05-13 10:33:02 UTC (rev 2807)
@@ -85,7 +85,7 @@
OWLFile ks = cm.knowledgeSource(OWLFile.class);
// ks.getConfigurator().setUrl(new URL("file:///Users/josue/Documents/PhD/AKSW/ontologies/fuzzyTrains/fuzzyTrains_v1.0.owl"));
- ks.getConfigurator().setUrl(new URL("file:///Users/josue/Documents/PhD/AKSW/ontologies/fuzzyTrains/noFuzzyTrains_v1.3.owl"));
+ ks.getConfigurator().setUrl(new URL("file", null, "../examples/fuzzydll/noFuzzyTrains_v1.3.owl"));
ks.init();
ReasonerComponent rc = cm.reasoner(OWLAPIReasoner.class, ks);
Modified: trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput.fuzzyDL.txt
===================================================================
--- trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput.fuzzyDL.txt 2011-05-13 09:59:27 UTC (rev 2806)
+++ trunk/examples/fuzzydll/fuzzyOWL2fuzzyDLparserOutput.fuzzyDL.txt 2011-05-13 10:33:02 UTC (rev 2807)
@@ -1,6 +1,3 @@
-(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 )
@@ -85,9 +82,11 @@
(instance car63 (= hasCarLength 25) 1.0 )
(instance car12 (= hasCarLength 25) 1.0 )
(instance car72 (= hasCarLength 6) 1.0 )
+(disjoint Rectangle Triangle )
+(disjoint LongCar MediumLenghtCar ShortCar )
(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)))
+(define-concept ShortCar (and Car null))
+(define-concept MediumLenghtCar (and Car null))
+(define-concept LongCar (and Car null))
Added: trunk/examples/fuzzydll/noFuzzyTrains_v1.3.owl
===================================================================
--- trunk/examples/fuzzydll/noFuzzyTrains_v1.3.owl (rev 0)
+++ trunk/examples/fuzzydll/noFuzzyTrains_v1.3.owl 2011-05-13 10:33:02 UTC (rev 2807)
@@ -0,0 +1,638 @@
+<?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>
+ </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#noFuzzyLongCar -->
+
+ <rdfs:Datatype rdf:about="http://www.example.com/fuzzyTrains.owl#noFuzzyLongCar">
+ <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">40.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>
+ </rdfs:Datatype>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#noFuzzyMediumLengthCar -->
+
+ <rdfs:Datatype rdf:about="http://www.example.com/fuzzyTrains.owl#noFuzzyMediumLengthCar">
+ <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">15.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:maxExclusive rdf:datatype="&xsd;double">40.0</xsd:maxExclusive>
+ </rdf:Description>
+ </owl:withRestrictions>
+ </rdfs:Datatype>
+ </owl:intersectionOf>
+ </rdfs:Datatype>
+ </owl:equivalentClass>
+ </rdfs:Datatype>
+
+
+
+ <!-- http://www.example.com/fuzzyTrains.owl#noFuzzyShortCar -->
+
+ <rdfs:Datatype rdf:about="http://www.example.com/fuzzyTrains.owl#noFuzzyShortCar">
+ <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:maxExclusive rdf:datatype="&xsd;double">15.0</xsd:maxExclusive>
+ </rdf:Description>
+ </owl:withRestrictions>
+ </rdfs:Datatype>
+ </owl:intersectionOf>
+ </rdfs:Datatype>
+ </owl:equivalentClass>
+ </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#noFuzzyLongCar"/>
+ </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#noFuzzyMediumLengthCar"/>
+ </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:disjointWith rdf:resource="http://www.example.com/fuzzyTrains.owl#Triangle"/>
+ </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#noFuzzyShortCar"/>
+ </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>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // General axioms
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+ <rdf:Description>
+ <rdf:type rdf:resource="&owl;AllDisjointClasses"/>
+ <owl:members rdf:parseType="Collection">
+ <rdf:Description rdf:about="http://www.example.com/fuzzyTrains.owl#LongCar"/>
+ <rdf:Description rdf:about="http://www.example.com/fuzzyTrains.owl#MediumLenghtCar"/>
+ <rdf:Description rdf:about="http://www.example.com/fuzzyTrains.owl#ShortCar"/>
+ </owl:members>
+ </rdf:Description>
+</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.
|
