डीएल वाक्यविन्यास में लेखन ओटोलॉजीज?

Question

मैंने अभी ओडब्लूएल और प्रोटेज की खोज की है। this संदर्भ पृष्ठ (जिसे मैं नीचे उद्धृत करता हूं) के माध्यम से पढ़ने पर, मैं सोच रहा हूं कि अमूर्त OWL वाक्यविन्यास का उपयोग करें, और डीएल वाक्यविन्यास में लिखने के लिए। मेरी पृष्ठभूमि तर्क में है, इसलिए ऐसा लगता है कि अगर मैं बाद में ऑटोलॉजीज का अनुवाद करना चाहूंगा तो भी यह और मजेदार होगा (हालांकि मुझे यकीन है कि ऐसा करने के लिए आवेदन होना चाहिए - don't reasoners use DL?)।

यदि यह संभव है, तो ऐसा करने के लिए प्रोटेज (या आपके सुझाव के अन्य सॉफ़्टवेयर) में सेटिंग्स का किस कॉन्फ़िगरेशन का उपयोग करना चाहिए? मुझे संदेह है कि यह संभव नहीं है, लेकिन मैं निश्चित रूप से सुनिश्चित करना चाहता हूं, क्योंकि मुझे विशेष प्रतीकों की अजीबता के अलावा इस के लिए कोई अच्छा कारण नहीं दिख रहा है।

संपादित करें: यदि यह संभव नहीं है, तो डीएल भाषाएं वास्तव में कैसे उपयोग की जाती हैं?

OWL डीएल डेटा मान, डेटा प्रकार और डेटाप्रकार गुण, यानी, SHOIN (डी) के समर्थन के साथ वर्णन तर्क SHOIN है, लेकिन चूंकि OWL RDF (एस) पर आधारित है, शब्दावली थोड़ी अलग है । ... ओडब्लूएल ऑटोलॉजी या ज्ञान आधार के विवरण के लिए, डीएल वाक्यविन्यास का उपयोग किया जा सकता है। एक "अमूर्त" LISP- जैसे वाक्यविन्यास परिभाषित किया गया है जो ASCII वर्ण सेट में लिखना आसान है।

यहाँ एक ही डेटा के लिए एक very brief working example of the two syntax styles है।

Answer 1

कारण डीएल का उपयोग नहीं करते हैं?

आवश्यक नहीं है। वे सभी प्रकार के तर्कों का उपयोग करते हैं, जिनमें से कुछ डीएल हैं, कुछ नहीं हैं।

यदि यह संभव है, तो ऐसा करने के लिए प्रोटेज (या आपके सुझाव के अन्य सॉफ़्टवेयर) में सेटिंग्स का किस कॉन्फ़िगरेशन का उपयोग करना चाहिए?

मुझे यकीन है कि प्रोटेजे के लिए ऐसी कोई प्लगइन नहीं है। लेकिन अगर आप वास्तव में कुछ मजेदार चाहते हैं, तो एक टेक्स्ट एडिटर का उपयोग करें और हाथ से अपना ऑटोलॉजी लिखें। ऐसे कई वाक्यविन्यास हैं जिनका आप उपयोग कर सकते हैं: functional syntax, OWL/XML syntax, RDF/XML syntax सभी मानक हैं। इसके अतिरिक्त, आप Manchester syntax, Turtle, N-Triples, JSON-LD का उपयोग कर सकते हैं, जो आरडीएफ (और इसलिए ओडब्लूएल) लिखने के लिए भविष्य की सिफारिशें होगी। या अधिक विदेशी RDF/JSON, HDT। या फिर, Notation3, TriG, TriX, NQuads जैसे अधिक "शक्तिशाली" वाक्यविन्यास। बहुत मज़ा!

किसी भी मामले में, यदि आप डीएल वाक्यविन्यास में लिखना चाहते हैं, तो आपको उदाहरण के लिए विशेष यूनिकोड वर्ण या विशेष आदेश जैसे लाटेक्स में उपयोग करना होगा। और पार्सर जो इसके साथ सौदा करता है उन्हें उन पात्रों या आदेशों को पढ़ना होगा। यदि आप प्रोग्रामिंग कर रहे हैं तो आदर्श नहीं है। लेकिन आप हमेशा अपने लेखन में डीएल वाक्यविन्यास का उपयोग कर सकते हैं।

बीटीडब्ल्यू, वर्तमान मानक वेब Ontology भाषा OWL 2 है। इसका डीएल संस्करण (जैसे, ओडब्लूएल 2 डीएल) the even more irresistible SROIQ पर आधारित है।