348 lines
11 KiB
Plaintext
348 lines
11 KiB
Plaintext
<?xml version="1.0"?>
|
|
<rdf:RDF xmlns="http://simontology.org/#"
|
|
xml:base="http://simontology.org"
|
|
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
|
|
xmlns:owl="http://www.w3.org/2002/07/owl#"
|
|
xmlns:xml="http://www.w3.org/XML/1998/namespace"
|
|
xmlns:myexample="http://myexample.org/#"
|
|
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
|
|
xmlns:simontology="http://simontology.org/#"
|
|
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
|
|
<owl:Ontology rdf:about="http://simontology.org">
|
|
<rdfs:comment xml:lang="de">Beispielhafte Ontologie für die Autosimulation</rdfs:comment>
|
|
</owl:Ontology>
|
|
|
|
|
|
|
|
<!--
|
|
///////////////////////////////////////////////////////////////////////////////////////
|
|
//
|
|
// Annotation properties
|
|
//
|
|
///////////////////////////////////////////////////////////////////////////////////////
|
|
-->
|
|
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#maximumMotorRPM -->
|
|
|
|
<owl:AnnotationProperty rdf:about="http://simontology.org/#maximumMotorRPM"/>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#maximumTirePressure -->
|
|
|
|
<owl:AnnotationProperty rdf:about="http://simontology.org/#maximumTirePressure"/>
|
|
|
|
|
|
|
|
<!--
|
|
///////////////////////////////////////////////////////////////////////////////////////
|
|
//
|
|
// Object Properties
|
|
//
|
|
///////////////////////////////////////////////////////////////////////////////////////
|
|
-->
|
|
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#drives -->
|
|
|
|
<owl:ObjectProperty rdf:about="http://simontology.org/#drives">
|
|
<owl:inverseOf rdf:resource="http://simontology.org/#isDrivenBy"/>
|
|
<rdfs:domain rdf:resource="http://simontology.org/Driver"/>
|
|
<rdfs:range rdf:resource="http://simontology.org/Car"/>
|
|
</owl:ObjectProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#isDrivenBy -->
|
|
|
|
<owl:ObjectProperty rdf:about="http://simontology.org/#isDrivenBy">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:range rdf:resource="http://simontology.org/Driver"/>
|
|
</owl:ObjectProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#relatedCar -->
|
|
|
|
<owl:ObjectProperty rdf:about="http://simontology.org/#relatedCar">
|
|
<owl:inverseOf rdf:resource="http://simontology.org/#relatedEvent"/>
|
|
<rdfs:domain rdf:resource="http://simontology.org/CarEvent"/>
|
|
<rdfs:range rdf:resource="http://simontology.org/Car"/>
|
|
</owl:ObjectProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#relatedEvent -->
|
|
|
|
<owl:ObjectProperty rdf:about="http://simontology.org/#relatedEvent">
|
|
<owl:inverseOf rdf:resource="http://simontology.org/#relatedUser"/>
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:domain rdf:resource="http://simontology.org/Driver"/>
|
|
<rdfs:range rdf:resource="http://simontology.org/Event"/>
|
|
</owl:ObjectProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#relatedUser -->
|
|
|
|
<owl:ObjectProperty rdf:about="http://simontology.org/#relatedUser">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Event"/>
|
|
<rdfs:range rdf:resource="http://simontology.org/Driver"/>
|
|
</owl:ObjectProperty>
|
|
|
|
|
|
|
|
<!--
|
|
///////////////////////////////////////////////////////////////////////////////////////
|
|
//
|
|
// Data properties
|
|
//
|
|
///////////////////////////////////////////////////////////////////////////////////////
|
|
-->
|
|
|
|
|
|
|
|
|
|
<!-- http://simobjects.org/maximumMotorRPM -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simobjects.org/maximumMotorRPM">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simobjects.org/maximumTirePressure -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simobjects.org/maximumTirePressure">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#double"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#handbrakeEngaged -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simontology.org/#handbrakeEngaged">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:domain rdf:resource="http://simontology.org/CarStatusEvent"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#hasDriverLicense -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simontology.org/#hasDriverLicense">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Driver"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#locked -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simontology.org/#locked">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:domain rdf:resource="http://simontology.org/CarStatusEvent"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#minimumMotorRPM -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simontology.org/#minimumMotorRPM">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#minimumTirePressure -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simontology.org/#minimumTirePressure">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#double"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#motorOn -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simontology.org/#motorOn">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:domain rdf:resource="http://simontology.org/CarStatusEvent"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#motorRPM -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simontology.org/#motorRPM">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:domain rdf:resource="http://simontology.org/CarStatusEvent"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#requiresDriverLicense -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simontology.org/#requiresDriverLicense">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#speed -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simontology.org/#speed">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:domain rdf:resource="http://simontology.org/CarStatusEvent"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#tirePressure -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simontology.org/#tirePressure">
|
|
<rdfs:domain rdf:resource="http://simontology.org/Car"/>
|
|
<rdfs:domain rdf:resource="http://simontology.org/CarStatusEvent"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#double"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/#usagePeriod -->
|
|
|
|
<owl:DatatypeProperty rdf:about="http://simontology.org/#usagePeriod">
|
|
<rdfs:domain rdf:resource="http://simontology.org/CarTakenEvent"/>
|
|
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
|
|
</owl:DatatypeProperty>
|
|
|
|
|
|
|
|
<!--
|
|
///////////////////////////////////////////////////////////////////////////////////////
|
|
//
|
|
// Classes
|
|
//
|
|
///////////////////////////////////////////////////////////////////////////////////////
|
|
-->
|
|
|
|
|
|
|
|
|
|
<!-- http://simontology.org/Car -->
|
|
|
|
<owl:Class rdf:about="http://simontology.org/Car"/>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/CarAirbagEvent -->
|
|
|
|
<owl:Class rdf:about="http://simontology.org/CarAirbagEvent">
|
|
<rdfs:subClassOf rdf:resource="http://simontology.org/CarEvent"/>
|
|
</owl:Class>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/CarEvent -->
|
|
|
|
<owl:Class rdf:about="http://simontology.org/CarEvent">
|
|
<rdfs:subClassOf rdf:resource="http://simontology.org/Event"/>
|
|
</owl:Class>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/CarReturnedEvent -->
|
|
|
|
<owl:Class rdf:about="http://simontology.org/CarReturnedEvent">
|
|
<rdfs:subClassOf rdf:resource="http://simontology.org/CarUserEvent"/>
|
|
</owl:Class>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/CarStatusEvent -->
|
|
|
|
<owl:Class rdf:about="http://simontology.org/CarStatusEvent">
|
|
<rdfs:subClassOf rdf:resource="http://simontology.org/CarEvent"/>
|
|
</owl:Class>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/CarTakenEvent -->
|
|
|
|
<owl:Class rdf:about="http://simontology.org/CarTakenEvent">
|
|
<rdfs:subClassOf rdf:resource="http://simontology.org/CarUserEvent"/>
|
|
</owl:Class>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/CarUserEvent -->
|
|
|
|
<owl:Class rdf:about="http://simontology.org/CarUserEvent">
|
|
<rdfs:subClassOf rdf:resource="http://simontology.org/CarEvent"/>
|
|
</owl:Class>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/Driver -->
|
|
|
|
<owl:Class rdf:about="http://simontology.org/Driver"/>
|
|
|
|
|
|
|
|
<!-- http://simontology.org/Event -->
|
|
|
|
<owl:Class rdf:about="http://simontology.org/Event"/>
|
|
|
|
|
|
|
|
<!--
|
|
///////////////////////////////////////////////////////////////////////////////////////
|
|
//
|
|
// Individuals
|
|
//
|
|
///////////////////////////////////////////////////////////////////////////////////////
|
|
-->
|
|
|
|
|
|
|
|
|
|
<!-- http://simobjects.org/Max -->
|
|
|
|
<owl:NamedIndividual rdf:about="http://simobjects.org/Max">
|
|
<rdf:type rdf:resource="http://simontology.org/Driver"/>
|
|
<simontology:hasDriverLicense rdf:datatype="http://www.w3.org/2001/XMLSchema#string">B</simontology:hasDriverLicense>
|
|
</owl:NamedIndividual>
|
|
|
|
|
|
|
|
<!-- http://simobjects.org/Volvo -->
|
|
|
|
<owl:NamedIndividual rdf:about="http://simobjects.org/Volvo">
|
|
<rdf:type rdf:resource="http://simontology.org/Car"/>
|
|
<simontology:isDrivenBy rdf:resource="http://simobjects.org/Max"/>
|
|
<simontology:minimumMotorRPM rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">800</simontology:minimumMotorRPM>
|
|
<simontology:minimumTirePressure rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2.9</simontology:minimumTirePressure>
|
|
<simontology:requiresDriverLicense rdf:datatype="http://www.w3.org/2001/XMLSchema#string">B</simontology:requiresDriverLicense>
|
|
<simontology:maximumMotorRPM rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">4500</simontology:maximumMotorRPM>
|
|
<simontology:maximumTirePressure rdf:datatype="http://www.w3.org/2001/XMLSchema#double">3.5</simontology:maximumTirePressure>
|
|
</owl:NamedIndividual>
|
|
</rdf:RDF>
|
|
|
|
|
|
|
|
<!-- Generated by the OWL API (version 4.2.5.20160517-0735) https://github.com/owlcs/owlapi -->
|
|
|