ConceptBase.cc

Тавсифи

ConceptBase.cc як системаи махзани маълумотҳои дедуктивии бисёркорбар аст, ки модели маълумот ба объект нигаронида шудааст. Қобилияти муаррифии иттилоот дар ҳама гуна сатҳи абстраксия (маълумот, синф, метасинф, мета-метакласс) онро як воситаи пурқувват барои метамоделсозӣ ва муҳандисии забонҳои моделсозии фармоишӣ месозад. Система бо интерфейси графикии хеле танзимшавандаи корбар ҳамроҳ аст, ки ба хусусиятҳои мантиқии сервери ConceptBase.cc асос ёфтааст. ConceptBase.cc метавонад маълумотро дар сатҳи додаҳо (маълумотҳои намунавӣ, пайҳои иҷрои равандҳо), сатҳи синф (схемаҳо, таърифҳои раванд), сатҳи метасинфҳо (сохтҳои забонҳои моделсозӣ), сатҳи метасинфҳо (конструксияҳо барои муайян кардани моделсозӣ) муаррифӣ кунад. забонҳо) ва ғайра. Намоиши якхелаи объект. Ҳама объектҳо дар сохтори ягонаи чоргонаи додаҳо бо номи P-фактҳо, ки аз ҷониби таҳиягарони забони Телос пешравӣ шудаанд, муаррифӣ карда мешаванд. Объектҳо, атрибутҳо, ихтисосҳо ва намунаҳои онҳо ҳама ҳамчун далелҳои P муаррифӣ карда мешаванд. Аз ин рӯ, масалан, атрибутҳои объектҳо метавонанд атрибутҳо дошта бошанд ва намунаҳои атрибутҳои дигар бошанд. Ҳатто ихтисос байни атрибутҳо пурра дастгирӣ карда мешавад. Ифодаҳои мантиқӣ. Қоидаҳо, маҳдудиятҳо ва дархостҳо дар формулаҳои мантиқии дараҷаи аввал ифода карда мешаванд. Дар дохили система, система онҳоро ба бандҳои Horn табдил медиҳад, ки аз ҷониби мошини арзёбии ба Datalog асосёфта тафсир карда мешавад. Ифодаҳои мантиқӣ дар ConceptBase.cc метавонанд дар ҳама гуна объект новобаста аз навъи он (гиреҳ ва истинод) ва сатҳи абстраксияи он фарқ кунанд. Datalog ҳамчун системаи боэътимоди ҳисоббарорӣ барои арзёбии ифодаҳои мантиқӣ маълум аст. Қоидаҳои фаъол. Қоидаҳои фаъол пойгоҳи додаҳоро навсозӣ мекунанд ё реҷаҳои берунаро ҳамчун вокуниш ба рӯйдодҳо даъват мекунанд.