Download this file
unitTest.owl
145 lines (88 with data), 3.4 kB
<?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 -->