Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner: [564] trunk/examples
|
From: <ku...@us...> - 2008-02-13 13:57:00
|
Revision: 564
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=564&view=rev
Author: kurzum
Date: 2008-02-13 05:56:54 -0800 (Wed, 13 Feb 2008)
Log Message:
-----------
moved all to family folder
Added Paths:
-----------
trunk/examples/family/daughter.conf
trunk/examples/family/father.conf
trunk/examples/family/father.kb
trunk/examples/family/father.owl
trunk/examples/family/father2.conf
trunk/examples/family/fatherOld.conf
trunk/examples/family/father_incl.kb
trunk/examples/family/grandfather.conf
trunk/examples/family/uncle.conf
trunk/examples/family/uncle.kb
trunk/examples/family/uncle.owl
Removed Paths:
-------------
trunk/examples/daughter.conf
trunk/examples/father.conf
trunk/examples/father.kb
trunk/examples/father.owl
trunk/examples/father2.conf
trunk/examples/fatherOld.conf
trunk/examples/father_incl.kb
trunk/examples/grandfather.conf
trunk/examples/uncle.conf
trunk/examples/uncle.kb
trunk/examples/uncle.owl
Deleted: trunk/examples/daughter.conf
===================================================================
--- trunk/examples/daughter.conf 2008-02-13 13:55:23 UTC (rev 563)
+++ trunk/examples/daughter.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -1,58 +0,0 @@
-/**
- * Example "grandfather with daughter"
- *
- * possible solution:
- * male AND EXISTS hasDaughter.EXISTS hasChild.TOP
- * male AND EXISTS hasChild.(female AND EXISTS hasChild.TOP)
- *
- * Copyright (C) 2007, Jens Lehmann
- */
-
-// search tree protocol
-refinement.writeSearchTree = false;
-refinement.searchTreeFile = "log/searchTreeDaughter.txt";
-
-// control output
-showIndividuals = true;
-showConcepts = true;
-showRoles = true;
-showInternalKB = true;
-showSubsumptionHierarchy = true;
-
-/** background knowledge ***/
-
-// male and female are disjoint
-BOTTOM = (male AND female).
-
-// role hierarchy
-Subrole(hasSon, hasChild).
-Subrole(hasDaughter, hasChild).
-
-// persons
-male(markus).
-male(stefan).
-male(heinz).
-male(bernd).
-male(franz).
-female(anna).
-female(gabi).
-female(michelle).
-
-// children
-hasSon(stefan,markus).
-hasDaughter(markus,anna).
-hasDaughter(bernd,gabi).
-hasDaughter(gabi,anna).
-hasSon(anna,heinz).
-hasSon(franz,heinz).
-hasDaughter(franz,michelle).
-
-/** examples **/
--father(stefan).
-+father(markus).
-+father(bernd).
--father(heinz).
--father(anna).
--father(gabi).
--father(michelle).
--father(franz).
Copied: trunk/examples/family/daughter.conf (from rev 551, trunk/examples/daughter.conf)
===================================================================
--- trunk/examples/family/daughter.conf (rev 0)
+++ trunk/examples/family/daughter.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -0,0 +1,58 @@
+/**
+ * Example "grandfather with daughter"
+ *
+ * possible solution:
+ * male AND EXISTS hasDaughter.EXISTS hasChild.TOP
+ * male AND EXISTS hasChild.(female AND EXISTS hasChild.TOP)
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+// search tree protocol
+refinement.writeSearchTree = false;
+refinement.searchTreeFile = "log/searchTreeDaughter.txt";
+
+// control output
+showIndividuals = true;
+showConcepts = true;
+showRoles = true;
+showInternalKB = true;
+showSubsumptionHierarchy = true;
+
+/** background knowledge ***/
+
+// male and female are disjoint
+BOTTOM = (male AND female).
+
+// role hierarchy
+Subrole(hasSon, hasChild).
+Subrole(hasDaughter, hasChild).
+
+// persons
+male(markus).
+male(stefan).
+male(heinz).
+male(bernd).
+male(franz).
+female(anna).
+female(gabi).
+female(michelle).
+
+// children
+hasSon(stefan,markus).
+hasDaughter(markus,anna).
+hasDaughter(bernd,gabi).
+hasDaughter(gabi,anna).
+hasSon(anna,heinz).
+hasSon(franz,heinz).
+hasDaughter(franz,michelle).
+
+/** examples **/
+-father(stefan).
++father(markus).
++father(bernd).
+-father(heinz).
+-father(anna).
+-father(gabi).
+-father(michelle).
+-father(franz).
Copied: trunk/examples/family/father.conf (from rev 551, trunk/examples/father.conf)
===================================================================
--- trunk/examples/family/father.conf (rev 0)
+++ trunk/examples/family/father.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -0,0 +1,43 @@
+/**
+ * Father Example
+ *
+ * possible solution:
+ * male AND EXISTS hasChild.TOP
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+/** settings **/
+// reasoner settings
+reasoner = dig;
+//digReasonerURL = "http://localhost:8081";
+//useRetrievalForClassification = true;
+//refinement.useDIGMultiInstanceChecks = twoChecks;
+
+// algorithm settings
+algorithm = refinement;
+
+// problem = posOnlyDefinition;
+
+// search tree protocol
+refinement.writeSearchTree = false;
+refinement.searchTreeFile = "log/searchFather.txt";
+
+// control output
+cli.checkSatisfiability = true;
+cli.showIndividuals = false;
+cli.showConcepts = false;
+cli.showRoles = true;
+cli.showSubsumptionHierarchy = false;
+
+import("father.kb");
+// import("father_incl.kb");
+
+/** examples **/
++stefan
++markus
++bernd
+-heinz
+-anna
+-gabi
+-michelle
Copied: trunk/examples/family/father.kb (from rev 551, trunk/examples/father.kb)
===================================================================
--- trunk/examples/family/father.kb (rev 0)
+++ trunk/examples/family/father.kb 2008-02-13 13:56:54 UTC (rev 564)
@@ -0,0 +1,16 @@
+BOTTOM = (male AND female).
+
+// 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).
Copied: trunk/examples/family/father.owl (from rev 551, trunk/examples/father.owl)
===================================================================
--- trunk/examples/family/father.owl (rev 0)
+++ trunk/examples/family/father.owl 2008-02-13 13:56:54 UTC (rev 564)
@@ -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>
Copied: trunk/examples/family/father2.conf (from rev 551, trunk/examples/father2.conf)
===================================================================
--- trunk/examples/family/father2.conf (rev 0)
+++ trunk/examples/family/father2.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -0,0 +1,26 @@
+/**
+ * Another Father Example (this time using OWL import)
+ *
+ * possible solution:
+ * male AND EXISTS hasChild.TOP
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+reasoner = dig;
+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 = false;
+digProtocolFile = "log/father2_dig.txt";
+
+/** examples **/
++"http://example.com/father#stefan"
++"http://example.com/father#markus"
++"http://example.com/father#martin"
+-"http://example.com/father#heinz"
+-"http://example.com/father#anna"
+-"http://example.com/father#michelle"
Copied: trunk/examples/family/fatherOld.conf (from rev 551, trunk/examples/fatherOld.conf)
===================================================================
--- trunk/examples/family/fatherOld.conf (rev 0)
+++ trunk/examples/family/fatherOld.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -0,0 +1,58 @@
+/**
+ * Father Example
+ *
+ * possible solution:
+ * male AND EXISTS hasChild.TOP
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+/** 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 = "log/searchTree.txt";
+
+// control output
+showIndividuals = true;
+showConcepts = true;
+showRoles = true;
+showInternalKB = true;
+showSubsumptionHierarchy = true;
+
+/** background knowledge ***/
+BOTTOM = (male AND female).
+
+// 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).
Copied: trunk/examples/family/father_incl.kb (from rev 551, trunk/examples/father_incl.kb)
===================================================================
--- trunk/examples/family/father_incl.kb (rev 0)
+++ trunk/examples/family/father_incl.kb 2008-02-13 13:56:54 UTC (rev 564)
@@ -0,0 +1,20 @@
+BOTTOM = (male AND female).
+
+// 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).
+
+// to learn the inclusion axiom father SUBCLASS OF male AND EXISTS hasChild.TOP
+// properly, we have to specifiy explicity that heinz does not have children
+NOT EXISTS hasChild.TOP(heinz).
Copied: trunk/examples/family/grandfather.conf (from rev 551, trunk/examples/grandfather.conf)
===================================================================
--- trunk/examples/family/grandfather.conf (rev 0)
+++ trunk/examples/family/grandfather.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -0,0 +1,85 @@
+/**
+ * Grandfather Example
+ *
+ * possible solution:
+ * male AND EXISTS hasChild.EXISTS hasChild.TOP
+ *
+ * Compared tp the father example, we have an additional concept person and
+ * and additional role married here to make the task more complex.
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+/** settings **/
+algorithm = refinement;
+// refinement.heuristic = flexible;
+// percentPerLengthUnit = 0.05;
+refinement.horizontalExpansionFactor = 0.6;
+
+/** background knowledge **/
+male SUB person.
+female SUB person.
+
+// disjunct concepts
+(male AND female) SUB BOTTOM.
+
+Symmetric(married).
+Functional(married).
+
+// persons
+male(m1).
+male(m2).
+male(m3).
+male(m4).
+male(m5).
+male(m6).
+male(m7).
+female(f1).
+female(f2).
+female(f3).
+female(f4).
+female(f5).
+female(f6).
+female(f7).
+female(f8).
+
+// married-relations
+married(m1,f1).
+married(m2,f4).
+married(m5,f5).
+married(f6,m7).
+married(m6,f8).
+
+// hasChild-relations
+hasChild(m1,m2).
+hasChild(m1,f2).
+hasChild(m1,m5).
+hasChild(f1,m2).
+hasChild(f1,f2).
+hasChild(f1,m5).
+
+hasChild(m2,m3).
+hasChild(f4,m3).
+hasChild(f2,f3).
+hasChild(f2,m4).
+hasChild(m5,f6).
+hasChild(f5,f6).
+hasChild(f6,m6).
+hasChild(m7,m6).
+hasChild(f8,f7).
+hasChild(m6,f7).
+
+/** examples **/
++grandfather(m1).
+-grandfather(m2).
+-grandfather(m3).
+-grandfather(m4).
++grandfather(m5).
+-grandfather(m6).
++grandfather(m7).
+-grandfather(f1).
+-grandfather(f2).
+-grandfather(f3).
+-grandfather(f4).
+-grandfather(f5).
+-grandfather(f6).
Copied: trunk/examples/family/uncle.conf (from rev 551, trunk/examples/uncle.conf)
===================================================================
--- trunk/examples/family/uncle.conf (rev 0)
+++ trunk/examples/family/uncle.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -0,0 +1,40 @@
+/**
+ * Uncle Example
+ *
+ * possible solution: (male AND (EXISTS hasSibling.EXISTS hasChild.TOP
+ * OR EXISTS married.EXISTS hasSibling.EXISTS hasChild.TOP))
+ *
+ * The complexity of the learning task depends to a large extend on the length
+ * of the smallest possible solution. For this reason this is a very hard
+ * learning task, despite the simplicity of the background knowledge.
+ *
+ * Note: Currently the data is insufficient, i.e. it allows the algorithm to
+ * to find shorter correct solutions than the desired one above.
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+refinement.writeSearchTree = false;
+refinement.searchTreeFile = "log/search_uncle.txt";
+
+digReasoner.writeDIGProtocol = false;
+digReasoner.digProtocolFile = "log/dig_uncle.txt";
+
+import("uncle.kb");
+
+/** examples **/
++heinrich
++alfred
++heinz
++hans
++alex
+-jan
+-markus
+-susi
+-anna
+-maria
+-katrin
+-johanna
+-mandy
+-miriam
+-hanna
Copied: trunk/examples/family/uncle.kb (from rev 551, trunk/examples/uncle.kb)
===================================================================
--- trunk/examples/family/uncle.kb (rev 0)
+++ trunk/examples/family/uncle.kb 2008-02-13 13:56:54 UTC (rev 564)
@@ -0,0 +1,44 @@
+BOTTOM = (male AND female).
+Functional(married).
+Symmetric(married).
+Symmetric(hasSibling).
+
+male(heinrich).
+male(jan).
+male(markus).
+male(alfred).
+male(hans).
+male(heinz).
+male(alex).
+female(susi).
+female(anna).
+female(maria).
+female(katrin).
+female(johanna).
+female(mandy).
+female(miriam).
+female(hanna).
+
+married(heinrich,susi).
+married(anna,jan).
+married(alfred,katrin).
+married(hans,johanna).
+
+hasSibling(susi,anna).
+hasSibling(alfred,maria).
+hasSibling(alfred,heinz).
+hasSibling(heinz,maria).
+hasSibling(johanna,mandy).
+hasSibling(hanna,alex).
+
+hasChild(anna,alfred).
+hasChild(anna,maria).
+hasChild(anna,heinz).
+hasChild(jan,alfred).
+hasChild(jan,maria).
+hasChild(jan,heinz).
+hasChild(maria,markus).
+hasChild(alfred,hans).
+hasChild(katrin,hans).
+hasChild(mandy,miriam).
+hasChild(hanna,jan).
Copied: trunk/examples/family/uncle.owl (from rev 551, trunk/examples/uncle.owl)
===================================================================
--- trunk/examples/family/uncle.owl (rev 0)
+++ trunk/examples/family/uncle.owl 2008-02-13 13:56:54 UTC (rev 564)
@@ -0,0 +1,104 @@
+<?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="hasSibling">
+ <rdf:type rdf:resource="&owl;SymmetricProperty"/>
+</owl:ObjectProperty>
+
+<owl:ObjectProperty rdf:ID="married">
+ <rdf:type rdf:resource="&owl;SymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+</owl:ObjectProperty>
+
+<a:male rdf:ID="alex"/>
+
+<a:male rdf:ID="alfred">
+ <a:hasChild rdf:resource="#hans"/>
+ <a:hasSibling rdf:resource="#heinz"/>
+ <a:hasSibling rdf:resource="#maria"/>
+ <a:married rdf:resource="#katrin"/>
+</a:male>
+
+<a:female rdf:ID="anna">
+ <a:hasChild rdf:resource="#alfred"/>
+ <a:hasChild rdf:resource="#heinz"/>
+ <a:hasChild rdf:resource="#maria"/>
+ <a:married rdf:resource="#jan"/>
+</a:female>
+
+<a:female rdf:ID="hanna">
+ <a:hasChild rdf:resource="#jan"/>
+ <a:hasSibling rdf:resource="#alex"/>
+</a:female>
+
+<a:male rdf:ID="hans">
+ <a:married rdf:resource="#johanna"/>
+</a:male>
+
+<a:male rdf:ID="heinrich">
+ <a:married rdf:resource="#susi"/>
+</a:male>
+
+<a:male rdf:ID="heinz">
+ <a:hasSibling rdf:resource="#maria"/>
+</a:male>
+
+<a:male rdf:ID="jan">
+ <a:hasChild rdf:resource="#alfred"/>
+ <a:hasChild rdf:resource="#heinz"/>
+ <a:hasChild rdf:resource="#maria"/>
+</a:male>
+
+<a:female rdf:ID="johanna">
+ <a:hasSibling rdf:resource="#mandy"/>
+</a:female>
+
+<a:female rdf:ID="katrin">
+ <a:hasChild rdf:resource="#hans"/>
+</a:female>
+
+<a:female rdf:ID="mandy">
+ <a:hasChild rdf:resource="#miriam"/>
+</a:female>
+
+<a:female rdf:ID="maria">
+ <a:hasChild rdf:resource="#markus"/>
+</a:female>
+
+<a:male rdf:ID="markus"/>
+
+<a:female rdf:ID="miriam"/>
+
+<a:female rdf:ID="susi">
+ <a:hasSibling rdf:resource="#anna"/>
+</a:female>
+
+<owl:Class rdf:ID="female"/>
+
+<owl:Class rdf:ID="male"/>
+
+<owl:ObjectProperty rdf:ID="hasChild"/>
+
+</rdf:RDF>
Deleted: trunk/examples/father.conf
===================================================================
--- trunk/examples/father.conf 2008-02-13 13:55:23 UTC (rev 563)
+++ trunk/examples/father.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -1,43 +0,0 @@
-/**
- * Father Example
- *
- * possible solution:
- * male AND EXISTS hasChild.TOP
- *
- * Copyright (C) 2007, Jens Lehmann
- */
-
-/** settings **/
-// reasoner settings
-reasoner = dig;
-//digReasonerURL = "http://localhost:8081";
-//useRetrievalForClassification = true;
-//refinement.useDIGMultiInstanceChecks = twoChecks;
-
-// algorithm settings
-algorithm = refinement;
-
-// problem = posOnlyDefinition;
-
-// search tree protocol
-refinement.writeSearchTree = false;
-refinement.searchTreeFile = "log/searchFather.txt";
-
-// control output
-cli.checkSatisfiability = true;
-cli.showIndividuals = false;
-cli.showConcepts = false;
-cli.showRoles = true;
-cli.showSubsumptionHierarchy = false;
-
-import("father.kb");
-// import("father_incl.kb");
-
-/** examples **/
-+stefan
-+markus
-+bernd
--heinz
--anna
--gabi
--michelle
Deleted: trunk/examples/father.kb
===================================================================
--- trunk/examples/father.kb 2008-02-13 13:55:23 UTC (rev 563)
+++ trunk/examples/father.kb 2008-02-13 13:56:54 UTC (rev 564)
@@ -1,16 +0,0 @@
-BOTTOM = (male AND female).
-
-// 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).
Deleted: trunk/examples/father.owl
===================================================================
--- trunk/examples/father.owl 2008-02-13 13:55:23 UTC (rev 563)
+++ trunk/examples/father.owl 2008-02-13 13:56:54 UTC (rev 564)
@@ -1,35 +0,0 @@
-<?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>
Deleted: trunk/examples/father2.conf
===================================================================
--- trunk/examples/father2.conf 2008-02-13 13:55:23 UTC (rev 563)
+++ trunk/examples/father2.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -1,26 +0,0 @@
-/**
- * Another Father Example (this time using OWL import)
- *
- * possible solution:
- * male AND EXISTS hasChild.TOP
- *
- * Copyright (C) 2007, Jens Lehmann
- */
-
-reasoner = dig;
-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 = false;
-digProtocolFile = "log/father2_dig.txt";
-
-/** examples **/
-+"http://example.com/father#stefan"
-+"http://example.com/father#markus"
-+"http://example.com/father#martin"
--"http://example.com/father#heinz"
--"http://example.com/father#anna"
--"http://example.com/father#michelle"
Deleted: trunk/examples/fatherOld.conf
===================================================================
--- trunk/examples/fatherOld.conf 2008-02-13 13:55:23 UTC (rev 563)
+++ trunk/examples/fatherOld.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -1,58 +0,0 @@
-/**
- * Father Example
- *
- * possible solution:
- * male AND EXISTS hasChild.TOP
- *
- * Copyright (C) 2007, Jens Lehmann
- */
-
-/** 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 = "log/searchTree.txt";
-
-// control output
-showIndividuals = true;
-showConcepts = true;
-showRoles = true;
-showInternalKB = true;
-showSubsumptionHierarchy = true;
-
-/** background knowledge ***/
-BOTTOM = (male AND female).
-
-// 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).
Deleted: trunk/examples/father_incl.kb
===================================================================
--- trunk/examples/father_incl.kb 2008-02-13 13:55:23 UTC (rev 563)
+++ trunk/examples/father_incl.kb 2008-02-13 13:56:54 UTC (rev 564)
@@ -1,20 +0,0 @@
-BOTTOM = (male AND female).
-
-// 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).
-
-// to learn the inclusion axiom father SUBCLASS OF male AND EXISTS hasChild.TOP
-// properly, we have to specifiy explicity that heinz does not have children
-NOT EXISTS hasChild.TOP(heinz).
Deleted: trunk/examples/grandfather.conf
===================================================================
--- trunk/examples/grandfather.conf 2008-02-13 13:55:23 UTC (rev 563)
+++ trunk/examples/grandfather.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -1,85 +0,0 @@
-/**
- * Grandfather Example
- *
- * possible solution:
- * male AND EXISTS hasChild.EXISTS hasChild.TOP
- *
- * Compared tp the father example, we have an additional concept person and
- * and additional role married here to make the task more complex.
- *
- * Copyright (C) 2007, Jens Lehmann
- */
-
-/** settings **/
-algorithm = refinement;
-// refinement.heuristic = flexible;
-// percentPerLengthUnit = 0.05;
-refinement.horizontalExpansionFactor = 0.6;
-
-/** background knowledge **/
-male SUB person.
-female SUB person.
-
-// disjunct concepts
-(male AND female) SUB BOTTOM.
-
-Symmetric(married).
-Functional(married).
-
-// persons
-male(m1).
-male(m2).
-male(m3).
-male(m4).
-male(m5).
-male(m6).
-male(m7).
-female(f1).
-female(f2).
-female(f3).
-female(f4).
-female(f5).
-female(f6).
-female(f7).
-female(f8).
-
-// married-relations
-married(m1,f1).
-married(m2,f4).
-married(m5,f5).
-married(f6,m7).
-married(m6,f8).
-
-// hasChild-relations
-hasChild(m1,m2).
-hasChild(m1,f2).
-hasChild(m1,m5).
-hasChild(f1,m2).
-hasChild(f1,f2).
-hasChild(f1,m5).
-
-hasChild(m2,m3).
-hasChild(f4,m3).
-hasChild(f2,f3).
-hasChild(f2,m4).
-hasChild(m5,f6).
-hasChild(f5,f6).
-hasChild(f6,m6).
-hasChild(m7,m6).
-hasChild(f8,f7).
-hasChild(m6,f7).
-
-/** examples **/
-+grandfather(m1).
--grandfather(m2).
--grandfather(m3).
--grandfather(m4).
-+grandfather(m5).
--grandfather(m6).
-+grandfather(m7).
--grandfather(f1).
--grandfather(f2).
--grandfather(f3).
--grandfather(f4).
--grandfather(f5).
--grandfather(f6).
Deleted: trunk/examples/uncle.conf
===================================================================
--- trunk/examples/uncle.conf 2008-02-13 13:55:23 UTC (rev 563)
+++ trunk/examples/uncle.conf 2008-02-13 13:56:54 UTC (rev 564)
@@ -1,40 +0,0 @@
-/**
- * Uncle Example
- *
- * possible solution: (male AND (EXISTS hasSibling.EXISTS hasChild.TOP
- * OR EXISTS married.EXISTS hasSibling.EXISTS hasChild.TOP))
- *
- * The complexity of the learning task depends to a large extend on the length
- * of the smallest possible solution. For this reason this is a very hard
- * learning task, despite the simplicity of the background knowledge.
- *
- * Note: Currently the data is insufficient, i.e. it allows the algorithm to
- * to find shorter correct solutions than the desired one above.
- *
- * Copyright (C) 2007, Jens Lehmann
- */
-
-refinement.writeSearchTree = false;
-refinement.searchTreeFile = "log/search_uncle.txt";
-
-digReasoner.writeDIGProtocol = false;
-digReasoner.digProtocolFile = "log/dig_uncle.txt";
-
-import("uncle.kb");
-
-/** examples **/
-+heinrich
-+alfred
-+heinz
-+hans
-+alex
--jan
--markus
--susi
--anna
--maria
--katrin
--johanna
--mandy
--miriam
--hanna
Deleted: trunk/examples/uncle.kb
===================================================================
--- trunk/examples/uncle.kb 2008-02-13 13:55:23 UTC (rev 563)
+++ trunk/examples/uncle.kb 2008-02-13 13:56:54 UTC (rev 564)
@@ -1,44 +0,0 @@
-BOTTOM = (male AND female).
-Functional(married).
-Symmetric(married).
-Symmetric(hasSibling).
-
-male(heinrich).
-male(jan).
-male(markus).
-male(alfred).
-male(hans).
-male(heinz).
-male(alex).
-female(susi).
-female(anna).
-female(maria).
-female(katrin).
-female(johanna).
-female(mandy).
-female(miriam).
-female(hanna).
-
-married(heinrich,susi).
-married(anna,jan).
-married(alfred,katrin).
-married(hans,johanna).
-
-hasSibling(susi,anna).
-hasSibling(alfred,maria).
-hasSibling(alfred,heinz).
-hasSibling(heinz,maria).
-hasSibling(johanna,mandy).
-hasSibling(hanna,alex).
-
-hasChild(anna,alfred).
-hasChild(anna,maria).
-hasChild(anna,heinz).
-hasChild(jan,alfred).
-hasChild(jan,maria).
-hasChild(jan,heinz).
-hasChild(maria,markus).
-hasChild(alfred,hans).
-hasChild(katrin,hans).
-hasChild(mandy,miriam).
-hasChild(hanna,jan).
Deleted: trunk/examples/uncle.owl
===================================================================
--- trunk/examples/uncle.owl 2008-02-13 13:55:23 UTC (rev 563)
+++ trunk/examples/uncle.owl 2008-02-13 13:56:54 UTC (rev 564)
@@ -1,104 +0,0 @@
-<?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="hasSibling">
- <rdf:type rdf:resource="&owl;SymmetricProperty"/>
-</owl:ObjectProperty>
-
-<owl:ObjectProperty rdf:ID="married">
- <rdf:type rdf:resource="&owl;SymmetricProperty"/>
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
-</owl:ObjectProperty>
-
-<a:male rdf:ID="alex"/>
-
-<a:male rdf:ID="alfred">
- <a:hasChild rdf:resource="#hans"/>
- <a:hasSibling rdf:resource="#heinz"/>
- <a:hasSibling rdf:resource="#maria"/>
- <a:married rdf:resource="#katrin"/>
-</a:male>
-
-<a:female rdf:ID="anna">
- <a:hasChild rdf:resource="#alfred"/>
- <a:hasChild rdf:resource="#heinz"/>
- <a:hasChild rdf:resource="#maria"/>
- <a:married rdf:resource="#jan"/>
-</a:female>
-
-<a:female rdf:ID="hanna">
- <a:hasChild rdf:resource="#jan"/>
- <a:hasSibling rdf:resource="#alex"/>
-</a:female>
-
-<a:male rdf:ID="hans">
- <a:married rdf:resource="#johanna"/>
-</a:male>
-
-<a:male rdf:ID="heinrich">
- <a:married rdf:resource="#susi"/>
-</a:male>
-
-<a:male rdf:ID="heinz">
- <a:hasSibling rdf:resource="#maria"/>
-</a:male>
-
-<a:male rdf:ID="jan">
- <a:hasChild rdf:resource="#alfred"/>
- <a:hasChild rdf:resource="#heinz"/>
- <a:hasChild rdf:resource="#maria"/>
-</a:male>
-
-<a:female rdf:ID="johanna">
- <a:hasSibling rdf:resource="#mandy"/>
-</a:female>
-
-<a:female rdf:ID="katrin">
- <a:hasChild rdf:resource="#hans"/>
-</a:female>
-
-<a:female rdf:ID="mandy">
- <a:hasChild rdf:resource="#miriam"/>
-</a:female>
-
-<a:female rdf:ID="maria">
- <a:hasChild rdf:resource="#markus"/>
-</a:female>
-
-<a:male rdf:ID="markus"/>
-
-<a:female rdf:ID="miriam"/>
-
-<a:female rdf:ID="susi">
- <a:hasSibling rdf:resource="#anna"/>
-</a:female>
-
-<owl:Class rdf:ID="female"/>
-
-<owl:Class rdf:ID="male"/>
-
-<owl:ObjectProperty rdf:ID="hasChild"/>
-
-</rdf:RDF>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
