УДК 681.3

Грегер С.Э. ГОУ ВПО «Уральский федеральный  университет  имени первого Президента России Б.Н.Ельцина», Нижнетагильский технологический институт (фил.). Факультет экономики и менеджмента, кафедра информационных технологий, доцент. Россия. Нижний Тагил. segreger@gmail.com

Распространение дистанционного образования  и внедрение информационно-коммуникационных технологий  в образовательный процесс выявили растущую потребность как в   разработке образовательных электронных изданий (ОЭИ), так и в способах электронного   представления нормативных документов.  Обычно содержимое ОЭИ сильно зависит от учебного плана соответствующей дисциплины и должно быть  скорректировано  при изменении последнего.

Для специальностей, связанных с одной предметной областью, например с областью информационных технологий, наблюдается интеграционный характер  их дидактических единиц.  Так, такая дидактическая единица как тема дисциплины может  иметь множественное представление в разных учебных курсах, иметь различное лексическое представление, но семантически  представлять собой одну тему учебной  дисциплины.  Вместе  с этим, одноименные  темы учебных  курсов могут  поддерживаться  различными дидактическими единицами – презентациями лекций, описаниями лабораторных работ и т.п., использование которых определяется степенью подготовки  обучаемых, целями учебного курса, временными ограничениями учебного плана.

Читать продолжение »

Нижеследующий материал в формате вопрос/ответ  в основном базируется на размышлениях Натальи Кеберле...

... не могу философию Jena понять

Кеберле Н. (Очень вкратце и очень неполно...)

Во-первых, Jena парсит входные данные, цепочка:
Model(URI)->ModelReader.

Во-вторых, по наборам правил, хранящихся в каталогах com\hp\hpl\jena\reasoner\rulesys, выполняет логический вывод. Выберем OWLMicro - получим какой-то минимальный набор действий, связанных с подклассами, и.т.д.
SymmetricPropertyImpl из пакета com.hp.hpl.jena.ontology.impl поборет симметричные свойства из OWL.

В-третьих, Jena предоставляет интерфейс для графа, созданного из ModelReader, цепочка:
ModelReader->InfGraph, com.hp.hpl.jena.reasoner.InfGraph.
Можно проимплементить этот граф по-своему, либо, смотря по задаче (насколько стандартна), использовать готовую имплементацию (Пеллет).

Читать продолжение »

Ув. читатели, как вы уже наверняка заметили в хедере моего блога появилась флеш-панель с выводом тем последних дискуссий форума Semantic Web User Group. Это сделано для того, чтобы вы всегда могли получить самую свежую информацию о текущих дискуссиях на форуме.

Итак, развиваем семантические технологии вместе...

Нижеследующий материал в основном базируется на размышлениях Павла Клинова и пользователя Root Wheelkens.

1) Про интеграцию данных на основе OWL

(П. Клинов): Интеграция данных - это, наверное, одно из наиболее часто упоминаемых приложений не только OWL, но вообще семант. технологий. На мой взгляд для этого лучше подходят менее выразительные языки. В частности, при стандартизации OWL 2 для этой цели был сформулирован отдельный профиль - OWL 2 QL. Он основан на логике DL Lite (которая намного беднее той, что стоит за OWL 2 DL и, тем более, FOL), но зато у нее есть ключевое свойство: запросы могут (относительно) легко переписываться с учетом онтологии, чтобы результаты могли включать неявно заданные факты. При этом есть возможности вывода, которых нет, например в RDFS + есть гарантии хорошей вычислительной сложности. Подобное переписываение (query rewriting) позволяет, в частности, скрыть разнородные источники данных за общей онтологией (схемой), описав в ней как их схемы должны сопоставляться друг с другом. У Карстена Лутца (Carsten Lutz) есть ряд хороших статей на эту тему. Некоторые RDF DB постепенно начинают поддерживать SPARQL с лог. выводом в рамках OWL 2 QL.

Более выразительные языки (OWL 2 EL, OWL 2 DL), *на мой взгляд*, полезнее не столько для непосредственной интеграции данных, сколько для управления терминологиями в сложных областях (медицина, химия, биоинформатика). Здесь важно, чтобы люди и приложения, работающие над общими задачи, имели возможность утвердить и придерживаться общей семантики терминов. Для этого за посление лет 15 было создано немало крупных онтологий (SNOMED, Gene Ontology, Foundational Model of Anatomy, etc.). Точное описание семантики терминов требует выразительности.

Ну и напоследок замечу, что все рады бы использовать FOL, если бы не вычислительная полуразрешимость (что для вывода фактически эквивалентно неразрешимости). А Пролог - это не FOL, а (грубо говоря) определенное его подмножество, в чем-то богаче, в чем-то беднее чем DL. В контексте семант. технологий большую распространенность получила разновидность, Datalog, которую периодически пытаются использовать.
Читать продолжение »

Статьи с конференции OSTIS - 2011

Секция 1

1.1.  Облачная платформа для разработки и управления интеллектуальными системами // В.В.Грибова, А.С. Клещев, Д.А. Крылов, Ф.Н. Москаленко, С.В. Смагин, В.А. Тимченко, М.Б. Тютюнник, Е.А. Шалфеева.

1.2.  Подход к построению интеллектуальных информационных систем на основе семантических сетей // Ю.А. Загорулько.

1.3.  Принципы построения массовой семантической технологии компонентного проектирования интеллектуальных систем // В.В. Голенков, Н.А. Гулякина.

1.4.  Интеграция баз данных и знаний интеллектуальных систем на основе алгебраического подхода // А.А. Зуенко, Б.А. Кулик, А.Я.Фридман.

1.5.  Семиотико-хроматические гипертопосети: унифицированная модель представления знаний // А.Е. Баранович.

1.6.  Семантические сети как формальная основа решения проблемы интеграции интеллектуальных систем. Формализм автоматического формирования семантической сети с помощью преобразования в многомерное пространство // А.А. Харламов, Т.В. Ермоленко.

1.7.  Принципы организации инструментальной среды и разработки в ней интеллектуальных систем на семантических сетях (на примере IDEMULTISTUDIO) // В.А. Катаев.

1.8.  Перспективы использования семантических сетей для защиты информации // В.А. Мищенко, В.В. Голенков, Ю.В. Виланский, В.В. Захаров.

Читать продолжение »

Полным ходом идет подготовка к международной научно-технической конференции "Открытые семантические технологии проектирования интеллектуальных систем" (Open Semantic Technologies for Intelligent Systems – OSTIS-OSTIS 2011, которая пройдет 10-12 февраля в Минске, Республика Белорусь. Мою заметку об OSTIS 2011 можно почитать здесь!

В рамках конференции будет проведена выставка, где будет представлено различное интеллектуальное программное обеспечение.
Список основных вопросов, о которых можно будет услышать на OSTIS:

Читать продолжение »

10-12 февраля 2011 года пройдет международная научно-техническая конференция "Open Semantic Technologies for Intelligent Systems – OSTIS-2011" в Минске, Республика Белорусь.

ВАЖНО - до 1 декабря подача тезисов!!! Участие бесплатное - спасибо спонсорам

Участвуем, должно получиться интересное событие в мире Semantic Web!

По организационным вопросам можно обращаться как ко мне через почту ontolog[@]gmail.com, так и непосредственно к организаторам на сайте OSTIS.

Тема конференции

Разработка комплекса согласованных технологий, ориентированных на проектирование различных компонентов и различных классов практически полезных интеллектуальных систем, имеющих как можно более длительный жизненный цикл и большее количество пользователей. При этом указанный комплекс технологий должен обеспечивать:

• совместимость и интегрируемость проектируемых интеллектуальных систем и их компонентов;
• сокращение сроков проектирования интеллектуальных систем на основе библиотек типовых совместимых компонентов;
• ориентацию на семантическое представление знаний;
• независимость технологий от функциональности интеллектуальных систем и областей их применения;
• независимость технологий от многообразия платформ реализации проектируемых интеллектуальных систем;
• открытый характер и доступность технологий для широкого круга разработчиков, что должно обеспечить возможность быстрого прототипирования интеллектуальных систем силами экспертов без участия специалистов в области искусственного интеллекта;
• совместимость и интегрируемость самих технологий, входящих в состав комплекса;
• открытый характер не только использования технологий, но и их развития в рамках открытого проекта.

Вопросы, выносимые на обсуждение

• Проблема интеграции интеллектуальных систем и их компонентов, решение которой лежит в основе создания технологии компонентного (модульного) проектирования интеллектуальных систем. Семантические сети как формальная основа решения проблемы интеграции интеллектуальных систем.
• Проблема независимости технологий проектирования интеллектуальных систем от различных платформ и вариантов их реализации, включая использование специальных компьютеров. Абстрактные модели интеллектуальных систем, являющиеся инвариантами различных способов их реализации.
• Состав комплекса совместимых технологий компонентного проектирования интеллектуальных систем.
• Технология компонентного проектирования баз знаний на основе семантических сетей.
• Технология компонентного проектирования программ различных языков программирования, ориентированных на обработку семантических сетей.
• Технология компонентного проектирования нейронных сетей, ориентированных на обработку баз знаний, представленных семантическими сетями.
• Программная и аппаратная реализация языков программирования, ориентированных на обработку семантических сетей на разных платформах.
• Технология компонентного проектирования средств навигации и интеллектуального поиска в семантическом пространстве.
• Технология компонентного проектирования интеллектуальных решателей задач, построенных на основе семантических сетей.
• Технология компонентного проектирования гипермедийных пользовательских интерфейсов интеллектуальных систем, основанных на семантических сетях.
• Проблема совместимости и интеграции самих технологий, ориентированных на проектирование различных компонентов или различных классов интеллектуальных систем.
• Прикладные интеллектуальные системы, построенные на основе семантических сетей.
• Инфраструктура и менеджмент открытого проекта по созданию комплексной массовой технологии компонентного проектирования интеллектуальных систем, основанных на семантических сетях.