Методология разработки онтологии строительной отрасли: различия между версиями

Материал из Свод знаний по информационному моделированию
Перейти к навигации Перейти к поиску
(Первоначальная редакция страницы)
 
(добавлен раздел "Базовая онтология")
Строка 1: Строка 1:
−
На этой странице планируется описать методологию построения онтологии строительной отрасли
 +
Для разработки методологии формирования онтологии информационного моделирования и онтологии строительной отрасли.
  +
  +
В первую очередь необходимо сформировать полноценную онтологию информационного моделирования.
  +
  +
== Базовая онтология ==
  +
Для формирования онтологии информационного моделирования была выбрана базовая онтология GFO.
  +
  +
Разработке онтологии GFO предшествовало несколько научных отчетов и работ:
  +
# The Method of Levels of Abstraction <ref>Floridi L. The Method of Levels of Abstraction // Minds and Machines. 2008.</ref>
  +
  +
  +
В этих работах сделана попытка разработки методологии структурирования информации. Рассмотрим некоторые определения из этих работ:<br>
  +
  +
'''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.''
  +
  +
<references />

Версия 00:22, 4 июля 2021

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

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

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

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

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

  1. The Method of Levels of Abstraction [1]


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

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.

  1. ↑ Floridi L. The Method of Levels of Abstraction // Minds and Machines. 2008.
Источник — https://www.imbok.pro/index.php?title=Методология_разработки_онтологии_строительной_отрасли&oldid=107