ConceptBase.cc

ការពិពណ៌នា

ConceptBase.cc គឺ​ជា​ប្រព័ន្ធ​មូលដ្ឋាន​ទិន្នន័យ​កាត់​អ្នក​ប្រើ​ច្រើន​ដែល​មាន​គំរូ​ទិន្នន័យ​ដែល​ផ្តោត​លើ​វត្ថុ។ សមត្ថភាពរបស់វាក្នុងការតំណាងឱ្យព័ត៌មាននៅកម្រិតអរូបីណាមួយ (ទិន្នន័យ ថ្នាក់មេតា ថ្នាក់មេតាមេតា) ធ្វើឱ្យវាក្លាយជាឧបករណ៍ដ៏មានអានុភាពសម្រាប់ការបង្កើតគំរូ និងវិស្វកម្មនៃភាសាគំរូតាមតម្រូវការ។ ប្រព័ន្ធនេះត្រូវបានអមដោយចំណុចប្រទាក់អ្នកប្រើក្រាហ្វិកដែលអាចកំណត់រចនាសម្ព័ន្ធបានខ្ពស់ដែលបង្កើតលើលក្ខណៈពិសេសផ្អែកលើតក្កវិជ្ជានៃម៉ាស៊ីនមេ ConceptBase.cc ។ ConceptBase.cc អាចតំណាងឱ្យព័ត៌មាននៅកម្រិតទិន្នន័យ (ទិន្នន័យឧទាហរណ៍ ដាននៃការប្រតិបត្តិដំណើរការ) កម្រិតថ្នាក់ (គ្រោងការណ៍ និយមន័យនៃដំណើរការ) កម្រិតមេតា (បង្កើតភាសាគំរូ) កម្រិតមេតាមេតា (ស្ថាបនាសម្រាប់កំណត់ការបង្កើតគំរូ ភាសា) ជាដើម។ តំណាងវត្ថុឯកសណ្ឋាន។ វត្ថុទាំងអស់ត្រូវបានតំណាងនៅក្នុងរចនាសម្ព័ន្ធទិន្នន័យ quadruple ឯកសណ្ឋានហៅថា P-facts ដែលត្រួសត្រាយដោយអ្នកអភិវឌ្ឍន៍ភាសា Telos ។ វត្ថុ គុណលក្ខណៈ ជំនាញ និង ភាពរំជើបរំជួលរបស់ពួកវា ត្រូវបានតំណាងទាំងអស់ថាជា P-facts ។ តាមរយៈនេះ ជាឧទាហរណ៍ គុណលក្ខណៈនៃវត្ថុអាចមានគុណលក្ខណៈ និងជាឧទាហរណ៍នៃគុណលក្ខណៈផ្សេងទៀត។ សូម្បីតែឯកទេសរវាងគុណលក្ខណៈត្រូវបានគាំទ្រយ៉ាងពេញលេញ។ កន្សោមឡូជីខល។ ច្បាប់ ឧបសគ្គ និងសំណួរត្រូវបានបង្ហាញក្នុងរូបមន្តតក្កវិជ្ជាលំដាប់ទីមួយ។ ខាងក្នុង ប្រព័ន្ធបំប្លែងពួកវាទៅជា Horn clauses ដែលបកស្រាយដោយម៉ាស៊ីនវាយតម្លៃដែលមានមូលដ្ឋានលើ Datalog ។ កន្សោមឡូជីខលនៅក្នុង ConceptBase.cc អាចស្ថិតនៅលើវត្ថុណាមួយដោយមិនគិតពីប្រភេទរបស់វា (node ​​vs. link) និងកម្រិត abstraction របស់វា។ Datalog ត្រូវបានគេស្គាល់ថាជាប្រព័ន្ធគណនាដ៏រឹងមាំបំផុតសម្រាប់វាយតម្លៃកន្សោមឡូជីខល។ ច្បាប់សកម្ម។ ច្បាប់សកម្មធ្វើបច្ចុប្បន្នភាពមូលដ្ឋានទិន្នន័យ ឬហៅទម្លាប់ខាងក្រៅជាប្រតិកម្មចំពោះព្រឹត្តិការណ៍។