ConceptBase.cc

விளக்கம்

ConceptBase.cc என்பது ஒரு பொருளை மையமாகக் கொண்ட தரவு மாதிரியுடன் கூடிய பல பயனர் கழித்தல் தரவுத்தள அமைப்பாகும். எந்தவொரு சுருக்க நிலையிலும் (தரவு, வகுப்பு, மெட்டாகிளாஸ், மெட்டா-மெட்டாகிளாஸ்) தகவலைப் பிரதிநிதித்துவப்படுத்தும் அதன் திறன், தனிப்பயனாக்கப்பட்ட மாடலிங் மொழிகளின் மெட்டாமாடலிங் மற்றும் பொறியியலுக்கு ஒரு சக்திவாய்ந்த கருவியாக அமைகிறது. இந்த அமைப்பு ConceptBase.cc சேவையகத்தின் தர்க்க அடிப்படையிலான அம்சங்களைக் கொண்டு கட்டமைக்கக்கூடிய மிகவும் உள்ளமைக்கக்கூடிய வரைகலை பயனர் இடைமுகத்துடன் இணைக்கப்பட்டுள்ளது. ConceptBase.cc என்பது தரவு மட்டத்தில் (எடுத்துக்காட்டுத் தரவு, செயல்முறைச் செயலாக்கங்களின் தடயங்கள்), வகுப்பு நிலை (திட்டங்கள், செயல்முறை வரையறைகள்), மெட்டாகிளாஸ் நிலை (மாடலிங் மொழிகளின் கட்டுமானங்கள்), மெட்டா-மெட்டாகிளாஸ் நிலை (மாடலிங் வரையறுப்பதற்கான கட்டுமானங்கள்) ஆகியவற்றில் தகவலைப் பிரதிநிதித்துவப்படுத்தலாம். மொழிகள்), மற்றும் பல. சீரான பொருள் பிரதிநிதித்துவம். டெலோஸ் மொழியின் டெவலப்பர்களால் முன்னோடியாக இருந்த பி-உண்மைகள் எனப்படும் ஒரே மாதிரியான நான்கு மடங்கு தரவு கட்டமைப்பில் அனைத்து பொருட்களும் குறிப்பிடப்படுகின்றன. பொருள்கள், அவற்றின் பண்புக்கூறுகள், நிபுணத்துவங்கள் மற்றும் உடனடித் தகவல்கள் அனைத்தும் பி-உண்மைகளாகக் குறிப்பிடப்படுகின்றன. இதன் மூலம், எடுத்துக்காட்டாக, பொருள்களின் பண்புக்கூறுகள் பண்புக்கூறுகளைக் கொண்டிருக்கலாம் மற்றும் பிற பண்புக்கூறுகளின் நிகழ்வுகளாகும். பண்புக்கூறுகளுக்கு இடையே உள்ள நிபுணத்துவம் கூட முழுமையாக ஆதரிக்கப்படுகிறது. தர்க்கரீதியான வெளிப்பாடுகள். விதிகள், கட்டுப்பாடுகள் மற்றும் வினவல்கள் முதல்-வரிசை தர்க்க சூத்திரங்களில் வெளிப்படுத்தப்படுகின்றன. உள்நாட்டில், கணினி அவற்றை டேட்டாலாக் அடிப்படையிலான மதிப்பீட்டு இயந்திரத்தால் விளக்கப்படும் ஹார்ன் உட்பிரிவுகளாக மாற்றுகிறது. ConceptBase.cc இல் உள்ள தருக்க வெளிப்பாடுகள் எந்த பொருளின் வகையிலும் (நோட் எதிராக இணைப்பு) மற்றும் அதன் சுருக்க நிலை ஆகியவற்றைப் பொருட்படுத்தாமல் மாறுபடும். தருக்க வெளிப்பாடுகளை மதிப்பிடுவதற்கான மிகவும் வலுவான கணக்கீட்டு அமைப்பாக டேட்டாலாக் அறியப்படுகிறது. செயலில் உள்ள விதிகள். செயலில் உள்ள விதிகள் தரவுத்தளத்தைப் புதுப்பிக்கின்றன அல்லது நிகழ்வுகளுக்கான எதிர்வினையாக வெளிப்புற நடைமுறைகளை அழைக்கின்றன.