Моделирование Kinds - Update

[foxtreme]

Для того, чтобы двигаться дальше, фиксирую выбранное, на настоящий момент, решение по моделированию */*Kinds.

Согласен с тем, что написал Виктор "Для моделирования специфики использования powertype нам необходимо отразить в модели тот факт, что все элементы класса DocumentKind (сами по себе являющиеся классами в терминологии 15926 или клабжектами

Comments

[ailev]

Я вот не уверен, что связывать нужно с ISO 15926-2, а не с templates (ISO 15926-7). Как я понимаю, мы делаем для ISO 24744 набор классов с сопровождающими их ограничивающими аксиомами -- это OIM (object information model), который строится на базе templates.

А вот "разворачивание" ("опускание") этого всего в язык ISO 15926-2 должен делать сам софт, это прячется глубоко под капотом. Так что я бы искал подходящие templates, а не прямо использовал классы и свойства ISO 15926-2.

Впрочем, я могу ошибаться: при моделировании "более базовых конструкций" типа тех же Powertypes нам может потребоваться сначала создание специализированных для них templates, которые придется определять в терминах ISO 15926-2, а уже потом их можно будет использовать при моделировании ISO 24744. В любом случае это представляется корректнее, чем прямое поминание "языка ISO 15926-2" (атомарных отношений в смысле Gellish).

Про OWL Full -- похоже, что да. Но инструментов для работы с OWL Full кот наплакал.

[foxtreme]

У меня пока такое представление, в котором, впрочем, я тоже полностью не уверен:
Логично, что конечный продукт - это Templates, с которыми работают пользователи. Им требуется лишь знать сигнатуру нужных Templates, чтобы быть способными выражаться на этом языке. Но сами Templates мы собираем из классов RDL. Мы пытаемся наполнить RDL новыми, нужными нам объектами. Для этого наша OWL-модель должна быть как-то связана с ISO 15926-2.

Пока это лишь предположение. Методы моделирования еще не осознаны. Неплохо было бы обсудить.

Написал по поводу источников информации для Templates:
http://community.livejournal.com/praxos/3066.html

[vvagr]

Если я правильно понял ответы Глендиннинга - описанная конструкция с введенеием отношения Classification -- и есть в точности создание темплейтов 15926. Новые аксиомы про классы и их kinds - это и есть темплейты, их можно населять объектами.

Я только пока не пойму, как написать темплейт верхнего уровня - "любой Partitioned классифицирован своими Powertype", а потом породить все схемы классификаций конкретных классов как его специализации.

[ailev]

Спросить в комьюнити ISO 15926 в LinkedIn?

[vvagr]

Маленькое предлдожение - на картинке с красными рамочками надо показать также связь того же типа "уровнем выше", не конкретного Kind с экземпляром, а DocumentKind с классом Document (то есть вместо моей синей стрелочки).

И ссылка на файл с перечнем обработанных Powertypes из постинга не открывается, а из присланного письма - ОК.

[foxtreme]

Клабджект Report состоит из двух частей:
* ObjectFacet - Instance (Экземпляр) DocumentKind
* ClassFacet - Подкласс (Subtype) Document

Как я понимаю мы хотим показать 2 связи:
а) Связь ObjectFacet с экземпляром Document - уже показана
б) Связь ClassFacet с классом Document - то, что вы просите отразить
Сейчас добавлю Б к рисунку

По поводу ссылок мне не очень ясно. Раньше не пользовался GoogleDocs. Как вариант, может проблема из-за того, что если отсюда идти по ссылке вы не залогинены в gmail и он не может идентифицировать пользователя. Хотя я вроде настроил в той папке, чтобы все документы были доступны для просмотра без signing-in

[ailev]

У меня из письма и отсюда тоже все по-разному (из письма открывается, из постинга -- нет). И сама ссылка (URL) в письме и в постинге текстуально разная, так что неудивительно, что отсюда не открывается...