Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner: [553] trunk/examples/forte
|
From: <ku...@us...> - 2008-02-13 10:25:01
|
Revision: 553
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=553&view=rev
Author: kurzum
Date: 2008-02-13 02:24:51 -0800 (Wed, 13 Feb 2008)
Log Message:
-----------
forte
Added Paths:
-----------
trunk/examples/forte/forte_family.kb
trunk/examples/forte/forte_family.owl
trunk/examples/forte/uncle_large.conf
trunk/examples/forte/uncle_owl_large.conf
trunk/examples/forte/uncle_owl_small.conf
trunk/examples/forte/uncle_small.conf
Removed Paths:
-------------
trunk/examples/forte/forte.owl
trunk/examples/forte/forte_uncle.conf
trunk/examples/forte/forte_uncle_owl.conf
Deleted: trunk/examples/forte/forte.owl
===================================================================
--- trunk/examples/forte/forte.owl 2008-02-13 10:09:50 UTC (rev 552)
+++ trunk/examples/forte/forte.owl 2008-02-13 10:24:51 UTC (rev 553)
@@ -1,547 +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="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_family.kb
===================================================================
--- trunk/examples/forte/forte_family.kb (rev 0)
+++ trunk/examples/forte/forte_family.kb 2008-02-13 10:24:51 UTC (rev 553)
@@ -0,0 +1,378 @@
+/**
+ * Extracted from the FORTE (First Order Revision of Theories from Examples)
+ * data set:
+ *
+ * http://www.cs.utexas.edu/users/ml/forte.html
+ *
+ * The goal of this learning problem is to learn the concept of an uncle.
+ *
+ * At the bottom of this file, you can find a graphical representation of the
+ * family tree corresponding to the facts in this file.
+ *
+ * possible solution: (male AND (EXISTS hasSibling.EXISTS hasChild.TOP
+ * OR EXISTS married.EXISTS hasSibling.EXISTS hasChild.TOP))
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+
+/** background knowledge **/
+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).
+
+
+
+
+/* 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
Copied: trunk/examples/forte/forte_family.owl (from rev 551, trunk/examples/forte/forte.owl)
===================================================================
--- trunk/examples/forte/forte_family.owl (rev 0)
+++ trunk/examples/forte/forte_family.owl 2008-02-13 10:24:51 UTC (rev 553)
@@ -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>
Deleted: trunk/examples/forte/forte_uncle.conf
===================================================================
--- trunk/examples/forte/forte_uncle.conf 2008-02-13 10:09:50 UTC (rev 552)
+++ trunk/examples/forte/forte_uncle.conf 2008-02-13 10:24:51 UTC (rev 553)
@@ -1,492 +0,0 @@
-/**
- * Extracted from the FORTE (First Order Revision of Theories from Examples)
- * data set:
- *
- * http://www.cs.utexas.edu/users/ml/forte.html
- *
- * The goal of this learning problem is to learn the concept of an uncle.
- *
- * At the bottom of this file, you can find a graphical representation of the
- * family tree corresponding to the facts in this file.
- *
- * possible solution: (male AND (EXISTS hasSibling.EXISTS hasChild.TOP
- * OR EXISTS married.EXISTS hasSibling.EXISTS hasChild.TOP))
- *
- * Copyright (C) 2007, Jens Lehmann
- */
-
-// control output
-showIndividuals = true;
-showConcepts = true;
-showRoles = true;
-showInternalKB = true;
-showSubsumptionHierarchy = true;
-
-/** background knowledge **/
-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).
-
-
-/** examples **/
-
-/* 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).
-
-/* 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
Deleted: trunk/examples/forte/forte_uncle_owl.conf
===================================================================
--- trunk/examples/forte/forte_uncle_owl.conf 2008-02-13 10:09:50 UTC (rev 552)
+++ trunk/examples/forte/forte_uncle_owl.conf 2008-02-13 10:24:51 UTC (rev 553)
@@ -1,120 +0,0 @@
-/**
- * See forte_uncle.conf. This is the same learning problem, but loading background
- * knowledge from an OWL file instead.
- *
- * Copyright (C) 2007, Jens Lehmann
- */
-
-/** background knowledge **/
-
-import("forte.owl");
-
-/** examples **/
-
-/* 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).
Added: trunk/examples/forte/uncle_large.conf
===================================================================
--- trunk/examples/forte/uncle_large.conf (rev 0)
+++ trunk/examples/forte/uncle_large.conf 2008-02-13 10:24:51 UTC (rev 553)
@@ -0,0 +1,113 @@
+/**
+ * Extracted from the FORTE (First Order Revision of Theories from Examples)
+ * data set:
+ *
+ * http://www.cs.utexas.edu/users/ml/forte.html
+ *
+ * The goal of this learning problem is to learn the concept of an uncle.
+ *
+ * In the file forte_family.kb, you can find a graphical representation of the
+ * family tree corresponding to the facts in this file.
+ *
+ * possible solution: (male AND (EXISTS hasSibling.EXISTS hasChild.TOP
+ * OR EXISTS married.EXISTS hasSibling.EXISTS hasChild.TOP))
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+
+
+import("forte_family.kb");
+
+/** examples **/
+
+
+// complete example set
++art
++calvin
++carlos
++david
++eric
++fred
++frederick
++george
++harry
++jack
++james
++jonas
++karl
++leon
++mark
++melvin
++neil
++nero
++owen
++paul
++peter
++umo
++walt
+
+-alfred
+-alice
+-angela
+-ann
+-beatrice
+-bob
+-callie
+-carl
+-christy
+-cornelia
+-deanna
+-elisa
+-f12
+-f14
+-f19
+-f2
+-f20
+-f21
+-f22
+-f23
+-f25
+-f26
+-f28
+-f8
+-fannie
+-gail
+-helen
+-jane
+-janet
+-kari
+-lorrie
+-m1
+-m10
+-m11
+-m13
+-m15
+-m16
+-m17
+-m18
+-m24
+-m27
+-m29
+-m3
+-m4
+-m5
+-m6
+-m7
+-m9
+-maria
+-martha
+-nancy
+-nonnie
+-oma
+-paula
+-prissie
+-rachel
+-ray
+-regina
+-steve
+-susan
+-terri
+-terry
+-wendy
+
Added: trunk/examples/forte/uncle_owl_large.conf
===================================================================
--- trunk/examples/forte/uncle_owl_large.conf (rev 0)
+++ trunk/examples/forte/uncle_owl_large.conf 2008-02-13 10:24:51 UTC (rev 553)
@@ -0,0 +1,101 @@
+/**
+ * See uncle.conf. This is the same learning problem, but loading background
+ * knowledge from an OWL file instead.
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+/** background knowledge **/
+
+import("forte_family.owl");
+
+/** examples **/
+
+ // complete example set
++art
++calvin
++carlos
++david
++eric
++fred
++frederick
++george
++harry
++jack
++james
++jonas
++karl
++leon
++mark
++melvin
++neil
++...
[truncated message content] |
