दिलचस्प पोस्ट
बाश का प्रयोग करके क्रमित बदलाव सी # सहवर्ती के बारे में प्रश्न एंड्रॉइड स्टूडियो, ग्रेडले और एनडीके जीटोसिस बनाम जीइटोलाइट? जावा मुद्रा संख्या स्वरूप विंडोज़ में स्थानीय फाइल सिस्टम में गिट क्लोन रिपो एंड्रॉइड: मीडियाप्लेयर सेटवॉल्यूम फ़ंक्शन दो फाइलों की तुलना करें अजगर में अंतर की रिपोर्ट करें मैं एक प्रीप्रोसेसर मैक्रो में "आकार" का उपयोग कैसे कर सकता हूं? कैसे फाइल बनाने और इसे ASP.NET MVC में FileResult के माध्यम से वापस आना है? Int को बाइट कन्वर्ट कैसे करें यह देखने के लिए जांच करें कि कोई छवि C # में मौजूद है या नहीं लिनक्स बायनेरीज़ के लिए वर्चुअल मेमोरी एड्रेस 0x8048000 से शुरू क्यों करते हैं? एआरसी के साथ @प्रॉपर्टी परिभाषाएं: मजबूत या बनाए रखे? सी # में "दिनांक समय" का क्या अर्थ है?

ओएलएल 2 रॉलिफिकेशन

वर्णन तर्क में, "रॉलिफिकेशन" ( OWL और नियम, सेक 3.2 ) नामक एक अवधारणा है। यह एक अवधारणा (कक्षा) को एक भूमिका (संपत्ति) में बदल देती है उदाहरण के लिए, जब हम R(x) बढ़ाते हैं, तो हमें r(x,x) । यह तकनीक डीएल में कुछ नियमों को व्यक्त करने के लिए उपयोगी है।

हम ओडब्ल्यूएल 2 में यह कैसे करते हैं? ऐसा लगता है कि OWL 2 विनिर्देश में रोलिफिकेशन के लिए कोई सीधा समर्थन नहीं है।

Solutions Collecting From Web of "ओएलएल 2 रॉलिफिकेशन"

कागज के खंड 3.2 जो आप से जुड़े हैं:

ओएलएल 2 में इस नियम का अनुवाद करना संभवतः संभव है- हालांकि इसमें एक परिवर्तन शामिल है, जिसे हम रोलेफिकेशन कहते हैं: अवधारणा का रौलीकरण ( ) एक भूमिका है जो एक स्वयंसेविका द्वारा परिभाषित है। रोलेफिकेशन के साथ सशस्त्र, अब हम स्वयंसिद्ध द्वारा नियम (1) को व्यक्त कर सकते हैं …

OWL2 एक स्वयंसिद्ध तत्व जैसे हाथी (एक्स) और पच्चर को व्यक्त करने का समर्थन नहीं करता है ; माउस (वाई) → बड़ा धन (एक्स, वाई) सीधे जैसा कि मैं समझता हूं, आप स्वयं को रोलेफिकेशन की प्रक्रिया का उपयोग करते हैं, जो कागज में एक नया स्वयंसिद्धि बनाने का वर्णन करता है जिसे ओडब्ल्यूएल 2 में सीधे व्यक्त किया जा सकता है।

Rolification

विशिष्ट प्रक्रिया के अनुसार, यदि आप हाथी (एक्स) और पच्चर की तरह कुछ व्यक्त करना चाहते हैं ; माउस (वाई) → बड़ा धन (एक्स, वाई) , आपने पहले हाथियों और माउस को कक्षाओं को बढ़ा दिया। इसका अर्थ है कि आप नई भूमिकाएं (गुण) आर हाथी और आर माउस (लेकिन आप एलिफेंट और माउस क्लास नहीं हटाते हैं) का परिचय देते हैं। ये नई भूमिकाएं ऐसी हैं कि आर हाथी (एक्स, एक्स) और यदि केवल हाथी (एक्स) यह स्वयंसेवों को जोड़कर लागू किया जाता है

हाथी ≡ ∃ आर हाथी। स्व

माउस ≡ ∃R माउस। स्व

जिनमें से प्रत्येक OWL2 में अभिव्यक्त है। हाथ में उन दो स्वयंसिद्धों के साथ, आप अंततः उपप्रॉपर्टी श्रृंखला स्वयंसिद्ध जोड़ते हैं

हाथी और गोली; topObjectProperty और बुलेट; माउस और एसक्यूसबेसेक; से भी बड़ा

जो ओ ओ एल 2 में भी स्पष्ट है। चूंकि किसी भी हाथी और किसी भी माउस एम के लिए , हमारे पास यह है

हाथी (ई, ई)

topObjectProperty (ई, एम)

माउस (एम, मी)

तो उपप्रॉपर्टी श्रृंखला स्वयंसिद्ध द्वारा, हमारे पास ऐसा है

biggerThan (ई, एम)

जो वास्तव में हम क्या व्यक्त करना चाहते थे

स्वयंसिद्ध सिंटैक्स

प्रोटेज द्वारा स्वीकार किए गए इन इनपुट सिंटैक्स में, इन प्रकारों के रूप में निम्न प्रकार लिखे गए हैं:

हाथी समतुल्य R_Elephant कुछ स्व
माउस समानताएं कुछ स्वयं के लिए R_Mouse
आर_एलेफ़ेंट टॉप ऑब्जेक्ट प्रॉपर्टी आर_माउस सबपरप्रतिष्ठापक बड़ा है

Protege में वे इस प्रकार दिखाई देते हैं।

हाथी रोलीकरण स्वयंसिद्धमाउस रॉलिफिकेशन स्वयंसिद्धउपप्रॉपर्टी श्रृंखला स्वयंसिद्ध

एन 3 में:

 @prefix : <http://www.example.org/rolification#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . :Elephant a owl:Class ; owl:equivalentClass [ a owl:Restriction ; owl:hasSelf "true"^^xsd:boolean ; owl:onProperty :R_Elephant ] . :R_Elephant a owl:ObjectProperty . :biggerThan a owl:ObjectProperty ; owl:propertyChainAxiom (:R_Elephant owl:topObjectProperty :R_Mouse) . :Mouse a owl:Class ; owl:equivalentClass [ a owl:Restriction ; owl:hasSelf "true"^^xsd:boolean ; owl:onProperty :R_Mouse ] . <http://www.example.org/rolification> a owl:Ontology . :R_Mouse a owl:ObjectProperty . 

आरडीएफ / एक्सएमएल में:

 <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns="http://www.example.org/rolification#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"> <owl:Ontology rdf:about="http://www.example.org/rolification"/> <owl:Class rdf:about="http://www.example.org/rolification#Elephant"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://www.example.org/rolification#R_Elephant"/> </owl:onProperty> <owl:hasSelf rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean" >true</owl:hasSelf> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://www.example.org/rolification#Mouse"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://www.example.org/rolification#R_Mouse"/> </owl:onProperty> <owl:hasSelf rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean" >true</owl:hasSelf> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:ObjectProperty rdf:about="http://www.example.org/rolification#biggerThan"> <owl:propertyChainAxiom rdf:parseType="Collection"> <owl:ObjectProperty rdf:about="http://www.example.org/rolification#R_Elephant"/> <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#topObjectProperty"/> <owl:ObjectProperty rdf:about="http://www.example.org/rolification#R_Mouse"/> </owl:propertyChainAxiom> </owl:ObjectProperty> </rdf:RDF>