Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[1687] trunk
|
From: <lor...@us...> - 2009-04-08 08:14:50
|
Revision: 1687
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1687&view=rev
Author: lorenz_b
Date: 2009-04-08 08:14:39 +0000 (Wed, 08 Apr 2009)
Log Message:
-----------
added some examples
modified getDomainImpl() methods. now they return the most particular domain
added unit test
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
trunk/src/dl-learner/org/dllearner/test/junit/ReasonerTests.java
Added Paths:
-----------
trunk/examples/ore/example.owl
trunk/examples/ore/koala.owl
trunk/examples/ore/koala_inc.owl
trunk/examples/ore/madcow.owl
trunk/examples/ore/miniEconomy.owl
trunk/examples/ore/university.owl
Added: trunk/examples/ore/example.owl
===================================================================
--- trunk/examples/ore/example.owl (rev 0)
+++ trunk/examples/ore/example.owl 2009-04-08 08:14:39 UTC (rev 1687)
@@ -0,0 +1,98 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE Ontology [
+ <!ENTITY p1 "http://www.owl-ontologies.com/assert.owl#" >
+ <!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#" >
+]>
+
+
+<Ontology xmlns="http://www.w3.org/2006/12/owl2-xml#"
+ xml:base="http://www.w3.org/2006/12/owl2-xml#"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
+ xmlns:p1="http://www.owl-ontologies.com/assert.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#"
+ URI="file:examples/ore/miniexample.owl">
+ <SubClassOf>
+ <Class URI="A1"/>
+ <ObjectIntersectionOf>
+ <Class URI="A2"/>
+ <Class URI="A3"/>
+ <ObjectComplementOf>
+ <Class URI="A"/>
+ </ObjectComplementOf>
+ </ObjectIntersectionOf>
+ </SubClassOf>
+ <SubClassOf>
+ <Class URI="A2"/>
+ <ObjectIntersectionOf>
+ <Class URI="A"/>
+ <Class URI="A4"/>
+ </ObjectIntersectionOf>
+ </SubClassOf>
+ <SubClassOf>
+ <Class URI="A3"/>
+ <ObjectIntersectionOf>
+ <Class URI="A4"/>
+ <Class URI="A5"/>
+ </ObjectIntersectionOf>
+ </SubClassOf>
+ <SubClassOf>
+ <Class URI="A4"/>
+ <ObjectIntersectionOf>
+ <Class URI="C"/>
+ <ObjectAllValuesFrom>
+ <ObjectProperty URI="S"/>
+ <Class URI="B"/>
+ </ObjectAllValuesFrom>
+ </ObjectIntersectionOf>
+ </SubClassOf>
+ <SubClassOf>
+ <Class URI="A5"/>
+ <ObjectSomeValuesFrom>
+ <ObjectProperty URI="S"/>
+ <ObjectComplementOf>
+ <Class URI="B"/>
+ </ObjectComplementOf>
+ </ObjectSomeValuesFrom>
+ </SubClassOf>
+ <EquivalentClasses>
+ <Class URI="A6"/>
+ <Class URI="D"/>
+ </EquivalentClasses>
+ <ClassAssertion>
+ <Class URI="t#A1"/>
+ <Individual URI="a"/>
+ </ClassAssertion>
+ <ClassAssertion>
+ <Class URI="t#A3"/>
+ <Individual URI="b"/>
+ </ClassAssertion>
+ <SubClassOf>
+ <ObjectUnionOf>
+ <Class URI="D"/>
+ <ObjectComplementOf>
+ <Class URI="D"/>
+ </ObjectComplementOf>
+ </ObjectUnionOf>
+ <ObjectIntersectionOf>
+ <Class URI="D"/>
+ <ObjectComplementOf>
+ <Class URI="D"/>
+ </ObjectComplementOf>
+ </ObjectIntersectionOf>
+ </SubClassOf>
+</Ontology>
+
+
+
+<!-- Generated by the OWL API (version 2.2.1.913) http://owlapi.sourceforge.net -->
+
Added: trunk/examples/ore/koala.owl
===================================================================
--- trunk/examples/ore/koala.owl (rev 0)
+++ trunk/examples/ore/koala.owl 2009-04-08 08:14:39 UTC (rev 1687)
@@ -0,0 +1,250 @@
+<?xml version="1.0"?>
+<rdf:RDF
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl="http://www.w3.org/2002/07/owl#"
+ xmlns="http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#"
+ xml:base="http://protege.stanford.edu/plugins/owl/owl-library/koala.owl">
+ <owl:Ontology rdf:about=""/>
+ <owl:Class rdf:ID="Female">
+ <owl:equivalentClass>
+ <owl:Restriction>
+ <owl:onProperty>
+ <owl:FunctionalProperty rdf:about="#hasGender"/>
+ </owl:onProperty>
+ <owl:hasValue>
+ <Gender rdf:ID="female"/>
+ </owl:hasValue>
+ </owl:Restriction>
+ </owl:equivalentClass>
+ </owl:Class>
+ <owl:Class rdf:ID="Marsupials">
+ <owl:disjointWith>
+ <owl:Class rdf:about="#Person"/>
+ </owl:disjointWith>
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="#Animal"/>
+ </rdfs:subClassOf>
+ </owl:Class>
+ <owl:Class rdf:ID="Student">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#Person"/>
+ <owl:Restriction>
+ <owl:onProperty>
+ <owl:FunctionalProperty rdf:about="#isHardWorking"/>
+ </owl:onProperty>
+ <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean"
+ >true</owl:hasValue>
+ </owl:Restriction>
+ <owl:Restriction>
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="#University"/>
+ </owl:someValuesFrom>
+ <owl:onProperty>
+ <owl:ObjectProperty rdf:about="#hasHabitat"/>
+ </owl:onProperty>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+ <owl:Class rdf:ID="KoalaWithPhD">
+ <owl:versionInfo>1.2</owl:versionInfo>
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Restriction>
+ <owl:hasValue>
+ <Degree rdf:ID="PhD"/>
+ </owl:hasValue>
+ <owl:onProperty>
+ <owl:ObjectProperty rdf:about="#hasDegree"/>
+ </owl:onProperty>
+ </owl:Restriction>
+ <owl:Class rdf:about="#Koala"/>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+ <owl:Class rdf:ID="University">
+ <rdfs:subClassOf>
+ <owl:Class rdf:ID="Habitat"/>
+ </rdfs:subClassOf>
+ </owl:Class>
+ <owl:Class rdf:ID="Koala">
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean"
+ >false</owl:hasValue>
+ <owl:onProperty>
+ <owl:FunctionalProperty rdf:about="#isHardWorking"/>
+ </owl:onProperty>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="#DryEucalyptForest"/>
+ </owl:someValuesFrom>
+ <owl:onProperty>
+ <owl:ObjectProperty rdf:about="#hasHabitat"/>
+ </owl:onProperty>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf rdf:resource="#Marsupials"/>
+ </owl:Class>
+ <owl:Class rdf:ID="Animal">
+ <rdfs:seeAlso>Male</rdfs:seeAlso>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty>
+ <owl:ObjectProperty rdf:about="#hasHabitat"/>
+ </owl:onProperty>
+ <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
+ >1</owl:minCardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
+ >1</owl:cardinality>
+ <owl:onProperty>
+ <owl:FunctionalProperty rdf:about="#hasGender"/>
+ </owl:onProperty>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <owl:versionInfo>1.1</owl:versionInfo>
+ </owl:Class>
+ <owl:Class rdf:ID="Forest">
+ <rdfs:subClassOf rdf:resource="#Habitat"/>
+ </owl:Class>
+ <owl:Class rdf:ID="Rainforest">
+ <rdfs:subClassOf rdf:resource="#Forest"/>
+ </owl:Class>
+ <owl:Class rdf:ID="GraduateStudent">
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty>
+ <owl:ObjectProperty rdf:about="#hasDegree"/>
+ </owl:onProperty>
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <Degree rdf:ID="BA"/>
+ <Degree rdf:ID="BS"/>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf rdf:resource="#Student"/>
+ </owl:Class>
+ <owl:Class rdf:ID="Parent">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#Animal"/>
+ <owl:Restriction>
+ <owl:onProperty>
+ <owl:ObjectProperty rdf:about="#hasChildren"/>
+ </owl:onProperty>
+ <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
+ >1</owl:minCardinality>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ <rdfs:subClassOf rdf:resource="#Animal"/>
+ </owl:Class>
+ <owl:Class rdf:ID="DryEucalyptForest">
+ <rdfs:subClassOf rdf:resource="#Forest"/>
+ </owl:Class>
+ <owl:Class rdf:ID="Quokka">
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean"
+ >true</owl:hasValue>
+ <owl:onProperty>
+ <owl:FunctionalProperty rdf:about="#isHardWorking"/>
+ </owl:onProperty>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf rdf:resource="#Marsupials"/>
+ </owl:Class>
+ <owl:Class rdf:ID="TasmanianDevil">
+ <rdfs:subClassOf rdf:resource="#Marsupials"/>
+ </owl:Class>
+ <owl:Class rdf:ID="MaleStudentWith3Daughters">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="#Student"/>
+ <owl:Restriction>
+ <owl:onProperty>
+ <owl:FunctionalProperty rdf:about="#hasGender"/>
+ </owl:onProperty>
+ <owl:hasValue>
+ <Gender rdf:ID="male"/>
+ </owl:hasValue>
+ </owl:Restriction>
+ <owl:Restriction>
+ <owl:onProperty>
+ <owl:ObjectProperty rdf:about="#hasChildren"/>
+ </owl:onProperty>
+ <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
+ >3</owl:cardinality>
+ </owl:Restriction>
+ <owl:Restriction>
+ <owl:allValuesFrom rdf:resource="#Female"/>
+ <owl:onProperty>
+ <owl:ObjectProperty rdf:about="#hasChildren"/>
+ </owl:onProperty>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+ <owl:Class rdf:ID="Degree"/>
+ <owl:Class rdf:ID="Male">
+ <owl:equivalentClass>
+ <owl:Restriction>
+ <owl:hasValue rdf:resource="#male"/>
+ <owl:onProperty>
+ <owl:FunctionalProperty rdf:about="#hasGender"/>
+ </owl:onProperty>
+ </owl:Restriction>
+ </owl:equivalentClass>
+ </owl:Class>
+ <owl:Class rdf:ID="Gender"/>
+ <owl:Class rdf:ID="Person">
+ <rdfs:subClassOf rdf:resource="#Animal"/>
+ <owl:disjointWith rdf:resource="#Marsupials"/>
+ </owl:Class>
+ <owl:ObjectProperty rdf:ID="hasHabitat">
+ <rdfs:range rdf:resource="#Habitat"/>
+ <rdfs:domain rdf:resource="#Animal"/>
+ </owl:ObjectProperty>
+ <owl:ObjectProperty rdf:ID="hasDegree">
+ <rdfs:domain rdf:resource="#Person"/>
+ <rdfs:range rdf:resource="#Degree"/>
+ </owl:ObjectProperty>
+ <owl:ObjectProperty rdf:ID="hasChildren">
+ <rdfs:range rdf:resource="#Animal"/>
+ <rdfs:domain rdf:resource="#Animal"/>
+ </owl:ObjectProperty>
+ <owl:FunctionalProperty rdf:ID="hasGender">
+ <rdfs:range rdf:resource="#Gender"/>
+ <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
+ <rdfs:domain rdf:resource="#Animal"/>
+ </owl:FunctionalProperty>
+ <owl:FunctionalProperty rdf:ID="isHardWorking">
+ <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
+ <rdfs:domain rdf:resource="#Person"/>
+ <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
+ </owl:FunctionalProperty>
+ <Degree rdf:ID="MA"/>
+</rdf:RDF>
+
+<!-- Created with Protege (with OWL Plugin, Build 60) http://protege.stanford.edu -->
Added: trunk/examples/ore/koala_inc.owl
===================================================================
--- trunk/examples/ore/koala_inc.owl (rev 0)
+++ trunk/examples/ore/koala_inc.owl 2009-04-08 08:14:39 UTC (rev 1687)
@@ -0,0 +1,443 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY dc "http://purl.org/dc/elements/1.1/" >
+ <!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#" >
+ <!ENTITY koala "http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#" >
+]>
+
+
+<rdf:RDF xmlns="http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#"
+ xml:base="http://protege.stanford.edu/plugins/owl/owl-library/koala.owl"
+ xmlns:dc="http://purl.org/dc/elements/1.1/"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
+ xmlns:koala="http://protege.stanford.edu/plugins/owl/owl-library/koala.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#">
+ <owl:Ontology rdf:about=""/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#hasChildren -->
+
+ <owl:ObjectProperty rdf:about="#hasChildren">
+ <rdfs:range rdf:resource="#Animal"/>
+ <rdfs:domain rdf:resource="#Animal"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#hasDegree -->
+
+ <owl:ObjectProperty rdf:about="#hasDegree">
+ <rdfs:range rdf:resource="#Degree"/>
+ <rdfs:domain rdf:resource="#Person"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#hasGender -->
+
+ <owl:ObjectProperty rdf:about="#hasGender">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:domain rdf:resource="#Animal"/>
+ <rdfs:range rdf:resource="#Gender"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#hasHabitat -->
+
+ <owl:ObjectProperty rdf:about="#hasHabitat">
+ <rdfs:domain rdf:resource="#Animal"/>
+ <rdfs:range rdf:resource="#Habitat"/>
+ </owl:ObjectProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Data properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#isHardWorking -->
+
+ <owl:DatatypeProperty rdf:about="#isHardWorking">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:domain rdf:resource="#Person"/>
+ <rdfs:range rdf:resource="&xsd;boolean"/>
+ </owl:DatatypeProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Animal -->
+
+ <owl:Class rdf:about="#Animal">
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasGender"/>
+ <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasHabitat"/>
+ <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <owl:versionInfo>1.1</owl:versionInfo>
+ <rdfs:seeAlso>Male</rdfs:seeAlso>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Degree -->
+
+ <owl:Class rdf:about="#Degree"/>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#DryEucalyptForest -->
+
+ <owl:Class rdf:about="#DryEucalyptForest">
+ <rdfs:subClassOf rdf:resource="#Forest"/>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Female -->
+
+ <owl:Class rdf:about="#Female">
+ <owl:equivalentClass>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasGender"/>
+ <owl:hasValue rdf:resource="#female"/>
+ </owl:Restriction>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Forest -->
+
+ <owl:Class rdf:about="#Forest">
+ <rdfs:subClassOf rdf:resource="#Habitat"/>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Gender -->
+
+ <owl:Class rdf:about="#Gender"/>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#GraduateStudent -->
+
+ <owl:Class rdf:about="#GraduateStudent">
+ <rdfs:subClassOf rdf:resource="#Student"/>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasDegree"/>
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="#BS"/>
+ <rdf:Description rdf:about="#BA"/>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Habitat -->
+
+ <owl:Class rdf:about="#Habitat"/>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Koala -->
+
+ <owl:Class rdf:about="#Koala">
+ <rdfs:subClassOf rdf:resource="#Marsupials"/>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#isHardWorking"/>
+ <owl:hasValue rdf:datatype="&xsd;boolean">false</owl:hasValue>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasHabitat"/>
+ <owl:someValuesFrom rdf:resource="#DryEucalyptForest"/>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#KoalaWithPhD -->
+
+ <owl:Class rdf:about="#KoalaWithPhD">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="#Koala"/>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasDegree"/>
+ <owl:hasValue rdf:resource="#PhD"/>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ <owl:versionInfo>1.2</owl:versionInfo>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Male -->
+
+ <owl:Class rdf:about="#Male">
+ <owl:equivalentClass>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasGender"/>
+ <owl:hasValue rdf:resource="#male"/>
+ </owl:Restriction>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#MaleStudentWith3Daughters -->
+
+ <owl:Class rdf:about="#MaleStudentWith3Daughters">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="#Student"/>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasChildren"/>
+ <owl:allValuesFrom rdf:resource="#Female"/>
+ </owl:Restriction>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasGender"/>
+ <owl:hasValue rdf:resource="#male"/>
+ </owl:Restriction>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasChildren"/>
+ <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">3</owl:cardinality>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Marsupials -->
+
+ <owl:Class rdf:about="#Marsupials">
+ <rdfs:subClassOf rdf:resource="#Animal"/>
+ <owl:disjointWith rdf:resource="#Person"/>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Parent -->
+
+ <owl:Class rdf:about="#Parent">
+ <owl:equivalentClass>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasChildren"/>
+ <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
+ </owl:Restriction>
+ </owl:equivalentClass>
+ <rdfs:subClassOf rdf:resource="#Animal"/>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Person -->
+
+ <owl:Class rdf:about="#Person">
+ <rdfs:subClassOf rdf:resource="#Animal"/>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Quokka -->
+
+ <owl:Class rdf:about="#Quokka">
+ <rdfs:subClassOf rdf:resource="#Marsupials"/>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#isHardWorking"/>
+ <owl:hasValue rdf:datatype="&xsd;boolean">true</owl:hasValue>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Rainforest -->
+
+ <owl:Class rdf:about="#Rainforest">
+ <rdfs:subClassOf rdf:resource="#Forest"/>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Student -->
+
+ <owl:Class rdf:about="#Student">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="#Person"/>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#hasHabitat"/>
+ <owl:someValuesFrom rdf:resource="#University"/>
+ </owl:Restriction>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="#isHardWorking"/>
+ <owl:hasValue rdf:datatype="&xsd;boolean">true</owl:hasValue>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#TasmanianDevil -->
+
+ <owl:Class rdf:about="#TasmanianDevil">
+ <rdfs:subClassOf rdf:resource="#Marsupials"/>
+ </owl:Class>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#University -->
+
+ <owl:Class rdf:about="#University">
+ <rdfs:subClassOf rdf:resource="#Habitat"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/2002/07/owl#Thing -->
+
+ <owl:Class rdf:about="&owl;Thing"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#BA -->
+
+ <Degree rdf:about="#BA">
+ <rdf:type rdf:resource="&owl;Thing"/>
+ </Degree>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#BS -->
+
+ <Degree rdf:about="#BS">
+ <rdf:type rdf:resource="&owl;Thing"/>
+ </Degree>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Lizzy -->
+
+ <KoalaWithPhD rdf:about="#Lizzy"/>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#MA -->
+
+ <Degree rdf:about="#MA"/>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Pan -->
+
+ <Quokka rdf:about="#Pan"/>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#PhD -->
+
+ <Degree rdf:about="#PhD"/>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Suzy -->
+
+ <Koala rdf:about="#Suzy"/>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#female -->
+
+ <Gender rdf:about="#female"/>
+
+
+
+ <!-- http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#male -->
+
+ <Gender rdf:about="#male"/>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 2.2.1.913) http://owlapi.sourceforge.net -->
+
Added: trunk/examples/ore/madcow.owl
===================================================================
--- trunk/examples/ore/madcow.owl (rev 0)
+++ trunk/examples/ore/madcow.owl 2009-04-08 08:14:39 UTC (rev 1687)
@@ -0,0 +1,1076 @@
+<?xml version="1.0"?>
+<!DOCTYPE owl [
+<!ENTITY owl "http://www.w3.org/2002/07/owl#">
+<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
+<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
+<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
+]>
+<rdf:RDF
+ xmlns:old="http://cohse.semanticweb.org/ontologies/people#old+"
+ xmlns:has="http://cohse.semanticweb.org/ontologies/people#has+"
+ xmlns:people="http://cohse.semanticweb.org/ontologies/people#"
+ xmlns:mad="http://cohse.semanticweb.org/ontologies/people#mad+"
+ xmlns:red="http://cohse.semanticweb.org/ontologies/people#red+"
+ xmlns:cat="http://cohse.semanticweb.org/ontologies/people#cat+"
+ xmlns:animal="http://cohse.semanticweb.org/ontologies/people#animal+"
+ xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+ xmlns:haulage="http://cohse.semanticweb.org/ontologies/people#haulage+"
+ xmlns:lorry="http://cohse.semanticweb.org/ontologies/people#lorry+"
+ xmlns:quality="http://cohse.semanticweb.org/ontologies/people#quality+"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:bus="http://cohse.semanticweb.org/ontologies/people#bus+"
+ xmlns:owl="http://www.w3.org/2002/07/owl#"
+ xmlns:van0="http://cohse.semanticweb.org/ontologies/people#white+van+"
+ xmlns:part="http://cohse.semanticweb.org/ontologies/people#part+"
+ xmlns:truck="http://cohse.semanticweb.org/ontologies/people#haulage+truck+"
+ xmlns:pet="http://cohse.semanticweb.org/ontologies/people#pet+"
+ xmlns:dog="http://cohse.semanticweb.org/ontologies/people#dog+"
+ xmlns:dc="http://purl.org/dc/elements/1.1/"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:van="http://cohse.semanticweb.org/ontologies/people#van+"
+ xmlns:eaten="http://cohse.semanticweb.org/ontologies/people#eaten+"
+ xmlns:works="http://cohse.semanticweb.org/ontologies/people#works+"
+>
+<owl:Ontology rdf:about="http://www.cs.man.ac.uk/~horrocks/OWL/Ontologies/mad_cows.owl">
+</owl:Ontology>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#animal">
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#eats" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#animal+lover">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#has+pet" />
+ <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">3</owl:minCardinality>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#bicycle">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#vehicle">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#bone">
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#boy">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#sex" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#male">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#age" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#young">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#brain">
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#broadsheet">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#newspaper">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#bus">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#vehicle">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#bus+company">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#company">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#bus+driver">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#drives" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#bus">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ <rdfs:subClassOf>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#reads" />
+ <owl:allValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#broadsheet">
+ </owl:Class>
+ </owl:allValuesFrom>
+ </owl:Restriction>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#likes" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#age" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#young">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:unionOf>
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#car">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#vehicle">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#cat">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#animal">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#cat+liker">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#likes" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#cat">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#cat+owner">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#has+pet" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#cat">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#colour">
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#company">
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#cow">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#vegetarian">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#dog">
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#eats" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#bone">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#dog+liker">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#likes" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#dog">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#dog+owner">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#has+pet" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#dog">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#driver">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#drives" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#vehicle">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#giraffe">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#animal">
+ </owl:Class>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#eats" />
+ <owl:allValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#leaf">
+ </owl:Class>
+ </owl:allValuesFrom>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#girl">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#sex" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#female">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#age" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#young">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#grass">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#plant">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#grownup">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#age" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#adult">
+ </owl:Thing>
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#elderly">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#haulage+company">
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#haulage+truck+driver">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#works+for" />
+ <owl:someValuesFrom>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#part+of" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#haulage+company">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#drives" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#truck">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#haulage+worker">
+ <owl:equivalentClass>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#works+for" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#part+of" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#haulage+company">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#haulage+company">
+ </owl:Class>
+ </owl:unionOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#kid">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#age" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#young">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#leaf">
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#part+of" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#tree">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#lorry">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#vehicle">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#lorry+driver">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#drives" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#lorry">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#mad+cow">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#cow">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#eats" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#brain">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#part+of" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#sheep">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#magazine">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#publication">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#man">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#age" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#adult">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#sex" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#male">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#newspaper">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#publication">
+ </owl:Class>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#tabloid">
+ </owl:Class>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#broadsheet">
+ </owl:Class>
+ </owl:unionOf>
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#old+lady">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#age" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#elderly">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#sex" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#female">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ <rdfs:subClassOf>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#has+pet" />
+ <owl:allValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#cat">
+ </owl:Class>
+ </owl:allValuesFrom>
+ </owl:Restriction>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#has+pet" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#animal">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#animal">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#pet+owner">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#has+pet" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#animal">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#plant">
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#publication">
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#quality+broadsheet">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#broadsheet">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#red+top">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#tabloid">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#sheep">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#animal">
+ </owl:Class>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#eats" />
+ <owl:allValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#grass">
+ </owl:Class>
+ </owl:allValuesFrom>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#tabloid">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#newspaper">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#tree">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#plant">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#truck">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#vehicle">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#van">
+ <rdfs:subClassOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#vehicle">
+ </owl:Class>
+ </rdfs:subClassOf>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#van+driver">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#person">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#drives" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#van">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#vegetarian">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#animal">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#eats" />
+ <owl:allValuesFrom>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#part+of" />
+ <owl:someValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#animal">
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:allValuesFrom>
+ </owl:Restriction>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#eats" />
+ <owl:allValuesFrom>
+ <owl:Class>
+ <owl:complementOf>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#animal">
+ </owl:Class>
+ </owl:complementOf>
+ </owl:Class>
+ </owl:allValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#vehicle">
+</owl:Class>
+<owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#white+van+man">
+ <owl:equivalentClass>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#man">
+ </owl:Class>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#drives" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:intersectionOf rdf:parseType="Collection">
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#has+colour" />
+ <owl:someValuesFrom>
+ <owl:Class>
+ <owl:oneOf rdf:parseType="Collection">
+ <owl:Thing rdf:about="http://cohse.semanticweb.org/ontologies/people#white">
+ </owl:Thing>
+ </owl:oneOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#van">
+ </owl:Class>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:someValuesFrom>
+ </owl:Restriction>
+ </owl:intersectionOf>
+ </owl:Class>
+ </owl:equivalentClass>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://cohse.semanticweb.org/ontologies/people#reads" />
+ <owl:allValuesFrom>
+ <owl:Class rdf:about="http://cohse.semanticweb.org/ontologies/people#tabloid">
+ </owl:Class>
+ </owl:allValuesFrom>
+ </owl:Restriction...
[truncated message content] |
