Menu
▾
▴
[Dl-learner-svn] SF.net SVN: dl-learner: [4] trunk/examples
|
From: <jen...@us...> - 2007-08-20 13:29:00
|
Revision: 4
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=4&view=rev
Author: jenslehmann
Date: 2007-08-20 06:28:55 -0700 (Mon, 20 Aug 2007)
Log Message:
-----------
added examples
Added Paths:
-----------
trunk/examples/arch/
trunk/examples/arch/arch.conf
trunk/examples/arch/arch.gif
trunk/examples/arch/arch.owl
trunk/examples/arch/arch.png
trunk/examples/arch/arch_owl.conf
trunk/examples/dbpedia/
trunk/examples/dbpedia/AristotleWorking1.conf
trunk/examples/dbpedia/SilentBob.conf
trunk/examples/dbpedia/SilentBobWorking1.conf
trunk/examples/dbpedia/SilentBobWorking2.conf
trunk/examples/father.conf
trunk/examples/father.owl
trunk/examples/father2.conf
trunk/examples/forte/
trunk/examples/forte/forte.conf
trunk/examples/forte/forte.owl
trunk/examples/forte/forte_uncle.conf
trunk/examples/forte/statistics_uncle.pdf
trunk/examples/grandfather.conf
trunk/examples/poker/
trunk/examples/poker/pair50.owl
trunk/examples/poker/pair_owl.conf
trunk/examples/poker/poker_pair.conf
trunk/examples/poker/poker_straight.conf
trunk/examples/poker/straight.owl
trunk/examples/poker/straight_owl.conf
trunk/examples/trains/
trunk/examples/trains/trains.conf
trunk/examples/trains/trains.gif
trunk/examples/trains/trains.owl
trunk/examples/trains/trains_owl.conf
trunk/examples/uncle.conf
trunk/examples/yinyang_examples/
trunk/examples/yinyang_examples/Brother.conf
trunk/examples/yinyang_examples/Daughter.conf
trunk/examples/yinyang_examples/Father.conf
trunk/examples/yinyang_examples/GrandFather.conf
trunk/examples/yinyang_examples/GrandMother.conf
trunk/examples/yinyang_examples/GrandParent.conf
trunk/examples/yinyang_examples/Offspring.conf
trunk/examples/yinyang_examples/Parent.conf
trunk/examples/yinyang_examples/Sibling.conf
trunk/examples/yinyang_examples/Sister.conf
trunk/examples/yinyang_examples/basicFamily.owl
trunk/examples/yinyang_examples/readme.txt
trunk/examples/yinyang_files/
trunk/examples/yinyang_files/archLearningProblem.xml
trunk/examples/yinyang_files/archNegatives.txt
trunk/examples/yinyang_files/archPositives.txt
trunk/examples/yinyang_files/forteLearningProblemYinYang.xml
trunk/examples/yinyang_files/forteNegativesYinYang.txt
trunk/examples/yinyang_files/fortePositivesYinYang.txt
trunk/examples/yinyang_files/pairLearningProblem.xml
trunk/examples/yinyang_files/pairNegatives.txt
trunk/examples/yinyang_files/pairPositives.txt
trunk/examples/yinyang_files/readme.txt
trunk/examples/yinyang_files/straightLearningProblem.xml
trunk/examples/yinyang_files/straightNegatives.txt
trunk/examples/yinyang_files/straightPositives.txt
Added: trunk/examples/arch/arch.conf
===================================================================
--- trunk/examples/arch/arch.conf (rev 0)
+++ trunk/examples/arch/arch.conf 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,115 @@
+/*****************************
+
+Example created from this:
+
+arch(A, B, C) A, B and C form an arch with lintel A
+supports(A, B) A supports B
+left-of(A, B) A is left of B
+touches(A, B) the sides of A and B touch
+brick(A) A is a brick
+wedge(A) A is a wedge
+parallelpiped(A, B) A is a brick or a wedge
+
+Solution: arch(A, B, C) <- left-of(B, C), supports(B, A), not touches(B, C)
+
+Solution
+EXISTS hasPillar.EXISTS leftof.TOP <-TOO OBVIOUS all constructions c1,c2,c3,c4
+AND EXISTS hasPillar.EXISTS supports.TOP <-IS FOUND [c1, c3, c4]
+AND NOT EXISTS hasPillar.EXISTS touches.TOP <- Not found (open world assumption)
+ work around with freeStandingPillar
+
+see picture arch.jpg
+
+
+***************************/
+
+ //reasoner = kaon2;
+
+ // search tree protocol
+refinement.writeSearchTree = false;
+refinement.searchTreeFile = "searchTree.txt";
+//export("arch.owl");
+
+/** background knowledge **/
+parallelpipe = (brick OR wedge).
+freeStandingPillar = (pillar AND NOT EXISTS touches.TOP ) .
+
+
+
+construction(c1).
+construction(c2).
+construction(c3).
+construction(c4).
+construction(c5).
+
+
+pillar(p1).
+pillar(p2).
+pillar(p3).
+pillar(p4).
+pillar(p5).
+pillar(p6).
+pillar(p7).
+pillar(p8).
+pillar(p9).
+
+
+brick(a).
+brick(b).
+brick(c).
+wedge(d).
+wedge(e).
+
+hasPillar(c1,p1).
+hasPillar(c1,p2).
+hasPillar(c2,p3).
+hasPillar(c2,p4).
+hasPillar(c3,p5).
+hasPillar(c3,p6).
+hasPillar(c4,p7).
+hasPillar(c4,p8).
+hasPillar(c5,p9).
+
+
+
+
+hasParallelpipe(c1,a).
+hasParallelpipe(c2,b).
+hasParallelpipe(c3,c).
+hasParallelpipe(c4,d).
+hasParallelpipe(c5,e).
+
+
+supports(p1,a).
+supports(p2,a).
+supports(p5,c).
+supports(p6,c).
+supports(p7,d).
+supports(p8,d).
+supports(p9,e).
+
+
+leftof(p1,p2).
+leftof(p3,p4).
+leftof(p5,p6).
+leftof(p7,p8).
+
+touches(p5,p6).
+
+
+freeStandingPillar(p1).
+freeStandingPillar(p2).
+freeStandingPillar(p3).
+freeStandingPillar(p4).
+freeStandingPillar(p7).
+freeStandingPillar(p8).
+freeStandingPillar(p9).
+
+
+
+/** examples **/
++arch(c1).
++arch(c4).
+-arch(c2).
+-arch(c3).
+-arch(c5).
Added: trunk/examples/arch/arch.gif
===================================================================
(Binary files differ)
Property changes on: trunk/examples/arch/arch.gif
___________________________________________________________________
Name: svn:mime-type
+ application/octet-stream
Added: trunk/examples/arch/arch.owl
===================================================================
--- trunk/examples/arch/arch.owl (rev 0)
+++ trunk/examples/arch/arch.owl 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,115 @@
+<?xml version="1.0"?>
+<!DOCTYPE rdf:RDF [
+ <!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
+]>
+<rdf:RDF xml:base="http://localhost/foo"
+xmlns:a="http://localhost/foo#"
+xmlns:owl="http://www.w3.org/2002/07/owl#"
+xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+xmlns:prefix1="http://localhost/foo#">
+ <owl:Ontology rdf:about=""/>
+ <owl:Class rdf:ID="freeStandingPillar">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#pillar"/>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#touches"/>
+ <owl:someValuesFrom rdf:resource="&owl;Thing"/>
+ </owl:Restriction>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+ <owl:Class rdf:ID="parallelpipe">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#brick"/>
+ <owl:Class rdf:about="#wedge"/>
+ </owl:unionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+ <prefix1:brick rdf:ID="a"/>
+ <prefix1:brick rdf:ID="b"/>
+ <prefix1:brick rdf:ID="c"/>
+ <prefix1:construction rdf:ID="c1">
+ <prefix1:hasParallelpipe rdf:resource="#a"/>
+ <prefix1:hasPillar rdf:resource="#p1"/>
+ <prefix1:hasPillar rdf:resource="#p2"/>
+ </prefix1:construction>
+ <prefix1:construction rdf:ID="c2">
+ <prefix1:hasParallelpipe rdf:resource="#b"/>
+ <prefix1:hasPillar rdf:resource="#p3"/>
+ <prefix1:hasPillar rdf:resource="#p4"/>
+ </prefix1:construction>
+ <prefix1:construction rdf:ID="c3">
+ <prefix1:hasParallelpipe rdf:resource="#c"/>
+ <prefix1:hasPillar rdf:resource="#p5"/>
+ <prefix1:hasPillar rdf:resource="#p6"/>
+ </prefix1:construction>
+ <prefix1:construction rdf:ID="c4">
+ <prefix1:hasParallelpipe rdf:resource="#d"/>
+ <prefix1:hasPillar rdf:resource="#p7"/>
+ <prefix1:hasPillar rdf:resource="#p8"/>
+ </prefix1:construction>
+ <prefix1:construction rdf:ID="c5">
+ <prefix1:hasParallelpipe rdf:resource="#e"/>
+ <prefix1:hasPillar rdf:resource="#p9"/>
+ </prefix1:construction>
+ <prefix1:wedge rdf:ID="d"/>
+ <prefix1:wedge rdf:ID="e"/>
+ <prefix1:freeStandingPillar rdf:ID="p1">
+ <rdf:type rdf:resource="#pillar"/>
+ <prefix1:leftof rdf:resource="#p2"/>
+ <prefix1:supports rdf:resource="#a"/>
+ </prefix1:freeStandingPillar>
+ <prefix1:freeStandingPillar rdf:ID="p2">
+ <rdf:type rdf:resource="#pillar"/>
+ <prefix1:supports rdf:resource="#a"/>
+ </prefix1:freeStandingPillar>
+ <prefix1:freeStandingPillar rdf:ID="p3">
+ <rdf:type rdf:resource="#pillar"/>
+ <prefix1:leftof rdf:resource="#p4"/>
+ </prefix1:freeStandingPillar>
+ <prefix1:freeStandingPillar rdf:ID="p4">
+ <rdf:type rdf:resource="#pillar"/>
+ </prefix1:freeStandingPillar>
+ <prefix1:pillar rdf:ID="p5">
+ <prefix1:leftof rdf:resource="#p6"/>
+ <prefix1:supports rdf:resource="#c"/>
+ <prefix1:touches rdf:resource="#p6"/>
+ </prefix1:pillar>
+ <prefix1:pillar rdf:ID="p6">
+ <prefix1:supports rdf:resource="#c"/>
+ </prefix1:pillar>
+ <prefix1:freeStandingPillar rdf:ID="p7">
+ <rdf:type rdf:resource="#pillar"/>
+ <prefix1:leftof rdf:resource="#p8"/>
+ <prefix1:supports rdf:resource="#d"/>
+ </prefix1:freeStandingPillar>
+ <prefix1:freeStandingPillar rdf:ID="p8">
+ <rdf:type rdf:resource="#pillar"/>
+ <prefix1:supports rdf:resource="#d"/>
+ </prefix1:freeStandingPillar>
+ <prefix1:freeStandingPillar rdf:ID="p9">
+ <rdf:type rdf:resource="#pillar"/>
+ <prefix1:supports rdf:resource="#e"/>
+ </prefix1:freeStandingPillar>
+ <owl:Class rdf:ID="brick"/>
+ <owl:Class rdf:ID="construction"/>
+ <owl:Class rdf:ID="pillar"/>
+ <owl:Class rdf:ID="wedge"/>
+ <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
+ <owl:ObjectProperty rdf:ID="hasParallelpipe"/>
+ <owl:ObjectProperty rdf:ID="hasPillar"/>
+ <owl:ObjectProperty rdf:ID="leftof"/>
+ <owl:ObjectProperty rdf:ID="supports"/>
+ <owl:ObjectProperty rdf:ID="touches"/>
+</rdf:RDF>
Added: trunk/examples/arch/arch.png
===================================================================
(Binary files differ)
Property changes on: trunk/examples/arch/arch.png
___________________________________________________________________
Name: svn:mime-type
+ application/octet-stream
Added: trunk/examples/arch/arch_owl.conf
===================================================================
--- trunk/examples/arch/arch_owl.conf (rev 0)
+++ trunk/examples/arch/arch_owl.conf 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,43 @@
+/*****************************
+
+Example created from this:
+
+arch(A, B, C) A, B and C form an arch with lintel A
+supports(A, B) A supports B
+left-of(A, B) A is left of B
+touches(A, B) the sides of A and B touch
+brick(A) A is a brick
+wedge(A) A is a wedge
+parallelpiped(A, B) A is a brick or a wedge
+
+Solution: arch(A, B, C) <- left-of(B, C), supports(B, A), not touches(B, C)
+
+Solution
+EXISTS hasPillar.EXISTS leftof.TOP <-TOO OBVIOUS all constructions c1,c2,c3,c4
+AND EXISTS hasPillar.EXISTS supports.TOP <-IS FOUND [c1, c3, c4]
+AND NOT EXISTS hasPillar.EXISTS touches.TOP <- Not found (open world assumption)
+ work around with freeStandingPillar
+
+see picture arch.jpg
+
+
+***************************/
+
+ //reasoner = kaon2;
+
+ // search tree protocol
+refinement.writeSearchTree = false;
+refinement.searchTreeFile = "searchTree.txt";
+refinement.quiet = true;
+import("arch.owl");
+// hidePrefix="http://localhost/foo#";
+/** background knowledge **/
+
+
+
+/** examples **/
++arch("http://localhost/foo#c1").
++arch("http://localhost/foo#c4").
+-arch("http://localhost/foo#c2").
+-arch("http://localhost/foo#c3").
+-arch("http://localhost/foo#c5").
Added: trunk/examples/dbpedia/AristotleWorking1.conf
===================================================================
--- trunk/examples/dbpedia/AristotleWorking1.conf (rev 0)
+++ trunk/examples/dbpedia/AristotleWorking1.conf 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,82 @@
+
+loadJarFile("lib/modules/sparqlModule.jar");
+runPreprocessingModule("org.dllearner.modules.SparqlModule");
+
+// reasoner settings
+reasoner = dig;
+digReasonerURL = "http://localhost:8081";
+useRetrievalForClassification = false;
+refinement.useDIGMultiInstanceChecks = twoChecks;
+
+// algorithm settings
+algorithm = refinement;
+refinement.horizontalExpansionFactor = 0.6;
+refinement.quiet = false;
+refinement.useTooWeakList = true;
+
+// search tree protocol
+refinement.writeSearchTree = false;
+refinement.searchTreeFile = "Aristotle_searchTree.txt";
+
+// control output
+showIndividuals = true;
+showConcepts = true;
+showRoles = true;
+showInternalKB = true;
+showSubsumptionHierarchy = true;
+
+hidePrefix="http://dbpedia.org/resource/";
+//
+
+refinement.useAllConstructor = false;
+refinement.useExistsConstructor = true;
+refinement.useNegation = false;
+
+sparqlModule.numberOfRecursion = 2;
+/**
+1 flach nicht zu empfehlen
+2 Klassen f�r objects und properties of objects
+3 Klassen f�r properties of objects und superklassen von klassen
+**/
+sparqlModule.filterMode = 0;
+
+
+/*sparqlModule.sparqlPredicateFilterList={"http://www.w3.org/2004/02/skos/core",
+ "http://xmlns.com/foaf/0.1/",
+ "http://dbpedia.org/property/wikipage-",
+ "http://www.w3.org/2002/07/owl#sameAs",
+ "http://dbpedia.org/property/reference"};
+sparqlModule.sparqlObjectFilterList={"http://dbpedia.org/resource/Category:Articles_",
+ "http://dbpedia.org/resource/Category:Wikipedia_",
+ "http://xmlns.com/foaf/0.1/",
+ "http://dbpedia.org/resource/Category",
+ "http://dbpedia.org/resource/Template",
+ "http://upload.wikimedia.org/wikipedia/commons"};*/
+//sparqlModule.classList={};
+//sparqlModule.useLiterals = false;
+
+
+
+
+//mathematiker
++test("http://dbpedia.org/resource/Pythagoras").
+//well you know
++test("http://dbpedia.org/resource/Philolaus").
+//was a Greek Pythagorean and Presocratic.
++test("http://dbpedia.org/resource/Archytas").
+//was an Ancient Greek philosopher, mathematician, astronomer, statesman, and strategist.
+
+
+//Philosophen
+-test("http://dbpedia.org/resource/Socrates").
+-test("http://dbpedia.org/resource/Plato").
+
+-test("http://dbpedia.org/resource/Zeno_of_Elea").
+//was a pre-Socratic Greek philosopher
+-test("http://dbpedia.org/resource/Democritus").
+//was a pre-Socratic Greek philosopher
+
+
+
+
+
Added: trunk/examples/dbpedia/SilentBob.conf
===================================================================
--- trunk/examples/dbpedia/SilentBob.conf (rev 0)
+++ trunk/examples/dbpedia/SilentBob.conf 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,79 @@
+loadJarFile("lib/modules/sparqlModule.jar");
+runPreprocessingModule("org.dllearner.modules.SparqlModule");
+
+// reasoner settings
+reasoner = dig;
+digReasonerURL = "http://localhost:8081";
+useRetrievalForClassification = false;
+refinement.useDIGMultiInstanceChecks = twoChecks;
+
+// algorithm settings
+algorithm = refinement;
+refinement.horizontalExpansionFactor = 0.6;
+refinement.quiet = false;
+refinement.useTooWeakList = true;
+
+// search tree protocol
+refinement.writeSearchTree = true;
+refinement.searchTreeFile = "SilentBob_searchTree.txt";
+
+// control output
+showIndividuals = true;
+showConcepts = true;
+showRoles = true;
+showInternalKB = true;
+showSubsumptionHierarchy = true;
+
+runPreprocessingModule("org.dllearner.modules.SparqlModule");
+
+hidePrefix="http://dbpedia.org/resource/";
+
+
+refinement.useAllConstructor = false;
+refinement.useExistsConstructor = true;
+refinement.useNegation = false;
+// missbraucht als number of recursions, wird minus 10 gerechnet
+// es gilt:
+/**
+11 flach nicht zu empfehlen
+12 Klassen f�r objects und properties of objects
+13 Klassen f�r properties of objects und superklassen von klassen
+**/
+gp.numberOfIndividuals = 13;
+// nur yago =0 , nur category = 1
+// sollte nicht mit aufgenommen werden eher 3 listen mit uris
+gp.crossoverPercent = 1;
+
+
+
+
++test("http://dbpedia.org/resource/Jason_Mewes").
++test("http://dbpedia.org/resource/Kevin_Smith").
+-test("http://dbpedia.org/resource/Trey_Parker").
+-test("http://dbpedia.org/resource/Matt_Stone").
+
+
+
+/*
+TBox[0]:
+RBox[0]:
+ABox[0]:
+
+Subsumption Hierarchy is improved for Refinement Operator Based Algorithm
+java.util.NoSuchElementException
+ at java.util.TreeMap.key(Unknown Source)
+ at java.util.TreeMap.firstKey(Unknown Source)
+ at java.util.TreeSet.first(Unknown Source)
+ at org.dllearner.reasoning.SubsumptionHierarchy.improveSubsumptionHierar
+chy(Unknown Source)
+ at org.dllearner.Main.<init>(Unknown Source)
+ at org.dllearner.parser.DLLearner.main(Unknown Source)
+ at org.dllearner.QuickStart.main(Unknown Source)
+
+
+*/
+
+
+
+
+
Added: trunk/examples/dbpedia/SilentBobWorking1.conf
===================================================================
--- trunk/examples/dbpedia/SilentBobWorking1.conf (rev 0)
+++ trunk/examples/dbpedia/SilentBobWorking1.conf 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,60 @@
+loadJarFile("lib/modules/sparqlModule.jar");
+runPreprocessingModule("org.dllearner.modules.SparqlModule");
+
+// reasoner settings
+reasoner = dig;
+digReasonerURL = "http://localhost:8081";
+useRetrievalForClassification = false;
+refinement.useDIGMultiInstanceChecks = twoChecks;
+
+// algorithm settings
+algorithm = refinement;
+refinement.horizontalExpansionFactor = 0.6;
+refinement.quiet = false;
+refinement.useTooWeakList = true;
+
+// search tree protocol
+refinement.writeSearchTree = false;
+refinement.searchTreeFile = "Aristotle_searchTree.txt";
+
+// control output
+showIndividuals = true;
+showConcepts = true;
+showRoles = true;
+showInternalKB = true;
+showSubsumptionHierarchy = true;
+
+hidePrefix="http://dbpedia.org/resource/";
+
+
+refinement.useAllConstructor = false;
+refinement.useExistsConstructor = true;
+refinement.useNegation = false;
+// missbraucht als number of recursions, wird minus 10 gerechnet
+// es gilt:
+/**
+11 flach nicht zu empfehlen
+12 Klassen fr objects und properties of objects
+13 Klassen fr properties of objects und superklassen von klassen
+**/
+gp.numberOfIndividuals = 13;
+// nur yago =0 , nur category = 1 nur skos+cat =2
+// sollte nicht mit aufgenommen werden eher 3 listen mit uris
+gp.crossoverPercent = 0;
+
+// http://dbpedia.org/class/yago/agnostic OR http://dbpedia.org/class/yago/artist
+// http://dbpedia.org/class/yago/agnostic OR http://dbpedia.org/class/yago/teetotaler
+
+
++test("http://dbpedia.org/resource/Matt_Stone").
++test("http://dbpedia.org/resource/Sarah_Silverman").
+-test("http://dbpedia.org/resource/Jim_Carrey").
+-test("http://dbpedia.org/resource/Jason_Mewes").
+-test("http://dbpedia.org/resource/Kevin_Smith").
+-test("http://dbpedia.org/resource/Trey_Parker").
+-test("http://dbpedia.org/resource/Adam_Sandler").
+
+
+
+
+
Added: trunk/examples/dbpedia/SilentBobWorking2.conf
===================================================================
--- trunk/examples/dbpedia/SilentBobWorking2.conf (rev 0)
+++ trunk/examples/dbpedia/SilentBobWorking2.conf 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,105 @@
+loadJarFile("lib/modules/sparqlModule.jar");
+runPreprocessingModule("org.dllearner.modules.SparqlModule");
+
+// reasoner settings
+reasoner = dig;
+digReasonerURL = "http://localhost:8081";
+useRetrievalForClassification = false;
+refinement.useDIGMultiInstanceChecks = twoChecks;
+
+// algorithm settings
+algorithm = refinement;
+refinement.horizontalExpansionFactor = 0.6;
+refinement.quiet = false;
+refinement.useTooWeakList = true;
+
+// search tree protocol
+refinement.writeSearchTree = false;
+refinement.searchTreeFile = "Aristotle_searchTree.txt";
+
+// control output
+showIndividuals = true;
+showConcepts = true;
+showRoles = true;
+showInternalKB = true;
+showSubsumptionHierarchy = true;
+
+hidePrefix="http://dbpedia.org/resource/";
+
+
+refinement.useAllConstructor = false;
+refinement.useExistsConstructor = true;
+refinement.useNegation = false;
+// missbraucht als number of recursions, wird minus 10 gerechnet
+// es gilt:
+/**
+11 flach nicht zu empfehlen
+12 Klassen f�r objects und properties of objects
+13 Klassen f�r properties of objects und superklassen von klassen
+**/
+gp.numberOfIndividuals = 13;
+// nur yago =0 , nur category = 1 nur skos+cat =2
+// sollte nicht mit aufgenommen werden eher 3 listen mit uris
+gp.crossoverPercent = 2;
+
+// hier sind alternativen zum ausklammern
+
+
+/*
+Category:1970s AND Category:Religion_in_the_United_States
+Category:Actors AND Category:Religion_in_the_United_States
+*/
+
++test("http://dbpedia.org/resource/Matt_Stone").
++test("http://dbpedia.org/resource/Sarah_Silverman").
++test("http://dbpedia.org/resource/Kevin_Smith").
+
+-test("http://dbpedia.org/resource/Jason_Mewes").
+-test("http://dbpedia.org/resource/Jim_Carrey").
+-test("http://dbpedia.org/resource/Trey_Parker").
+-test("http://dbpedia.org/resource/Adam_Sandler").
+
+
+
+
+/*
+Category:1970s AND Category:Voice_actors_by_series)
+Category:Actors_by_nationality AND Category:Voice_actors_by_series)
+Category:Actors_by_religion AND Category:Voice_actors_by_series)
+Category:Ethnic_groups_in_the_United_States AND Category:Voice_actors_by_seri
+es)
+Category:European_diaspora AND Category:Voice_actors_by_series)
+Category:Jews AND Category:Voice_actors_by_series)
+Category:Jews_and_Judaism_in_the_United_States AND Category:Voice_actors_by_s
+eries)
+Category:Jews_by_country AND Category:Voice_actors_by_series)
+Category:Jews_by_occupation AND Category:Voice_actors_by_series)
+Category:Middle_Eastern_Americans AND Category:Voice_actors_by_series)
+Category:People_by_ethnic_or_national_origin AND Category:Voice_actors_by_ser
+ies)
+Category:People_by_nationality_and_religion AND Category:Voice_actors_by_seri
+es)
+Category:Religion_in_the_United_States AND Category:Voice_actors_by_series)
+
++test("http://dbpedia.org/resource/Matt_Stone").
++test("http://dbpedia.org/resource/Sarah_Silverman").
+-test("http://dbpedia.org/resource/Kevin_Smith").
+-test("http://dbpedia.org/resource/Jason_Mewes").
+-test("http://dbpedia.org/resource/Jim_Carrey").
+-test("http://dbpedia.org/resource/Trey_Parker").
+-test("http://dbpedia.org/resource/Adam_Sandler").
+*/
+
+
+/*
+(Category:Actors AND Category:European_diaspora)
++test("http://dbpedia.org/resource/Matt_Stone").
++test("http://dbpedia.org/resource/Sarah_Silverman").
++test("http://dbpedia.org/resource/Brian_O%27Halloran").
+-test("http://dbpedia.org/resource/Kevin_Smith").
+-test("http://dbpedia.org/resource/Jason_Mewes").
+-test("http://dbpedia.org/resource/Jim_Carrey").
+-test("http://dbpedia.org/resource/Trey_Parker").
+-test("http://dbpedia.org/resource/Adam_Sandler").
+
+*/
\ No newline at end of file
Added: trunk/examples/father.conf
===================================================================
--- trunk/examples/father.conf (rev 0)
+++ trunk/examples/father.conf 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,62 @@
+/**
+ * Father Example
+ *
+ * possible solution: male AND EXISTS hasChild.TOP
+ */
+
+/** settings **/
+// reasoner settings
+reasoner = dig;
+digReasonerURL = "http://localhost:8081";
+useRetrievalForClassification = true;
+refinement.useDIGMultiInstanceChecks = twoChecks;
+
+// algorithm settings
+algorithm = refinement;
+refinement.horizontalExpansionFactor = 0.5;
+refinement.quiet = false;
+
+// search tree protocol
+refinement.writeSearchTree = false;
+refinement.searchTreeFile = "searchTree.txt";
+
+// control output
+showIndividuals = true;
+showConcepts = true;
+showRoles = true;
+showInternalKB = true;
+showSubsumptionHierarchy = true;
+
+refinement.ignoredConcepts = { father };
+
+/** background knowledge ***/
+BOTTOM = (male AND female).
+
+father = (male AND EXISTS hasChild.TOP).
+
+writeDIGProtocol = true;
+digProtocolFile = "types_test.txt";
+
+// persons
+male(markus).
+male(stefan).
+male(heinz).
+male(bernd).
+female(anna).
+female(gabi).
+female(michelle).
+
+// children
+hasChild(stefan,markus).
+hasChild(markus,anna).
+hasChild(bernd,gabi).
+hasChild(anna,heinz).
+
+/** examples **/
++father(stefan).
++father(markus).
++father(bernd).
+-father(heinz).
+-father(anna).
+-father(gabi).
+-father(michelle).
Property changes on: trunk/examples/father.conf
___________________________________________________________________
Name: svn:executable
+ *
Added: trunk/examples/father.owl
===================================================================
--- trunk/examples/father.owl (rev 0)
+++ trunk/examples/father.owl 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,35 @@
+<?xml version="1.0"?>
+<rdf:RDF
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+ xmlns="http://example.com/father#"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl="http://www.w3.org/2002/07/owl#"
+ xml:base="http://example.com/father">
+ <owl:Ontology rdf:about=""/>
+ <owl:Class rdf:ID="female"/>
+ <owl:Class rdf:ID="male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+ <owl:ObjectProperty rdf:ID="hasChild"/>
+ <male rdf:ID="markus">
+ <hasChild>
+ <female rdf:ID="anna">
+ <hasChild>
+ <male rdf:ID="heinz"/>
+ </hasChild>
+ </female>
+ </hasChild>
+ </male>
+ <male rdf:ID="stefan">
+ <hasChild rdf:resource="#markus"/>
+ </male>
+ <female rdf:ID="michelle"/>
+ <male rdf:ID="martin">
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+</rdf:RDF>
Added: trunk/examples/father2.conf
===================================================================
--- trunk/examples/father2.conf (rev 0)
+++ trunk/examples/father2.conf 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,23 @@
+/**
+ * Another Father Example (this time using OWL import)
+ *
+ */
+
+reasoner = dig;
+digReasonerURL = "http://localhost:8081";
+import("father.owl");
+
+// do not display http://example.com/father# in concepts
+// and roles to make the output more readable
+hidePrefix = "http://example.com/father#";
+
+writeDIGProtocol = true;
+digProtocolFile = "owlapi_dig.txt";
+
+/** examples **/
++father("http://example.com/father#stefan").
++father("http://example.com/father#markus").
++father("http://example.com/father#martin").
+-father("http://example.com/father#heinz").
+-father("http://example.com/father#anna").
+-father("http://example.com/father#michelle").
Added: trunk/examples/forte/forte.conf
===================================================================
--- trunk/examples/forte/forte.conf (rev 0)
+++ trunk/examples/forte/forte.conf 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,507 @@
+/**
+ * Extracted from the FORTE (First Order Revision of Theories from Examples)
+ * data set
+ *
+ * http://www.cs.utexas.edu/users/ml/forte.html
+ *
+ */
+
+// control output
+// showIndividuals = true;
+showConcepts = true;
+showRoles = true;
+// showInternalKB = true;
+// showSubsumptionHierarchy = true;
+
+
+algorithm = hybridGP;
+gp.algorithmType = generational;
+gp.numberOfIndividuals = 100;
+// gp.selectionType = tournament;
+
+
+// algorithm = gp;
+// gp.refinementPercent = 70;
+// gp.crossoverPercent = 25;
+
+reasoner = dig;
+
+// Subrole(sister,sibling).
+// Subrole(brother,sibling).
+
+BOTTOM = (male AND female).
+
+Symmetric(sibling).
+Symmetric(married).
+Functional(married).
+
+male(alfred).
+female(alice).
+female(angela).
+female(ann).
+male(art).
+female(beatrice).
+male(bob).
+female(callie).
+male(calvin).
+male(carl).
+male(carlos).
+female(christy).
+female(cornelia).
+male(david).
+female(deanna).
+female(elisa).
+male(eric).
+female(f12).
+female(f14).
+female(f19).
+female(f2).
+female(f20).
+female(f21).
+female(f22).
+female(f23).
+female(f25).
+female(f26).
+female(f28).
+female(f8).
+female(fannie).
+male(fred).
+male(frederick).
+female(gail).
+male(george).
+male(harry).
+female(helen).
+male(jack).
+male(james).
+female(jane).
+female(janet).
+male(jonas).
+female(kari).
+male(karl).
+male(leon).
+female(lorrie).
+male(m1).
+male(m10).
+male(m11).
+male(m13).
+male(m15).
+male(m16).
+male(m17).
+male(m18).
+male(m24).
+male(m27).
+male(m29).
+male(m3).
+male(m4).
+male(m5).
+male(m6).
+male(m7).
+male(m9).
+female(maria).
+male(mark).
+female(martha).
+male(melvin).
+female(nancy).
+male(neil).
+male(nero).
+female(nonnie).
+female(oma).
+male(owen).
+male(paul).
+female(paula).
+male(peter).
+female(prissie).
+female(rachel).
+male(ray).
+female(regina).
+male(steve).
+female(susan).
+female(terri).
+male(terry).
+male(umo).
+male(walt).
+female(wendy).
+
+sibling(angela,ray).
+sibling(art,umo).
+sibling(art,wendy).
+sibling(calvin,christy).
+sibling(calvin,jack).
+sibling(christy,calvin).
+sibling(christy,jack).
+sibling(cornelia,melvin).
+sibling(cornelia,nancy).
+sibling(david,elisa).
+sibling(elisa,david).
+sibling(eric,fannie).
+sibling(eric,gail).
+sibling(eric,harry).
+sibling(f12,m11).
+sibling(f14,m13).
+sibling(f14,m15).
+sibling(f19,f20).
+sibling(f19,m18).
+sibling(f2,m1).
+sibling(f20,f19).
+sibling(f20,m18).
+sibling(f21,f22).
+sibling(f22,f21).
+sibling(f23,f25).
+sibling(f23,m24).
+sibling(f25,f23).
+sibling(f25,m24).
+sibling(f26,f28).
+sibling(f26,m27).
+sibling(f28,f26).
+sibling(f28,m27).
+sibling(f8,m10).
+sibling(f8,m9).
+sibling(fannie,eric).
+sibling(fannie,gail).
+sibling(fannie,harry).
+sibling(frederick,jane).
+sibling(frederick,prissie).
+sibling(gail,eric).
+sibling(gail,fannie).
+sibling(gail,harry).
+sibling(harry,eric).
+sibling(harry,fannie).
+sibling(harry,gail).
+sibling(jack,calvin).
+sibling(jack,christy).
+sibling(jane,frederick).
+sibling(jane,prissie).
+sibling(janet,nero).
+sibling(jonas,terry).
+sibling(karl,lorrie).
+sibling(karl,mark).
+sibling(lorrie,karl).
+sibling(lorrie,mark).
+sibling(m1,f2).
+sibling(m10,f8).
+sibling(m10,m9).
+sibling(m11,f12).
+sibling(m13,f14).
+sibling(m13,m15).
+sibling(m15,f14).
+sibling(m15,m13).
+sibling(m16,m17).
+sibling(m17,m16).
+sibling(m18,f19).
+sibling(m18,f20).
+sibling(m24,f23).
+sibling(m24,f25).
+sibling(m27,f26).
+sibling(m27,f28).
+sibling(m4,m5).
+sibling(m4,m6).
+sibling(m4,m7).
+sibling(m5,m4).
+sibling(m5,m6).
+sibling(m5,m7).
+sibling(m6,m4).
+sibling(m6,m5).
+sibling(m6,m7).
+sibling(m7,m4).
+sibling(m7,m5).
+sibling(m7,m6).
+sibling(m9,f8).
+sibling(m9,m10).
+sibling(mark,karl).
+sibling(mark,lorrie).
+sibling(melvin,cornelia).
+sibling(melvin,nancy).
+sibling(nancy,cornelia).
+sibling(nancy,melvin).
+sibling(nero,janet).
+sibling(oma,paul).
+sibling(oma,rachel).
+sibling(paul,oma).
+sibling(paul,rachel).
+sibling(prissie,frederick).
+sibling(prissie,jane).
+sibling(rachel,oma).
+sibling(rachel,paul).
+sibling(ray,angela).
+sibling(terry,jonas).
+sibling(umo,art).
+sibling(umo,wendy).
+sibling(wendy,art).
+sibling(wendy,umo).
+
+parent(ann, david).
+parent(ann, elisa).
+parent(beatrice, eric).
+parent(beatrice, fannie).
+parent(beatrice, gail).
+parent(beatrice, harry).
+parent(callie, karl).
+parent(callie, lorrie).
+parent(callie, mark).
+parent(kari, janet).
+parent(kari, nero).
+parent(lorrie, oma).
+parent(lorrie, paul).
+parent(lorrie, rachel).
+parent(martha, susan).
+parent(deanna, jonas). parent(deanna, terry). parent(elisa, umo).
+parent(elisa, wendy). parent(elisa, art). parent(fannie, cornelia).
+parent(fannie, melvin). parent(fannie, nancy). parent(helen, prissie).
+parent(helen, jane). parent(janet, jack). parent(janet, calvin).
+parent(janet, christy). parent(nonnie, angela). parent(nonnie, ray).
+parent(terri, f8). parent(terri, m9). parent(terri, m10).
+parent(wendy, m11). parent(wendy, f12). parent(alice, m13).
+parent(alice, f14). parent(alice, m15). parent(maria, m16).
+parent(maria, m17). parent(nancy, m18). parent(nancy, f19).
+parent(nancy, f20). parent(prissie, f21). parent(prissie, f22).
+parent(jane, f23). parent(jane, m24). parent(jane, f25).
+parent(christy, f26). parent(christy, m27). parent(christy, f28).
+parent(regina, m29). parent(oma, m1). parent(oma, f2).
+parent(paula, m3). parent(susan, m4). parent(susan, m5).
+parent(susan, m6). parent(susan, m7). parent(helen, frederick).
+
+parent(alfred, david). parent(alfred, elisa). parent(bob, eric).
+parent(bob, fannie). parent(bob, gail). parent(bob, harry).
+parent(carl, karl). parent(carl, lorrie). parent(carl, mark).
+parent(karl, janet). parent(karl, nero). parent(leon, oma).
+parent(leon, paul). parent(leon, rachel). parent(mark, susan).
+parent(david, jonas). parent(david, terry). parent(eric, umo).
+parent(eric, wendy). parent(eric, art). parent(fred, cornelia).
+parent(fred, melvin). parent(fred, nancy). parent(harry, prissie).
+parent(harry, jane). parent(james, jack). parent(james, calvin).
+parent(james, christy). parent(nero, angela). parent(nero, ray).
+parent(terry, f8). parent(terry, m9). parent(terry, m10).
+parent(walt, m11). parent(walt, f12). parent(art, m13).
+parent(art, f14). parent(art, m15). parent(melvin, m16).
+parent(melvin, m17). parent(neil, m18). parent(neil, f19).
+parent(neil, f20). parent(peter, f21). parent(peter, f22).
+parent(jack, f23). parent(jack, m24). parent(jack, f25).
+parent(carlos, f26). parent(carlos, m27). parent(carlos, f28).
+parent(ray, m29). parent(owen, m1). parent(owen, f2).
+parent(paul, m3). parent(steve, m4). parent(steve, m5).
+parent(steve, m6). parent(steve, m7). parent(harry, frederick).
+
+ married(ann, alfred). married(beatrice, bob). married(callie, carl).
+ married(deanna, david). married(elisa, eric). married(fannie, fred).
+ married(gail, george). married(helen, harry). married(janet, james).
+ married(kari, karl). married(lorrie, leon). married(martha, mark).
+ married(nonnie, nero). married(oma, owen). married(paula, paul).
+ married(susan, steve). married(terri, terry). married(wendy, walt).
+ married(alice, art). married(maria, melvin). married(nancy, neil).
+ married(prissie, peter). married(jane, jack). married(christy, carlos).
+ married(regina, ray).
+
+/* small example set
++isUncle(art).
++isUncle(calvin).
++isUncle(carlos).
++isUncle(david).
++isUncle(eric).
++isUncle(fred).
++isUncle(frederick).
++isUncle(george).
+
+-isUncle(alfred).
+-isUncle(alice).
+-isUncle(angela).
+-isUncle(bob).
+-isUncle(carl).
+-isUncle(christy).
+-isUncle(karl).
+*/
+
+// complete example set
++isUncle(art).
++isUncle(calvin).
++isUncle(carlos).
++isUncle(david).
++isUncle(eric).
++isUncle(fred).
++isUncle(frederick).
++isUncle(george).
++isUncle(harry).
++isUncle(jack).
++isUncle(james).
++isUncle(jonas).
++isUncle(karl).
++isUncle(leon).
++isUncle(mark).
++isUncle(melvin).
++isUncle(neil).
++isUncle(nero).
++isUncle(owen).
++isUncle(paul).
++isUncle(peter).
++isUncle(umo).
++isUncle(walt).
+
+-isUncle(alfred).
+-isUncle(alice).
+-isUncle(angela).
+-isUncle(ann).
+-isUncle(beatrice).
+-isUncle(bob).
+-isUncle(callie).
+-isUncle(carl).
+-isUncle(christy).
+-isUncle(cornelia).
+-isUncle(deanna).
+-isUncle(elisa).
+-isUncle(f12).
+-isUncle(f14).
+-isUncle(f19).
+-isUncle(f2).
+-isUncle(f20).
+-isUncle(f21).
+-isUncle(f22).
+-isUncle(f23).
+-isUncle(f25).
+-isUncle(f26).
+-isUncle(f28).
+-isUncle(f8).
+-isUncle(fannie).
+-isUncle(gail).
+-isUncle(helen).
+-isUncle(jane).
+-isUncle(janet).
+-isUncle(kari).
+-isUncle(lorrie).
+-isUncle(m1).
+-isUncle(m10).
+-isUncle(m11).
+-isUncle(m13).
+-isUncle(m15).
+-isUncle(m16).
+-isUncle(m17).
+-isUncle(m18).
+-isUncle(m24).
+-isUncle(m27).
+-isUncle(m29).
+-isUncle(m3).
+-isUncle(m4).
+-isUncle(m5).
+-isUncle(m6).
+-isUncle(m7).
+-isUncle(m9).
+-isUncle(maria).
+-isUncle(martha).
+-isUncle(nancy).
+-isUncle(nonnie).
+-isUncle(oma).
+-isUncle(paula).
+-isUncle(prissie).
+-isUncle(rachel).
+-isUncle(ray).
+-isUncle(regina).
+-isUncle(steve).
+-isUncle(susan).
+-isUncle(terri).
+-isUncle(terry).
+-isUncle(wendy).
+
+
+
+// temporär:
+/*
+married(art,alice).
+married(david,deanna).
+married(harry,helen).
+married(melvin,maria).
+married(ray,regina).
+married(terry,terri).
+*/
+
+/* Here's the family shown graphically:
+
+ Steve |--- m7
+ Martha | | |--- m6
+ | |------ Susan |--- m5
+ /-- Mark | |--- m4
+ /
+ / /-- Rachel
+ / /
+ / /
+ Callie | |
+ | |----- Lorrie |
+ Carl | | |------- Paul |
+ \ Leon | | |--- m3
+ | | Paula |
+ | \
+ | \
+ | \----- Oma |--- f2
+ | | |
+ | Owen |--- m1
+ |
+ | /----- Ray |
+ | / | |--- m29
+ | / Regina |
+ | Nonnie |
+ | | |
+ | /---- Nero |----- Angela
+ | /
+ | /
+ \---- Karl | Carlos |--- f28
+ | | | |--- m27
+ Kari | /- Christy |--- f26
+ \ /
+ \ /
+ \--- Janet |
+ | |----- Calvin
+ James |
+ \
+ \
+ \---- Jack |--- f25
+ | |--- m24
+ /---- Jane |--- f23
+ /
+ /
+ Helen |
+ | |-- Frederick
+ /-- Harry |
+ / \
+ | \
+ | \- Prissie |--- f22
+ | | |
+ | Peter |--- f21
+ |
+ | George
+ | |
+ / /-- Gail
+ | / Neil |--- f20
+ Bob |-/ | |--- f19
+ | | /--- Nancy |--- m18
+ Beatrice |-\ /
+ | \ /
+ \ \- Fannie |
+ | | |-- Cornelia
+ | Fred |
+ | \
+ | \
+ | \-- Melvin |--- m17
+ | | |
+ | Maria |--- m16
+ |
+ | Alice |--- m15
+ | | |--- f14
+ | /----- Art |--- m13
+ | /
+ \ /
+ \--- Eric |
+ | |------- Umo
+ /-- Elisa |
+ / \
+ / \
+ Ann | \--- Wendy |--- f12
+ | | | |
+ Alfred | Walt |--- m11
+ \
+ \
+ \-- David | ----- Jonas
+ | |
+ Deanna |
+ \
+ \
+ \--- Terry |--- m10
+ | |--- m9
+ Terri |--- f8
+*/
\ No newline at end of file
Added: trunk/examples/forte/forte.owl
===================================================================
--- trunk/examples/forte/forte.owl (rev 0)
+++ trunk/examples/forte/forte.owl 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,547 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<!DOCTYPE rdf:RDF [
+ <!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
+]>
+
+<rdf:RDF
+ xml:base="http://localhost/foo"
+ xmlns:a="http://localhost/foo#"
+ xmlns:owl="http://www.w3.org/2002/07/owl#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
+
+<owl:Ontology rdf:about=""/>
+
+<owl:Class rdf:about="&owl;Nothing">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#male"/>
+ <owl:Class rdf:about="#female"/>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:ObjectProperty rdf:ID="married">
+ <rdf:type rdf:resource="&owl;SymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+</owl:ObjectProperty>
+
+<owl:ObjectProperty rdf:ID="sibling">
+ <rdf:type rdf:resource="&owl;SymmetricProperty"/>
+</owl:ObjectProperty>
+
+<a:male rdf:ID="alfred">
+ <a:parent rdf:resource="#david"/>
+ <a:parent rdf:resource="#elisa"/>
+</a:male>
+
+<a:female rdf:ID="alice">
+ <a:married rdf:resource="#art"/>
+ <a:parent rdf:resource="#f14"/>
+ <a:parent rdf:resource="#m13"/>
+ <a:parent rdf:resource="#m15"/>
+</a:female>
+
+<a:female rdf:ID="angela">
+ <a:sibling rdf:resource="#ray"/>
+</a:female>
+
+<a:female rdf:ID="ann">
+ <a:married rdf:resource="#alfred"/>
+ <a:parent rdf:resource="#david"/>
+ <a:parent rdf:resource="#elisa"/>
+</a:female>
+
+<a:male rdf:ID="art">
+ <a:parent rdf:resource="#f14"/>
+ <a:parent rdf:resource="#m13"/>
+ <a:parent rdf:resource="#m15"/>
+ <a:sibling rdf:resource="#umo"/>
+ <a:sibling rdf:resource="#wendy"/>
+</a:male>
+
+<a:female rdf:ID="beatrice">
+ <a:married rdf:resource="#bob"/>
+ <a:parent rdf:resource="#eric"/>
+ <a:parent rdf:resource="#fannie"/>
+ <a:parent rdf:resource="#gail"/>
+ <a:parent rdf:resource="#harry"/>
+</a:female>
+
+<a:male rdf:ID="bob">
+ <a:parent rdf:resource="#eric"/>
+ <a:parent rdf:resource="#fannie"/>
+ <a:parent rdf:resource="#gail"/>
+ <a:parent rdf:resource="#harry"/>
+</a:male>
+
+<a:female rdf:ID="callie">
+ <a:married rdf:resource="#carl"/>
+ <a:parent rdf:resource="#karl"/>
+ <a:parent rdf:resource="#lorrie"/>
+ <a:parent rdf:resource="#mark"/>
+</a:female>
+
+<a:male rdf:ID="calvin">
+ <a:sibling rdf:resource="#christy"/>
+ <a:sibling rdf:resource="#jack"/>
+</a:male>
+
+<a:male rdf:ID="carl">
+ <a:parent rdf:resource="#karl"/>
+ <a:parent rdf:resource="#lorrie"/>
+ <a:parent rdf:resource="#mark"/>
+</a:male>
+
+<a:male rdf:ID="carlos">
+ <a:parent rdf:resource="#f26"/>
+ <a:parent rdf:resource="#f28"/>
+ <a:parent rdf:resource="#m27"/>
+</a:male>
+
+<a:female rdf:ID="christy">
+ <a:married rdf:resource="#carlos"/>
+ <a:parent rdf:resource="#f26"/>
+ <a:parent rdf:resource="#f28"/>
+ <a:parent rdf:resource="#m27"/>
+ <a:sibling rdf:resource="#calvin"/>
+ <a:sibling rdf:resource="#jack"/>
+</a:female>
+
+<a:female rdf:ID="cornelia">
+ <a:sibling rdf:resource="#melvin"/>
+ <a:sibling rdf:resource="#nancy"/>
+</a:female>
+
+<a:male rdf:ID="david">
+ <a:parent rdf:resource="#jonas"/>
+ <a:parent rdf:resource="#terry"/>
+ <a:sibling rdf:resource="#elisa"/>
+</a:male>
+
+<a:female rdf:ID="deanna">
+ <a:married rdf:resource="#david"/>
+ <a:parent rdf:resource="#jonas"/>
+ <a:parent rdf:resource="#terry"/>
+</a:female>
+
+<a:female rdf:ID="elisa">
+ <a:married rdf:resource="#eric"/>
+ <a:parent rdf:resource="#art"/>
+ <a:parent rdf:resource="#umo"/>
+ <a:parent rdf:resource="#wendy"/>
+ <a:sibling rdf:resource="#david"/>
+</a:female>
+
+<a:male rdf:ID="eric">
+ <a:parent rdf:resource="#art"/>
+ <a:parent rdf:resource="#umo"/>
+ <a:parent rdf:resource="#wendy"/>
+ <a:sibling rdf:resource="#fannie"/>
+ <a:sibling rdf:resource="#gail"/>
+ <a:sibling rdf:resource="#harry"/>
+</a:male>
+
+<a:female rdf:ID="f12">
+ <a:sibling rdf:resource="#m11"/>
+</a:female>
+
+<a:female rdf:ID="f14">
+ <a:sibling rdf:resource="#m13"/>
+ <a:sibling rdf:resource="#m15"/>
+</a:female>
+
+<a:female rdf:ID="f19">
+ <a:sibling rdf:resource="#f20"/>
+ <a:sibling rdf:resource="#m18"/>
+</a:female>
+
+<a:female rdf:ID="f2">
+ <a:sibling rdf:resource="#m1"/>
+</a:female>
+
+<a:female rdf:ID="f20">
+ <a:sibling rdf:resource="#f19"/>
+ <a:sibling rdf:resource="#m18"/>
+</a:female>
+
+<a:female rdf:ID="f21">
+ <a:sibling rdf:resource="#f22"/>
+</a:female>
+
+<a:female rdf:ID="f22">
+ <a:sibling rdf:resource="#f21"/>
+</a:female>
+
+<a:female rdf:ID="f23">
+ <a:sibling rdf:resource="#f25"/>
+ <a:sibling rdf:resource="#m24"/>
+</a:female>
+
+<a:female rdf:ID="f25">
+ <a:sibling rdf:resource="#f23"/>
+ <a:sibling rdf:resource="#m24"/>
+</a:female>
+
+<a:female rdf:ID="f26">
+ <a:sibling rdf:resource="#f28"/>
+ <a:sibling rdf:resource="#m27"/>
+</a:female>
+
+<a:female rdf:ID="f28">
+ <a:sibling rdf:resource="#f26"/>
+ <a:sibling rdf:resource="#m27"/>
+</a:female>
+
+<a:female rdf:ID="f8">
+ <a:sibling rdf:resource="#m10"/>
+ <a:sibling rdf:resource="#m9"/>
+</a:female>
+
+<a:female rdf:ID="fannie">
+ <a:married rdf:resource="#fred"/>
+ <a:parent rdf:resource="#cornelia"/>
+ <a:parent rdf:resource="#melvin"/>
+ <a:parent rdf:resource="#nancy"/>
+ <a:sibling rdf:resource="#eric"/>
+ <a:sibling rdf:resource="#gail"/>
+ <a:sibling rdf:resource="#harry"/>
+</a:female>
+
+<a:male rdf:ID="fred">
+ <a:parent rdf:resource="#cornelia"/>
+ <a:parent rdf:resource="#melvin"/>
+ <a:parent rdf:resource="#nancy"/>
+</a:male>
+
+<a:male rdf:ID="frederick">
+ <a:sibling rdf:resource="#jane"/>
+ <a:sibling rdf:resource="#prissie"/>
+</a:male>
+
+<a:female rdf:ID="gail">
+ <a:married rdf:resource="#george"/>
+ <a:sibling rdf:resource="#eric"/>
+ <a:sibling rdf:resource="#fannie"/>
+ <a:sibling rdf:resource="#harry"/>
+</a:female>
+
+<a:male rdf:ID="george"/>
+
+<a:male rdf:ID="harry">
+ <a:parent rdf:resource="#frederick"/>
+ <a:parent rdf:resource="#jane"/>
+ <a:parent rdf:resource="#prissie"/>
+ <a:sibling rdf:resource="#eric"/>
+ <a:sibling rdf:resource="#fannie"/>
+ <a:sibling rdf:resource="#gail"/>
+</a:male>
+
+<a:female rdf:ID="helen">
+ <a:married rdf:resource="#harry"/>
+ <a:parent rdf:resource="#frederick"/>
+ <a:parent rdf:resource="#jane"/>
+ <a:parent rdf:resource="#prissie"/>
+</a:female>
+
+<a:male rdf:ID="jack">
+ <a:parent rdf:resource="#f23"/>
+ <a:parent rdf:resource="#f25"/>
+ <a:parent rdf:resource="#m24"/>
+ <a:sibling rdf:resource="#calvin"/>
+ <a:sibling rdf:resource="#christy"/>
+</a:male>
+
+<a:male rdf:ID="james">
+ <a:parent rdf:resource="#calvin"/>
+ <a:parent rdf:resource="#christy"/>
+ <a:parent rdf:resource="#jack"/>
+</a:male>
+
+<a:female rdf:ID="jane">
+ <a:married rdf:resource="#jack"/>
+ <a:parent rdf:resource="#f23"/>
+ <a:parent rdf:resource="#f25"/>
+ <a:parent rdf:resource="#m24"/>
+ <a:sibling rdf:resource="#frederick"/>
+ <a:sibling rdf:resource="#prissie"/>
+</a:female>
+
+<a:female rdf:ID="janet">
+ <a:married rdf:resource="#james"/>
+ <a:parent rdf:resource="#calvin"/>
+ <a:parent rdf:resource="#christy"/>
+ <a:parent rdf:resource="#jack"/>
+ <a:sibling rdf:resource="#nero"/>
+</a:female>
+
+<a:male rdf:ID="jonas">
+ <a:sibling rdf:resource="#terry"/>
+</a:male>
+
+<a:female rdf:ID="kari">
+ <a:married rdf:resource="#karl"/>
+ <a:parent rdf:resource="#janet"/>
+ <a:parent rdf:resource="#nero"/>
+</a:female>
+
+<a:male rdf:ID="karl">
+ <a:parent rdf:resource="#janet"/>
+ <a:parent rdf:resource="#nero"/>
+ <a:sibling rdf:resource="#lorrie"/>
+ <a:sibling rdf:resource="#mark"/>
+</a:male>
+
+<a:male rdf:ID="leon">
+ <a:parent rdf:resource="#oma"/>
+ <a:parent rdf:resource="#paul"/>
+ <a:parent rdf:resource="#rachel"/>
+</a:male>
+
+<a:female rdf:ID="lorrie">
+ <a:married rdf:resource="#leon"/>
+ <a:parent rdf:resource="#oma"/>
+ <a:parent rdf:resource="#paul"/>
+ <a:parent rdf:resource="#rachel"/>
+ <a:sibling rdf:resource="#karl"/>
+ <a:sibling rdf:resource="#mark"/>
+</a:female>
+
+<a:male rdf:ID="m1">
+ <a:sibling rdf:resource="#f2"/>
+</a:male>
+
+<a:male rdf:ID="m10">
+ <a:sibling rdf:resource="#f8"/>
+ <a:sibling rdf:resource="#m9"/>
+</a:male>
+
+<a:male rdf:ID="m11">
+ <a:sibling rdf:resource="#f12"/>
+</a:male>
+
+<a:male rdf:ID="m13">
+ <a:sibling rdf:resource="#f14"/>
+ <a:sibling rdf:resource="#m15"/>
+</a:male>
+
+<a:male rdf:ID="m15">
+ <a:sibling rdf:resource="#f14"/>
+ <a:sibling rdf:resource="#m13"/>
+</a:male>
+
+<a:male rdf:ID="m16">
+ <a:sibling rdf:resource="#m17"/>
+</a:male>
+
+<a:male rdf:ID="m17">
+ <a:sibling rdf:resource="#m16"/>
+</a:male>
+
+<a:male rdf:ID="m18">
+ <a:sibling rdf:resource="#f19"/>
+ <a:sibling rdf:resource="#f20"/>
+</a:male>
+
+<a:male rdf:ID="m24">
+ <a:sibling rdf:resource="#f23"/>
+ <a:sibling rdf:resource="#f25"/>
+</a:male>
+
+<a:male rdf:ID="m27">
+ <a:sibling rdf:resource="#f26"/>
+ <a:sibling rdf:resource="#f28"/>
+</a:male>
+
+<a:male rdf:ID="m29"/>
+
+<a:male rdf:ID="m3"/>
+
+<a:male rdf:ID="m4">
+ <a:sibling rdf:resource="#m5"/>
+ <a:sibling rdf:resource="#m6"/>
+ <a:sibling rdf:resource="#m7"/>
+</a:male>
+
+<a:male rdf:ID="m5">
+ <a:sibling rdf:resource="#m4"/>
+ <a:sibling rdf:resource="#m6"/>
+ <a:sibling rdf:resource="#m7"/>
+</a:male>
+
+<a:male rdf:ID="m6">
+ <a:sibling rdf:resource="#m4"/>
+ <a:sibling rdf:resource="#m5"/>
+ <a:sibling rdf:resource="#m7"/>
+</a:male>
+
+<a:male rdf:ID="m7">
+ <a:sibling rdf:resource="#m4"/>
+ <a:sibling rdf:resource="#m5"/>
+ <a:sibling rdf:resource="#m6"/>
+</a:male>
+
+<a:male rdf:ID="m9">
+ <a:sibling rdf:resource="#f8"/>
+ <a:sibling rdf:resource="#m10"/>
+</a:male>
+
+<a:female rdf:ID="maria">
+ <a:married rdf:resource="#melvin"/>
+ <a:parent rdf:resource="#m16"/>
+ <a:parent rdf:resource="#m17"/>
+</a:female>
+
+<a:male rdf:ID="mark">
+ <a:parent rdf:resource="#susan"/>
+ <a:sibling rdf:resource="#karl"/>
+ <a:sibling rdf:resource="#lorrie"/>
+</a:male>
+
+<a:female rdf:ID="martha">
+ <a:married rdf:resource="#mark"/>
+ <a:parent rdf:resource="#susan"/>
+</a:female>
+
+<a:male rdf:ID="melvin">
+ <a:parent rdf:resource="#m16"/>
+ <a:parent rdf:resource="#m17"/>
+ <a:sibling rdf:resource="#cornelia"/>
+ <a:sibling rdf:resource="#nancy"/>
+</a:male>
+
+<a:female rdf:ID="nancy">
+ <a:married rdf:resource="#neil"/>
+ <a:parent rdf:resource="#f19"/>
+ <a:parent rdf:resource="#f20"/>
+ <a:parent rdf:resource="#m18"/>
+ <a:sibling rdf:resource="#cornelia"/>
+ <a:sibling rdf:resource="#melvin"/>
+</a:female>
+
+<a:male rdf:ID="neil">
+ <a:parent rdf:resource="#f19"/>
+ <a:parent rdf:resource="#f20"/>
+ <a:parent rdf:resource="#m18"/>
+</a:male>
+
+<a:male rdf:ID="nero">
+ <a:parent rdf:resource="#angela"/>
+ <a:parent rdf:resource="#ray"/>
+ <a:sibling rdf:resource="#janet"/>
+</a:male>
+
+<a:female rdf:ID="nonnie">
+ <a:married rdf:resource="#nero"/>
+ <a:parent rdf:resource="#angela"/>
+ <a:parent rdf:resource="#ray"/>
+</a:female>
+
+<a:female rdf:ID="oma">
+ <a:married rdf:resource="#owen"/>
+ <a:parent rdf:resource="#f2"/>
+ <a:parent rdf:resource="#m1"/>
+ <a:sibling rdf:resource="#paul"/>
+ <a:sibling rdf:resource="#rachel"/>
+</a:female>
+
+<a:male rdf:ID="owen">
+ <a:parent rdf:resource="#f2"/>
+ <a:parent rdf:resource="#m1"/>
+</a:male>
+
+<a:male rdf:ID="paul">
+ <a:parent rdf:resource="#m3"/>
+ <a:sibling rdf:resource="#oma"/>
+ <a:sibling rdf:resource="#rachel"/>
+</a:male>
+
+<a:female rdf:ID="paula">
+ <a:married rdf:resource="#paul"/>
+ <a:parent rdf:resource="#m3"/>
+</a:female>
+
+<a:male rdf:ID="peter">
+ <a:parent rdf:resource="#f21"/>
+ <a:parent rdf:resource="#f22"/>
+</a:male>
+
+<a:female rdf:ID="prissie">
+ <a:married rdf:resource="#peter"/>
+ <a:parent rdf:resource="#f21"/>
+ <a:parent rdf:resource="#f22"/>
+ <a:sibling rdf:resource="#frederick"/>
+ <a:sibling rdf:resource="#jane"/>
+</a:female>
+
+<a:female rdf:ID="rachel">
+ <a:sibling rdf:resource="#oma"/>
+ <a:sibling rdf:resource="#paul"/>
+</a:female>
+
+<a:male rdf:ID="ray">
+ <a:parent rdf:resource="#m29"/>
+ <a:sibling rdf:resource="#angela"/>
+</a:male>
+
+<a:female rdf:ID="regina">
+ <a:married rdf:resource="#ray"/>
+ <a:parent rdf:resource="#m29"/>
+</a:female>
+
+<a:male rdf:ID="steve">
+ <a:parent rdf:resource="#m4"/>
+ <a:parent rdf:resource="#m5"/>
+ <a:parent rdf:resource="#m6"/>
+ <a:parent rdf:resource="#m7"/>
+</a:male>
+
+<a:female rdf:ID="susan">
+ <a:married rdf:resource="#steve"/>
+ <a:parent rdf:resource="#m4"/>
+ <a:parent rdf:resource="#m5"/>
+ <a:parent rdf:resource="#m6"/>
+ <a:parent rdf:resource="#m7"/>
+</a:female>
+
+<a:female rdf:ID="terri">
+ <a:married rdf:resource="#terry"/>
+ <a:parent rdf:resource="#f8"/>
+ <a:parent rdf:resource="#m10"/>
+ <a:parent rdf:resource="#m9"/>
+</a:female>
+
+<a:male rdf:ID="terry">
+ <a:parent rdf:resource="#f8"/>
+ <a:parent rdf:resource="#m10"/>
+ <a:parent rdf:resource="#m9"/>
+ <a:sibling rdf:resource="#jonas"/>
+</a:male>
+
+<a:male rdf:ID="umo">
+ <a:sibling rdf:resource="#art"/>
+ <a:sibling rdf:resource="#wendy"/>
+</a:male>
+
+<a:male rdf:ID="walt">
+ <a:parent rdf:resource="#f12"/>
+ <a:parent rdf:resource="#m11"/>
+</a:male>
+
+<a:female rdf:ID="wendy">
+ <a:married rdf:resource="#walt"/>
+ <a:parent rdf:resource="#f12"/>
+ <a:parent rdf:resource="#m11"/>
+ <a:sibling rdf:resource="#art"/>
+ <a:sibling rdf:resource="#umo"/>
+</a:female>
+
+<owl:Class rdf:ID="female"/>
+
+<owl:Class rdf:ID="male"/>
+
+<owl:ObjectProperty rdf:ID="parent"/>
+
+</rdf:RDF>
Added: trunk/examples/forte/forte_uncle.conf
===================================================================
--- trunk/examples/forte/forte_uncle.conf (rev 0)
+++ trunk/examples/forte/forte_uncle.conf 2007-08-20 13:28:55 UTC (rev 4)
@@ -0,0 +1,495 @@
+/**
+ * Extracted from the FORTE (First Order Revision of Theories from Examples)
+ * data set
+ *
+ * http://www.cs.utexas.edu/users/ml/forte.html
+ *
+ * possible solution: (male AND (EXISTS hasSibling.EXISTS hasChild.TOP
+ * OR EXISTS married.EXISTS hasSibling.EXISTS hasChild.TOP))
+ */
+
+// control output
+// showIndividuals = true;
+showConcepts = true;
+showRoles = true;
+// showInternalKB = true;
+// showSubsumptionHierarchy = true;
+
+algorithm = refinement;
+
+BOTTOM = (male AND female).
+
+Symmetric(sibling).
+Symmetric(married).
+Functional(married).
+
+male(alfred).
+female(alice).
+female(angela).
+female(ann).
+male(art).
+female(beatrice).
+male(bob).
+female(callie).
+male(calvin).
+male(carl).
+male(carlos).
+female(christy).
+female(cornelia).
+male(david).
+female(deanna).
+female(elisa).
+male(eric).
+female(f12).
+female(f14).
+female(f19).
+female(f2).
+female(f20).
+female(f21).
+female(f22).
+female(f23).
+female(f25).
+female(f26).
+female(f28).
+female(f8).
+female(fannie).
+male(fred).
+male(frederick).
+female(gail).
+male(george).
+male(harry).
+female(helen).
+male(jack).
+male(james).
+female(jane).
+female(janet).
+male(jonas).
+female(kari).
+male(karl).
+male(leon).
+female(lorrie).
+male(m1).
+male(m10).
+male(m11).
+male(m13).
+male(m15).
+male(m16).
+male(m17).
+male(m18).
+male(m24).
+male(m27).
+male(m29).
+male(m3).
+male(m4).
+male(m5).
+male(m6).
+male(m7).
+male(m9).
+female(maria).
+male(mark).
+female(martha).
+male(melvin).
+female(nancy).
+male(neil).
+male(nero).
+female(nonnie).
+female(oma).
+male(owen).
+male(paul).
+female(paula).
+male(peter).
+female(prissie).
+female(rachel).
+male(ray).
+female(regina).
+male(steve).
+female(susan).
+female(terri).
+male(terry).
+male(umo).
+male(walt).
+female(wendy).
+
+sibling(angela,ray).
+sibling(art,umo).
+sibling(art,wendy).
+sibling(calvin,christy).
+sibling(calvin,jack).
+sibling(christy,calvin).
+sibling(christy,jack).
+sibling(cornelia,melvin).
+sibling(cornelia,nancy).
+sibling(david,elisa).
+sibling(elisa,david).
+sibling(eric,fannie).
+sibling(eric,gail).
+sibling(eric,harry).
+sibling(f12,m11).
+sibling(f14,m13).
+sibling(f14,m15).
+sibling(f19,f20).
+sibling(f19,m18).
+sibling(f2,m1).
+sibling(f20,f19).
+sibling(f20,m18).
+sibling(f21,f22).
+sibling(f22,f21).
+sibling(f23,f25).
+sibling(f23,m24).
+sibling(f25,f23).
+sibling(f25,m24).
+sibling(f26,f28).
+sibling(f26,m27).
+sibling(f28,f26).
+sibling(f28,m27).
+sibling(f8,m10).
+sibling(f8,m9).
+sibling(fannie,eric).
+sibling(fannie,gail).
+sibling(fannie,harry).
+sibling(frederick,jane).
+sibling(frederick,prissie).
+sibling(gail,eric).
+sibling(gail,fannie).
+sibling(gail,harry).
+sibling(harry,eric).
+sibling(harry,fannie).
+sibling(harry,gail).
+sibling(jack,calvin).
+sibling(jack,christy).
+sibling(jane,frederick).
+sibling(jane,prissie).
+sibling(janet,nero).
+sibling(jonas,terry).
+sibling(karl,lorrie).
+sibling(karl,mark).
+sibling(lorrie,karl).
+sibling(lorrie,mark).
+sibling(m1,f2).
+sibling(m10,f8).
+sibling(m10,m9).
+sibling(m11,f12).
+sibling(m13,f14).
+sibling(m13,m15).
+sibling(m15,f14).
+sibling(m15,m13).
+sibling(m16,m17).
+sibling(m17,m16).
+sibling(m18,f19).
+sibling(m18,f20).
+sibling(m24,f23).
+sibling(m24,f25).
+sibling(m27,f26).
+sibling(m27,f28).
+sibling(m4,m5).
+sibling(m4,m6).
+sibling(m4,m7).
+sibling(m5,m4).
+sibling(m5,m6).
+sibling(m5,m7).
+sibling(m6,m4).
+sibling(m6,m5).
+sibling(m6,m7).
+sibling(m7,m4).
+sibling(m7,m5).
+sibling(m7,m6).
+sibling(m9,f8).
+sibling(m9,m10).
+sibling(mark,karl).
+sibling(mark,lorrie).
+sibling(melvin,cornelia).
+sibling(melvin,nancy).
+sibling(nancy,cornelia).
+sibling(nancy,melvin).
+sibling(nero,janet).
+sibling(oma,paul).
+sibling(oma,rachel).
+sibling(paul,oma).
+sibling(paul,rachel).
+sibling(prissie,frederick).
+sibling(prissie,jane).
+sibling(rachel,oma).
+sibling(rachel,paul).
+sibling(ray,angela).
+sibling(terry,jonas).
+sibling(umo,art).
+sibling(umo,wendy).
+sibling(wendy,art).
+sibling(wendy,umo).
+
+parent(ann, david).
+parent(ann, elisa).
+parent(beatrice, eric).
+parent(beatrice, fannie).
+parent(beatrice, gail).
+parent(beatrice, harry).
+parent(callie, karl).
+parent(callie, lorrie).
+parent(callie, mark).
+parent(kari, janet).
+parent(kari, nero).
+parent(lorrie, oma).
+parent(lorrie, paul).
+parent(lorrie, rachel).
+parent(martha, susan).
+parent(deanna, jonas). parent(deanna, terry). parent(elisa, umo).
+parent(elisa, wendy). parent(elisa, art). parent(fannie, cornelia).
+parent(fannie, melvin). parent(fannie, nancy). parent(helen, prissie).
+parent(helen, jane). parent(janet, jack). parent(janet, calvin).
+parent(janet, christy). parent(nonnie, angela). parent(nonnie, ray).
+parent(terri, f8). parent(terri, m9). parent(terri, m10).
+parent(wendy, m11). parent(wendy, f12). parent(alice, m13).
+parent(alice, f14). parent(alice, m15). parent(maria, m16).
+parent(maria, m17). parent(nancy, m18). parent(nancy, f19).
+parent(nancy, f20). parent(prissie, f21). parent(prissie, f22).
+parent(jane, f23). parent(jane, m24). paren...
[truncated message content] |
