Ontology language
कंप्यूटर विज्ञान और कृत्रिम बुद्धिमत्ता में, ऑन्टोलॉजी भाषाएँ औपचारिक भाषाएँ हैं जिनका उपयोग ऑन्टोलॉजी के निर्माण के लिए किया जाता है। वे विशिष्ट क्षेत्रों के बारे में ज्ञान के एन्कोडिंग की अनुमति देते हैं और अक्सर तर्क नियम शामिल करते हैं जो उस ज्ञान के प्रसंस्करण का समर्थन करते हैं। ऑन्टोलॉजी भाषाएँ आमतौर पर घोषणात्मक भाषाएँ होती हैं, लगभग हमेशा फ्रेम भाषाओं के सामान्यीकरण होते हैं, और आमतौर पर या तो प्रथम-क्रम तर्क या विवरण तर्क पर आधारित होती हैं। ऑन्टोलॉजी भाषाओं का वर्गीकरण वाक्यविन्यास द्वारा पारंपरिक वाक्यविन्यास ऑन्टोलॉजी भाषाओं का वर्गीकरण सामान्य तर्क-और इसकी बोलियाँ साइक्ल डॉगमा (ऑन्टोलॉजी-ग्राउंडेड विधियों और अनुप्रयोगों का विकास) एफ-लॉजिक (फ्रेम लॉजिक) एफओ-डॉट (प्रकार, अंकगणित, समुच्चय और प्रेरक परिभाषाओं के साथ विस्तारित प्रथम-क्रम तर्क) केआईएफ (नॉलेज इंटरचेंज फॉर्मेट) ऑन्टोलिंगुआ केआईएफ केएल-वनकेएम प्रोग्रामिंग भाषा लूम (ऑन्टोलॉजी) ओसीएमएल (ऑपरेशनल कॉन्सेप्चुअल मॉडलिंग लैंग्वेज) ओकेबीसी (ओपन नॉलेज बेस कनेक्टिविटी) पीएलआईबी (पार्ट्स लाइब्रेरी) रेसर मार्कअप ऑन्टोलॉजी भाषाएँ डी. ए. एम. एल. + ऑयल ऑन्टोलॉजी इन्फरेंस लेयर (ओ. आई. एल.) वेब ऑन्टोलॉजी लैंग्वेज (ओ. डब्ल्यू. एल.) रिसोर्स डिस्क्रिप्शन फ्रेमवर्क (आर. डी. एफ.) आर. डी. एफ. स्कीमा (आर. डी. एफ. एस.) एस. एच. ई. नियंत्रित प्राकृतिक भाषाओं का प्रयास नियंत्रित अंग्रेजी खुली शब्दावली प्राकृतिक भाषाएँ निष्पादन योग्य संरचना द्वारा अंग्रेजी वर्गीकरण (तर्क प्रकार) फ्रेम-आधारित तीन भाषाएँ पूरी तरह या आंशिक रूप से फ्रेम-आधारित भाषाएँ हैं। एफ-लॉजिक ओ. के. बी. सी. के. एम. डिस्क्रिप्शन लॉजिक-आधारित डिस्क्रिप्शन लॉजिक फ्रेम भाषाओं का एक विस्तार प्रदान करता है, जहां तक कि प्रथम-क्रम तर्क और मनमाने अनुमानों के लिए समर्थन की छलांग लगाने के लिए नहीं जाता है। के. एल.-वन रेसर ओ. एल. गेलिश एक संयुक्त ऑन्टोलॉजी भाषा और ऑन्टोलॉजी का एक उदाहरण है जो विवरण तर्क पर आधारित है। यह अन्य के बीच शब्दार्थिक अंतरों के बीच अंतर करता हैः अवधारणाओं (वर्गों) के बीच संबंधों के लिए संबंध प्रकार व्यक्तियों के बीच संबंधों के लिए संबंध प्रकार व्यक्तियों और वर्गों के बीच संबंधों के लिए इसमें प्रश्नों और संवादात्मक इरादे को व्यक्त करने के लिए निर्माण भी शामिल हैं। प्रथम-क्रम तर्क-आधारित कई ऑन्टोलॉजी भाषाएँ प्रथम-क्रम तर्क में अभिव्यक्तियों का समर्थन करती हैं और सामान्य भविष्यवाणियों की अनुमति देती हैं। कॉमन लॉजिक साइक्ल एफ. ओ.-डॉट (प्रकार, अंकगणितीय, समुच्चय और प्रेरक परिभाषाओं के साथ विस्तारित प्रथम क्रम तर्क) के. आई. एफ. भी देखें डोमेन सिद्धांत औपचारिक अवधारणा विश्लेषण गैलोइस कनेक्शन जाली (क्रम) मॉडलिंग भाषा ओ. एन. टी. यू. एम. एल. नोट्स संदर्भ ऑस्कर कोरचो, असंसियन गोमेज़-पेरेज़, ए रोडमैप टू ऑन्टोलॉजी स्पेसिफिकेशन लैंग्वेज (2000) डिस्क्रिप्शन लॉजिक्स का परिचय-एनरिको फ्रैंकोनी द्वारा डी. एल. पाठ्यक्रम, कंप्यूटर विज्ञान संकाय, बोलजानो मुक्त विश्वविद्यालय, इटली मॉडलिंग भाषाएँ