Добавил:
ohpetya
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:union
.rdf<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-30/"
xml:base="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-30/"
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-29="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-29#">
<owl:Ontology rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-30">
<owl:imports rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26"/>
<owl:imports rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28"/>
<owl:imports rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-29"/>
</owl:Ontology>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-30#заказывает -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-30#заказывает">
<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-29#Детали"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-30#оказывается_для -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-30#оказывается_для">
<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-29#Машина"/>
</owl:ObjectProperty>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина -->
<rdf:Description rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина">
<owl:equivalentClass rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-29#Машина"/>
</rdf:Description>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Персонал -->
<rdf:Description rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Персонал">
<owl:equivalentClass rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Персонал"/>
</rdf:Description>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Заказчик_деталей -->
<rdf:Description rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Заказчик_деталей">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-30#заказывает"/>
<owl:someValuesFrom rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-29#Детали"/>
</owl:Restriction>
</owl:equivalentClass>
</rdf:Description>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Individuals
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина1 -->
<rdf:Description rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Машина1">
<untitled-ontology-29:имеет rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-29#Двигатель1"/>
</rdf:Description>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Сергей_Бобров -->
<rdf:Description rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-26#Сергей_Бобров">
<owl:sameAs rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Сергей_Бобров"/>
</rdf:Description>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Сергей_Бобров -->
<rdf:Description rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#Сергей_Бобров"/>
<!-- http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-30#Масло1 -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-30#Масло1">
<rdf:type rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-29#Масло"/>
</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#t">
<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#m">
<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-28#ТО"/>
<swrl:argument1 rdf:resource="urn:swrl:var#t"/>
</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#IndividualPropertyAtom"/>
<swrl:propertyPredicate rdf:resource="http://www.semanticweb.org/wroon/ontologies/2024/10/untitled-ontology-28#оказывает"/>
<swrl:argument1 rdf:resource="urn:swrl:var#x"/>
<swrl:argument2 rdf:resource="urn:swrl:var#t"/>
</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-29#Масло"/>
<swrl:argument1 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>
</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-30#заказывает"/>
<swrl:argument1 rdf:resource="urn:swrl:var#z"/>
<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 -->
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]