Проблемы при использовании экзистенциальные ограничений в Protege

Question

Я хочу, чтобы выяснить, если физическое лицо, принадлежащий к классу А, имеет наименьшее одно отношение со всеми физическими лицами класса В.

У меня есть проблема найти подходящее выражение, которое дает Мне нужны результаты DL-запроса. В приведенном ниже примере:

Classs: Course {CourseA, CourseB, CourseC, CourseD} 
Class: Program {UG_CE, G_CE} 
Class: Student {John} 

ObjectProperty: is-PartOf (Course,Program) 

ObjectProperty: hasEnrolledIn (Student, Course) 

для физических лиц: CourseA и CourseB, я утверждал, свойство:

is-PartOf UG_CE 

Для индивидуального Иоанна, следующие 3 свойства утверждал:

hasEnrolledIn CourseA 
hasEnrolledIn CourseB 
hasEnrolledIn CourseC 

I также добавляется к индивидуальному типу

hasEnrolledIn only ({CourseA , CourseB , CourseC}) 

для решения проблем OWA.

Я хочу знать, записал ли Джон все курсы, которые требуются для UG_CE, обратите внимание, что Джон записался на все курсы и дополнительный курс.

После вызова мыслителя, следующий запрос не даст мне желаемого результата:

Student that hasEnrolledIn only (is-PartOf value UG_CE) 

, поскольку «только» ограничивается определением точного количества отношений, он не служит поставленной цели. Кроме того, я не могу использовать Max или Min, так как количество курсов выведено и неизвестно заранее.

Может ли другой подход решить мою проблему?

Answer 1

Хотя хорошо «закрыть» мир относительно того, какие занятия проводит Джон, так же важно закрыть его в отношении того, какие классы необходимы для UG_CE. Я думаю, что вам нужен такой подход, как это:

        M требует A.
        M требует B.
        M: требует только {A, B}.

        J enrolledIn А.
        J enrolledIn Б.
        J enrolledIn С.
        J: enrolledIn только {А, В, С }.

Для отдельного студента J вы можете узнать, зарегистрированы ли они во всех классах, необходимых для M, спросив, является ли набор классов, требуемый M, подмножеством набора классов, зачисленных учащимся:

        (обратное (требуется) значение М) SubClassOf (обратное (enrolledIn) значение Дж)

, или, в обозначениях DL, с перечисленными классами (много возможных способов выразить это):

        ∃ & thinsp; требует ^-1 {M} & sqsubseteq;. . ∃ & thinsp; enrolledIn ^-1 {J}

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

        не (enrolledIn) тольконе (обратное (требуется) значение M)

Это просит для таких вещей, что только курсами они не поступил в курсах не требуемых М. Однако, OWL не имеет свойство отрицание выражения, поэтому я не уверен, что это оставляет нас. Простейшей задачей было бы добавить свойство «не зачисленное», хотя это не кажется таким элегантным.