ГОСТ Р 59794—2021
в виде схем показано в приложении Е. Отношения между онтологией объединения жизненного цикла и
объектами, определение которых на языке EXPRESS содержится в ИСО 15926-2. описано в прило
жении С.
Онтология удовлетворяет прямым семантикам OWL 2. Однако это достигается посредством ис
пользования паннинга и реализации связей между классами в форме текстовых примечаний OWL.
Практический опыт использования представления на основе прямых семантик OWL. позволяющий эф
фективно обеспечивать работу с автоматическими рассуждениями. описан в приложении Н. Онтология
подразделена на следующие составные части:
- часть, в которой рассмотрены индивиды и отношения между ними и обеспечена работа с рас
суждениями в OWL DL;
- расширение, содержащее подклассы класса и класс классов и их отношения. Эта часть в пол
ном объеме обеспечивает возможности ИСО 15926-2, результатом использования настоящего стандар
та являются данные, удовлетворяющие основанной на RDF семантике языка OWL 2.
П р и м е ч а н и е — Целью настоящего стандарта является обеспечение, настолько точно, насколько это
возможно, записи всех технических данных, и обеспечение непосредственных запросов с использованием таких
языков, как SPARQL.
4.4 Паннинг
В ИСО 15926-2 содержатся утверждения об отношениях между классами и классификацией клас
сов. Эти утверждения реализованы посредством создания представляющего класс индивидов класса
class of individual и представляющего класс классов индивидов класса class of class o f individual. Эти
классы в OWL отображаются в подклассы представляющего обобщенные классы класса Thing, а не в
подклассы представляющего классы класса Class.
Это является реализацией паннинга. определение которого содержится в документе «Новые осо
бенности и обоснование языка Web онтологий OWL 2» (OWL 2 Web Ontology Language New Features and
Rationale), выпущенном консорциумом W3C.
4.5 Предмет и класс
В ИСО 15926-2 содержатся определения представляющего предметы класса thing и представля
ющего классы класса class. Эти классы не равнозначны используемым в OWL классам Thing и Class.
Различия заключаются в следующем:
- представляющий предметы класс thing. В ИСО 15926-2 класс thing определен как дизъюнктив
ное объединение класса individual, представляющего предметы, имеющие протяженность в 4-мерном
пространстве-времени, и класса abstract object, представляющего абстрактные объекты, не имеющие
протяженность в пространстве и времени. В ИСО 15926-2 все классы являются или подклассами пред
ставляющего индивиды класса individual, или представляющего абстрактные объекты класса abstract
object. В ИСО 15926-2 члены представляющего предметы класса thing определяются относительно
4-мерной парадигмы или не зависимы от пространства и времени.
В других онтологиях члены представляющего предметы определенного средствами OWL класса
Thing не определяются в 4-мерной парадигме;
- представляющий классы класс class. В ИСО 15926-2 членами класса class (папки объекта class
в терминологии ИСО 15926-2 являются все наборы экземпляров объектов. В реализации средствами
OWL члены класса необязательно рассматриваются как классы. Также существует разница в подходах.
В ИСО 15926 класс является множеством его членов, а в OWL класс — определением, имеющим экс-
тенсионал. Два члена класса OWL равны, если они имеют одинаковый экстенсионал. Два члена
класса ИСО 15926 могут быть равны либо могут различаться.
5 Время и продолжительность во времени
5.1 Продолжительность во времени
Представляющий продолжительность во времени класс time duration является мерой того, как
долго существует индивид. Класс является подклассом представляющего количество класса quantity и
членом класса quantity kind, представляющего разновидности количеств.
5