From: <ku...@us...> - 2008-03-20 20:16:07
|
Revision: 720 http://dl-learner.svn.sourceforge.net/dl-learner/?rev=720&view=rev Author: kurzum Date: 2008-03-20 13:16:04 -0700 (Thu, 20 Mar 2008) Log Message: ----------- working refexamples with fastInstanceChecker Modified Paths: -------------- trunk/examples/krk/krkopt.data trunk/src/dl-learner/org/dllearner/examples/KRK.java Added Paths: ----------- trunk/examples/krk/examples_for_ONE.txt trunk/examples/krk/examples_for_ZERO.txt trunk/examples/krk/test_ZERO_ONE.owl trunk/examples/krk/test_ZERO_ONE_fastInstance.conf trunk/examples/krk/test_ZERO_ONE_refinement.conf Property Changed: ---------------- trunk/examples/krk/ Property changes on: trunk/examples/krk ___________________________________________________________________ Name: svn:ignore + generic.conf Added: trunk/examples/krk/examples_for_ONE.txt =================================================================== --- trunk/examples/krk/examples_for_ONE.txt (rev 0) +++ trunk/examples/krk/examples_for_ONE.txt 2008-03-20 20:16:04 UTC (rev 720) @@ -0,0 +1,159 @@ ++"http://www.test.de/test#game100" ++"http://www.test.de/test#game101" ++"http://www.test.de/test#game102" ++"http://www.test.de/test#game103" ++"http://www.test.de/test#game104" ++"http://www.test.de/test#game105" ++"http://www.test.de/test#game28" ++"http://www.test.de/test#game29" ++"http://www.test.de/test#game30" ++"http://www.test.de/test#game31" ++"http://www.test.de/test#game32" ++"http://www.test.de/test#game33" ++"http://www.test.de/test#game34" ++"http://www.test.de/test#game35" ++"http://www.test.de/test#game36" ++"http://www.test.de/test#game37" ++"http://www.test.de/test#game38" ++"http://www.test.de/test#game39" ++"http://www.test.de/test#game40" ++"http://www.test.de/test#game41" ++"http://www.test.de/test#game42" ++"http://www.test.de/test#game43" ++"http://www.test.de/test#game44" ++"http://www.test.de/test#game45" ++"http://www.test.de/test#game46" ++"http://www.test.de/test#game47" ++"http://www.test.de/test#game48" ++"http://www.test.de/test#game49" ++"http://www.test.de/test#game50" ++"http://www.test.de/test#game51" ++"http://www.test.de/test#game52" ++"http://www.test.de/test#game53" ++"http://www.test.de/test#game54" ++"http://www.test.de/test#game55" ++"http://www.test.de/test#game56" ++"http://www.test.de/test#game57" ++"http://www.test.de/test#game58" ++"http://www.test.de/test#game59" ++"http://www.test.de/test#game60" ++"http://www.test.de/test#game61" ++"http://www.test.de/test#game62" ++"http://www.test.de/test#game63" ++"http://www.test.de/test#game64" ++"http://www.test.de/test#game65" ++"http://www.test.de/test#game66" ++"http://www.test.de/test#game67" ++"http://www.test.de/test#game68" ++"http://www.test.de/test#game69" ++"http://www.test.de/test#game70" ++"http://www.test.de/test#game71" ++"http://www.test.de/test#game72" ++"http://www.test.de/test#game73" ++"http://www.test.de/test#game74" ++"http://www.test.de/test#game75" ++"http://www.test.de/test#game76" ++"http://www.test.de/test#game77" ++"http://www.test.de/test#game78" ++"http://www.test.de/test#game79" ++"http://www.test.de/test#game80" ++"http://www.test.de/test#game81" ++"http://www.test.de/test#game82" ++"http://www.test.de/test#game83" ++"http://www.test.de/test#game84" ++"http://www.test.de/test#game85" ++"http://www.test.de/test#game86" ++"http://www.test.de/test#game87" ++"http://www.test.de/test#game88" ++"http://www.test.de/test#game89" ++"http://www.test.de/test#game90" ++"http://www.test.de/test#game91" ++"http://www.test.de/test#game92" ++"http://www.test.de/test#game93" ++"http://www.test.de/test#game94" ++"http://www.test.de/test#game95" ++"http://www.test.de/test#game96" ++"http://www.test.de/test#game97" ++"http://www.test.de/test#game98" ++"http://www.test.de/test#game99" + + +-"http://www.test.de/test#game100" +-"http://www.test.de/test#game101" +-"http://www.test.de/test#game102" +-"http://www.test.de/test#game103" +-"http://www.test.de/test#game104" +-"http://www.test.de/test#game105" +-"http://www.test.de/test#game28" +-"http://www.test.de/test#game29" +-"http://www.test.de/test#game30" +-"http://www.test.de/test#game31" +-"http://www.test.de/test#game32" +-"http://www.test.de/test#game33" +-"http://www.test.de/test#game34" +-"http://www.test.de/test#game35" +-"http://www.test.de/test#game36" +-"http://www.test.de/test#game37" +-"http://www.test.de/test#game38" +-"http://www.test.de/test#game39" +-"http://www.test.de/test#game40" +-"http://www.test.de/test#game41" +-"http://www.test.de/test#game42" +-"http://www.test.de/test#game43" +-"http://www.test.de/test#game44" +-"http://www.test.de/test#game45" +-"http://www.test.de/test#game46" +-"http://www.test.de/test#game47" +-"http://www.test.de/test#game48" +-"http://www.test.de/test#game49" +-"http://www.test.de/test#game50" +-"http://www.test.de/test#game51" +-"http://www.test.de/test#game52" +-"http://www.test.de/test#game53" +-"http://www.test.de/test#game54" +-"http://www.test.de/test#game55" +-"http://www.test.de/test#game56" +-"http://www.test.de/test#game57" +-"http://www.test.de/test#game58" +-"http://www.test.de/test#game59" +-"http://www.test.de/test#game60" +-"http://www.test.de/test#game61" +-"http://www.test.de/test#game62" +-"http://www.test.de/test#game63" +-"http://www.test.de/test#game64" +-"http://www.test.de/test#game65" +-"http://www.test.de/test#game66" +-"http://www.test.de/test#game67" +-"http://www.test.de/test#game68" +-"http://www.test.de/test#game69" +-"http://www.test.de/test#game70" +-"http://www.test.de/test#game71" +-"http://www.test.de/test#game72" +-"http://www.test.de/test#game73" +-"http://www.test.de/test#game74" +-"http://www.test.de/test#game75" +-"http://www.test.de/test#game76" +-"http://www.test.de/test#game77" +-"http://www.test.de/test#game78" +-"http://www.test.de/test#game79" +-"http://www.test.de/test#game80" +-"http://www.test.de/test#game81" +-"http://www.test.de/test#game82" +-"http://www.test.de/test#game83" +-"http://www.test.de/test#game84" +-"http://www.test.de/test#game85" +-"http://www.test.de/test#game86" +-"http://www.test.de/test#game87" +-"http://www.test.de/test#game88" +-"http://www.test.de/test#game89" +-"http://www.test.de/test#game90" +-"http://www.test.de/test#game91" +-"http://www.test.de/test#game92" +-"http://www.test.de/test#game93" +-"http://www.test.de/test#game94" +-"http://www.test.de/test#game95" +-"http://www.test.de/test#game96" +-"http://www.test.de/test#game97" +-"http://www.test.de/test#game98" +-"http://www.test.de/test#game99" + Added: trunk/examples/krk/examples_for_ZERO.txt =================================================================== --- trunk/examples/krk/examples_for_ZERO.txt (rev 0) +++ trunk/examples/krk/examples_for_ZERO.txt 2008-03-20 20:16:04 UTC (rev 720) @@ -0,0 +1,57 @@ ++"http://www.test.de/test#game1" ++"http://www.test.de/test#game10" ++"http://www.test.de/test#game11" ++"http://www.test.de/test#game12" ++"http://www.test.de/test#game13" ++"http://www.test.de/test#game14" ++"http://www.test.de/test#game15" ++"http://www.test.de/test#game16" ++"http://www.test.de/test#game17" ++"http://www.test.de/test#game18" ++"http://www.test.de/test#game19" ++"http://www.test.de/test#game2" ++"http://www.test.de/test#game20" ++"http://www.test.de/test#game21" ++"http://www.test.de/test#game22" ++"http://www.test.de/test#game23" ++"http://www.test.de/test#game24" ++"http://www.test.de/test#game25" ++"http://www.test.de/test#game26" ++"http://www.test.de/test#game27" ++"http://www.test.de/test#game3" ++"http://www.test.de/test#game4" ++"http://www.test.de/test#game5" ++"http://www.test.de/test#game6" ++"http://www.test.de/test#game7" ++"http://www.test.de/test#game8" ++"http://www.test.de/test#game9" + + +-"http://www.test.de/test#game1" +-"http://www.test.de/test#game10" +-"http://www.test.de/test#game11" +-"http://www.test.de/test#game12" +-"http://www.test.de/test#game13" +-"http://www.test.de/test#game14" +-"http://www.test.de/test#game15" +-"http://www.test.de/test#game16" +-"http://www.test.de/test#game17" +-"http://www.test.de/test#game18" +-"http://www.test.de/test#game19" +-"http://www.test.de/test#game2" +-"http://www.test.de/test#game20" +-"http://www.test.de/test#game21" +-"http://www.test.de/test#game22" +-"http://www.test.de/test#game23" +-"http://www.test.de/test#game24" +-"http://www.test.de/test#game25" +-"http://www.test.de/test#game26" +-"http://www.test.de/test#game27" +-"http://www.test.de/test#game3" +-"http://www.test.de/test#game4" +-"http://www.test.de/test#game5" +-"http://www.test.de/test#game6" +-"http://www.test.de/test#game7" +-"http://www.test.de/test#game8" +-"http://www.test.de/test#game9" + Modified: trunk/examples/krk/krkopt.data =================================================================== --- trunk/examples/krk/krkopt.data 2008-03-20 19:54:20 UTC (rev 719) +++ trunk/examples/krk/krkopt.data 2008-03-20 20:16:04 UTC (rev 720) @@ -1,3 +1,27 @@ +c,1,a,3,a,1,zero +c,1,a,4,a,1,zero +c,1,a,5,a,1,zero +c,1,a,6,a,1,zero +c,1,a,7,a,1,zero +c,1,a,8,a,1,zero +c,2,a,3,a,1,zero +c,2,a,4,a,1,zero +c,2,a,4,a,2,zero +c,2,a,5,a,1,zero +c,2,a,5,a,2,zero +c,2,a,6,a,1,zero +c,2,a,6,a,2,zero +c,2,a,7,a,1,zero +c,2,a,7,a,2,zero +c,2,a,8,a,1,zero +c,2,a,8,a,2,zero +c,3,a,1,c,1,zero +c,3,e,1,c,1,zero +c,3,f,1,c,1,zero +c,3,g,1,c,1,zero +c,3,h,1,c,1,zero +d,3,a,1,d,1,zero +d,3,b,1,d,1,zero d,3,f,1,d,1,zero d,3,g,1,d,1,zero d,3,h,1,d,1,zero @@ -3,3 +27,78 @@ c,1,c,3,a,2,one c,1,d,3,a,2,one -c,1,e,3,a,2,one \ No newline at end of file +c,1,e,3,a,2,one +c,1,f,3,a,2,one +c,1,g,3,a,2,one +c,1,h,3,a,2,one +c,2,b,3,a,2,one +c,2,b,4,a,1,one +c,2,b,5,a,1,one +c,2,b,6,a,1,one +c,2,b,7,a,1,one +c,2,b,8,a,1,one +c,2,c,3,a,2,one +c,2,c,4,a,1,one +c,2,c,4,a,3,one +c,2,c,5,a,1,one +c,2,c,6,a,1,one +c,2,c,7,a,1,one +c,2,c,8,a,1,one +c,2,d,3,a,2,one +c,2,d,4,a,1,one +c,2,d,4,a,3,one +c,2,d,5,a,1,one +c,2,d,6,a,1,one +c,2,d,7,a,1,one +c,2,d,8,a,1,one +c,2,e,3,a,2,one +c,2,e,4,a,1,one +c,2,e,4,a,3,one +c,2,e,5,a,1,one +c,2,e,6,a,1,one +c,2,e,7,a,1,one +c,2,e,8,a,1,one +c,2,f,3,a,2,one +c,2,f,4,a,1,one +c,2,f,4,a,3,one +c,2,f,5,a,1,one +c,2,f,6,a,1,one +c,2,f,7,a,1,one +c,2,f,8,a,1,one +c,2,g,3,a,2,one +c,2,g,4,a,1,one +c,2,g,4,a,3,one +c,2,g,5,a,1,one +c,2,g,6,a,1,one +c,2,g,7,a,1,one +c,2,g,8,a,1,one +c,2,h,3,a,2,one +c,2,h,4,a,1,one +c,2,h,4,a,3,one +c,2,h,5,a,1,one +c,2,h,6,a,1,one +c,2,h,7,a,1,one +c,2,h,8,a,1,one +c,3,a,3,b,1,one +c,3,a,4,b,1,one +c,3,a,5,b,1,one +c,3,a,6,b,1,one +c,3,a,7,b,1,one +c,3,a,8,b,1,one +c,3,e,3,d,1,one +c,3,e,4,d,1,one +c,3,e,5,d,1,one +c,3,e,6,d,1,one +c,3,e,7,d,1,one +c,3,e,8,d,1,one +d,3,b,3,c,1,one +d,3,b,4,c,1,one +d,3,b,5,c,1,one +d,3,b,6,c,1,one +d,3,b,7,c,1,one +d,3,b,8,c,1,one +d,3,f,3,e,1,one +d,3,f,4,e,1,one +d,3,f,5,e,1,one +d,3,f,6,e,1,one +d,3,f,7,e,1,one +d,3,f,8,e,1,one Added: trunk/examples/krk/test_ZERO_ONE.owl =================================================================== --- trunk/examples/krk/test_ZERO_ONE.owl (rev 0) +++ trunk/examples/krk/test_ZERO_ONE.owl 2008-03-20 20:16:04 UTC (rev 720) @@ -0,0 +1,5017 @@ +<?xml version="1.0"?> + + +<!DOCTYPE rdf:RDF [ + <!ENTITY test "http://www.test.de/test#" > + <!ENTITY owl "http://www.w3.org/2002/07/owl#" > + <!ENTITY owl11 "http://www.w3.org/2006/12/owl11#" > + <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" > + <!ENTITY owl11xml "http://www.w3.org/2006/12/owl11-xml#" > + <!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.test.de/test#" + xml:base="http://www.test.de/test" + xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" + xmlns:owl11="http://www.w3.org/2006/12/owl11#" + xmlns:owl11xml="http://www.w3.org/2006/12/owl11-xml#" + xmlns:test="http://www.test.de/test#" + 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=""/> + + + + <!-- + /////////////////////////////////////////////////////////////////////////////////////// + // + // Object Properties + // + /////////////////////////////////////////////////////////////////////////////////////// + --> + + + + + <!-- http://www.test.de/test#fileDistance0 --> + + <owl:ObjectProperty rdf:about="#fileDistance0"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan1"/> + <rdfs:domain rdf:resource="#Piece"/> + <rdfs:range rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistance1 --> + + <owl:ObjectProperty rdf:about="#fileDistance1"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan2"/> + <rdfs:domain rdf:resource="#Piece"/> + <rdfs:range rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistance2 --> + + <owl:ObjectProperty rdf:about="#fileDistance2"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan3"/> + <rdfs:domain rdf:resource="#Piece"/> + <rdfs:range rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistance3 --> + + <owl:ObjectProperty rdf:about="#fileDistance3"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan4"/> + <rdfs:domain rdf:resource="#Piece"/> + <rdfs:range rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistance4 --> + + <owl:ObjectProperty rdf:about="#fileDistance4"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:range rdf:resource="#Piece"/> + <rdfs:domain rdf:resource="#Piece"/> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan5"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistance5 --> + + <owl:ObjectProperty rdf:about="#fileDistance5"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:range rdf:resource="#Piece"/> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan6"/> + <rdfs:domain rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistance6 --> + + <owl:ObjectProperty rdf:about="#fileDistance6"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan7"/> + <rdfs:domain rdf:resource="#Piece"/> + <rdfs:range rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistance7 --> + + <owl:ObjectProperty rdf:about="#fileDistance7"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan8"/> + <rdfs:range rdf:resource="#Piece"/> + <rdfs:domain rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistanceLessThan0 --> + + <owl:ObjectProperty rdf:about="#fileDistanceLessThan0"> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan1"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistanceLessThan1 --> + + <owl:ObjectProperty rdf:about="#fileDistanceLessThan1"> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan2"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistanceLessThan2 --> + + <owl:ObjectProperty rdf:about="#fileDistanceLessThan2"> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan3"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistanceLessThan3 --> + + <owl:ObjectProperty rdf:about="#fileDistanceLessThan3"> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan4"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistanceLessThan4 --> + + <owl:ObjectProperty rdf:about="#fileDistanceLessThan4"> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan5"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistanceLessThan5 --> + + <owl:ObjectProperty rdf:about="#fileDistanceLessThan5"> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan6"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistanceLessThan6 --> + + <owl:ObjectProperty rdf:about="#fileDistanceLessThan6"> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan7"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistanceLessThan7 --> + + <owl:ObjectProperty rdf:about="#fileDistanceLessThan7"> + <rdfs:subPropertyOf rdf:resource="#fileDistanceLessThan8"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#fileDistanceLessThan8 --> + + <owl:ObjectProperty rdf:about="#fileDistanceLessThan8"/> + + + + <!-- http://www.test.de/test#hasLowerFileThan --> + + <owl:ObjectProperty rdf:about="#hasLowerFileThan"> + <rdf:type rdf:resource="&owl;TransitiveProperty"/> + <rdfs:range rdf:resource="#Piece"/> + <rdfs:domain rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#hasLowerRankThan --> + + <owl:ObjectProperty rdf:about="#hasLowerRankThan"> + <rdf:type rdf:resource="&owl;TransitiveProperty"/> + <rdfs:range rdf:resource="#Piece"/> + <rdfs:domain rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#hasPiece --> + + <owl:ObjectProperty rdf:about="#hasPiece"> + <rdfs:domain rdf:resource="#Game"/> + <rdfs:range rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#hasPieceInv --> + + <owl:ObjectProperty rdf:about="#hasPieceInv"> + <owl:inverseOf rdf:resource="#hasPiece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistance0 --> + + <owl:ObjectProperty rdf:about="#rankDistance0"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan1"/> + <rdfs:range rdf:resource="#Piece"/> + <rdfs:domain rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistance1 --> + + <owl:ObjectProperty rdf:about="#rankDistance1"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:range rdf:resource="#Piece"/> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan2"/> + <rdfs:domain rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistance2 --> + + <owl:ObjectProperty rdf:about="#rankDistance2"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan3"/> + <rdfs:range rdf:resource="#Piece"/> + <rdfs:domain rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistance3 --> + + <owl:ObjectProperty rdf:about="#rankDistance3"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan4"/> + <rdfs:range rdf:resource="#Piece"/> + <rdfs:domain rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistance4 --> + + <owl:ObjectProperty rdf:about="#rankDistance4"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan5"/> + <rdfs:range rdf:resource="#Piece"/> + <rdfs:domain rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistance5 --> + + <owl:ObjectProperty rdf:about="#rankDistance5"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan6"/> + <rdfs:range rdf:resource="#Piece"/> + <rdfs:domain rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistance6 --> + + <owl:ObjectProperty rdf:about="#rankDistance6"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:domain rdf:resource="#Piece"/> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan7"/> + <rdfs:range rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistance7 --> + + <owl:ObjectProperty rdf:about="#rankDistance7"> + <rdf:type rdf:resource="&owl;SymmetricProperty"/> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan8"/> + <rdfs:domain rdf:resource="#Piece"/> + <rdfs:range rdf:resource="#Piece"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistanceLessThan0 --> + + <owl:ObjectProperty rdf:about="#rankDistanceLessThan0"> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan1"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistanceLessThan1 --> + + <owl:ObjectProperty rdf:about="#rankDistanceLessThan1"> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan2"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistanceLessThan2 --> + + <owl:ObjectProperty rdf:about="#rankDistanceLessThan2"> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan3"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistanceLessThan3 --> + + <owl:ObjectProperty rdf:about="#rankDistanceLessThan3"> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan4"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistanceLessThan4 --> + + <owl:ObjectProperty rdf:about="#rankDistanceLessThan4"> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan5"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistanceLessThan5 --> + + <owl:ObjectProperty rdf:about="#rankDistanceLessThan5"> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan6"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistanceLessThan6 --> + + <owl:ObjectProperty rdf:about="#rankDistanceLessThan6"> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan7"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistanceLessThan7 --> + + <owl:ObjectProperty rdf:about="#rankDistanceLessThan7"> + <rdfs:subPropertyOf rdf:resource="#rankDistanceLessThan8"/> + </owl:ObjectProperty> + + + + <!-- http://www.test.de/test#rankDistanceLessThan8 --> + + <owl:ObjectProperty rdf:about="#rankDistanceLessThan8"/> + + + + <!-- + /////////////////////////////////////////////////////////////////////////////////////// + // + // Classes + // + /////////////////////////////////////////////////////////////////////////////////////// + --> + + + + + <!-- http://www.test.de/test#BKing --> + + <owl:Class rdf:about="#BKing"> + <rdfs:subClassOf rdf:resource="#Piece"/> + <owl:disjointWith rdf:resource="#WKing"/> + </owl:Class> + + + + <!-- http://www.test.de/test#Game --> + + <owl:Class rdf:about="#Game"/> + + + + <!-- http://www.test.de/test#ONE --> + + <owl:Class rdf:about="#ONE"/> + + + + <!-- http://www.test.de/test#Piece --> + + <owl:Class rdf:about="#Piece"> + <owl:disjointWith rdf:resource="#Game"/> + </owl:Class> + + + + <!-- http://www.test.de/test#WKing --> + + <owl:Class rdf:about="#WKing"> + <rdfs:subClassOf rdf:resource="#Piece"/> + </owl:Class> + + + + <!-- http://www.test.de/test#WRook --> + + <owl:Class rdf:about="#WRook"> + <rdfs:subClassOf rdf:resource="#Piece"/> + <owl:disjointWith rdf:resource="#BKing"/> + <owl:disjointWith rdf:resource="#WKing"/> + </owl:Class> + + + + <!-- http://www.test.de/test#ZERO --> + + <owl:Class rdf:about="#ZERO"/> + + + + <!-- + /////////////////////////////////////////////////////////////////////////////////////// + // + // Individuals + // + /////////////////////////////////////////////////////////////////////////////////////// + --> + + + + + <!-- http://www.test.de/test#bking_a1_1 --> + + <BKing rdf:about="#bking_a1_1"> + <hasLowerFileThan rdf:resource="#wking_c1_1"/> + <hasLowerRankThan rdf:resource="#wrook_a3_1"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_10 --> + + <BKing rdf:about="#bking_a1_10"> + <hasLowerRankThan rdf:resource="#wrook_a5_10"/> + <hasLowerRankThan rdf:resource="#wking_c2_10"/> + <hasLowerFileThan rdf:resource="#wking_c2_10"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_12 --> + + <BKing rdf:about="#bking_a1_12"> + <hasLowerRankThan rdf:resource="#wrook_a6_12"/> + <hasLowerRankThan rdf:resource="#wking_c2_12"/> + <hasLowerFileThan rdf:resource="#wking_c2_12"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_14 --> + + <BKing rdf:about="#bking_a1_14"> + <hasLowerRankThan rdf:resource="#wrook_a7_14"/> + <hasLowerFileThan rdf:resource="#wking_c2_14"/> + <hasLowerRankThan rdf:resource="#wking_c2_14"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_16 --> + + <BKing rdf:about="#bking_a1_16"> + <hasLowerRankThan rdf:resource="#wking_c2_16"/> + <hasLowerRankThan rdf:resource="#wrook_a8_16"/> + <hasLowerFileThan rdf:resource="#wking_c2_16"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_2 --> + + <BKing rdf:about="#bking_a1_2"> + <hasLowerRankThan rdf:resource="#wrook_a4_2"/> + <hasLowerFileThan rdf:resource="#wking_c1_2"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_3 --> + + <BKing rdf:about="#bking_a1_3"> + <hasLowerRankThan rdf:resource="#wrook_a5_3"/> + <hasLowerFileThan rdf:resource="#wking_c1_3"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_35 --> + + <BKing rdf:about="#bking_a1_35"> + <hasLowerFileThan rdf:resource="#wking_c2_35"/> + <hasLowerRankThan rdf:resource="#wking_c2_35"/> + <hasLowerFileThan rdf:resource="#wrook_b4_35"/> + <hasLowerRankThan rdf:resource="#wrook_b4_35"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_36 --> + + <BKing rdf:about="#bking_a1_36"> + <hasLowerFileThan rdf:resource="#wrook_b5_36"/> + <hasLowerRankThan rdf:resource="#wrook_b5_36"/> + <hasLowerRankThan rdf:resource="#wking_c2_36"/> + <hasLowerFileThan rdf:resource="#wking_c2_36"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_37 --> + + <BKing rdf:about="#bking_a1_37"> + <hasLowerFileThan rdf:resource="#wking_c2_37"/> + <hasLowerRankThan rdf:resource="#wking_c2_37"/> + <hasLowerFileThan rdf:resource="#wrook_b6_37"/> + <hasLowerRankThan rdf:resource="#wrook_b6_37"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_38 --> + + <BKing rdf:about="#bking_a1_38"> + <hasLowerFileThan rdf:resource="#wrook_b7_38"/> + <hasLowerRankThan rdf:resource="#wking_c2_38"/> + <hasLowerRankThan rdf:resource="#wrook_b7_38"/> + <hasLowerFileThan rdf:resource="#wking_c2_38"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_39 --> + + <BKing rdf:about="#bking_a1_39"> + <hasLowerRankThan rdf:resource="#wrook_b8_39"/> + <hasLowerFileThan rdf:resource="#wking_c2_39"/> + <hasLowerRankThan rdf:resource="#wking_c2_39"/> + <hasLowerFileThan rdf:resource="#wrook_b8_39"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_4 --> + + <BKing rdf:about="#bking_a1_4"> + <hasLowerFileThan rdf:resource="#wking_c1_4"/> + <hasLowerRankThan rdf:resource="#wrook_a6_4"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_41 --> + + <BKing rdf:about="#bking_a1_41"> + <hasLowerRankThan rdf:resource="#wking_c2_41"/> + <hasLowerFileThan rdf:resource="#wking_c2_41"/> + <hasLowerFileThan rdf:resource="#wrook_c4_41"/> + <hasLowerRankThan rdf:resource="#wrook_c4_41"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_43 --> + + <BKing rdf:about="#bking_a1_43"> + <hasLowerRankThan rdf:resource="#wking_c2_43"/> + <hasLowerFileThan rdf:resource="#wking_c2_43"/> + <hasLowerFileThan rdf:resource="#wrook_c5_43"/> + <hasLowerRankThan rdf:resource="#wrook_c5_43"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_44 --> + + <BKing rdf:about="#bking_a1_44"> + <hasLowerFileThan rdf:resource="#wking_c2_44"/> + <hasLowerFileThan rdf:resource="#wrook_c6_44"/> + <hasLowerRankThan rdf:resource="#wking_c2_44"/> + <hasLowerRankThan rdf:resource="#wrook_c6_44"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_45 --> + + <BKing rdf:about="#bking_a1_45"> + <hasLowerFileThan rdf:resource="#wking_c2_45"/> + <hasLowerRankThan rdf:resource="#wrook_c7_45"/> + <hasLowerRankThan rdf:resource="#wking_c2_45"/> + <hasLowerFileThan rdf:resource="#wrook_c7_45"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_46 --> + + <BKing rdf:about="#bking_a1_46"> + <hasLowerRankThan rdf:resource="#wrook_c8_46"/> + <hasLowerRankThan rdf:resource="#wking_c2_46"/> + <hasLowerFileThan rdf:resource="#wrook_c8_46"/> + <hasLowerFileThan rdf:resource="#wking_c2_46"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_48 --> + + <BKing rdf:about="#bking_a1_48"> + <hasLowerFileThan rdf:resource="#wrook_d4_48"/> + <hasLowerFileThan rdf:resource="#wking_c2_48"/> + <hasLowerRankThan rdf:resource="#wking_c2_48"/> + <hasLowerRankThan rdf:resource="#wrook_d4_48"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_5 --> + + <BKing rdf:about="#bking_a1_5"> + <hasLowerRankThan rdf:resource="#wrook_a7_5"/> + <hasLowerFileThan rdf:resource="#wking_c1_5"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_50 --> + + <BKing rdf:about="#bking_a1_50"> + <hasLowerRankThan rdf:resource="#wking_c2_50"/> + <hasLowerFileThan rdf:resource="#wking_c2_50"/> + <hasLowerRankThan rdf:resource="#wrook_d5_50"/> + <hasLowerFileThan rdf:resource="#wrook_d5_50"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_51 --> + + <BKing rdf:about="#bking_a1_51"> + <hasLowerRankThan rdf:resource="#wrook_d6_51"/> + <hasLowerFileThan rdf:resource="#wrook_d6_51"/> + <hasLowerRankThan rdf:resource="#wking_c2_51"/> + <hasLowerFileThan rdf:resource="#wking_c2_51"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_52 --> + + <BKing rdf:about="#bking_a1_52"> + <hasLowerFileThan rdf:resource="#wking_c2_52"/> + <hasLowerRankThan rdf:resource="#wking_c2_52"/> + <hasLowerFileThan rdf:resource="#wrook_d7_52"/> + <hasLowerRankThan rdf:resource="#wrook_d7_52"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_53 --> + + <BKing rdf:about="#bking_a1_53"> + <hasLowerFileThan rdf:resource="#wrook_d8_53"/> + <hasLowerFileThan rdf:resource="#wking_c2_53"/> + <hasLowerRankThan rdf:resource="#wrook_d8_53"/> + <hasLowerRankThan rdf:resource="#wking_c2_53"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_55 --> + + <BKing rdf:about="#bking_a1_55"> + <hasLowerRankThan rdf:resource="#wking_c2_55"/> + <hasLowerFileThan rdf:resource="#wrook_e4_55"/> + <hasLowerFileThan rdf:resource="#wking_c2_55"/> + <hasLowerRankThan rdf:resource="#wrook_e4_55"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_57 --> + + <BKing rdf:about="#bking_a1_57"> + <hasLowerRankThan rdf:resource="#wking_c2_57"/> + <hasLowerRankThan rdf:resource="#wrook_e5_57"/> + <hasLowerFileThan rdf:resource="#wking_c2_57"/> + <hasLowerFileThan rdf:resource="#wrook_e5_57"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_58 --> + + <BKing rdf:about="#bking_a1_58"> + <hasLowerFileThan rdf:resource="#wking_c2_58"/> + <hasLowerRankThan rdf:resource="#wrook_e6_58"/> + <hasLowerFileThan rdf:resource="#wrook_e6_58"/> + <hasLowerRankThan rdf:resource="#wking_c2_58"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_59 --> + + <BKing rdf:about="#bking_a1_59"> + <hasLowerRankThan rdf:resource="#wking_c2_59"/> + <hasLowerFileThan rdf:resource="#wrook_e7_59"/> + <hasLowerRankThan rdf:resource="#wrook_e7_59"/> + <hasLowerFileThan rdf:resource="#wking_c2_59"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_6 --> + + <BKing rdf:about="#bking_a1_6"> + <hasLowerFileThan rdf:resource="#wking_c1_6"/> + <hasLowerRankThan rdf:resource="#wrook_a8_6"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_60 --> + + <BKing rdf:about="#bking_a1_60"> + <hasLowerRankThan rdf:resource="#wking_c2_60"/> + <hasLowerRankThan rdf:resource="#wrook_e8_60"/> + <hasLowerFileThan rdf:resource="#wrook_e8_60"/> + <hasLowerFileThan rdf:resource="#wking_c2_60"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_62 --> + + <BKing rdf:about="#bking_a1_62"> + <hasLowerRankThan rdf:resource="#wking_c2_62"/> + <hasLowerRankThan rdf:resource="#wrook_f4_62"/> + <hasLowerFileThan rdf:resource="#wrook_f4_62"/> + <hasLowerFileThan rdf:resource="#wking_c2_62"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_64 --> + + <BKing rdf:about="#bking_a1_64"> + <hasLowerRankThan rdf:resource="#wrook_f5_64"/> + <hasLowerRankThan rdf:resource="#wking_c2_64"/> + <hasLowerFileThan rdf:resource="#wking_c2_64"/> + <hasLowerFileThan rdf:resource="#wrook_f5_64"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_65 --> + + <BKing rdf:about="#bking_a1_65"> + <hasLowerFileThan rdf:resource="#wrook_f6_65"/> + <hasLowerRankThan rdf:resource="#wrook_f6_65"/> + <hasLowerRankThan rdf:resource="#wking_c2_65"/> + <hasLowerFileThan rdf:resource="#wking_c2_65"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_66 --> + + <BKing rdf:about="#bking_a1_66"> + <hasLowerRankThan rdf:resource="#wrook_f7_66"/> + <hasLowerRankThan rdf:resource="#wking_c2_66"/> + <hasLowerFileThan rdf:resource="#wking_c2_66"/> + <hasLowerFileThan rdf:resource="#wrook_f7_66"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_67 --> + + <BKing rdf:about="#bking_a1_67"> + <hasLowerRankThan rdf:resource="#wking_c2_67"/> + <hasLowerFileThan rdf:resource="#wking_c2_67"/> + <hasLowerFileThan rdf:resource="#wrook_f8_67"/> + <hasLowerRankThan rdf:resource="#wrook_f8_67"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_69 --> + + <BKing rdf:about="#bking_a1_69"> + <hasLowerFileThan rdf:resource="#wrook_g4_69"/> + <hasLowerRankThan rdf:resource="#wking_c2_69"/> + <hasLowerFileThan rdf:resource="#wking_c2_69"/> + <hasLowerRankThan rdf:resource="#wrook_g4_69"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_7 --> + + <BKing rdf:about="#bking_a1_7"> + <hasLowerRankThan rdf:resource="#wrook_a3_7"/> + <hasLowerRankThan rdf:resource="#wking_c2_7"/> + <hasLowerFileThan rdf:resource="#wking_c2_7"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_71 --> + + <BKing rdf:about="#bking_a1_71"> + <hasLowerFileThan rdf:resource="#wking_c2_71"/> + <hasLowerRankThan rdf:resource="#wrook_g5_71"/> + <hasLowerRankThan rdf:resource="#wking_c2_71"/> + <hasLowerFileThan rdf:resource="#wrook_g5_71"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_72 --> + + <BKing rdf:about="#bking_a1_72"> + <hasLowerRankThan rdf:resource="#wrook_g6_72"/> + <hasLowerFileThan rdf:resource="#wking_c2_72"/> + <hasLowerRankThan rdf:resource="#wking_c2_72"/> + <hasLowerFileThan rdf:resource="#wrook_g6_72"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_73 --> + + <BKing rdf:about="#bking_a1_73"> + <hasLowerRankThan rdf:resource="#wking_c2_73"/> + <hasLowerRankThan rdf:resource="#wrook_g7_73"/> + <hasLowerFileThan rdf:resource="#wrook_g7_73"/> + <hasLowerFileThan rdf:resource="#wking_c2_73"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_74 --> + + <BKing rdf:about="#bking_a1_74"> + <hasLowerRankThan rdf:resource="#wrook_g8_74"/> + <hasLowerRankThan rdf:resource="#wking_c2_74"/> + <hasLowerFileThan rdf:resource="#wrook_g8_74"/> + <hasLowerFileThan rdf:resource="#wking_c2_74"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_76 --> + + <BKing rdf:about="#bking_a1_76"> + <hasLowerRankThan rdf:resource="#wrook_h4_76"/> + <hasLowerFileThan rdf:resource="#wking_c2_76"/> + <hasLowerFileThan rdf:resource="#wrook_h4_76"/> + <hasLowerRankThan rdf:resource="#wking_c2_76"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_78 --> + + <BKing rdf:about="#bking_a1_78"> + <hasLowerFileThan rdf:resource="#wrook_h5_78"/> + <hasLowerRankThan rdf:resource="#wrook_h5_78"/> + <hasLowerFileThan rdf:resource="#wking_c2_78"/> + <hasLowerRankThan rdf:resource="#wking_c2_78"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_79 --> + + <BKing rdf:about="#bking_a1_79"> + <hasLowerFileThan rdf:resource="#wking_c2_79"/> + <hasLowerRankThan rdf:resource="#wking_c2_79"/> + <hasLowerRankThan rdf:resource="#wrook_h6_79"/> + <hasLowerFileThan rdf:resource="#wrook_h6_79"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_8 --> + + <BKing rdf:about="#bking_a1_8"> + <hasLowerFileThan rdf:resource="#wking_c2_8"/> + <hasLowerRankThan rdf:resource="#wking_c2_8"/> + <hasLowerRankThan rdf:resource="#wrook_a4_8"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_80 --> + + <BKing rdf:about="#bking_a1_80"> + <hasLowerFileThan rdf:resource="#wrook_h7_80"/> + <hasLowerRankThan rdf:resource="#wking_c2_80"/> + <hasLowerFileThan rdf:resource="#wking_c2_80"/> + <hasLowerRankThan rdf:resource="#wrook_h7_80"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a1_81 --> + + <BKing rdf:about="#bking_a1_81"> + <hasLowerRankThan rdf:resource="#wking_c2_81"/> + <hasLowerRankThan rdf:resource="#wrook_h8_81"/> + <hasLowerFileThan rdf:resource="#wking_c2_81"/> + <hasLowerFileThan rdf:resource="#wrook_h8_81"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_11 --> + + <BKing rdf:about="#bking_a2_11"> + <hasLowerRankThan rdf:resource="#wrook_a5_11"/> + <hasLowerFileThan rdf:resource="#wking_c2_11"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_13 --> + + <BKing rdf:about="#bking_a2_13"> + <hasLowerFileThan rdf:resource="#wking_c2_13"/> + <hasLowerRankThan rdf:resource="#wrook_a6_13"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_15 --> + + <BKing rdf:about="#bking_a2_15"> + <hasLowerRankThan rdf:resource="#wrook_a7_15"/> + <hasLowerFileThan rdf:resource="#wking_c2_15"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_17 --> + + <BKing rdf:about="#bking_a2_17"> + <hasLowerRankThan rdf:resource="#wrook_a8_17"/> + <hasLowerFileThan rdf:resource="#wking_c2_17"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_28 --> + + <BKing rdf:about="#bking_a2_28"> + <hasLowerFileThan rdf:resource="#wking_c1_28"/> + <hasLowerFileThan rdf:resource="#wrook_c3_28"/> + <hasLowerRankThan rdf:resource="#wrook_c3_28"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_29 --> + + <BKing rdf:about="#bking_a2_29"> + <hasLowerFileThan rdf:resource="#wking_c1_29"/> + <hasLowerRankThan rdf:resource="#wrook_d3_29"/> + <hasLowerFileThan rdf:resource="#wrook_d3_29"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_30 --> + + <BKing rdf:about="#bking_a2_30"> + <hasLowerRankThan rdf:resource="#wrook_e3_30"/> + <hasLowerFileThan rdf:resource="#wrook_e3_30"/> + <hasLowerFileThan rdf:resource="#wking_c1_30"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_31 --> + + <BKing rdf:about="#bking_a2_31"> + <hasLowerFileThan rdf:resource="#wking_c1_31"/> + <hasLowerRankThan rdf:resource="#wrook_f3_31"/> + <hasLowerFileThan rdf:resource="#wrook_f3_31"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_32 --> + + <BKing rdf:about="#bking_a2_32"> + <hasLowerRankThan rdf:resource="#wrook_g3_32"/> + <hasLowerFileThan rdf:resource="#wking_c1_32"/> + <hasLowerFileThan rdf:resource="#wrook_g3_32"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_33 --> + + <BKing rdf:about="#bking_a2_33"> + <hasLowerFileThan rdf:resource="#wrook_h3_33"/> + <hasLowerRankThan rdf:resource="#wrook_h3_33"/> + <hasLowerFileThan rdf:resource="#wking_c1_33"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_34 --> + + <BKing rdf:about="#bking_a2_34"> + <hasLowerFileThan rdf:resource="#wking_c2_34"/> + <hasLowerFileThan rdf:resource="#wrook_b3_34"/> + <hasLowerRankThan rdf:resource="#wrook_b3_34"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_40 --> + + <BKing rdf:about="#bking_a2_40"> + <hasLowerFileThan rdf:resource="#wking_c2_40"/> + <hasLowerRankThan rdf:resource="#wrook_c3_40"/> + <hasLowerFileThan rdf:resource="#wrook_c3_40"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_47 --> + + <BKing rdf:about="#bking_a2_47"> + <hasLowerRankThan rdf:resource="#wrook_d3_47"/> + <hasLowerFileThan rdf:resource="#wrook_d3_47"/> + <hasLowerFileThan rdf:resource="#wking_c2_47"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_54 --> + + <BKing rdf:about="#bking_a2_54"> + <hasLowerFileThan rdf:resource="#wrook_e3_54"/> + <hasLowerFileThan rdf:resource="#wking_c2_54"/> + <hasLowerRankThan rdf:resource="#wrook_e3_54"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_61 --> + + <BKing rdf:about="#bking_a2_61"> + <hasLowerRankThan rdf:resource="#wrook_f3_61"/> + <hasLowerFileThan rdf:resource="#wrook_f3_61"/> + <hasLowerFileThan rdf:resource="#wking_c2_61"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_68 --> + + <BKing rdf:about="#bking_a2_68"> + <hasLowerFileThan rdf:resource="#wrook_g3_68"/> + <hasLowerRankThan rdf:resource="#wrook_g3_68"/> + <hasLowerFileThan rdf:resource="#wking_c2_68"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_75 --> + + <BKing rdf:about="#bking_a2_75"> + <hasLowerRankThan rdf:resource="#wrook_h3_75"/> + <hasLowerFileThan rdf:resource="#wking_c2_75"/> + <hasLowerFileThan rdf:resource="#wrook_h3_75"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a2_9 --> + + <BKing rdf:about="#bking_a2_9"> + <hasLowerFileThan rdf:resource="#wking_c2_9"/> + <hasLowerRankThan rdf:resource="#wrook_a4_9"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a3_42 --> + + <BKing rdf:about="#bking_a3_42"> + <hasLowerFileThan rdf:resource="#wking_c2_42"/> + <hasLowerRankThan rdf:resource="#wrook_c4_42"/> + <hasLowerFileThan rdf:resource="#wrook_c4_42"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a3_49 --> + + <BKing rdf:about="#bking_a3_49"> + <hasLowerFileThan rdf:resource="#wrook_d4_49"/> + <hasLowerRankThan rdf:resource="#wrook_d4_49"/> + <hasLowerFileThan rdf:resource="#wking_c2_49"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a3_56 --> + + <BKing rdf:about="#bking_a3_56"> + <hasLowerRankThan rdf:resource="#wrook_e4_56"/> + <hasLowerFileThan rdf:resource="#wking_c2_56"/> + <hasLowerFileThan rdf:resource="#wrook_e4_56"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a3_63 --> + + <BKing rdf:about="#bking_a3_63"> + <hasLowerFileThan rdf:resource="#wking_c2_63"/> + <hasLowerFileThan rdf:resource="#wrook_f4_63"/> + <hasLowerRankThan rdf:resource="#wrook_f4_63"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a3_70 --> + + <BKing rdf:about="#bking_a3_70"> + <hasLowerFileThan rdf:resource="#wrook_g4_70"/> + <hasLowerFileThan rdf:resource="#wking_c2_70"/> + <hasLowerRankThan rdf:resource="#wrook_g4_70"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_a3_77 --> + + <BKing rdf:about="#bking_a3_77"> + <hasLowerRankThan rdf:resource="#wrook_h4_77"/> + <hasLowerFileThan rdf:resource="#wrook_h4_77"/> + <hasLowerFileThan rdf:resource="#wking_c2_77"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_b1_82 --> + + <BKing rdf:about="#bking_b1_82"> + <hasLowerRankThan rdf:resource="#wking_c3_82"/> + <hasLowerFileThan rdf:resource="#wking_c3_82"/> + <hasLowerRankThan rdf:resource="#wrook_a3_82"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_b1_83 --> + + <BKing rdf:about="#bking_b1_83"> + <hasLowerRankThan rdf:resource="#wking_c3_83"/> + <hasLowerRankThan rdf:resource="#wrook_a4_83"/> + <hasLowerFileThan rdf:resource="#wking_c3_83"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_b1_84 --> + + <BKing rdf:about="#bking_b1_84"> + <hasLowerRankThan rdf:resource="#wrook_a5_84"/> + <hasLowerRankThan rdf:resource="#wking_c3_84"/> + <hasLowerFileThan rdf:resource="#wking_c3_84"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_b1_85 --> + + <BKing rdf:about="#bking_b1_85"> + <hasLowerRankThan rdf:resource="#wking_c3_85"/> + <hasLowerFileThan rdf:resource="#wking_c3_85"/> + <hasLowerRankThan rdf:resource="#wrook_a6_85"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_b1_86 --> + + <BKing rdf:about="#bking_b1_86"> + <hasLowerRankThan rdf:resource="#wking_c3_86"/> + <hasLowerRankThan rdf:resource="#wrook_a7_86"/> + <hasLowerFileThan rdf:resource="#wking_c3_86"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_b1_87 --> + + <BKing rdf:about="#bking_b1_87"> + <hasLowerRankThan rdf:resource="#wking_c3_87"/> + <hasLowerRankThan rdf:resource="#wrook_a8_87"/> + <hasLowerFileThan rdf:resource="#wking_c3_87"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_c1_18 --> + + <BKing rdf:about="#bking_c1_18"> + <hasLowerRankThan rdf:resource="#wking_c3_18"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_c1_19 --> + + <BKing rdf:about="#bking_c1_19"> + <hasLowerFileThan rdf:resource="#wrook_e1_19"/> + <hasLowerRankThan rdf:resource="#wking_c3_19"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_c1_20 --> + + <BKing rdf:about="#bking_c1_20"> + <hasLowerRankThan rdf:resource="#wking_c3_20"/> + <hasLowerFileThan rdf:resource="#wrook_f1_20"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_c1_21 --> + + <BKing rdf:about="#bking_c1_21"> + <hasLowerFileThan rdf:resource="#wrook_g1_21"/> + <hasLowerRankThan rdf:resource="#wking_c3_21"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_c1_22 --> + + <BKing rdf:about="#bking_c1_22"> + <hasLowerFileThan rdf:resource="#wrook_h1_22"/> + <hasLowerRankThan rdf:resource="#wking_c3_22"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_c1_94 --> + + <BKing rdf:about="#bking_c1_94"> + <hasLowerFileThan rdf:resource="#wking_d3_94"/> + <hasLowerRankThan rdf:resource="#wking_d3_94"/> + <hasLowerRankThan rdf:resource="#wrook_b3_94"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_c1_95 --> + + <BKing rdf:about="#bking_c1_95"> + <hasLowerFileThan rdf:resource="#wking_d3_95"/> + <hasLowerRankThan rdf:resource="#wrook_b4_95"/> + <hasLowerRankThan rdf:resource="#wking_d3_95"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_c1_96 --> + + <BKing rdf:about="#bking_c1_96"> + <hasLowerRankThan rdf:resource="#wking_d3_96"/> + <hasLowerFileThan rdf:resource="#wking_d3_96"/> + <hasLowerRankThan rdf:resource="#wrook_b5_96"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_c1_97 --> + + <BKing rdf:about="#bking_c1_97"> + <hasLowerRankThan rdf:resource="#wrook_b6_97"/> + <hasLowerFileThan rdf:resource="#wking_d3_97"/> + <hasLowerRankThan rdf:resource="#wking_d3_97"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_c1_98 --> + + <BKing rdf:about="#bking_c1_98"> + <hasLowerRankThan rdf:resource="#wrook_b7_98"/> + <hasLowerFileThan rdf:resource="#wking_d3_98"/> + <hasLowerRankThan rdf:resource="#wking_d3_98"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_c1_99 --> + + <BKing rdf:about="#bking_c1_99"> + <hasLowerRankThan rdf:resource="#wrook_b8_99"/> + <hasLowerRankThan rdf:resource="#wking_d3_99"/> + <hasLowerFileThan rdf:resource="#wking_d3_99"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_d1_23 --> + + <BKing rdf:about="#bking_d1_23"> + <hasLowerRankThan rdf:resource="#wking_d3_23"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_d1_24 --> + + <BKing rdf:about="#bking_d1_24"> + <hasLowerRankThan rdf:resource="#wking_d3_24"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_d1_25 --> + + <BKing rdf:about="#bking_d1_25"> + <hasLowerFileThan rdf:resource="#wrook_f1_25"/> + <hasLowerRankThan rdf:resource="#wking_d3_25"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_d1_26 --> + + <BKing rdf:about="#bking_d1_26"> + <hasLowerFileThan rdf:resource="#wrook_g1_26"/> + <hasLowerRankThan rdf:resource="#wking_d3_26"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_d1_27 --> + + <BKing rdf:about="#bking_d1_27"> + <hasLowerFileThan rdf:resource="#wrook_h1_27"/> + <hasLowerRankThan rdf:resource="#wking_d3_27"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_d1_88 --> + + <BKing rdf:about="#bking_d1_88"> + <hasLowerRankThan rdf:resource="#wrook_e3_88"/> + <hasLowerRankThan rdf:resource="#wking_c3_88"/> + <hasLowerFileThan rdf:resource="#wrook_e3_88"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_d1_89 --> + + <BKing rdf:about="#bking_d1_89"> + <hasLowerRankThan rdf:resource="#wking_c3_89"/> + <hasLowerRankThan rdf:resource="#wrook_e4_89"/> + <hasLowerFileThan rdf:resource="#wrook_e4_89"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_d1_90 --> + + <BKing rdf:about="#bking_d1_90"> + <hasLowerFileThan rdf:resource="#wrook_e5_90"/> + <hasLowerRankThan rdf:resource="#wking_c3_90"/> + <hasLowerRankThan rdf:resource="#wrook_e5_90"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_d1_91 --> + + <BKing rdf:about="#bking_d1_91"> + <hasLowerRankThan rdf:resource="#wrook_e6_91"/> + <hasLowerRankThan rdf:resource="#wking_c3_91"/> + <hasLowerFileThan rdf:resource="#wrook_e6_91"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_d1_92 --> + + <BKing rdf:about="#bking_d1_92"> + <hasLowerRankThan rdf:resource="#wrook_e7_92"/> + <hasLowerRankThan rdf:resource="#wking_c3_92"/> + <hasLowerFileThan rdf:resource="#wrook_e7_92"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_d1_93 --> + + <BKing rdf:about="#bking_d1_93"> + <hasLowerRankThan rdf:resource="#wking_c3_93"/> + <hasLowerRankThan rdf:resource="#wrook_e8_93"/> + <hasLowerFileThan rdf:resource="#wrook_e8_93"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_e1_100 --> + + <BKing rdf:about="#bking_e1_100"> + <hasLowerRankThan rdf:resource="#wking_d3_100"/> + <hasLowerRankThan rdf:resource="#wrook_f3_100"/> + <hasLowerFileThan rdf:resource="#wrook_f3_100"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_e1_101 --> + + <BKing rdf:about="#bking_e1_101"> + <hasLowerRankThan rdf:resource="#wking_d3_101"/> + <hasLowerFileThan rdf:resource="#wrook_f4_101"/> + <hasLowerRankThan rdf:resource="#wrook_f4_101"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_e1_102 --> + + <BKing rdf:about="#bking_e1_102"> + <hasLowerFileThan rdf:resource="#wrook_f5_102"/> + <hasLowerRankThan rdf:resource="#wking_d3_102"/> + <hasLowerRankThan rdf:resource="#wrook_f5_102"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_e1_103 --> + + <BKing rdf:about="#bking_e1_103"> + <hasLowerRankThan rdf:resource="#wking_d3_103"/> + <hasLowerFileThan rdf:resource="#wrook_f6_103"/> + <hasLowerRankThan rdf:resource="#wrook_f6_103"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_e1_104 --> + + <BKing rdf:about="#bking_e1_104"> + <hasLowerRankThan rdf:resource="#wrook_f7_104"/> + <hasLowerFileThan rdf:resource="#wrook_f7_104"/> + <hasLowerRankThan rdf:resource="#wking_d3_104"/> + </BKing> + + + + <!-- http://www.test.de/test#bking_e1_105 --> + + <BKing rdf:about="#bking_e1_105"> + <hasLowerRankThan rdf:resource="#wking_d3_105"/> + <hasLowerRankThan rdf:resource="#wrook_f8_105"/> + <hasLowerFileThan rdf:resource="#wrook_f8_105"/> + </BKing> + + + + <!-- http://www.test.de/test#game1 --> + + <ZERO rdf:about="#game1"> + <rdf:type rdf:resource="#Game"/> + <hasPiece rdf:resource="#wking_c1_1"/> + <hasPiece rdf:resource="#wrook_a3_1"/> + <hasPiece rdf:resource="#bking_a1_1"/> + </ZERO> + + + + <!-- http://www.test.de/test#game10 --> + + <ZERO rdf:about="#game10"> + <rdf:type rdf:resource="#Game"/> + <hasPiece rdf:resource="#wrook_a5_10"/> + <hasPiece rdf:resource="#bking_a1_10"/> + <hasPiece rdf:resource="#wking_c2_10"/> + </ZERO> + + + + <!-- http://www.test.de/test#game100 --> + + <Game rdf:about="#game100"> + <rdf:type rdf:resource="#ONE"/> + <hasPiece rdf:resource="#wking_d3_100"/> + <hasPiece rdf:resource="#wrook_f3_100"/> + <hasPiece rdf:resource="#bking_e1_100"/> + </Game> + + + + <!-- http://www.test.de/test#game101 --> + + <Game rdf:about="#game101"> + <rdf:type rdf:resource="#ONE"/> + <hasPiece rdf:resource="#wrook_f4_101"/> + <hasPiece rdf:resource="#bking_e1_101"/> + <hasPiece rdf:resource="#wking_d3_101"/> + </Game> + + + + <!-- http://www.test.de/test#game102 --> + + <Game rdf:about="#game102"> + <rdf:type rdf:resource="#ONE"/> + <hasPiece rdf:resource="#wking_d3_102"/> + <hasPiece rdf:resource="#bking_e1_102"/> + <hasPiece rdf:resource="#wrook_f5_102"/> + </Game> + + + + <!-- http://www.test.de/test#game103 --> + + <Game rdf:about="#game103"> + <rdf:type rdf:resource="#ONE"/> + <hasPiece rdf:resource="#bking_e1_103"/> + <hasPiece rdf:resource="#wking_d3_103"/> + <hasPiece rdf:resource="#wrook_f6_103"/> + </Game> + + + + <!-- http://www.test.de/test#game104 --> + + <ONE rdf:about="#game104"> + <rdf:type rdf:resource="#Game"/> + <hasPiece rdf:resource="#wrook_f7_104"/> + <hasPiece rdf:resource="#wking_d3_104"/> + <hasPiece rdf:resource="#bking_e1_104"/> + </ONE> + + + + <!-- http://www.test.de/test#game105 --> + + <Game rdf:about="#game105"> + <rdf:type rdf:resource="#ONE"/> + <hasPiece rdf:resource="#wking_d3_105"/> + <hasPiece rdf:resource="#bking_e1_105"/> + <hasPiece rdf:resource="#wrook_f8_105"/> + </Game> + + + + <!-- http://www.test.de/test#game11 --> + + <ZERO rdf:about="#game11"> + <rdf:type rdf:resource="#Game"/> + <hasPiece rdf:resource="#bking_a2_11"/> + <hasPiece rdf:resource="#wking_c2_11"/> + <hasPiece rdf:resource="#wrook_a5_11"/> + </ZERO> + + + + <!-- http://www.test.de/test#game12 --> + + <Game rdf:about="#game12"> + <rdf:type rdf:resource="#ZERO"/> + <hasPiece rdf:resource="#bking_a1_12"/> + <hasPiece rdf:resource="#wking_c2_12"/> + <hasPiece rdf:resource="#wrook_a6_12"/> + </Game> + + + + <!-- http://www.test.de/test#game13 --> + + <ZERO rdf:about="#game13"> + <rdf:type rdf:resource="#Game"/> + <hasPiece rdf:resource="#bking_a2_13"/> + <hasPiece rdf:resource="#wrook_a6_13"/> + <hasPiece rdf:resource="#wking_c2_13"/> + </ZERO> + + + + <!-- http://www.test.de/test#game14 --> + + <ZERO rdf:about="#game14"> + <rdf:type rdf:resource="#Game"/> + <hasPiece rdf:resource="#bking_a1_14"/> + <hasPiece rdf:resource="#wrook_a7_14"/> + <hasPiece rdf:resource="#wking_c2_14"/> + </ZERO> + + + + <!-- http://www.test.de/test#game15 --> + + <ZERO rdf:about="#game15"> + <rdf:type rdf:resource="#Game"/> + <hasPiece rdf:resource="#bking_a2_15"/> + <hasPiece rdf:resource="#wrook_a7_15"/> + <hasPiece rdf:resource="#wking_c2_15"/> + </ZERO> + + + + <!-- http://www.test.de/test#game16 --> + + <ZERO rdf:about="#game16"> + <rdf:type rdf:resource="#Game"/> + <hasPiece rdf:resource="#wking_c2_16"/> + <hasPiece rdf:resource="#bking_a1_16"/> + <hasPiece rdf:resource="#wrook_a8_16"/> + </ZERO> + + + + <!-- http://www.test.de/test#game17 --> + + <Game rdf:about="#game17"> + <rdf:type rdf:resource="#ZERO"/> + <hasPiece rdf:resource="#wking_c2_17"/> + <hasPiece rdf:resource="#bking_a2_17"/> + <hasPiece rdf:resource="#wrook_a8_17"/> + </Game> + + + + <!-- http://www.test.de/test#game18 --> + + <Game rdf:about="#game18"> + <rdf:type rdf:resource="#ZERO"/> + <hasPiece rdf:resource="#bking_c1_18"/> + <hasPiece rdf:resource="#wking_c3_18"/> + <hasPiece rdf:resource="#wrook_a1_18"/> + </Game> + + + + <!-- http://www.test.de/test#game19 --> + + <Game rdf:about="#game19"> + <rdf:type rdf:resource="#ZERO"/> + <hasPiece rdf:resource="#wking_c3_19"/> + <hasPiece rdf:resource="#bking_c1_19"/> + <hasPiece rdf:resource="#wrook_e1_19"/> + </Game> + + + + <!-- http://www.test.de/test#game2 --> + + <Game rdf:about="#game2"> + <rdf:type rdf:resource="#ZERO"/> + <hasPiece rdf:resource="#wking_c1_2"/> + <hasPiece rdf:resource="#bking_a1_2"/> + <hasPiece rdf:resource="#wrook_a4_2"/> + </Game> + + + + <!-- http://www.test.de/test#game20 --> + + <Game rdf:about="#game20"> + <rdf:type rdf:resource="#ZERO"/> + <hasPiece rdf:resource="#wrook_f1_20"/> + <hasPiece... [truncated message content] |