OWL / Protege: Модель предполагаемого класса лиц, которые не являются членами группы.

Question

Я пытаюсь создать онтологию в OWL, используя Protégé 5.5.0. Нет, у меня небольшие проблемы с предполагаемыми классами.

У меня есть три класса: Агенты и как подклассы Группы и Люди. Лица могут быть членами групп. Теперь я хочу создать два предполагаемых класса: а) «Члены групп» и б) «Не члены групп» (оба как подклассы Person)

Мне удалось выполнить а), используя класс, эквивалентный аксиоме : Person and member_of some Group. Я создал одного человека, который является человеком и членом группы, и он был выведен как член класса «Члены групп».

Теперь я застрял с b). Я пробовал несколько вариантов эквивалентного класса, например: Person and member_of max 0 Group Или: Person and member_of exactly 0 Group Или: Person and not member_of some Group Я создал человека, который является человеком, но не членом группы. Но автор рассуждений не согласен со мной в том, что этот индивидуум должен принадлежать к предполагаемому классу «Не члены групп».

Что я сделал не так?

Answer 1

Один из способов добиться этого в OWL, используя ваш Person and not member_of some Group, - это определить класс MemberOfGroup, который определен, как вы предложили. Затем определите класс NotMemberOfGroup, который не пересекается с классом MemberOfGroup. Если вы теперь определите, что ваше лицо относится к типу Person, а также к типу not member_of some Group, то ваше лицо будет классифицировано как принадлежащее к классу NotMemberOfGroup.

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

Другой вариант - использовать SHACL / SHEX / SPIN.