Warning: Table '.\drupal5\cache_page' is marked as crashed and should be repaired
query: SELECT data, created, headers, expire FROM cache_page WHERE cid = 'http://ontoserver.rsuh.ru/ezop/?q=node%2F98474417' in C:\xampp\htdocs\ezop\includes\database.mysql.inc on line 172
Warning: Cannot modify header information - headers already sent by (output started at C:\xampp\htdocs\ezop\includes\database.mysql.inc:172) in C:\xampp\htdocs\ezop\includes\bootstrap.inc on line 531
Warning: Cannot modify header information - headers already sent by (output started at C:\xampp\htdocs\ezop\includes\database.mysql.inc:172) in C:\xampp\htdocs\ezop\includes\bootstrap.inc on line 532
Warning: Cannot modify header information - headers already sent by (output started at C:\xampp\htdocs\ezop\includes\database.mysql.inc:172) in C:\xampp\htdocs\ezop\includes\bootstrap.inc on line 533
Warning: Cannot modify header information - headers already sent by (output started at C:\xampp\htdocs\ezop\includes\database.mysql.inc:172) in C:\xampp\htdocs\ezop\includes\bootstrap.inc on line 534 Онтология ядра системы | Web-сервер онтологий
warning: Cannot modify header information - headers already sent by (output started at C:\xampp\htdocs\ezop\includes\database.mysql.inc:172) in C:\xampp\htdocs\ezop\includes\common.inc on line 141.
Примеры запросов
/*В любой онтологии можно задавать вопросы на вычисления вида: */
3+5*7-8/(3+2)?
/* В онтологии или запросе можно задать грамматику в форме Бэкуса. Например: */
Бул_выр ::="Конъюнкт | Бул_выр 'V' Конъюнкт".
Конъюнкт ::="Атом | Конъюнкт '&' Атом".
Атом ::="'f' | 't' | '(' Бул_выр ')' | '~' Атом | Переменная ".
Переменная ::= "'x_1' | 'x_2'".
/* и задать вопросы вида: */
x_1 V f - Бул_выр?
ответ : " да "
x_1 V ~x_2&x_1 - Бул_выр?
ответ : " да "
/* Можно задать вопрос по проверке того, как система разбирает выражения. */
/* Например: */
Какова структура x_1 V ~x_2&x_1?
ответ : "
< L0 >
< L1 >
x_1 < /L1 >
v < L1 >
< L2 >
~ < L3 >
x_2 < /L3 >
< /L2 >
& < L2 >
x_1 < /L2 >
< /L1 >
< /L0 >
"