OWL 2 QL vs. RDFS

Question

В объяснении W3C OWL 2 QL упоминается, что

В частности, этот профиль (то есть OWL 2 QL) содержит пересечение RDFS и OWL 2 DL.

Это предложение сбивает меня с толку, и мне было интересно, сможет ли кто-нибудь уточнить это.Означает ли это, что OWL 2 QL является подмножеством RDFS?Или это означает, что это более ограниченная версия RDFS (и, следовательно, больше аксиом, чтобы выразить эти ограничения).

Предположим, что у меня есть КБ, в которой используются только следующие аксиомы: rdfs: домен, rdfs: диапазон, rdfs: subclassOF, rdf: тип, owl: ObjectProperty и owl: DatatypeProperty.Что я могу сказать о языке этого KB?Можно ли сказать, что это выражается в RDFS, OWL 2 QL или в обоих?

Это тот случай, когда я вижу ресурс, который является одновременно экземпляром чего-либо (rdf: type), и класс, я бы сказал, что это RDFS, и если нет ресурса, который одновременно является экземпляроми класс я бы сказал, что это также в OWL 2 QL?

Answer 1

Если я скажу, «эта коробка содержит пересечение моих футболок и зеленых вещей», это не значит, что коробка содержит только зеленых футболок.Все мои зеленые футболки находятся в коробке, но они могут содержать также синие футболки или зеленые носки или что-то еще.

В частности, этот профиль (то есть OWL 2 QL) содержит пересечениеRDFS и OWL 2 DL.

В предложении просто сказано: любой КБ, который отвечает всем требованиям RDFS и OWL 2 DL, также находится в OWL 2 QL.Но что касается этого предложения, OWL 2 QL может также содержать все виды других вещей, которые не являются ни RDFS, ни OWL 2 DL.

(Я также не уверен, что предложение строго верно. Например,RDFS позволяет анонимным лицам, то есть пустым узлам. OWL 2 QL этого не делает.)

В вашем примере KB используются конструкции OWL, поэтому это явно не RDFS.Строгое разделение между классами и отдельными людьми является чем-то из OWL 1 DL и более не присутствует в OWL 2 DL.

Упомянутые вами термины (rdfs:domain, rdf:type, owl:DatatypeProperty и т. Д.) Не являютсястрого говоря аксиомы.Они являются частью словаря RDF, который используется для представления аксиом OWL, если онтология представлена ​​в виде графиков RDF.Но соответствующие аксиомы: DataPropertyDomain, ClassAssertion и DataProperty.Когда кто-то серьезно относится к рассуждению о OWL и различным профилям OWL, лучше на минуту забыть о тройках RDF и подумать о реальных аксиомах OWL.Например, грамматика для OWL 2 QL точно определяет, что разрешено и запрещено, но использует язык аксиом OWL, а не язык троек RDF.