Семантические информационные модели
и ISO 15926
Москва
16 апреля 2014г.
2
Приложения
проектанты
Приложения
Поставщики
Приложения
технология
Приложения
Эксплуатация
<подставьте свой любимый
станд...
Семантические технологии против
«обычного стирального порошка»
• Открытый мир против закрытого мира: пополняемость (XML –
...
PP656.4
Технология ISO 15926
Источник: FIATECH
Не хочу видеть никаких сумасшедших торговцев –
ты что, не видишь, что тут б...
iRING архитектура: ничего нового?
5
Product
data
model
ISO 15926
RDL
federation
Product
data
model
Product dataProduct dat...
Добавили онтологию!
Стек стандартов Semantic Web (RDF и OWL) достаточен для федерации
информационных моделей только в рамк...
ISO 15926 и жизненный цикл
7
!
!!
ISO 15926 как механизм стандартизации
8
RDL
RDL (ГОСТы)
RDL (стандарты
отрасли)
RDL проекта
RDL каталога
Проектная информа...
Наличие доступных справочных данных: JORD RDL
Простота понимания инженерами: паттерны
9
Простота:
паттерны
Брать .15926 Ed...
Сила стандарта: разные реализации
Нужен набор инструментов:
• Редактор справочных данных
• Редактор мэппинга
• SPARQL endp...
Пример: Bechtel
• 53тыс. cотрудников, оборот более $27млрд.
• 13 лет подряд ведущий подрядчик строительных работ в США
• Д...
12
Спасибо за внимание!
Анатолий Левенчук,
ailev@asmp.msk.su
Виктор Агроскин,
vic5784@gmail.com
TechInvestLab.ru (член POS...
Upcoming SlideShare
Loading in …5
×

Семантические информационные модели и ISO 15926

9,201 views

Published on

Доклад на форуме "Многомерная Россия", 16 апреля 2014г.

Published in: Technology
4 Comments
3 Likes
Statistics
Notes
  • @yehorchurilov Вы мне не противоречите. Конечно, должны существовать островки логичности (в CYC их называют микротеориями, и это одно из самых важных открытий последних двух десятков лет). И логичность, конечно, не сводится к логикам первого порядка (даже в CYC там логика 'полуторного порядка', как они сами говорят). Но проход между микротеориями можно разными способами делать: fuzzy logic, лингвистика (в том числе проход через прототипные теории понятий, deep learning, и даже подключение звуковых ассоциаций, и т.д.), паттерны на решетках как у John Sowa и т.д.. Главное, что вычисления должны быть в итоге гибридными: логическими плюс статистическими. Про конструктивизм же я не возражаю, он сейчас везде по умолчанию идёт, даже в той же статистике закономерность считается найденной, если удалось построить генератор ;-)
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • @ailev Не согласен на счёт [вычислительной] лингвистики. Это уже перетоптанное философское и технологическое поле с видимыми принципиальными границами.

    Я бы сказал, что решение находится как раз за рамками языка. Оно должно быть там найдено,и только потом - спроецировано на язык. Это многореальностные конструктивистские подходы, вроде того, что собрано в (насколько помню) знакомой вам Теории Виртуальности С.Дацюка. Только более развитые в технологическом и более приспособленные в инженерном плане. ТВ интересна тем, что снимает довлеющие объектные схемы и предельный для мышления характер онтологий, но для инженерного воплощения никак не пригодна.

    У меня есть некоторая уверенность, что пока не будет философски осмыслен и технологически развёрнут в инженериях именно конструктивистский подход, наращивание мета-уровней мета-онтологий будет с большего бег по кругу, полезный для данного вопроса только тем, что создаёт хорошую инструментальную базу для *нотации*, от алгебр до triplestores. Но, в то же время, этой активности не хватает качественного денотата высокого порядка - в силу чего она с большего сама себя описывает.
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • @yehorchurilov Про 'антиаристотеля' можно почитать в первой половине книжки http://www.brunel.ac.uk/%7Ecssrcsp/BusObj.pdf

    Конечно, разные технологии снимают разные проблемы. Конечно, различные онтологии логически несопоставимы, и решения тут находятся в другой сфере: например, проход через лингвистику (т.е. сравнение объектов не по их онто-логической сути, а по тому, как о них говорят).
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • про 'Антиаристотеля' можно поподробнее? Речь же идёт про различные онтологии? Каким образом 'проблема снимается'? Решение интеграции может удешевиться я бы сказал, но полное снятие - это пока не про семантику, на мой взгляд.
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
No Downloads
Views
Total views
9,201
On SlideShare
0
From Embeds
0
Number of Embeds
7,967
Actions
Shares
0
Downloads
50
Comments
4
Likes
3
Embeds 0
No embeds

No notes for slide

Семантические информационные модели и ISO 15926

  1. 1. Семантические информационные модели и ISO 15926 Москва 16 апреля 2014г.
  2. 2. 2 Приложения проектанты Приложения Поставщики Приложения технология Приложения Эксплуатация <подставьте свой любимый стандарт> = «английский» для данных жизненного цикла Нейтральная схема данных («словарь английского») Типовая архитектура федерирования систем
  3. 3. Семантические технологии против «обычного стирального порошка» • Открытый мир против закрытого мира: пополняемость (XML – это закрытый мир, проблемы с merge независимо сделанных правок) • «Антиаристотель»: снимается проблема разного деления мира на объекты и их атрибуты в разных проектах: интеграция разных данных и унификация запросов • Связь раскиданных в Сети моделей (URI): • Самоописываемость моделей данных (resolvable URI), при этом описания как для людей, так и для программ – в зависимости от того, кто обратился к URI • Отсутствие деления на схему и данные: множество уровней метамоделирования, справочные данные • У трипл-сторов выше производительность на сложных запросах • Готовые обменные форматы: RDF и OWL • Формальные проверки (логика в OWL) 3
  4. 4. PP656.4 Технология ISO 15926 Источник: FIATECH Не хочу видеть никаких сумасшедших торговцев – ты что, не видишь, что тут битва идёт!
  5. 5. iRING архитектура: ничего нового? 5 Product data model ISO 15926 RDL federation Product data model Product dataProduct data 1 ISO 15926 Rule ISO 15926 2 circle radius radius*2 diameter окружность mappingmapping 1. Редактор мэппинга 4. адаптор 3. SPARQL endpoint 2. Редактор справочных данных 5. адаптор фасады
  6. 6. Добавили онтологию! Стек стандартов Semantic Web (RDF и OWL) достаточен для федерации информационных моделей только в рамках одной стадии жизненного цикла! В рамках федерации разных стадий (ISO 24744: life cycle stages определяются через change of mental framework) нужно определиться с одной картиной мира: как совмещать разные объекты (например, комплектующее стадии проектирования, предмет поставки стадии строительства, установленное оборудование стадии эксплуатации). 6 ISO 15926 даёт в плюс к семантике соглашение о моделировании мира, плюс моделирование представления мира в компьютере • 4D extensionalism • Отношения, которые при федерации пересекают границы информационных систем. Эти отношения главным образом – TemporalWholePart (Whole, Part) • Понятие «система» -- пример смены насоса. • Множественные классификации (классы классов)
  7. 7. ISO 15926 и жизненный цикл 7 ! !!
  8. 8. ISO 15926 как механизм стандартизации 8 RDL RDL (ГОСТы) RDL (стандарты отрасли) RDL проекта RDL каталога Проектная информация Данные каталога ISO/JORD Национальная ассоциация Отраслевая ассоциация Поставщик каталога Инжиниринговая компания
  9. 9. Наличие доступных справочных данных: JORD RDL Простота понимания инженерами: паттерны 9 Простота: паттерны Брать .15926 Editor (freeware) тут: http://techinvestlab.ru/dot15926Editor Более 58 тыс. объектов, включая более 10тыс. классов оборудования, более 1.5тыс. единиц измерения
  10. 10. Сила стандарта: разные реализации Нужен набор инструментов: • Редактор справочных данных • Редактор мэппинга • SPARQL endpoint [такой же, как в «просто семантике»] • Два адаптора (в ISO 15926 и из ISO 15926) Реализации iRING архитектуры: • iRINGTools (iRING usergroup во главе с Bechtel) • .15926 Platform (TechInvestLab) • RDL ПКФ Росэнергоатома • OpenPlant (Bentley Systems) • JORD RDL • XMpLant Protheus-2 • … Качество обеспечивается конкуренцией реализаций стандарта 10
  11. 11. Пример: Bechtel • 53тыс. cотрудников, оборот более $27млрд. • 13 лет подряд ведущий подрядчик строительных работ в США • До конца 2014 года ожидается 100% всех проектов Bechtel будут использовать ISO 15926 • Используется JORD RDL, никаких других «внутрифирменных» справочных данных! [невозможно в России – справочные данные по российским стандартам и именам имеют ограниченный интерес для JORD Над этим и нужно работать] 11 http://iringtoday.com/interview-with-frank-matthewson-of-bechtel/
  12. 12. 12 Спасибо за внимание! Анатолий Левенчук, ailev@asmp.msk.su Виктор Агроскин, vic5784@gmail.com TechInvestLab.ru (член POSCCaesar Association) +7 (495) 748-53-88 Проект .15926 Platform http://dot15926.livejournal.com

×