Avtomaster

<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28/"
     xml:base="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28/"
     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-28="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#">
    <owl:Ontology rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Object Properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#заказывает_деталь_на -->

    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#заказывает_деталь_на">
        <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-28#Заказчик_деталей"/>
        <rdfs:range rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Склад"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#оказывает -->

    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#оказывает">
        <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-28#Автослесарь"/>
        <rdfs:range rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Услуга"/>
    </owl:ObjectProperty>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Data properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#длительность -->

    <owl:DatatypeProperty rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#длительность">
        <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-28#Услуга"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#unsignedInt"/>
    </owl:DatatypeProperty>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#стоимость -->

    <owl:DatatypeProperty rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#стоимость">
        <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-28#Услуга"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#unsignedInt"/>
    </owl:DatatypeProperty>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Автослесарь -->

    <owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Автослесарь">
        <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Персонал"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Директор -->

    <owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Директор">
        <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Персонал"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Заказчик_деталей -->

    <owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Заказчик_деталей">
        <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Персонал"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Персонал -->

    <owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Персонал"/>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Ремонт_силового_агрегата -->

    <owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Ремонт_силового_агрегата">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Услуга"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#длительность"/>
                        <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">300</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-28#Услуга"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Склад -->

    <owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Склад"/>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#ТО -->

    <owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#ТО">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Услуга"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#длительность"/>
                        <owl:someValuesFrom>
                            <rdfs:Datatype>
                                <owl:onDatatype rdf:resource="http://www.w3.org/2001/XMLSchema#unsignedInt"/>
                                <owl:withRestrictions rdf:parseType="Collection">
                                    <rdf:Description>
                                        <xsd:minExclusive rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">60</xsd:minExclusive>
                                    </rdf:Description>
                                    <rdf:Description>
                                        <xsd:maxExclusive rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">300</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-28#Услуга"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Услуга -->

    <owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Услуга"/>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Шиномонтаж -->

    <owl:Class rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Шиномонтаж">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Услуга"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#длительность"/>
                        <owl:someValuesFrom>
                            <rdfs:Datatype>
                                <owl:onDatatype rdf:resource="http://www.w3.org/2001/XMLSchema#unsignedInt"/>
                                <owl:withRestrictions rdf:parseType="Collection">
                                    <rdf:Description>
                                        <xsd:maxInclusive rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">60</xsd:maxInclusive>
                                    </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-28#Услуга"/>
    </owl:Class>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Individuals
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Владимир -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Владимир">
        <rdf:type rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Заказчик_деталей"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Рем1 -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Рем1">
        <rdf:type rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Услуга"/>
        <untitled-ontology-28:длительность rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">1440</untitled-ontology-28:длительность>
        <untitled-ontology-28:стоимость rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">100000</untitled-ontology-28:стоимость>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Сергей_Бобров -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Сергей_Бобров">
        <rdf:type rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Автослесарь"/>
        <untitled-ontology-28:оказывает rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#ТО1"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Склад1 -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Склад1">
        <rdf:type rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Склад"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#ТО1 -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#ТО1">
        <rdf:type rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Услуга"/>
        <untitled-ontology-28:длительность rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">100</untitled-ontology-28:длительность>
        <untitled-ontology-28:стоимость rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">15000</untitled-ontology-28:стоимость>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Шино1 -->

    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Шино1">
        <rdf:type rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Услуга"/>
        <untitled-ontology-28:длительность rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">30</untitled-ontology-28:длительность>
        <untitled-ontology-28:стоимость rdf:datatype="http://www.w3.org/2001/XMLSchema#unsignedInt">2000</untitled-ontology-28:стоимость>
    </owl:NamedIndividual>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Rules
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <rdf:Description rdf:about="urn:swrl:var#y">
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
    </rdf:Description>
    <rdf:Description rdf:about="urn:swrl:var#d">
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
    </rdf:Description>
    <rdf:Description rdf:about="urn:swrl:var#z">
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
    </rdf:Description>
    <rdf:Description rdf:about="urn:swrl:var#s">
        <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-28#Услуга"/>
                        <swrl:argument1 rdf:resource="urn:swrl:var#y"/>
                    </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-28#длительность"/>
                                <swrl:argument1 rdf:resource="urn:swrl:var#y"/>
                                <swrl:argument2 rdf:resource="urn:swrl:var#d"/>
                            </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#d"/>
                                                <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">600</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#ClassAtom"/>
                                                <swrl:classPredicate rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Заказчик_деталей"/>
                                                <swrl:argument1 rdf:resource="urn:swrl:var#z"/>
                                            </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-28#Склад"/>
                                                        <swrl:argument1 rdf:resource="urn:swrl:var#s"/>
                                                    </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>
        </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-28#заказывает_деталь_на"/>
                        <swrl:argument1 rdf:resource="urn:swrl:var#z"/>
                        <swrl:argument2 rdf:resource="urn:swrl:var#s"/>
                    </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 -->