Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner: [944] trunk/examples/cross-benchmark
|
From: <Jen...@us...> - 2008-06-05 14:29:44
|
Revision: 944
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=944&view=rev
Author: JensLehmann
Date: 2008-06-05 07:29:31 -0700 (Thu, 05 Jun 2008)
Log Message:
-----------
more examples
Added Paths:
-----------
trunk/examples/cross-benchmark/arch/
trunk/examples/cross-benchmark/arch/arch.owl
trunk/examples/cross-benchmark/arch/arch_gp.conf
trunk/examples/cross-benchmark/arch/arch_hybrid.conf
trunk/examples/cross-benchmark/arch/arch_refexamples.conf
trunk/examples/cross-benchmark/arch/arch_refexamples_fast.conf
trunk/examples/cross-benchmark/forte/
trunk/examples/cross-benchmark/forte/forte_family.owl
trunk/examples/cross-benchmark/forte/uncle_refexamples.conf
trunk/examples/cross-benchmark/forte/uncle_refexamples_fast.conf
trunk/examples/cross-benchmark/forte/uncle_refexamples_gp.conf
trunk/examples/cross-benchmark/forte/uncle_refexamples_hybrid.conf
trunk/examples/cross-benchmark/moral_reasoner/
trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples.conf
trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_fast.conf
trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_gp.conf
trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_hybrid.conf
trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_gp.conf
trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_hybrid.conf
trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_refexamples.conf
trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_refexamples_fast.conf
trunk/examples/cross-benchmark/moral_reasoner/moral_43instances.owl
trunk/examples/cross-benchmark/moral_reasoner/moral_43instances_complex.owl
trunk/examples/cross-benchmark/poker/
trunk/examples/cross-benchmark/poker/pair50.owl
trunk/examples/cross-benchmark/poker/pair_refexamples.conf
trunk/examples/cross-benchmark/poker/pair_refexamples_fast.conf
trunk/examples/cross-benchmark/poker/pair_refexamples_gp.conf
trunk/examples/cross-benchmark/poker/pair_refexamples_hybrid.conf
trunk/examples/cross-benchmark/poker/straight.owl
trunk/examples/cross-benchmark/poker/straight_refexamples.conf
trunk/examples/cross-benchmark/poker/straight_refexamples_fast.conf
trunk/examples/cross-benchmark/poker/straight_refexamples_gp.conf
trunk/examples/cross-benchmark/poker/straight_refexamples_hybrid.conf
trunk/examples/cross-benchmark/trains/
trunk/examples/cross-benchmark/trains/trains.owl
trunk/examples/cross-benchmark/trains/trains_gp.conf
trunk/examples/cross-benchmark/trains/trains_hybrid.conf
trunk/examples/cross-benchmark/trains/trains_refexamples.conf
trunk/examples/cross-benchmark/trains/trains_refexamples_fast.conf
Added: trunk/examples/cross-benchmark/arch/arch.owl
===================================================================
--- trunk/examples/cross-benchmark/arch/arch.owl (rev 0)
+++ trunk/examples/cross-benchmark/arch/arch.owl 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,362 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY foo "http://localhost/foo#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl11 "http://www.w3.org/2006/12/owl11#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl11xml "http://www.w3.org/2006/12/owl11-xml#" >
+ <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
+ <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
+]>
+
+
+<rdf:RDF xmlns="http://localhost/foo#"
+ xml:base="http://localhost/foo"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl11="http://www.w3.org/2006/12/owl11#"
+ xmlns:owl11xml="http://www.w3.org/2006/12/owl11-xml#"
+ xmlns:owl="http://www.w3.org/2002/07/owl#"
+ xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:foo="http://localhost/foo#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://localhost/foo#hasParallelpipe -->
+
+ <owl:ObjectProperty rdf:about="&foo;hasParallelpipe">
+ <rdfs:range rdf:resource="&foo;parallelpipe"/>
+ <rdfs:domain rdf:resource="&foo;construction"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://localhost/foo#hasPillar -->
+
+ <owl:ObjectProperty rdf:about="&foo;hasPillar">
+ <rdfs:domain rdf:resource="&foo;construction"/>
+ <rdfs:range rdf:resource="&foo;pillar"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://localhost/foo#leftof -->
+
+ <owl:ObjectProperty rdf:about="&foo;leftof">
+ <rdfs:domain rdf:resource="&foo;pillar"/>
+ <rdfs:range rdf:resource="&foo;pillar"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://localhost/foo#supports -->
+
+ <owl:ObjectProperty rdf:about="&foo;supports">
+ <rdfs:range rdf:resource="&foo;parallelpipe"/>
+ <rdfs:domain rdf:resource="&foo;pillar"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://localhost/foo#touches -->
+
+ <owl:ObjectProperty rdf:about="&foo;touches">
+ <rdfs:domain rdf:resource="&foo;pillar"/>
+ <rdfs:range rdf:resource="&foo;pillar"/>
+ </owl:ObjectProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://localhost/foo#brick -->
+
+ <owl:Class rdf:about="&foo;brick"/>
+
+
+
+ <!-- http://localhost/foo#construction -->
+
+ <owl:Class rdf:about="&foo;construction"/>
+
+
+
+ <!-- http://localhost/foo#freeStandingPillar -->
+
+ <owl:Class rdf:about="&foo;freeStandingPillar">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="&foo;pillar"/>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="&foo;touches"/>
+ <owl:someValuesFrom rdf:resource="&owl;Thing"/>
+ </owl:Restriction>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!-- http://localhost/foo#parallelpipe -->
+
+ <owl:Class rdf:about="&foo;parallelpipe">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="&foo;wedge"/>
+ <rdf:Description rdf:about="&foo;brick"/>
+ </owl:unionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!-- http://localhost/foo#pillar -->
+
+ <owl:Class rdf:about="&foo;pillar"/>
+
+
+
+ <!-- http://localhost/foo#wedge -->
+
+ <owl:Class rdf:about="&foo;wedge"/>
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#Nothing -->
+
+ <owl:Class rdf:about="&owl;Nothing">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="&foo;pillar"/>
+ <rdf:Description rdf:about="&foo;parallelpipe"/>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="&foo;construction"/>
+ <rdf:Description rdf:about="&foo;parallelpipe"/>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="&foo;construction"/>
+ <rdf:Description rdf:about="&foo;pillar"/>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#Thing -->
+
+ <owl:Class rdf:about="&owl;Thing"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://localhost/foo#a -->
+
+ <foo:brick rdf:about="&foo;a"/>
+
+
+
+ <!-- http://localhost/foo#b -->
+
+ <foo:brick rdf:about="&foo;b"/>
+
+
+
+ <!-- http://localhost/foo#c -->
+
+ <foo:brick rdf:about="&foo;c"/>
+
+
+
+ <!-- http://localhost/foo#c1 -->
+
+ <foo:construction rdf:about="&foo;c1">
+ <foo:hasParallelpipe rdf:resource="&foo;a"/>
+ <foo:hasPillar rdf:resource="&foo;p2"/>
+ <foo:hasPillar rdf:resource="&foo;p1"/>
+ </foo:construction>
+
+
+
+ <!-- http://localhost/foo#c2 -->
+
+ <foo:construction rdf:about="&foo;c2">
+ <foo:hasPillar rdf:resource="&foo;p3"/>
+ <foo:hasParallelpipe rdf:resource="&foo;b"/>
+ <foo:hasPillar rdf:resource="&foo;p4"/>
+ </foo:construction>
+
+
+
+ <!-- http://localhost/foo#c3 -->
+
+ <foo:construction rdf:about="&foo;c3">
+ <foo:hasPillar rdf:resource="&foo;p5"/>
+ <foo:hasParallelpipe rdf:resource="&foo;c"/>
+ <foo:hasPillar rdf:resource="&foo;p6"/>
+ </foo:construction>
+
+
+
+ <!-- http://localhost/foo#c4 -->
+
+ <foo:construction rdf:about="&foo;c4">
+ <foo:hasParallelpipe rdf:resource="&foo;d"/>
+ <foo:hasPillar rdf:resource="&foo;p8"/>
+ <foo:hasPillar rdf:resource="&foo;p7"/>
+ </foo:construction>
+
+
+
+ <!-- http://localhost/foo#c5 -->
+
+ <foo:construction rdf:about="&foo;c5">
+ <foo:hasPillar rdf:resource="&foo;p9"/>
+ <foo:hasParallelpipe rdf:resource="&foo;e"/>
+ </foo:construction>
+
+
+
+ <!-- http://localhost/foo#d -->
+
+ <foo:wedge rdf:about="&foo;d"/>
+
+
+
+ <!-- http://localhost/foo#e -->
+
+ <foo:wedge rdf:about="&foo;e"/>
+
+
+
+ <!-- http://localhost/foo#p1 -->
+
+ <foo:pillar rdf:about="&foo;p1">
+ <rdf:type rdf:resource="&foo;freeStandingPillar"/>
+ <foo:supports rdf:resource="&foo;a"/>
+ <foo:leftof rdf:resource="&foo;p2"/>
+ </foo:pillar>
+
+
+
+ <!-- http://localhost/foo#p2 -->
+
+ <foo:pillar rdf:about="&foo;p2">
+ <rdf:type rdf:resource="&foo;freeStandingPillar"/>
+ <foo:supports rdf:resource="&foo;a"/>
+ </foo:pillar>
+
+
+
+ <!-- http://localhost/foo#p3 -->
+
+ <foo:freeStandingPillar rdf:about="&foo;p3">
+ <rdf:type rdf:resource="&foo;pillar"/>
+ <foo:leftof rdf:resource="&foo;p4"/>
+ </foo:freeStandingPillar>
+
+
+
+ <!-- http://localhost/foo#p4 -->
+
+ <foo:freeStandingPillar rdf:about="&foo;p4">
+ <rdf:type rdf:resource="&foo;pillar"/>
+ </foo:freeStandingPillar>
+
+
+
+ <!-- http://localhost/foo#p5 -->
+
+ <foo:pillar rdf:about="&foo;p5">
+ <foo:supports rdf:resource="&foo;c"/>
+ <foo:touches rdf:resource="&foo;p6"/>
+ <foo:leftof rdf:resource="&foo;p6"/>
+ </foo:pillar>
+
+
+
+ <!-- http://localhost/foo#p6 -->
+
+ <foo:pillar rdf:about="&foo;p6">
+ <foo:supports rdf:resource="&foo;c"/>
+ </foo:pillar>
+
+
+
+ <!-- http://localhost/foo#p7 -->
+
+ <foo:freeStandingPillar rdf:about="&foo;p7">
+ <rdf:type rdf:resource="&foo;pillar"/>
+ <foo:leftof rdf:resource="&foo;p8"/>
+ <foo:supports rdf:resource="&foo;d"/>
+ </foo:freeStandingPillar>
+
+
+
+ <!-- http://localhost/foo#p8 -->
+
+ <foo:freeStandingPillar rdf:about="&foo;p8">
+ <rdf:type rdf:resource="&foo;pillar"/>
+ <foo:supports rdf:resource="&foo;d"/>
+ </foo:freeStandingPillar>
+
+
+
+ <!-- http://localhost/foo#p9 -->
+
+ <foo:freeStandingPillar rdf:about="&foo;p9">
+ <rdf:type rdf:resource="&foo;pillar"/>
+ <foo:supports rdf:resource="&foo;e"/>
+ </foo:freeStandingPillar>
+</rdf:RDF>
Added: trunk/examples/cross-benchmark/arch/arch_gp.conf
===================================================================
--- trunk/examples/cross-benchmark/arch/arch_gp.conf (rev 0)
+++ trunk/examples/cross-benchmark/arch/arch_gp.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,22 @@
+algorithm = gp;
+gp.algorithmType = generational;
+gp.selectionType = rankSelection;
+gp.generations = 50;
+gp.useFixedNumberOfGenerations = true;
+gp.numberOfIndividuals = 501;
+gp.refinementProbability = 0;
+gp.mutationProbability = 0.02;
+gp.crossoverProbability = 0.8;
+gp.hillClimbingProbability = 0;
+posNegDefinitionLP.percentPerLenghtUnit = 0.02;
+gp.maxConceptLength = 30;
+reasoner = owlAPI;
+
+import("arch.owl");
+
++c1
++c4
+-c2
+-c3
+-c5
+
Added: trunk/examples/cross-benchmark/arch/arch_hybrid.conf
===================================================================
--- trunk/examples/cross-benchmark/arch/arch_hybrid.conf (rev 0)
+++ trunk/examples/cross-benchmark/arch/arch_hybrid.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,21 @@
+algorithm = gp;
+gp.algorithmType = generational;
+gp.selectionType = rankSelection;
+gp.generations = 50;
+gp.useFixedNumberOfGenerations = true;
+gp.numberOfIndividuals = 501;
+gp.refinementProbability = 0.65;
+gp.mutationProbability = 0.02;
+gp.crossoverProbability = 0.2;
+gp.hillClimbingProbability = 0;
+posNegDefinitionLP.percentPerLenghtUnit = 0.02;
+gp.maxConceptLength = 30;
+reasoner = owlAPI;
+
+import("arch.owl");
+
++c1
++c4
+-c2
+-c3
+-c5
Added: trunk/examples/cross-benchmark/arch/arch_refexamples.conf
===================================================================
--- trunk/examples/cross-benchmark/arch/arch_refexamples.conf (rev 0)
+++ trunk/examples/cross-benchmark/arch/arch_refexamples.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,9 @@
+algorithm = refexamples;
+reasoner = owlAPI;
+import("arch.owl");
+
++c1
++c4
+-c2
+-c3
+-c5
Added: trunk/examples/cross-benchmark/arch/arch_refexamples_fast.conf
===================================================================
--- trunk/examples/cross-benchmark/arch/arch_refexamples_fast.conf (rev 0)
+++ trunk/examples/cross-benchmark/arch/arch_refexamples_fast.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,9 @@
+algorithm = refexamples;
+reasoner = fastInstanceChecker;
+import("arch.owl");
+
++c1
++c4
+-c2
+-c3
+-c5
Added: trunk/examples/cross-benchmark/forte/forte_family.owl
===================================================================
--- trunk/examples/cross-benchmark/forte/forte_family.owl (rev 0)
+++ trunk/examples/cross-benchmark/forte/forte_family.owl 2008-06-05 14:29:31 UTC (rev 944)
@@ -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/cross-benchmark/forte/uncle_refexamples.conf
===================================================================
--- trunk/examples/cross-benchmark/forte/uncle_refexamples.conf (rev 0)
+++ trunk/examples/cross-benchmark/forte/uncle_refexamples.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,114 @@
+/**
+ * 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
+ */
+
+
+algorithm = refexamples;
+reasoner = owlAPI;
+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/cross-benchmark/forte/uncle_refexamples_fast.conf
===================================================================
--- trunk/examples/cross-benchmark/forte/uncle_refexamples_fast.conf (rev 0)
+++ trunk/examples/cross-benchmark/forte/uncle_refexamples_fast.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -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
+ */
+
+algorithm = refexamples;
+reasoner = fastInstanceChecker;
+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/cross-benchmark/forte/uncle_refexamples_gp.conf
===================================================================
--- trunk/examples/cross-benchmark/forte/uncle_refexamples_gp.conf (rev 0)
+++ trunk/examples/cross-benchmark/forte/uncle_refexamples_gp.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,124 @@
+/**
+ * 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
+ */
+
+algorithm = gp;
+gp.algorithmType = generational;
+gp.selectionType = rankSelection;
+gp.generations = 50;
+gp.useFixedNumberOfGenerations = true;
+gp.numberOfIndividuals = 501;
+gp.refinementProbability = 0;
+gp.mutationProbability = 0.02;
+gp.crossoverProbability = 0.8;
+gp.hillClimbingProbability = 0;
+posNegDefinitionLP.percentPerLenghtUnit = 0.02;
+gp.maxConceptLength = 30;
+reasoner = owlAPI;
+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/cross-benchmark/forte/uncle_refexamples_hybrid.conf
===================================================================
--- trunk/examples/cross-benchmark/forte/uncle_refexamples_hybrid.conf (rev 0)
+++ trunk/examples/cross-benchmark/forte/uncle_refexamples_hybrid.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,125 @@
+/**
+ * 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
+ */
+
+
+algorithm = gp;
+gp.algorithmType = generational;
+gp.selectionType = rankSelection;
+gp.generations = 50;
+gp.useFixedNumberOfGenerations = true;
+gp.numberOfIndividuals = 501;
+gp.refinementProbability = 0.65;
+gp.mutationProbability = 0.02;
+gp.crossoverProbability = 0.2;
+gp.hillClimbingProbability = 0;
+posNegDefinitionLP.percentPerLenghtUnit = 0.02;
+gp.maxConceptLength = 30;
+reasoner = owlAPI;
+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/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples.conf
===================================================================
--- trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples.conf (rev 0)
+++ trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,61 @@
+ /***********************
+ solution is:
+(severity_harm AND (NOT benefit_victim) AND (vicarious OR voluntary))
+
+
+ Examples:
+ 23 positive
+ 20 negative
+
+ ***********************/
+ algorithm = refexamples;
+reasoner = owlAPI;
+/** background knowledge **/
+import("moral_43instances_complex.owl");
+
+
+/** Examples **/
++p0
++p1
++p2
++p3
++p4
++p5
++p6
++p7
++p8
++p9
++p10
++p90
++p91
++p92
++p93
++p94
++p95
++p96
++p97
++p98
++p99
++p100
++p101
+-n0
+-n1
+-n2
+-n3
+//-n4
+-n5
+-n6
+-n7
+-n8
+-n9
+-n10
+-n90
+-n91
+-n92
+-n93
+-n94
+-n95
+-n96
+-n97
+-n98
+-n99
Added: trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_fast.conf
===================================================================
--- trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_fast.conf (rev 0)
+++ trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_fast.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,61 @@
+ /***********************
+ solution is:
+(severity_harm AND (NOT benefit_victim) AND (vicarious OR voluntary))
+
+
+ Examples:
+ 23 positive
+ 20 negative
+
+ ***********************/
+ algorithm = refexamples;
+reasoner = fastInstanceChecker;
+/** background knowledge **/
+import("moral_43instances_complex.owl");
+
+
+/** Examples **/
++p0
++p1
++p2
++p3
++p4
++p5
++p6
++p7
++p8
++p9
++p10
++p90
++p91
++p92
++p93
++p94
++p95
++p96
++p97
++p98
++p99
++p100
++p101
+-n0
+-n1
+-n2
+-n3
+//-n4
+-n5
+-n6
+-n7
+-n8
+-n9
+-n10
+-n90
+-n91
+-n92
+-n93
+-n94
+-n95
+-n96
+-n97
+-n98
+-n99
Added: trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_gp.conf
===================================================================
--- trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_gp.conf (rev 0)
+++ trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_gp.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,72 @@
+ /***********************
+ solution is:
+(severity_harm AND (NOT benefit_victim) AND (vicarious OR voluntary))
+
+
+ Examples:
+ 23 positive
+ 20 negative
+
+ ***********************/
+ algorithm = gp;
+gp.algorithmType = generational;
+gp.selectionType = rankSelection;
+gp.generations = 50;
+gp.useFixedNumberOfGenerations = true;
+gp.numberOfIndividuals = 501;
+gp.refinementProbability = 0;
+gp.mutationProbability = 0.02;
+gp.crossoverProbability = 0.8;
+gp.hillClimbingProbability = 0;
+posNegDefinitionLP.percentPerLenghtUnit = 0.02;
+gp.maxConceptLength = 30;
+reasoner = owlAPI;
+/** background knowledge **/
+import("moral_43instances_complex.owl");
+
+
+/** Examples **/
++p0
++p1
++p2
++p3
++p4
++p5
++p6
++p7
++p8
++p9
++p10
++p90
++p91
++p92
++p93
++p94
++p95
++p96
++p97
++p98
++p99
++p100
++p101
+-n0
+-n1
+-n2
+-n3
+//-n4
+-n5
+-n6
+-n7
+-n8
+-n9
+-n10
+-n90
+-n91
+-n92
+-n93
+-n94
+-n95
+-n96
+-n97
+-n98
+-n99
Added: trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_hybrid.conf
===================================================================
--- trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_hybrid.conf (rev 0)
+++ trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_complex_refexamples_hybrid.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,72 @@
+ /***********************
+ solution is:
+(severity_harm AND (NOT benefit_victim) AND (vicarious OR voluntary))
+
+
+ Examples:
+ 23 positive
+ 20 negative
+
+ ***********************/
+ algorithm = gp;
+gp.algorithmType = generational;
+gp.selectionType = rankSelection;
+gp.generations = 50;
+gp.useFixedNumberOfGenerations = true;
+gp.numberOfIndividuals = 501;
+gp.refinementProbability = 0.65;
+gp.mutationProbability = 0.02;
+gp.crossoverProbability = 0.2;
+gp.hillClimbingProbability = 0;
+posNegDefinitionLP.percentPerLenghtUnit = 0.02;
+gp.maxConceptLength = 30;
+reasoner = owlAPI;
+/** background knowledge **/
+import("moral_43instances_complex.owl");
+
+
+/** Examples **/
++p0
++p1
++p2
++p3
++p4
++p5
++p6
++p7
++p8
++p9
++p10
++p90
++p91
++p92
++p93
++p94
++p95
++p96
++p97
++p98
++p99
++p100
++p101
+-n0
+-n1
+-n2
+-n3
+//-n4
+-n5
+-n6
+-n7
+-n8
+-n9
+-n10
+-n90
+-n91
+-n92
+-n93
+-n94
+-n95
+-n96
+-n97
+-n98
+-n99
Added: trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_gp.conf
===================================================================
--- trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_gp.conf (rev 0)
+++ trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_gp.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,73 @@
+ /***********************
+ solution should be:
+ guilty = (blameworthy OR vicarious_blame ).
+
+
+ Examples:
+ 23 positive
+ 20 negative
+
+ ***********************/
+
+algorithm = gp;
+gp.algorithmType = generational;
+gp.selectionType = rankSelection;
+gp.generations = 50;
+gp.useFixedNumberOfGenerations = true;
+gp.numberOfIndividuals = 501;
+gp.refinementProbability = 0;
+gp.mutationProbability = 0.02;
+gp.crossoverProbability = 0.8;
+gp.hillClimbingProbability = 0;
+posNegDefinitionLP.percentPerLenghtUnit = 0.02;
+gp.maxConceptLength = 30;
+reasoner = owlAPI;
+ /** background knowledge **/
+ import("moral_43instances.owl");
+
+
+ /** Examples **/
+ +p0
+ +p1
+ +p2
+ +p3
+ +p4
+ +p5
+ +p6
+ +p7
+ +p8
+ +p9
+ +p10
+ +p90
+ +p91
+ +p92
+ +p93
+ +p94
+ +p95
+ +p96
+ +p97
+ +p98
+ +p99
+ +p100
+ +p101
+ -n0
+ -n1
+ -n2
+ -n3
+ //-n4
+ -n5
+ -n6
+ -n7
+ -n8
+ -n9
+ -n10
+ -n90
+ -n91
+ -n92
+ -n93
+ -n94
+ -n95
+ -n96
+ -n97
+ -n98
+ -n99
Added: trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_hybrid.conf
===================================================================
--- trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_hybrid.conf (rev 0)
+++ trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_hybrid.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,72 @@
+ /***********************
+ solution should be:
+ guilty = (blameworthy OR vicarious_blame ).
+
+
+ Examples:
+ 23 positive
+ 20 negative
+
+ ***********************/
+algorithm = gp;
+gp.algorithmType = generational;
+gp.selectionType = rankSelection;
+gp.generations = 50;
+gp.useFixedNumberOfGenerations = true;
+gp.numberOfIndividuals = 501;
+gp.refinementProbability = 0.65;
+gp.mutationProbability = 0.02;
+gp.crossoverProbability = 0.2;
+gp.hillClimbingProbability = 0;
+posNegDefinitionLP.percentPerLenghtUnit = 0.02;
+gp.maxConceptLength = 30;
+reasoner = owlAPI;
+ /** background knowledge **/
+ import("moral_43instances.owl");
+
+
+ /** Examples **/
+ +p0
+ +p1
+ +p2
+ +p3
+ +p4
+ +p5
+ +p6
+ +p7
+ +p8
+ +p9
+ +p10
+ +p90
+ +p91
+ +p92
+ +p93
+ +p94
+ +p95
+ +p96
+ +p97
+ +p98
+ +p99
+ +p100
+ +p101
+ -n0
+ -n1
+ -n2
+ -n3
+ //-n4
+ -n5
+ -n6
+ -n7
+ -n8
+ -n9
+ -n10
+ -n90
+ -n91
+ -n92
+ -n93
+ -n94
+ -n95
+ -n96
+ -n97
+ -n98
+ -n99
Added: trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_refexamples.conf
===================================================================
--- trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_refexamples.conf (rev 0)
+++ trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_refexamples.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,61 @@
+ /***********************
+ solution should be:
+ guilty = (blameworthy OR vicarious_blame ).
+
+
+ Examples:
+ 23 positive
+ 20 negative
+
+ ***********************/
+algorithm = refexamples;
+reasoner = owlAPI;
+ /** background knowledge **/
+ import("moral_43instances.owl");
+
+
+ /** Examples **/
+ +p0
+ +p1
+ +p2
+ +p3
+ +p4
+ +p5
+ +p6
+ +p7
+ +p8
+ +p9
+ +p10
+ +p90
+ +p91
+ +p92
+ +p93
+ +p94
+ +p95
+ +p96
+ +p97
+ +p98
+ +p99
+ +p100
+ +p101
+ -n0
+ -n1
+ -n2
+ -n3
+ //-n4
+ -n5
+ -n6
+ -n7
+ -n8
+ -n9
+ -n10
+ -n90
+ -n91
+ -n92
+ -n93
+ -n94
+ -n95
+ -n96
+ -n97
+ -n98
+ -n99
Added: trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_refexamples_fast.conf
===================================================================
--- trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_refexamples_fast.conf (rev 0)
+++ trunk/examples/cross-benchmark/moral_reasoner/moral_43examples_simple_refexamples_fast.conf 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,61 @@
+ /***********************
+ solution should be:
+ guilty = (blameworthy OR vicarious_blame ).
+
+
+ Examples:
+ 23 positive
+ 20 negative
+
+ ***********************/
+algorithm = refexamples;
+reasoner = fastInstanceChecker;
+ /** background knowledge **/
+ import("moral_43instances.owl");
+
+
+ /** Examples **/
+ +p0
+ +p1
+ +p2
+ +p3
+ +p4
+ +p5
+ +p6
+ +p7
+ +p8
+ +p9
+ +p10
+ +p90
+ +p91
+ +p92
+ +p93
+ +p94
+ +p95
+ +p96
+ +p97
+ +p98
+ +p99
+ +p100
+ +p101
+ -n0
+ -n1
+ -n2
+ -n3
+ //-n4
+ -n5
+ -n6
+ -n7
+ -n8
+ -n9
+ -n10
+ -n90
+ -n91
+ -n92
+ -n93
+ -n94
+ -n95
+ -n96
+ -n97
+ -n98
+ -n99
Added: trunk/examples/cross-benchmark/moral_reasoner/moral_43instances.owl
===================================================================
--- trunk/examples/cross-benchmark/moral_reasoner/moral_43instances.owl (rev 0)
+++ trunk/examples/cross-benchmark/moral_reasoner/moral_43instances.owl 2008-06-05 14:29:31 UTC (rev 944)
@@ -0,0 +1,4186 @@
+<?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:ID="blameworthy">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#responsible"/>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#severity_harm"/>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#benefit_victim"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#justified"/>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="cause">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#produce_harm"/>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#necessary_for_harm"/>
+ <owl:Class rdf:about="#sufficient_for_harm"/>
+ </owl:unionOf>
+ </owl:Class>
+ </owl:unionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="foreseeable">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#high_foreseeability"/>
+ <owl:Class rdf:about="#low_foreseeability"/>
+ </owl:unionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="intend_c">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#strong_intend"/>
+ <owl:Class rdf:about="#weak_intend"/>
+ </owl:unionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="intend_mental_state">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#reckless_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#negligent_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#neither_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="intervening_cause">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#intervening_contribution"/>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#foresee_intervention"/>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="justified">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#achieve_goal"/>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#goal_outweigh_harm"/>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#goal_achieveable_less_harmful"/>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="negligent_c">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#negligent_mental_state"/>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#careful"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#strong_intend"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class rdf:about="#low_foreseeability"/>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:unionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="negligent_mental_state">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#reckless_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#intend_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#neither_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="neither_mental_state">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#reckless_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#negligent_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#intend_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="notaccident">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#intend_c"/>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#reckless_c"/>
+ <owl:Class rdf:about="#negligent_c"/>
+ </owl:unionOf>
+ </owl:Class>
+ </owl:unionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="reckless_c">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#reckless_mental_state"/>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#careful"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#high_foreseeability"/>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#strong_intend"/>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:unionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="reckless_mental_state">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#intend_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#negligent_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#neither_mental_state"/>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="responsible">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#cause"/>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#notaccident"/>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#voluntary"/>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#foreseeable"/>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="#intervening_cause"/>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+
+<owl:Class rdf:ID="strong_intend">
+ <owl:equivalentClass>
+ <...
[truncated message content] |
