--- a
+++ b/ontologies/unitTest.owl
@@ -0,0 +1,144 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY kb "http://test/kb#" >
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!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://test/kb#"
+ xml:base="http://test/kb"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:kb="http://test/kb#"
+ 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="http://test/kb"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://test/kb#objProp -->
+
+ <owl:ObjectProperty rdf:about="&kb;objProp"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Data properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://test/kb#dataProp -->
+
+ <owl:DatatypeProperty rdf:about="&kb;dataProp"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://test/kb#A -->
+
+ <owl:Class rdf:about="&kb;A">
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="&kb;objProp"/>
+ <owl:someValuesFrom rdf:resource="&kb;C"/>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ </owl:Class>
+
+
+
+ <!-- http://test/kb#B -->
+
+ <owl:Class rdf:about="&kb;B">
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="&kb;dataProp"/>
+ <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
+ <owl:onDataRange rdf:resource="&xsd;string"/>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ </owl:Class>
+
+
+
+ <!-- http://test/kb#C -->
+
+ <owl:Class rdf:about="&kb;C">
+ <rdfs:subClassOf rdf:resource="&kb;B"/>
+ </owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://test/kb#iA -->
+
+ <owl:NamedIndividual rdf:about="&kb;iA">
+ <rdf:type rdf:resource="&kb;A"/>
+ <objProp rdf:resource="&kb;iC"/>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://test/kb#iB -->
+
+ <owl:NamedIndividual rdf:about="&kb;iB">
+ <rdf:type rdf:resource="&kb;B"/>
+ <dataProp>"iBdata"</dataProp>
+ </owl:NamedIndividual>
+
+
+
+ <!-- http://test/kb#iC -->
+
+ <owl:NamedIndividual rdf:about="&kb;iC">
+ <rdf:type rdf:resource="&kb;C"/>
+ <dataProp>iCdata</dataProp>
+ </owl:NamedIndividual>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 3.4.2) http://owlapi.sourceforge.net -->
+