Добавил:
ohpetya
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Salon
.rdf<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26/"
xml:base="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26/"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:xml="http://www.w3.org/XML/1998/namespace"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:swrl="http://www.w3.org/2003/11/swrl#"
xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
xmlns:untitled-ontology-26="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#">
<owl:Ontology rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#продает -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#продает">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AsymmetricProperty"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#IrreflexiveProperty"/>
<rdfs:domain rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Консультант"/>
<rdfs:range rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#работает_в -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#работает_в">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AsymmetricProperty"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#IrreflexiveProperty"/>
<rdfs:domain rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Автослесарь"/>
<rdfs:range rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Сервис"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#чинит -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#чинит">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AsymmetricProperty"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#IrreflexiveProperty"/>
<rdfs:domain rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Автослесарь"/>
<rdfs:range rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#БУ_машина"/>
</owl:ObjectProperty>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Data properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#пробег -->
<owl:DatatypeProperty rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#пробег">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
<rdfs:domain rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#unsignedInt"/>
</owl:DatatypeProperty>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#состояниие -->
<owl:DatatypeProperty rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#состояниие">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
<rdfs:domain rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
<rdfs:range>
<rdfs:Datatype>
<owl:oneOf>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>
<rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</rdf:first>
<rdf:rest>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>
<rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">1</rdf:first>
<rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
</rdf:Description>
</rdf:rest>
</rdf:Description>
</owl:oneOf>
</rdfs:Datatype>
</rdfs:range>
</owl:DatatypeProperty>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Автослесарь -->
<owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Автослесарь">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Персонал"/>
</owl:Class>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#БУ_машина -->
<owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#БУ_машина">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<rdf:Description rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#пробег"/>
<owl:someValuesFrom>
<rdfs:Datatype>
<owl:onDatatype rdf:resource="http://www.w3.org/2001/XMLSchema#unsignedInt"/>
<owl:withRestrictions rdf:parseType="Collection">
<rdf:Description>
<xsd:minInclusive rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">100</xsd:minInclusive>
</rdf:Description>
</owl:withRestrictions>
</rdfs:Datatype>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
</owl:Class>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Директор -->
<owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Директор">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Персонал"/>
</owl:Class>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Консультант -->
<owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Консультант">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Персонал"/>
</owl:Class>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина -->
<owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Новая_машина -->
<owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Новая_машина">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<rdf:Description rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#пробег"/>
<owl:someValuesFrom>
<rdfs:Datatype>
<owl:onDatatype rdf:resource="http://www.w3.org/2001/XMLSchema#unsignedInt"/>
<owl:withRestrictions rdf:parseType="Collection">
<rdf:Description>
<xsd:maxExclusive rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">100</xsd:maxExclusive>
</rdf:Description>
</owl:withRestrictions>
</rdfs:Datatype>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
</owl:Class>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Персонал -->
<owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Персонал"/>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Сервис -->
<owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Сервис"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Individuals
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Крузер100 -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Крузер100">
<rdf:type rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
<untitled-ontology-26:пробег rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">50000</untitled-ontology-26:пробег>
<untitled-ontology-26:состояниие rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">0</untitled-ontology-26:состояниие>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина1 -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина1">
<rdf:type rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
<untitled-ontology-26:пробег rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">10000</untitled-ontology-26:пробег>
<untitled-ontology-26:состояниие rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">1</untitled-ontology-26:состояниие>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Сергей_Бобров -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Сергей_Бобров">
<rdf:type rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Автослесарь"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#прадо250 -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#прадо250">
<rdf:type rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
<untitled-ontology-26:пробег rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">50</untitled-ontology-26:пробег>
<untitled-ontology-26:состояниие rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">1</untitled-ontology-26:состояниие>
</owl:NamedIndividual>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Rules
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<rdf:Description rdf:about="urn:swrl:var#x">
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
</rdf:Description>
<rdf:Description rdf:about="urn:swrl:var#m">
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
</rdf:Description>
<rdf:Description rdf:about="urn:swrl:var#p">
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
</rdf:Description>
<rdf:Description rdf:about="urn:swrl:var#c">
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
</rdf:Description>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Imp"/>
<swrl:body>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#ClassAtom"/>
<swrl:classPredicate rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Автослесарь"/>
<swrl:argument1 rdf:resource="urn:swrl:var#x"/>
</rdf:Description>
</rdf:first>
<rdf:rest>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#ClassAtom"/>
<swrl:classPredicate rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина"/>
<swrl:argument1 rdf:resource="urn:swrl:var#m"/>
</rdf:Description>
</rdf:first>
<rdf:rest>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom"/>
<swrl:propertyPredicate rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#пробег"/>
<swrl:argument1 rdf:resource="urn:swrl:var#m"/>
<swrl:argument2 rdf:resource="urn:swrl:var#p"/>
</rdf:Description>
</rdf:first>
<rdf:rest>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#BuiltinAtom"/>
<swrl:builtin rdf:resource="http://www.w3.org/2003/11/swrlb#greaterThanOrEqual"/>
<swrl:arguments>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>
<rdf:first rdf:resource="urn:swrl:var#p"/>
<rdf:rest>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>
<rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">100</rdf:first>
<rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
</rdf:Description>
</rdf:rest>
</rdf:Description>
</swrl:arguments>
</rdf:Description>
</rdf:first>
<rdf:rest>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom"/>
<swrl:propertyPredicate rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#состояниие"/>
<swrl:argument1 rdf:resource="urn:swrl:var#m"/>
<swrl:argument2 rdf:resource="urn:swrl:var#c"/>
</rdf:Description>
</rdf:first>
<rdf:rest>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#BuiltinAtom"/>
<swrl:builtin rdf:resource="http://www.w3.org/2003/11/swrlb#equal"/>
<swrl:arguments>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>
<rdf:first rdf:resource="urn:swrl:var#c"/>
<rdf:rest>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>
<rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</rdf:first>
<rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
</rdf:Description>
</rdf:rest>
</rdf:Description>
</swrl:arguments>
</rdf:Description>
</rdf:first>
<rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
</rdf:Description>
</rdf:rest>
</rdf:Description>
</rdf:rest>
</rdf:Description>
</rdf:rest>
</rdf:Description>
</rdf:rest>
</rdf:Description>
</rdf:rest>
</rdf:Description>
</swrl:body>
<swrl:head>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
<swrl:propertyPredicate rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#чинит"/>
<swrl:argument1 rdf:resource="urn:swrl:var#x"/>
<swrl:argument2 rdf:resource="urn:swrl:var#m"/>
</rdf:Description>
</rdf:first>
<rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
</rdf:Description>
</swrl:head>
</rdf:Description>
</rdf:RDF>
<!-- Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi -->
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]