Когда рассуждение активировано в тройном магазине, следующий запрос
SELECT ?classiri
WHERE {
ex:myElement rdf:type ?classiri
}
в результате получится:
owl:Thing
ex:Animal
ex:Human
ex:MaleHuman
Есть ли способ получить в результате только явно утвержденную аксиому? (в данном случае очевидно ex:MaleHuman)
Обратите внимание, что рассуждение не может быть отключено, среди прочего, потому что приведенное выше является частью более сложного запроса, требующего рассуждения.
Вы не можете быть уверены, что это действительно подтвержденный результат, а не предполагаемый, но вы можете получить наиболее конкретный экземпляр с помощью запроса, например:
select ?class {
:instance a ?class
filter not exists {
?subclass rdfs:subClassOf ?class .
filter (?subclass != ?class)
}
}
Это говорит о том, что нужно получить значения ?class таким образом, чтобы не было значений ?subclass (кроме самого ?class), которые являются подклассами < strong>?class, к которому также принадлежит :instance.
