Методология разработки онтологии строительной отрасли

Для разработки методологии формирования онтологии информационного моделирования и онтологии строительной отрасли.

В первую очередь необходимо сформировать полноценную онтологию информационного моделирования.

Базовая онтология

Для формирования онтологии информационного моделирования была выбрана базовая онтология GFO.

Разработке онтологии GFO предшествовало несколько научных отчетов и работ:

1. The Method of Levels of Abstraction

В этих работах сделана попытка разработки методологии структурирования информации. Рассмотрим некоторые определения из этих работ:

Definition: A level of abstraction (LoA) is a finite but non-empty set of observables. No order is assigned to the observables, which are expected to be the building blocks in a theory characterised by their very definition. A LoA is called discrete (respectively analogue) if and only if all its observables are discrete (respectively analogue); otherwise it is called hybrid.

Определение: "Уровень абстракции (LoA) - это конечный, но непустой набор наблюдаемых объектов. Никакой порядок не присваивается наблюдаемым, которые, как ожидается, будут строительными блоками в теории, характеризуемой самим их определением. LoA называется дискретным (соответственно аналоговым) тогда и только тогда, когда все его наблюдаемые являются дискретными (соответственно аналоговыми); в противном случае он называется гибридным."

Definition: the behaviour of a system, at a given LoA, is defined to consist of a predicate whose free variables are observables at that LoA. The substitutions of values for observables that make the predicate true are called the system behaviours. A moderated LoA is defined to consist of a LoA together with a behaviour at that LoA.

Определение: поведение системы в заданном LoA определяется как состоящее из предиката, свободные переменные которого наблюдаемы в этом LoA. Подстановки значений для наблюдаемых, которые делают предикат истинным, называются поведением системы. Модерируемый LoA определяется как состоящий из LoA вместе с поведением в этом LoA.