Являются ли схемы:domainIncludes и rdfs:domain (а ​​также схемы:rangeIncludes и rdfs:range) одинаковыми?

Schema.org определяет и использует предикаты с именами domainIncludes и rangeIncludes для связи типов со свойствами (например, <schema:name> <schema:domainIncludes> <schema:Person> и <schema:name> <schema:rangeIncludes> <schema:Text>).

Однако в спецификации RDF Schema 1.1 предикаты domain и range уже определены. (давая <schema:name> <rdfs:domain> <schema:Person> и <schema:name> <schema:range> <schema:Text>).

Мой вопрос сводится к следующему: являются ли предикаты domainIncludes и rangeIncludes schema.org эквивалентными предикатам RDFS domain и range?

И если так:

  • Почему schema.org определяет их в первую очередь, а не просто использует предикаты, предусмотренные стандартом RDF? Он уже использует другие определенные предикаты RDFS, такие как rdfs:label и rdfs:comment. Был ли это стилистический выбор? (Им не понравились названия «домен» и «диапазон»?)
  • Почему эта связь между предикатами не определяется с помощью owl:equivalentProperty или его эквивалента? Schema.org должен быть явным при создании предикатов, которые уже определены общепринятыми стандартами, такими как RDFS 1.1, особенно с учетом того, что его миссия заключается в структурировании и стандартизации Интернета.

В противном случае оставайтесь большим поклонником schema.org :)


schema rdf schema.org rdfs n-triples
person Ben Werner    schedule 11.05.2020    source источник
comment
Определение domainIncludes гласит: Связывает свойство с классом, который является (одним из) типом (типами), для которого ожидается использование свойства. — важная часть здесь (один of) тип(ы) - так что это в основном своего рода объединение/дизъюнкция. С RDFS и с помощью rdfs:domain вы не можете этого сделать, потому что наличие нескольких типов как rdfs:domain означает их пересечение, например. если у вас есть p rdfs:domain A. p rdfs:domain B и тройка a p b, то a принадлежит A и также B.   -  person UninformedUser    schedule 11.05.2020
comment
А для правильной дизъюнкции в RDFS вам нужен язык OWL для создания выражения класса A or B со встроенным предикатом owl:unionOf   -  person UninformedUser    schedule 11.05.2020
comment
это обсуждение, к сожалению, некорректно. схема включает спецификации @Class, которые являются полностью определенными целями для спецификаций @Property с использованием domainIncludes и rangeIncludes. При использовании этих типов схем вполне возможно использовать рассуждения.   -  person Jay Gray    schedule 13.05.2020
comment
«При использовании этих типов схем вполне возможно использовать рассуждения». Конечно, но это не то же самое, что рассуждения о домене и диапазоне OWL.   -  person Nicholas Car    schedule 14.05.2020

Ответы (1)


arrow_upward
1
arrow_downward

Почему schema.org определяет их в первую очередь, а не просто использует предикаты, предусмотренные стандартом RDF?

Schema.org не хочет, чтобы вы делали выводы, используя определенные свойства. Если бы я знал, что

<schema:name> <rdfs:domain> <schema:Person>

затем всякий раз, когда я видел <schema:name>, определенный для объекта, я мог сделать вывод, что объект имеет тип <schema:Person>. Schema.org использует <schema:name> для многих вещей, поэтому использует <schema:domainIncludes>, чтобы указать, как вы можете или следует его использовать, но не блокирует его.

Почему эта связь между предикатами не определяется с помощью owl:equivalProperty или эквивалента?

Это проблема политики для schema.org! Я предполагаю, что, как и многие онтологии общего назначения (например, словарь семантической сенсорной сети), , им нравится сохранять слабую семантику, чтобы обеспечить гибкость применения по сравнению со строгостью, о которой вы говорите, что вам нужно для вывода.

person Nicholas Car    schedule 12.05.2020
comment
Спасибо, это различие имеет смысл для меня. - person Ben Werner; 12.05.2020
comment
ИМХО вышесказанное не верно. Смотрите комментарий к вопросу. - person Jay Gray; 13.05.2020
comment
Если вы можете объяснить, почему рассуждения неверны, в виде альтернативного ответа, я с радостью рассмотрю это @JayGray - person Ben Werner; 16.05.2020
comment
Сделаю. В настоящее время я обсуждаю эту тему с другим МСП, так что время подходит. У нас есть несколько больших экземпляров @Class, которые работают на GSDTT и были обработаны ризонером (HermIT); необходимо определить, как лучше всего обрезать ответ stackoverflow. Документирование обновления может занять 3-4 дня. - person Jay Gray; 17.05.2020
comment
Я тоже этого жду! Будет полезно при использовании schema.org. - person Nicholas Car; 18.05.2020