• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Семантические информационные модели и ISO 15926
 

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

on

  • 7,771 views

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

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

Statistics

Views

Total Views
7,771
Views on SlideShare
601
Embed Views
7,170

Actions

Likes
1
Downloads
19
Comments
4

2 Embeds 7,170

http://l.lj-toys.com 7165
http://www.google.ru 5

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel

14 of 4 previous next Post a comment

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

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

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

    Конечно, разные технологии снимают разные проблемы. Конечно, различные онтологии логически несопоставимы, и решения тут находятся в другой сфере: например, проход через лингвистику (т.е. сравнение объектов не по их онто-логической сути, а по тому, как о них говорят).
    Are you sure you want to
    Your message goes here
    Processing…
  • про 'Антиаристотеля' можно поподробнее? Речь же идёт про различные онтологии? Каким образом 'проблема снимается'? Решение интеграции может удешевиться я бы сказал, но полное снятие - это пока не про семантику, на мой взгляд.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

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

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