Главная страница » База онтологий

Шаблон с композицией отображений

  • user warning: You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near '' at line 1 query: SELECT field_child_id_0_value FROM content_type_version WHERE field_parent_id_0_value = in /storage/home/srv18942/htdocs/drupal5/includes/database.mysql.inc on line 172.
  • user warning: You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near '' at line 1 query: SELECT field_parent_id_0_value FROM content_type_version WHERE field_child_id_0_value = in /storage/home/srv18942/htdocs/drupal5/includes/database.mysql.inc on line 172.
  • warning: substr_count() [function.substr-count]: Empty substring in /storage/home/srv18942/htdocs/drupal5/themes/bluemarine/node-content_.tpl.php on line 193.
Submitted by admin on сб, 2007-04-21 20:00.
Основные характеристики понятия
Среда понятия: 

Ядро системы

Текст понятия: 

A, B, C - области.
a1,a2 - элементы области A.
b1,b2 - элементы области B.
c1,c2 - элементы области C.
bool - область. boolt - bool.
f: A -> B. g: B -> C.
f(a1)=b1. f(a2)=b1. g(b1) = c1. g(b2) = t.

Введем шаблон [(g*f)(@y)]
с переменными:
[y: A]
и переменной результата "z: C";
Пояснения: "композиция отображений"
Условие применения шаблона:
""
Действие шаблона:
"[(g*f)]: A -> C; z = g(f(y))"
Тип доступа шаблона:[наследуемый].

Введем шаблон [h(@y)]
с переменными:
[y: A]
и переменной результата "z: C";
Пояснения: "композиция отображений"
Условие применения шаблона:
""
Действие шаблона:
"z=g(f(y))"
Тип доступа шаблона:[наследуемый].

Введем шаблон [@s==@r]
с переменными:
["s","r": терм]
и переменной результата "z: C";
Пояснения: "равенство"
Условие применения шаблона:
""
Действие шаблона:
"s = r; z=t"
Тип доступа шаблона:[наследуемый].

Используемые понятия: 

в данном понятии отношение использования не установлено

Шаблоны, разработанные в данном понятии: 

в данном понятии шаблоны не разработаны

»
у данной онтологии нет версий