Ontology language
கணினி அறிவியல் மற்றும் செயற்கை நுண்ணறிவில், ஆன்ட்டாலஜி மொழிகள் ஆன்டாலஜிகளை உருவாக்கப் பயன்படுத்தப்படும் முறையான மொழிகளாகும். அவை குறிப்பிட்ட களங்களைப் பற்றிய அறிவை குறியாக்கம் செய்ய அனுமதிக்கின்றன, மேலும் அந்த அறிவை செயலாக்குவதை ஆதரிக்கும் பகுத்தறிவு விதிகளை பெரும்பாலும் உள்ளடக்குகின்றன. ஆன்டாலஜி மொழிகள் பொதுவாக அறிவிக்கும் மொழிகளாகும், கிட்டத்தட்ட எப்போதும் பிரேம் மொழிகளின் பொதுமைப்படுத்தல்களாகும், மேலும் அவை பொதுவாக முதல்-வரிசை தர்க்கம் அல்லது விளக்க தர்க்கத்தை அடிப்படையாகக் கொண்டவை. ஆன்டாலஜி மொழிகளின் வகைப்பாடு சொற்றொடர் மூலம் வகைப்படுத்துதல் பாரம்பரிய சொற்றொடர் ஆன்டாலஜி மொழிகள் பொதுவான தர்க்கம்-மற்றும் அதன் பேச்சுவழக்குகள் சைக்எல் டாக்மா (ஆன்டாலஜி-கிரவுண்டட் முறைகள் மற்றும் பயன்பாடுகளை உருவாக்குதல்) எஃப்-லாஜிக் (ஃப்ரேம் லாஜிக்) எஃப்ஓ-டாட் (வகைகள், எண்கணிதம், திரட்டல்கள் மற்றும் தூண்டல் வரையறைகளுடன் நீட்டிக்கப்பட்ட முதல் வரிசை லாஜிக்) கேஐஎஃப் (அறிவு பரிமாற்ற வடிவமைப்பு) கேஐஎஃப் கேஎல்-ஒன் கேஎம் நிரலாக்க மொழியை அடிப்படையாகக் கொண்ட ஆன்டோலிங்குவா லூம் (ஆன்டாலஜி) ஓசிஎம்எல் (செயல்பாட்டு கருத்தியல் மாடலிங் மொழி) ஓகேபிசி (திறந்த அறிவு அடிப்படை இணைப்பு) பிஎல்ஐபி (பாகங்கள் நூலகம்) ரேசர் மார்க்அப் ஆன்டாலஜி மொழிகள் இந்த மொழிகள் டிஏஎம்எல் + எண்ணெய் ஆன்டாலஜி அனுமான அடுக்கு (ஓஐஎல்) வலை ஆன்டாலஜி மொழி (ஓ. டபிள்யூ. எல்) வள விளக்க கட்டமைப்பு (ஆர். டி. எஃப்) ஆர். டி. எஃப் ஸ்கீமா (ஆர். டி. எஃப். எஸ்) எஸ். எச். இ கட்டுப்படுத்தப்பட்ட இயற்கை மொழிகள் கட்டுப்படுத்தப்பட்ட ஆங்கில திறந்த சொற்களஞ்சியம் இயற்கை மொழிகள் கட்டமைப்பின் அடிப்படையில் ஆங்கில வகைப்பாட்டை செயல்படுத்தலாம் (தர்க்க வகை) கட்டமைப்பை அடிப்படையாகக் கொண்ட மூன்று மொழிகள் முற்றிலும் அல்லது ஓரளவு கட்டமைப்பை அடிப்படையாகக் கொண்ட மொழிகள். எஃப்-லாஜிக் ஓகேபிசி கேஎம் விளக்க தர்க்கம் அடிப்படையிலான விளக்க தர்க்கம் முதல்-வரிசை தர்க்கத்திற்கு பாய்ச்சல் மற்றும் தன்னிச்சையான கணிப்புகளுக்கு ஆதரவளிக்கும் அளவுக்கு செல்லாமல், பிரேம் மொழிகளின் விரிவாக்கத்தை வழங்குகிறது. கேஎல்-ஒன் ரேசர் சொந்தமானது. ஜெல்லிஷ் என்பது விளக்க தர்க்கத்தை அடிப்படையாகக் கொண்ட ஒருங்கிணைந்த ஆன்டாலஜி மொழி மற்றும் ஆன்டாலஜிக்கு ஒரு எடுத்துக்காட்டு. இது மற்றவற்றுக்கிடையேயான சொற்பொருள் வேறுபாடுகளை வேறுபடுத்துகிறதுஃ கருத்துக்களுக்கு இடையிலான உறவுகளுக்கான உறவு வகைகள் (வகுப்புகள்) தனிநபர்களுக்கும் வகுப்புகளுக்கும் இடையிலான உறவுகளுக்கான தனிநபர்களுக்கு இடையிலான உறவுகளுக்கான உறவு வகைகள் இது கேள்விகள் மற்றும் தகவல்தொடர்பு நோக்கத்தை வெளிப்படுத்துவதற்கான கட்டமைப்புகளையும் கொண்டுள்ளது. முதல்-வரிசை தர்க்க அடிப்படையிலான பல ஆன்டாலஜி மொழிகள் முதல்-வரிசை தர்க்கத்தில் வெளிப்பாடுகளை ஆதரிக்கின்றன மற்றும் பொதுவான கணிப்புகளை அனுமதிக்கின்றன. பொதுவான லாஜிக் சைக்எல் எஃப்ஓ-டாட் (முதல்-வரிசை தர்க்கம் வகைகள், எண்கணிதம், திரட்டல்கள் மற்றும் தூண்டல் வரையறைகளுடன் நீட்டிக்கப்பட்டுள்ளது) கேஐஎஃப் மேலும் காண்க டொமைன் கோட்பாடு முறையான கருத்து பகுப்பாய்வு கலோயிஸ் இணைப்பு லாட்டிஸ் (வரிசை) மாடலிங் மொழி ஒன்டூயுஎம்எல் குறிப்புகள் குறிப்புகள் ஆஸ்கார் கோர்கோ, அசுன்சியன் கோமஸ்-பெரெஸ், ஆன்டாலஜி விவரக்குறிப்புக்கான ஒரு சாலை வரைபடம் மொழிகள் (2000) விளக்க தர்க்கங்களுக்கான அறிமுகம்-என்ரிகோ ஃபிராங்கோனி, கணினி அறிவியல் பீடம், போல்சானோ இலவச பல்கலைக்கழகம், இத்தாலி மாடலிங் மொழிகள்