Новая задача по представлению на языке OWL класса "Разнородный контейнер" предлагается для обсуждения в нашем Уголке  OWL.

Условие задачи можно прочитать здесь. Ждем ваших решений ))

Обсудить задачу можно здесь!

P.S. Форум работает в тестовом режиме,  о возможных проблемах в работе форума просьба сообщать.

Итак, после долгих и мучительных дебатов в Working Group, порой переходивших в личные разборки, WG все-таки закрыла второй (!) last call и OWL 2 получил статус Candidate Recommendation (CR). Это означает, что был достигнут компромисс по новым конструкциям языка и меняться он больше не должен.

Следующий этап - это переход в статус PR (Proposed Recommendation). Основной фактор тут - наличие реализаций, поддерживающих новые возможности (лог. процессоров, API и т.д.). Поэтому, если у вас есть система, работаюшая с OWL, то на этом этапе можно начинать поддержку OWL 2, не опасаясь нестабильности спецификации. Очень желательно, если вы расскажете о вашей системе (и о всех проблемах при ее реализации, если были) W3C, поскольку каждый такой шаг приблизит нас к финальной версии стандарта (следующий этап после PR).

Для справки здесь можно найти примерный список приложений, библиотек, API и т.д., который в той или иной степени поддерживают OWL.

Комментарии принимаются до 30-го июля по адресу public-owl-comments@w3.org

Введение

В предыдущих двух заметках я затронул тему неопределенности в онтологиях вообще, а затем, сузив область рассмотрения, перешел к вероятностным онтологиям, т.е. тем, в которых используется аппарат теории вероятности для придания семантики неопределенным утверждениям (или, следуя терминологии OWL - аксиомам). Теперь я могу кратко рассказать о своих попытках реализации вероятностного логического процессора, который (в какой-то степени) способен делать логические выводы над OWL-онтологиями, содержащими вероятностные аксиомы. Он называется Pronto (PRobabilistic ONTOlogies) и работает поверх известного OWL-процессора Pellet.
Читать продолжение »

Привет всем любителям OWL, а также желающим с ним познакомиться или узнать поближе. Мы только что создали страничку под названием Уголок OWL, в котором будут собираться интересные примеры использования OWL для моделирования нетривиальных классов.

OWL занимает одно из центральных мест в Semantic Web, но при этом не так много людей имеют опыт создания реальных онтологий. Часто вроде бы простые определения (например, класс "Дядя") вызывают трудности. В этом разделе мы будем собирать такие примеры и рассказывать как они могут (или не могут) моделироваться на OWL.

Нам очень важно, чтобы вы (читатели) активно принимали участие в создании примеров. Это будет полезно как вам, в смысле получения практики, так и нам - в смысле популяризации раздела и сайта в целом.

Кроме того, как многие из вас знают, в настоящее время идет стандартизация OWL 2 и разработчики очень приветствуют создание тестовых примеров - фрагментов OWL 2-онтологий, на которых можно было бы проверить корректность работы логических процессоров. Примеры должны быть достаточно просты, чтобы люди могли их понимать, но в то же время нетривиальны, чтобы было интересно тестировать те же Pellet, FaCT++, HermiT и другие. Будет очень хорошо, если сообщество SHCHERBAK.NET внесет свой вклад в развитие OWL 2.

Мы начнем с простой странички, которая со временем может перерасти в наш собственной репозиторий OWL-примеров. Мы будем также благодарны за любые замечания/пожелания, а также проверку примеров и нахождение неизбежных ошибок!

Уголок OWL

Уже давно SHCHERBAK.NET превратился из моей домашней странички в нечто большее, главной целью которого является ознакомление читателей с интересными материалами по технологиях Semantic Web.

Скажу чесно, когда я начинал изучать Semantic Web, в русскоязычной части интернета не было подобных образовательных ресурсов. И это было не хорошо. Попытки собрать воедино разрозненные фрагменты информации о SW  на русском  в то время не привели к успеху. Сейчас глобально ситуация не изменилась, но есть зарождающиеся островки информации, которые помогут нам, пользователям, предствителям русскоязычного сообщества SW создать мощную платформу для будущих свершений в области семантическоо веба. И мне очень приятно, что одним из таких островков будет SHCHEBAK.NET.

На сегодняшний день, как читатели могли заметить, сайт пополнился интереснейшими очерками по тематикам OWL и JADE, за что  можно поблагодарить новых участников SHCHERBAK.NET, а именно Павла Клинова и Екатерину Владимирскую. Чесно сказать, я сам с интересом читаю их труды и открываю для себя очень много нового. В этом плане я даже пошутил - подписался на RSS сайта  SHCHERBAK.NET ... ))

Об новых участниках сайта SHCHERBAK.NET можно прочитать здесь !!!

PS. На этой странице я думаю в ближайшем будущем вы увидите много сюрпризов

C ув.  Щербак Сергей, ведущий сайта SHCHERBAK.NET

Аннотация

В предыдущей статье я постарался осветить самые общие вопросы, касающиеся представления неточных знаний в онтологиях. Была приведена классификация типов неточных знаний, основными из которых являются неопределенные и нечеткие знания. Далее мы несколько сузим область интересов и рассмотрим проблемы представления вероятностных аксиом в онтологиях OWL. Основной упор будет сделан на том, как можно придать формальную семантику вероятностным аксиомам, так чтобы из вероятностных онтологий можно было делать интересные логические выводы (подобно тому, как они делаются из обычных OWL-онтологий).
Читать продолжение »

Аннотация

2 недели назад я написал небольшую заметку о неопределенности в онтологиях и был весьма польщен, что она вызвала определенный интерес (в связи с чем выражаю глубокую признательность всем оставившим комментарии). Как и было обещано, я начал работу над продолжением, в котором я планировал более подробно остановиться на семантике вероятностной неопределенности в OWL. Однако в процессе написания я все больше склонялся к мысли, что стоит все же потратить время на классическую семантику OWL. В итоге я решил вынести это обсуждение в отдельную заметку, так как семантика OWL потребует некоторого знакомства с семантикой в логике вообще.
Читать продолжение »