1

Тема: Description logics intro

Посмотрел пост Павла "О формальных основах OWL", где описывается DL и вспомнил, что лет 5 назад написал короткое введение: https://sites.google.com/site/alex0shko … gics-intro
Кажется оно не устарело;-)
Буду рад если пригодится.

Thumbs up Thumbs down

2

Re: Description logics intro

Да, пригодится, тем более я планирую вернуться к разработке задачника по  OWL
http://shcherbak.net/ugolok-owl/

3

Re: Description logics intro

Посмотрю на свежую голову. Про OWL 2 хочу написать определения для той его части которая связана с теоретико-множественными операциями.
Формально это сделано в http://www.w3.org/TR/2008/WD-owl2-seman … _for_OWL_2
но уж больно занудно. В концепте теории множеств будут простые внятные формулы.
Например,

Er.s = r*s,
где E - квантор существования. r - бинарное отношение, s - множество.
А * - операция умножения отношения на множество, дающая множество.

С Ar.s хитрее.

Thumbs up +1 Thumbs down

4

Re: Description logics intro

В дополнение - еще не добавлено в задачник - решение загадки Эйнштейна
http://forum.semanticfuture.net/viewtopic.php?id=11

5

Re: Description logics intro

Shcherbak пишет:

В дополнение - еще не добавлено в задачник - решение загадки Эйнштейна
http://forum.semanticfuture.net/viewtopic.php?id=11

Ну Эйнштейн думаю тут не причём.
Пока попробую решить сам (на бумаге;-).

И хочу продолжить о пользе ТМ-формул.
Вот формула для

Ar.s =def (r*s - r*(-s)) + (pr1(r) - r*s)

pr1 - левая (первого аргумента) проекция, т.е. множество стоящих первыми в парочках.
бинарный минус - вычитание множеств, унарный - дополнение, плюс - объединение.
в это формуле отчётливо видно, что есть две части, что скрыто в {x:...}
;-)

Thumbs up Thumbs down