Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[4014] trunk/examples
|
From: <lor...@us...> - 2013-07-08 13:49:43
|
Revision: 4014
http://sourceforge.net/p/dl-learner/code/4014
Author: lorenz_b
Date: 2013-07-08 13:49:40 +0000 (Mon, 08 Jul 2013)
Log Message:
-----------
Added example for ISLE.
Added Paths:
-----------
trunk/examples/isle/
trunk/examples/isle/catalog-v001.xml
trunk/examples/isle/father_labeled.owl
Added: trunk/examples/isle/catalog-v001.xml
===================================================================
--- trunk/examples/isle/catalog-v001.xml (rev 0)
+++ trunk/examples/isle/catalog-v001.xml 2013-07-08 13:49:40 UTC (rev 4014)
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<catalog prefer="public" xmlns="urn:oasis:names:tc:entity:xmlns:xml:catalog">
+ <group id="Folder Repository, directory=, recursive=true, Auto-Update=true, version=2" prefer="public" xml:base="">
+ <uri id="Automatically generated entry, Timestamp=1373287083350" name="http://example.com/father" uri="father_labeled.owl"/>
+ </group>
+</catalog>
Added: trunk/examples/isle/father_labeled.owl
===================================================================
--- trunk/examples/isle/father_labeled.owl (rev 0)
+++ trunk/examples/isle/father_labeled.owl 2013-07-08 13:49:40 UTC (rev 4014)
@@ -0,0 +1,169 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY father "http://example.com/father#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!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:father="http://example.com/father#">
+ <owl:Ontology rdf:about="http://example.com/father"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#hasChild -->
+
+ <owl:ObjectProperty rdf:about="&father;hasChild">
+ <rdfs:label xml:lang="en">has child</rdfs:label>
+ <rdfs:domain rdf:resource="&father;person"/>
+ <rdfs:range rdf:resource="&father;person"/>
+ </owl:ObjectProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#father -->
+
+ <owl:Class rdf:about="&father;father">
+ <rdfs:label xml:lang="en">person which has at least 1 child</rdfs:label>
+ <rdfs:subClassOf rdf:resource="&father;male"/>
+ </owl:Class>
+
+
+
+ <!-- http://example.com/father#female -->
+
+ <owl:Class rdf:about="&father;female">
+ <rdfs:label xml:lang="en">female</rdfs:label>
+ <rdfs:subClassOf rdf:resource="&father;person"/>
+ <owl:disjointWith rdf:resource="&father;male"/>
+ </owl:Class>
+
+
+
+ <!-- http://example.com/father#male -->
+
+ <owl:Class rdf:about="&father;male">
+ <rdfs:label xml:lang="en">male</rdfs:label>
+ <rdfs:subClassOf rdf:resource="&father;person"/>
+ </owl:Class>
+
+
+
+ <!-- http://example.com/father#person -->
+
+ <owl:Class rdf:about="&father;person">
+ <rdfs:label xml:lang="en">Person</rdfs:label>
+ <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#Thing -->
+
+ <owl:Class rdf:about="&owl;Thing"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://example.com/father#anna -->
+
+ <owl:NamedIndividual rdf:about="&father;anna">
+ <rdf:type rdf:resource="&father;female"/>
+ <hasChild rdf:resource="&father;heinz"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://example.com/father#heinz -->
+
+ <owl:NamedIndividual rdf:about="&father;heinz">
+ <rdf:type rdf:resource="&father;male"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://example.com/father#markus -->
+
+ <owl:NamedIndividual rdf:about="&father;markus">
+ <rdf:type rdf:resource="&father;father"/>
+ <rdf:type rdf:resource="&father;male"/>
+ <hasChild rdf:resource="&father;anna"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://example.com/father#martin -->
+
+ <owl:NamedIndividual rdf:about="&father;martin">
+ <rdf:type rdf:resource="&father;father"/>
+ <rdf:type rdf:resource="&father;male"/>
+ <hasChild rdf:resource="&father;heinz"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://example.com/father#michelle -->
+
+ <owl:NamedIndividual rdf:about="&father;michelle">
+ <rdf:type rdf:resource="&father;female"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://example.com/father#stefan -->
+
+ <owl:NamedIndividual rdf:about="&father;stefan">
+ <rdf:type rdf:resource="&father;father"/>
+ <rdf:type rdf:resource="&father;male"/>
+ <hasChild rdf:resource="&father;markus"/>
+ </owl:NamedIndividual>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 3.4.2) http://owlapi.sourceforge.net -->
+
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
