ГОСТ Р 59794—2021
В данных, соответствующих настоящему стандарту, отношения обычно представляются как тройки RDF.
Только в тех случаях, когда необходимы ссылки на отношение, они воплощаются посредством rdf:Statement.
В ИСО 15926-2 обьект class_of_relationship представляет двунаправленное отношение между классом и
представляемым объектом. В OWL объект rdfrProperty имеет прямое направление. Следовательно, в большин
стве случаев объект class_of_relationship реализуется как два экземпляра представляющего свойства класса
rdf: Property. Между этими экземплярами строится отношение owl: inverseOf. показывающее взаимообрагное
отношение. Исключением является случай, когда представляющий класс отношений объект class_of_relationship
реализован посредством экземпляра представляющего симметрично свойство класса owl: SymmetricProperty,
который обратим сам по себе.
В настоящем стандарте свойства классифицируются, где это приемлемо, как представленное классом
owl:TransitiveProperty переходящее свойство, представленное классом owl:SymmetricProperty симметричное
свойство, представленное классом owl:FunctionalProperty функциональное свойство или представленное клас
сом owhlnverseFunctionalProperty обратное функциональное свойство. В ИСО 15926-2 эта классификация не
представлена.
В.5 Класс классов отношений
В ИСО 15926-2 члены представляющего класс классов отношений класса class of class of relationship ис
пользуются для задания отношений между классами, а не между членами классов.
П р и м е ч а н и е — Эта возможность не может быть полностью реализована средствами OWL. но частично
такая возможность может быть предоставлена неформально тем способом, определение которого содержится в
настоящем разделе.
В конструкции существует много взаимосвязанных классов, где определения классов взаимозависимы. При
рассмотрении электрической схемы модели автомобиля выясняется, что в такой схеме присутствует много услов
ных обозначений, представляющих провода, датчики, исполнительные механизмы, осветительные приборы и т. д., а
также показаны их соединения. Однако каждое условное обозначение соответствует представленному классом
class of physical object классу физических объектов. Физические объекты, представленные объектами, относящи
мися к этим классам, присутствуют в каждом автомобиле рассматриваемой модели.
Совокупность взаимозависимых классов, используемых в представлении конструкции, может быть записана
математически с применением языка теории множеств следующим образом:
D = {(а. Ь
.......
z) | Р(а. b......... z)},
где D — конструкция:
(а. b........ z) — множество утверждений, задающих граничные условия, применяемые к составным частям
конструкции;
Р(а. b
.......
z) — набор утверждений, определяющих конструкцию.
Определения используемых в описании конструкции классов выглядят следующим образом:
А = { а 13 Ь, с,z : (а. b......z)e D }
В = { Ь 13 а. с......z ; (а.
b
.......z) е D }
ит.д.
В настоящемстандарте определенный в ИСО 15926-2 представляющий состав индивида объект composition
of individual реализован посредством следующих свойств объекта: свойство lci:hasPart. представляющее на
личие составляющей части, и свойство lci:partOf. представляющие вхождение в качестве составляющей части.
Определенный в ИСО 15926-2 объект class of composition of individual, представляющий класс составов
инди видов. в настоящем стандарте реализован частично посредством показанных на рисунке В.1 свойств
объектов.
11