<?xml version="1.0"?>

<!DOCTYPE rdf:RDF [

<!ENTITY p1 "#" >

<!ENTITY owl "https://www.w3.org/2002/07/owl#" >

<!ENTITY xsd "https://www.w3.org/2001/XMLSchema#" >

<!ENTITY skos "https://www.w3.org/2004/02/skos/core#" >

<!ENTITY xml "https://www.w3.org/XML/1998/namespace" >

<!ENTITY rdfs "https://www.w3.org/2000/01/rdf-schema#" >

<!ENTITY rdf "https://www.w3.org/1999/02/22-rdf-syntax-ns#" >

]>

<rdf:RDF xmlns="https://lat.inf.tu-dresden.de/systems/jcel/example#"

xml:base="https://lat.inf.tu-dresden.de/systems/jcel/example"

xmlns:rdfs="https://www.w3.org/2000/01/rdf-schema#"

xmlns:p1="#"

xmlns:owl="https://www.w3.org/2002/07/owl#"

xmlns:xsd="https://www.w3.org/2001/XMLSchema#"

xmlns:rdf="https://www.w3.org/1999/02/22-rdf-syntax-ns#"

xmlns:xml="https://www.w3.org/XML/1998/namespace"

xmlns:skos="https://www.w3.org/2004/02/skos/core#">

<owl:Ontology rdf:about="https://lat.inf.tu-dresden.de/systems/jcel/example"/>

<!--

///////////////////////////////////////////////////////////////////////////////////////

//

// Object Properties

//

///////////////////////////////////////////////////////////////////////////////////////

-->

<!-- #r -->

<owl:ObjectProperty rdf:about="#r">

<rdf:type rdf:resource="&owl;FunctionalProperty"/>

</owl:ObjectProperty>

<!-- #r1 -->

<owl:ObjectProperty rdf:about="#r1">

<rdfs:subPropertyOf rdf:resource="#r"/>

</owl:ObjectProperty>

<!-- #r2 -->

<owl:ObjectProperty rdf:about="#r2">

<rdfs:subPropertyOf rdf:resource="#r"/>

</owl:ObjectProperty>

<!-- #s -->

<owl:ObjectProperty rdf:about="#s"/>

<!-- #sMinus -->

<owl:ObjectProperty rdf:about="#sMinus">

<owl:inverseOf rdf:resource="#s"/>

</owl:ObjectProperty>

<!-- #t -->

<owl:ObjectProperty rdf:about="#t">

<rdf:type rdf:resource="&owl;TransitiveProperty"/>

</owl:ObjectProperty>

<!--

///////////////////////////////////////////////////////////////////////////////////////

//

// Classes

//

///////////////////////////////////////////////////////////////////////////////////////

-->

<!-- #C -->

<owl:Class rdf:about="#C">

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#r2"/>

<owl:someValuesFrom rdf:resource="#H"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#r1"/>

<owl:someValuesFrom rdf:resource="#G"/>

</owl:Restriction>

</rdfs:subClassOf>

</owl:Class>

<!-- #D -->

<owl:Class rdf:about="#D"/>

<!-- #E -->

<owl:Class rdf:about="#E">

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#t"/>

<owl:someValuesFrom>

<owl:Restriction>

<owl:onProperty rdf:resource="#t"/>

<owl:someValuesFrom rdf:resource="#D"/>

</owl:Restriction>

</owl:someValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

</owl:Class>

<!-- #G -->

<owl:Class rdf:about="#G"/>

<!-- #H -->

<owl:Class rdf:about="#H"/>

<!-- #J -->

<owl:Class rdf:about="#J"/>

<!-- #K -->

<owl:Class rdf:about="#K"/>

<!-- #L -->

<owl:Class rdf:about="#L">

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#s"/>

<owl:someValuesFrom rdf:resource="&owl;Thing"/>

</owl:Restriction>

</rdfs:subClassOf>

</owl:Class>

<!--

///////////////////////////////////////////////////////////////////////////////////////

//

// General axioms

//

///////////////////////////////////////////////////////////////////////////////////////

-->

<owl:Restriction>

<rdfs:subClassOf rdf:resource="#J"/>

<owl:onProperty rdf:resource="#r"/>

<owl:someValuesFrom>

<owl:Class>

<owl:intersectionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#G"/>

<rdf:Description rdf:about="#H"/>

</owl:intersectionOf>

</owl:Class>

</owl:someValuesFrom>

</owl:Restriction>

<owl:Restriction>

<rdfs:subClassOf rdf:resource="#K"/>

<owl:onProperty rdf:resource="#sMinus"/>

<owl:someValuesFrom rdf:resource="#L"/>

</owl:Restriction>

<owl:Restriction>

<rdfs:subClassOf rdf:resource="#E"/>

<owl:onProperty rdf:resource="#s"/>

<owl:someValuesFrom rdf:resource="#K"/>

</owl:Restriction>

<owl:Restriction>

<rdfs:subClassOf rdf:resource="#C"/>

<owl:onProperty rdf:resource="#t"/>

<owl:someValuesFrom rdf:resource="#D"/>

</owl:Restriction>

</rdf:RDF>

<!-- Generated by the OWL API (version 3.2.2.1789) http://owlapi.sourceforge.net -->