SearchLan.15926 -- coming soon
Sharge
[info]vvagr
Выступил на конференции Semantic Days 2012 в Ставангере с докладом:



Рассказал про планирующийся ближе к концу мая выпуск .15926 продукта, поддерживающего специальный язык семантического поиска по данным ISO 15926 -- SearchLan.15926. Примеры синтаксиса поиска и скриншоты результатов - смотрите в презентации. Тезисы по-английски на https://www.posccaesar.org/wiki/PCA/SemanticDays2012/Bios#Victor_Agroskin

Конференция https://www.posccaesar.org/wiki/PCA/SemanticDays2012 была весьма интересна, ждите публикации там всех слайдов, обещали скоро. Стандарт упоминался часто и в основной программе, не то что год назад. Сближение ISO 15926 с мейнстримными течениями SW налицо, хотя зачастую и в ущерб специфическим конструкциям стандарта.

Доклады конференции FIATECH 2012 -- новости ISO 15926
Фото Лебедева
[info]ailev
Много-много свежих слайдов по использованию ISO 15926 в "реальном секторе" -- http://www.fiatech.org/tech-conference-showcase/tech-conference-presentations/2012
  • Leave a comment
  • Add to Memories

.15926 на конференциях и семинарах в 2012 году
Фото Лебедева
[info]ailev
Мы потихонечку налаживаем международные контакты, развивая .15926 в масштабах глобуса, а не только одной седьмой части суши. Так, ISO 15926 нашими усилиями дважды был упомянут в Коммюнике Ontology Summit 2012 (http://ontolog.cim3.net/OntologySummit/2012/files/OntologySummit2012Communique-v1.0.pdf -- я там со-редактор), что очень неплохо -- вся тусовка computational ontologists ничего раньше об этом стандарте не слышала. На самом Саммите за февраль-апрель 2012 у меня было три доклада (два самостоятельных и один совместный с Cory Casanave).

[info]vvagr будет докладывать "Semantic search and reporting implementation on .15926 platform" .15926 10 мая 2012 на Semantic Days в Осло (https://www.posccaesar.org/wiki/PCA/SemanticDays2012/Bios#Victor_Agroskin).

Мы рассказываем о проекте и в России. Так, презентация функциональности Scanner из будущего релиза .15926 прошла на третьей Рабочей встрече по проблемам системной инженерии, которую 12-15 апреля 2012 в подмосковном Бекасово проводило Российское отделение INCOSE (пункт 4 в http://incose-ru.livejournal.com/35007.html).

К лету выйдет релиз с минимальной функциональностью .15926 софта как платформы онтологического программирования (builder+scanner). И тогда вокруг этого невидимого и неинтересного простым пользователям "карбюратора" нужно будет построить полный автомобиль -- всем интересный и понятный. Я думаю, что этим сможет заняться сразу несколько команд в разных предметных областях. Мы же в TechInvestLab будем продвигаться с предметной областью архитектуры предприятия: проектом [info]praxos.
  • Leave a comment
  • Add to Memories

TabLan Data Modeling Methodology
Sharge
[info]vvagr
TabLan Data Modeling Methodology is released in (English) - http://techinvestlab.ru/files/TabLan/TabLan.rar . TabLan is a table language for a formal data model creation from a natural language technical document. The methodology is accompanied by data mapping specification for TabLan table transformation into the ISO 15926 – compliant data model in RDF/OWL, and some samples.

Part of TabLan language is much simplified version of Gellish. TabLan mapping specification shows the potential of .15926 approach to mapping using a domain-specific language built on established general-purpose programming language (Python for .15926 platform). More on that - in Annexes 1 and 2 to the specification.

TabLan table transformation into ISO 15926 RDF is done by .15926 Editor software (new release supporting TabLan can be downloaded from http://techinvestlab.ru/files/dot15926Editor/dot15926Editor087m.rar ).

Опубликована (на английском) методология использования табличного языка описания данных TabLan и спецификация мэппинга для трансформации таблиц TabLan в модель данных по ISO 15926. Также опубликован новый релиз .15926 Editor, поддерживающий спецификацию мэппинга TabLan. Язык TabLan разработан для формального представления содержания технических документов, написанных на естественном языке.

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

P&ID и language workbenches
Фото Лебедева
[info]ailev
.15926 хочет быть language workbench и уметь работать с инженерными данными. Эта идея была высказана несколько лет назад, когда language workbenches вообще не были известны членам мирового инженерного сообщества. Я писал статьи, которые для инженеров казались какой-то фантастикой (например, http://levenchuk.com/2009/12/08/sysml-is-the-point-of-departure-for-mbse-not-the-destination/ -- это 2009г., спецвыпуск INCOSE INSIGHT по моделеориентированной системной инженерии, я рекламировал там language workbench).

А дальше оказывается, что не только Intentional Software выигрывает в ноябре конкурс по продолжению META и META II проектов DARPA (а именно -- iFAB, http://intentsoft.com/news/pressreleases/pr_11-14-11a.html), но и language workbench competition 2012 года имеет своим предметом piping and instrumentation diagramm (P&ID) -- http://www.languageworkbenches.net/index.php?title=LWC_2012. Уже зарегистрировалось 10 language workbenches на поработать с P&ID. Правда, .15926 пока среди них нет. Мы пока медленно запрягаем, но зато я надеюсь потом поехать быстро. Обгонять мы начнём в тот момент, когда нужно будет показать, как эти P&ID сочетаются с имитационным моделированием, геометрией, электрикой, закупками -- и так далее, со всеми остановками. Вот тут мы (как одна из двух в мире реализаций полной IRING архитектуры с блэкджеком и так далее) неожиданно можем скакнуть с места в карьер.

Так что я не считаю, что мы куда-то сильно опоздали. По крайней мере, погоды стоят предсказАнные, а я еще раз подтвердил свой первый юношеский разряд по прозорливости ;-)

Сессия Ontology Summit по интеграции и федерации систем
Фото Лебедева
[info]ailev
Не прозевайте 1 марта в 21:30MSK поучаствовать в сессии Ontology Summit по интеграции и федерации систем -- там будет довольно существенно цепляться ISO 15926 и похожие на него проекты (Simantics, инициатива стандарта интеграции данных OMG и т.д.).

Инструкции, как участвовать, и что там вообще происходит -- http://ailev.livejournal.com/983827.html
  • Leave a comment
  • Add to Memories

Курс обучения ISO 15926
Sharge
[info]vvagr
Провёл курс обучения ISO 15926.

Заняло 3 дня подряд по 7 часов в день.

Плотная лекция, с небольшими вопросами в аудиторию и ответами на вопросы из аудитории. (Выдача заданий для самостоятельной работы пока не умещается, но будет умещена.)

Программа:

День 1

1. Модели данных, применение в интеграции данных, критерии качества моделей.

2. Концептуальные модели. Онтологии.

3. Сущности и атрибуты, субстанциональная пардигма.

4. Объектная парадигма. Безатрибутная модель.

5. Отношения, реификация.

6. Время. 3D и 4D.

7. Экстенсионализм, физический и функциональный объект, мереология.

8. Классы, типы.

10. Жизненный цикл.

11. Общее введение в ISO 15926.
- архитектура моделей
- справочные данные
- архитектура интеграции
- история
- части стандарта
- организации, проекты и планы

День 2

1. Языки диаграмм.

2. Концептуальная модель части 2. Обзор 201 типа, примеры моделирования. (Реальный охват - около 70% раздела 4 части 2, в зависимости от предполагаемого проекта слушателей 30% им ненужного отбрасывается)

День 3.

1. Повторение элементов концептуальной модели.

2. Части 4 и 6. Табличное представление, метаданные.

3. Часть 7. Стандарт в FOL, шаблоны.

4. Семантический веб, часть 8. Идентификация справочных данных.

5. Сопоставление представлений информации по стандарту: табличное, диаграмное, FOL, XML, RDF/OWL

6. SPARQL, архитектура интеграции данных iRING.

7. Демонстрация работы с RDL через веб-интерфейсы и через .15926 Editor.

8. Практика редактирования данных в .15926 Editor.

9. Обзор источников дальнейшей информации.

Требования к участникам:

Базовый английский и начальные сведения по теории множеств, математической логике, языкам разметки данных (в объёме представлений о структуре HTML).

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

Надо, конечно, добиваться того, чтобы слушатели умели построить диаграмму модели, описать в таблице и построить шаблоны, а потом записать их экземпляры. Туда и будем развивать упражнения. На RDF/OWL в трёхдневный курс упражнений не будет.

Трудности в освоении ISO 15926
Фото Лебедева
[info]ailev
Сначала я хотел дать короткий список абсолютно контринтуитивных мест ISO 15926, в которых путаются все без исключения, и для которых требуется специальная разъяснительная работа:
1. Классы классов, классы и индивиды -- членство в классах. Специализации как противопоставление этому. Как жить без атрибутов.
2. События, изменения, причинность и процессы как отношения временнЫх частей вещей. Виды участия в изменениях (activity). Как жить без процессов.
3. Как моделировать систему: функциональные объекты (PBS) и конструктивные объекты (комплектующие/предметы снабжения). Как жить в системном подходе.
4. Отдельная беда: все три предыдущие контринтуитивности используются одновременно и в сочетании.

Потом понял, что этот список а) слишком короткий, это только главное, что лежит на поверхности и б) у каждого отдельного ученика могут быть затыки даже не в этих местах, а в каких-нибудь других (взять хоть те же presentation и representation).

И решил пока никакого списка не писать.

Что не отменяет нужды в учебном материале по хотя бы трём первым пунктам. Ибо более-менее подробные объяснения из книжки BORO делаются в совсем другой онтологии/терминологии, нежели скупые пояснения в книжке HQDM, а в ISO 15926 никаких разъяснений нет (кроме нескольких примеров из 15926.info), а онтология/терминология опять же отличается от используемых в разъяснениях-пояснениях. Можно, конечно, уповать на то, что самые сильные ученики прорвутся через все три варианта -- и просветлятся в понимании общего для всех трёх источников знания принципа, и будет им неизбывное счастье (ну, или неизбывное расстройство, когда поймут, что отцы основатели и основоположники (отцеположники -- для краткости) не договорились, и везде объясняется похожими словами похожее, но совсем разное.

В любом случае, от ISO 15926 ломка головы нешуточная -- и требуется довольно солидное время для привыкания даже к рационально уже понимаемому.

Беда в том, что у меня есть гипотеза: ISO 15926 имеет ту же природу, что компьютер (любая вещь, в которую вставляют компьютер, ведет себя уже не так, как эта вещь, а как компьютер) или Мидас (который превращал в золото всё, к чему прикасался) или серая слизь (которая разъедает всё, превращая в саму себя). Мне кажется, что в отличие от "ISO 15926 outside" (где пользовательские системы полностью закрывают само наличие ISO 15926 где-то в недрах обработки данных), любая попытка использования ISO 15926 для моделирования чего бы то ни было связана с преодолением этого входного образовательного ценза. Никакие мэппинги и прочие формальные трансформации данных не спасут от существования классов классов или различения функциональных/системных объектов и структурных/конструктивных, не спасут от понимания процессов как структуры/сборки из временных срезов вещей.

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

Как поднять свой RDL
Sharge
[info]vvagr
Научившись готовить данные в .15926 Editor, мы озаботились тестированием загрузки их в triple-store и проверкой - как читать их обратно по SPARQL. Короче говоря, как сделать свою собственную библиотеку справочных данных типа "песочница".

Результатом стала простая инструкция http://techinvestlab.ru/files/howtosparql/RDLVirtuosoHowTo.rar - как поднять на локальной машине сервер Virtuoso Open Source, сконфигурировать его и загрузить в него данные в соответствии с правилами создания библиотек справочных данных ISO 15926.

Это совсем не инструкция по созданию надёжной RDL для промышленных приложений, но это хороший старт для разработки такого решения.

.15926 Editor updated
Sharge
[info]vvagr
The feature and usability release 0.87 at http://techinvestlab.ru/files/dot15926Editor/dot15926Editor087.rar Some features are really nice, please update!

New in version 0.87:

- Capability to add and edit template instances in preset Tablan.

- Correct visualization of Same As data attribute.

- Data source indication for data items viewed.

- Reload of entities for interrupted SPARQL request.

- Process interruption with window closure (mistake correction capability).

- Capability to access password protected SPARQL endpoints.

- URI dereferencing and web access for data model items and all data items.

- Some usability tips and tricks in documentation.

You are viewing the community [info]dot15926