ConceptBase.cc

Lýsing

ConceptBase.cc er fjölnota afleiðandi gagnagrunnskerfi með hlutmiðuðu gagnalíkani. Hæfni þess til að tákna upplýsingar á hvaða útdráttarstigi sem er (gögn, flokkur, metaclass, meta-metaclass) gerir það að öflugu tóli til að meta og útbúa sérsniðin líkanamál. Kerfinu fylgir mjög stillanlegt grafískt notendaviðmót sem byggir á rökfræðilegum eiginleikum ConceptBase.cc þjónsins. ConceptBase.cc getur táknað upplýsingar á gagnastigi (dæmi um gögn, ummerki um framkvæmd ferla), flokkastigi (skemmur, ferliskilgreiningar), metaklassastig (smíði líkanamála), meta-metaclass stigi (smíðar til að skilgreina líkanagerð tungumálum) og svo framvegis. Samræmd framsetning hluta. Allir hlutir eru sýndir í samræmdu fjórfaldri gagnastrúktúr sem kallast P-staðreyndir sem brautryðjendur telós-málsins hafa þróað. Hlutir, eiginleikar þeirra, sérhæfingar og staðsetningar eru allir táknaðir sem P-staðreyndir. Með þessu, til dæmis, geta eiginleikar hlutar haft eiginleika og eru dæmi um aðra eiginleika. Jafnvel sérhæfing milli eiginleika er fullkomlega studd. Rökfræðileg tjáning. Reglur, takmarkanir og fyrirspurnir eru settar fram í fyrstu-gráðu rökfræðiformúlum. Innbyrðis umbreytir kerfið þeim í Horn-ákvæði sem túlkað er af gagnagrunnsmiðaðri matsvél. Rökfræðileg tjáning í ConceptBase.cc getur verið yfir hvaða hlut sem er óháð gerð hans (hnút á móti hlekk) og útdráttarstigi hans. Datalog er þekkt fyrir að vera öflugasta reiknikerfið til að meta rökrænar tjáningar. Virkar reglur. Virkar reglur uppfæra gagnagrunninn eða kalla á ytri venjur sem viðbrögð við atburðum.