Permalink
Fetching contributors…
Cannot retrieve contributors at this time
217 lines (140 sloc) 5.11 KB
<?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 -->