Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[1250] trunk
|
From: <jen...@us...> - 2008-09-24 08:58:34
|
Revision: 1250
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1250&view=rev
Author: jenslehmann
Date: 2008-09-24 08:58:31 +0000 (Wed, 24 Sep 2008)
Log Message:
-----------
moved ORE OWL test files from source tree to examples directory
Modified Paths:
--------------
trunk/build.xml
Added Paths:
-----------
trunk/examples/ore/
trunk/examples/ore/all_test.owl
trunk/examples/ore/eq_test.owl
trunk/examples/ore/father.owl
trunk/examples/ore/father3.owl
trunk/examples/ore/father_disjoint.owl
trunk/examples/ore/father_inverse_property.owl
trunk/examples/ore/father_neg.owl
trunk/examples/ore/father_new.owl
trunk/examples/ore/father_property.owl
trunk/examples/ore/father_wrong.owl
trunk/examples/ore/incohaerent.owl
trunk/examples/ore/inconsistent.owl
trunk/examples/ore/neg_has_all.owl
trunk/examples/ore/neg_has_some.owl
trunk/examples/ore/pos_b.owl
trunk/examples/ore/pos_has_all.owl
Removed Paths:
-------------
trunk/src/dl-learner/org/dllearner/tools/ore/all_test.owl
trunk/src/dl-learner/org/dllearner/tools/ore/eq_test.owl
trunk/src/dl-learner/org/dllearner/tools/ore/father.owl
trunk/src/dl-learner/org/dllearner/tools/ore/father3.owl
trunk/src/dl-learner/org/dllearner/tools/ore/father_disjoint.owl
trunk/src/dl-learner/org/dllearner/tools/ore/father_inverse_property.owl
trunk/src/dl-learner/org/dllearner/tools/ore/father_neg.owl
trunk/src/dl-learner/org/dllearner/tools/ore/father_new.owl
trunk/src/dl-learner/org/dllearner/tools/ore/father_property.owl
trunk/src/dl-learner/org/dllearner/tools/ore/father_wrong.owl
trunk/src/dl-learner/org/dllearner/tools/ore/incohaerent.owl
trunk/src/dl-learner/org/dllearner/tools/ore/inconsistent.owl
trunk/src/dl-learner/org/dllearner/tools/ore/neg_has_all.owl
trunk/src/dl-learner/org/dllearner/tools/ore/neg_has_some.owl
trunk/src/dl-learner/org/dllearner/tools/ore/pos_b.owl
trunk/src/dl-learner/org/dllearner/tools/ore/pos_has_all.owl
Modified: trunk/build.xml
===================================================================
--- trunk/build.xml 2008-09-24 08:52:11 UTC (rev 1249)
+++ trunk/build.xml 2008-09-24 08:58:31 UTC (rev 1250)
@@ -4,7 +4,7 @@
<!-- directory settings -->
<property name="lib_dir" value="lib" />
<property name="source_dir" value="src/dl-learner" />
- <property name="protege_dir" value="/Programme/Protege_4.0_alpha/plugins" />
+ <property name="protege_dir" value="/home/jl/programme/Protege_4.0_beta/plugins" />
<property name="class_dir" value="classes" />
<property name="php_client_dir" value="src/php-client" />
Copied: trunk/examples/ore/all_test.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/all_test.owl)
===================================================================
--- trunk/examples/ore/all_test.owl (rev 0)
+++ trunk/examples/ore/all_test.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,219 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father"/>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female"/>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#anton -->
+
+ <male rdf:about="#anton">
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <male rdf:about="#heinz">
+ <hasChild rdf:resource="#anna"/>
+ <hasChild rdf:resource="#michelle"/>
+ <hasChild rdf:resource="#patrick"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#katja -->
+
+ <female rdf:about="#katja"/>
+
+
+
+ <!-- http://example.com/father#katrin -->
+
+ <female rdf:about="#katrin"/>
+
+
+
+ <!-- http://example.com/father#maria -->
+
+ <female rdf:about="#maria"/>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ <hasChild rdf:resource="#anton"/>
+ <hasChild rdf:resource="#michelle"/>
+ <hasChild rdf:resource="#tina"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#maria"/>
+ <hasChild rdf:resource="#steffi"/>
+ <hasChild rdf:resource="#tim"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle"/>
+
+
+
+ <!-- http://example.com/father#nicole -->
+
+ <female rdf:about="#nicole"/>
+
+
+
+ <!-- http://example.com/father#patrick -->
+
+ <male rdf:about="#patrick"/>
+
+
+
+ <!-- http://example.com/father#sarah -->
+
+ <female rdf:about="#sarah"/>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#sarah"/>
+ <hasChild rdf:resource="#tina"/>
+ </father>
+
+
+
+ <!-- http://example.com/father#steffi -->
+
+ <female rdf:about="#steffi"/>
+
+
+
+ <!-- http://example.com/father#thomas -->
+
+ <father rdf:about="#thomas">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#katrin"/>
+ <hasChild rdf:resource="#nicole"/>
+ </father>
+
+
+
+ <!-- http://example.com/father#tim -->
+
+ <male rdf:about="#tim">
+ <rdf:type rdf:resource="#father"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#tina -->
+
+ <female rdf:about="#tina"/>
+</rdf:RDF>
Copied: trunk/examples/ore/eq_test.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/eq_test.owl)
===================================================================
--- trunk/examples/ore/eq_test.owl (rev 0)
+++ trunk/examples/ore/eq_test.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,151 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father">
+ <owl:equivalentClass rdf:resource="#horse"/>
+ </owl:Class>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female"/>
+
+
+
+ <!-- http://example.com/father#horse -->
+
+ <owl:Class rdf:about="#horse">
+ <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+ </owl:Class>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#Thing -->
+
+ <owl:Class rdf:about="&owl;Thing"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <male rdf:about="#heinz"/>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle"/>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#markus"/>
+ </father>
+</rdf:RDF>
Copied: trunk/examples/ore/father.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/father.owl)
===================================================================
--- trunk/examples/ore/father.owl (rev 0)
+++ trunk/examples/ore/father.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,41 @@
+<?xml version="1.0"?>
+<rdf:RDF
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+ xmlns="http://example.com/father#"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl="http://www.w3.org/2002/07/owl#"
+ xml:base="http://example.com/father">
+ <owl:Ontology rdf:about=""/>
+ <owl:Class rdf:ID="father"/>
+ <owl:Class rdf:ID="female"/>
+ <owl:Class rdf:ID="male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+ <owl:ObjectProperty rdf:ID="hasChild"/>
+ <father rdf:ID="markus">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild>
+ <female rdf:ID="anna">
+ <hasChild>
+ <male rdf:ID="heinz"/>
+ </hasChild>
+ </female>
+ </hasChild>
+ </father>
+ <father rdf:ID="stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#markus"/>
+ </father>
+ <female rdf:ID="michelle"/>
+ <father rdf:ID="martin">
+ <hasChild rdf:resource="#heinz"/>
+ <rdf:type rdf:resource="#male"/>
+ </father>
+</rdf:RDF>
+
+<!-- Created with Protege (with OWL Plugin 3.3.1, Build 430) http://protege.stanford.edu -->
Copied: trunk/examples/ore/father3.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/father3.owl)
===================================================================
--- trunk/examples/ore/father3.owl (rev 0)
+++ trunk/examples/ore/father3.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,151 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father"/>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female"/>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <male rdf:about="#heinz">
+ <hasChild rdf:resource="#michelle"/>
+ <hasChild rdf:resource="#patrick"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ <hasChild rdf:resource="#thomas"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle"/>
+
+
+
+ <!-- http://example.com/father#patrick -->
+
+ <male rdf:about="#patrick"/>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#markus"/>
+ </father>
+
+
+
+ <!-- http://example.com/father#thomas -->
+
+ <male rdf:about="#thomas"/>
+</rdf:RDF>
Copied: trunk/examples/ore/father_disjoint.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/father_disjoint.owl)
===================================================================
--- trunk/examples/ore/father_disjoint.owl (rev 0)
+++ trunk/examples/ore/father_disjoint.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,131 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father"/>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female">
+ <owl:disjointWith rdf:resource="#male"/>
+ </owl:Class>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <male rdf:about="#heinz"/>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle"/>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#markus"/>
+ </father>
+</rdf:RDF>
Copied: trunk/examples/ore/father_inverse_property.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/father_inverse_property.owl)
===================================================================
--- trunk/examples/ore/father_inverse_property.owl (rev 0)
+++ trunk/examples/ore/father_inverse_property.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,147 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!-- http://example.com/father#hasParent -->
+
+ <owl:ObjectProperty rdf:about="#hasParent">
+ <owl:inverseOf rdf:resource="#hasChild"/>
+ </owl:ObjectProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father"/>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female"/>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ <hasParent rdf:resource="#markus"/>
+ <hasParent rdf:resource="#michelle"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <male rdf:about="#heinz"/>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ <hasChild rdf:resource="#stefan"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle"/>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#markus"/>
+ <hasParent rdf:resource="#markus"/>
+ </father>
+</rdf:RDF>
Copied: trunk/examples/ore/father_neg.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/father_neg.owl)
===================================================================
--- trunk/examples/ore/father_neg.owl (rev 0)
+++ trunk/examples/ore/father_neg.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,143 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#animal -->
+
+ <owl:Class rdf:about="#animal"/>
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father"/>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female"/>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <animal rdf:about="#heinz">
+ <rdf:type rdf:resource="#male"/>
+ </animal>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle"/>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#markus"/>
+ </father>
+</rdf:RDF>
Copied: trunk/examples/ore/father_new.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/father_new.owl)
===================================================================
--- trunk/examples/ore/father_new.owl (rev 0)
+++ trunk/examples/ore/father_new.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,143 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father"/>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female"/>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <male rdf:about="#heinz"/>
+
+
+
+ <!-- http://example.com/father#lorenz -->
+
+ <male rdf:about="#lorenz">
+ <rdf:type rdf:resource="#father"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle"/>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#markus"/>
+ </father>
+</rdf:RDF>
Copied: trunk/examples/ore/father_property.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/father_property.owl)
===================================================================
--- trunk/examples/ore/father_property.owl (rev 0)
+++ trunk/examples/ore/father_property.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,136 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father"/>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female"/>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <male rdf:about="#heinz"/>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle"/>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#markus"/>
+ </father>
+</rdf:RDF>
Copied: trunk/examples/ore/father_wrong.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/father_wrong.owl)
===================================================================
--- trunk/examples/ore/father_wrong.owl (rev 0)
+++ trunk/examples/ore/father_wrong.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,143 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father"/>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female"/>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <male rdf:about="#heinz"/>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle"/>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#markus"/>
+ </father>
+
+
+
+ <!-- http://example.com/father#wrong -->
+
+ <father rdf:about="#wrong">
+ <rdf:type rdf:resource="#male"/>
+ </father>
+</rdf:RDF>
Copied: trunk/examples/ore/incohaerent.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/incohaerent.owl)
===================================================================
--- trunk/examples/ore/incohaerent.owl (rev 0)
+++ trunk/examples/ore/incohaerent.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,101 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY www "http://www.test.owl#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
+ <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
+ <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
+]>
+
+
+<rdf:RDF xmlns="http://www.test.owl#"
+ xml:base="http://www.test.owl"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
+ xmlns:www="http://www.test.owl#"
+ 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:owl2="http://www.w3.org/2006/12/owl2#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.test.owl#A -->
+
+ <owl:Class rdf:about="#A">
+ <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.test.owl#B -->
+
+ <owl:Class rdf:about="#B">
+ <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+ <owl:disjointWith rdf:resource="#C"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.test.owl#C -->
+
+ <owl:Class rdf:about="#C">
+ <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.test.owl#D -->
+
+ <owl:Class rdf:about="#D">
+ <rdfs:subClassOf rdf:resource="#B"/>
+ <rdfs:subClassOf rdf:resource="#C"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#Thing -->
+
+ <owl:Class rdf:about="&owl;Thing"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.test.owl#frank -->
+
+ <B rdf:about="#frank"/>
+
+
+
+ <!-- http://www.test.owl#lorenz -->
+
+ <C rdf:about="#lorenz">
+ <rdf:type rdf:resource="#A"/>
+ </C>
+</rdf:RDF>
Copied: trunk/examples/ore/inconsistent.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/inconsistent.owl)
===================================================================
--- trunk/examples/ore/inconsistent.owl (rev 0)
+++ trunk/examples/ore/inconsistent.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,95 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY www "http://www.test.owl#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
+ <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
+ <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
+]>
+
+
+<rdf:RDF xmlns="http://www.test.owl#"
+ xml:base="http://www.test.owl"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
+ xmlns:www="http://www.test.owl#"
+ 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:owl2="http://www.w3.org/2006/12/owl2#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.test.owl#A -->
+
+ <owl:Class rdf:about="#A">
+ <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.test.owl#B -->
+
+ <owl:Class rdf:about="#B">
+ <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+ <owl:disjointWith rdf:resource="#C"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.test.owl#C -->
+
+ <owl:Class rdf:about="#C">
+ <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.test.owl#D -->
+
+ <owl:Class rdf:about="#D">
+ <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#Thing -->
+
+ <owl:Class rdf:about="&owl;Thing"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.test.owl#lorenz -->
+
+ <C rdf:about="#lorenz">
+ <rdf:type rdf:resource="#A"/>
+ <rdf:type rdf:resource="#B"/>
+ </C>
+</rdf:RDF>
Copied: trunk/examples/ore/neg_has_all.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/neg_has_all.owl)
===================================================================
--- trunk/examples/ore/neg_has_all.owl (rev 0)
+++ trunk/examples/ore/neg_has_all.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,217 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father"/>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female"/>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#anton -->
+
+ <male rdf:about="#anton"/>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <male rdf:about="#heinz">
+ <hasChild rdf:resource="#anna"/>
+ <hasChild rdf:resource="#michelle"/>
+ <hasChild rdf:resource="#patrick"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#katja -->
+
+ <female rdf:about="#katja"/>
+
+
+
+ <!-- http://example.com/father#katrin -->
+
+ <female rdf:about="#katrin"/>
+
+
+
+ <!-- http://example.com/father#maria -->
+
+ <female rdf:about="#maria"/>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ <hasChild rdf:resource="#anton"/>
+ <hasChild rdf:resource="#michelle"/>
+ <hasChild rdf:resource="#tina"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#maria"/>
+ <hasChild rdf:resource="#steffi"/>
+ <hasChild rdf:resource="#tim"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle"/>
+
+
+
+ <!-- http://example.com/father#nicole -->
+
+ <female rdf:about="#nicole"/>
+
+
+
+ <!-- http://example.com/father#patrick -->
+
+ <male rdf:about="#patrick"/>
+
+
+
+ <!-- http://example.com/father#sarah -->
+
+ <female rdf:about="#sarah"/>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#sarah"/>
+ <hasChild rdf:resource="#tina"/>
+ </father>
+
+
+
+ <!-- http://example.com/father#steffi -->
+
+ <female rdf:about="#steffi"/>
+
+
+
+ <!-- http://example.com/father#thomas -->
+
+ <father rdf:about="#thomas">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#katrin"/>
+ <hasChild rdf:resource="#nicole"/>
+ </father>
+
+
+
+ <!-- http://example.com/father#tim -->
+
+ <male rdf:about="#tim">
+ <rdf:type rdf:resource="#father"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#tina -->
+
+ <female rdf:about="#tina"/>
+</rdf:RDF>
Copied: trunk/examples/ore/neg_has_some.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/neg_has_some.owl)
===================================================================
--- trunk/examples/ore/neg_has_some.owl (rev 0)
+++ trunk/examples/ore/neg_has_some.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,149 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father"/>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female"/>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <male rdf:about="#heinz">
+ <hasChild rdf:resource="#tina"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#michelle"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle"/>
+
+
+
+ <!-- http://example.com/father#nina -->
+
+ <female rdf:about="#nina"/>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#nina"/>
+ </father>
+
+
+
+ <!-- http://example.com/father#tina -->
+
+ <female rdf:about="#tina"/>
+</rdf:RDF>
Copied: trunk/examples/ore/pos_b.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/pos_b.owl)
===================================================================
--- trunk/examples/ore/pos_b.owl (rev 0)
+++ trunk/examples/ore/pos_b.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,212 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/2006/12/owl2#"
+ xmlns:father="http://example.com/father#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="#hasChild"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="#father">
+ <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+ </owl:Class>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="#female"/>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="#male">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:complementOf rdf:resource="#female"/>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#Thing -->
+
+ <owl:Class rdf:about="&owl;Thing"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#Christian -->
+
+ <father rdf:about="#Christian">
+ <rdf:type rdf:resource="#female"/>
+ <hasChild rdf:resource="#lydia"/>
+ </father>
+
+
+
+ <!-- http://example.com/father#Connie -->
+
+ <female rdf:about="#Connie">
+ <hasChild rdf:resource="#sara"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#Paul -->
+
+ <male rdf:about="#Paul">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#Connie"/>
+ <hasChild rdf:resource="#stefanie"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <female rdf:about="#anna">
+ <hasChild rdf:resource="#heinz"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#christine -->
+
+ <female rdf:about="#christine"/>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <male rdf:about="#heinz">
+ <hasChild rdf:resource="#stefan"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#lydia -->
+
+ <female rdf:about="#lydia"/>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <male rdf:about="#markus">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#anna"/>
+ <hasChild rdf:resource="#christine"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <male rdf:about="#martin">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#heinz"/>
+ </male>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <female rdf:about="#michelle">
+ <rdf:type rdf:resource="#father"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#nadine -->
+
+ <female rdf:about="#nadine"/>
+
+
+
+ <!-- http://example.com/father#sara -->
+
+ <female rdf:about="#sara">
+ <hasChild rdf:resource="#christine"/>
+ </female>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <father rdf:about="#stefan">
+ <rdf:type rdf:resource="#male"/>
+ <hasChild rdf:resource="#markus"/>
+ </father>
+
+
+
+ <!-- http://example.com/father#stefanie -->
+
+ <female rdf:about="#stefanie">
+ <rdf:type rdf:resource="#father"/>
+ <hasChild rdf:resource="#lydia"/>
+ <hasChild rdf:resource="#nadine"/>
+ <hasChild rdf:resource="#sara"/>
+ </female>
+</rdf:RDF>
Copied: trunk/examples/ore/pos_has_all.owl (from rev 1244, trunk/src/dl-learner/org/dllearner/tools/ore/pos_has_all.owl)
===================================================================
--- trunk/examples/ore/pos_has_all.owl (rev 0)
+++ trunk/examples/ore/pos_has_all.owl 2008-09-24 08:58:31 UTC (rev 1250)
@@ -0,0 +1,269 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY owl2 "http://www.w3.org/2006/12/owl2#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-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://example.com/father#"
+ xml:base="http://example.com/father"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-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:owl2="http://www.w3.org/20...
[truncated message content] |
