Проверьте членство определенного класса человека в Протеже

Question

Я понимаю, что мы можем перечислить членов определенного класса в Protege. Все, что мне нужно сделать, это запустить мыслитель, посетить DL Query вкладка, введите название класса в поле Query, сохраните Instances проверил и пресса Execute, Я получаю список всех людей, которые принадлежат к этому классу.

Я хотел выполнить запрос DL, чтобы проверить, принадлежит ли отдельный человек классу А.

Есть ли способ сделать это в Протеже? Если это невозможно в Protege, есть ли альтернатива?

Answer 1

Вы могли бы написать что-то вроде этого: {a} and A,

Если a принадлежит Aзатем он будет отображен в разделе "Экземпляры":

---

Для этого нужно было бы использовать Snap SPARQL Query Plugin. Snap SPARQL Query Plugin, в отличие от SPARQL Query Plugin, способен работать с предполагаемыми знаниями.

К сожалению, Snap SPARQL Query Plugin не поддерживает ASK запросы. Попробуйте следующее:

SELECT DISTINCT ?is WHERE { :a rdf:type :A . BIND (("Found!") AS ?is) }