Можем ли мы связать более одного типа данных с одним литералом?

Question

Вслед за этим вопросом: Difference between domain and range in rdf schema?

Я обсуждал с моим руководителем, который сказал мне, что возможно иметь несколько значений для диапазона. Я согласен с этим, но в контексте предиката как литерала (конечное значение) (не класса), а диапазон - это тип данных, возможны различные типы данных ?.

Приведем пример: у нас есть предикат «.../name», поэтому внутри имени мы находим диапазон свойств со значением xsd: String. Могу ли я выразить значение «Мэри» как двоичное, например «1010100101», и добавить двоичный файл типа данных?

Мой аргумент для окончательных значений диапазон свойств не может быть связан с несколькими значениями (типами данных).

Заранее спасибо.

Answer 1

Возможно иметь соединение типа данных или ограничение dataOneOf как диапазон, чтобы свойство имело наполнители из непересекающихся типов данных. В противном случае, это не возможно иметь две аксиомы, как:

p range xsd:int 
p range xsd:string 

без этого подразумевающего

p subPropertyOf owl:bottomDataProperty 

т.е. свойство не может появиться в утверждении (аналог из невыполнимого класса).

Это потому, что утверждения диапазона должны быть обозначены как AND - аргумент указывает, что наполнитель для p относится ко всем указанным диапазонам. Это работает хорошо, пока литерал имеет совместимый тип данных и значение вписывается в пространство значений всех утверждений диапазона; если это не так, это столкновение.

(Это верно для OWL и OWL2 как минимум)