Проверьте класс OWL

Question

Предположим, диапазон свойства объекта определяется через выражение класса.Я хочу знать, может ли конкретный экземпляр класса использоваться в диапазоне свойства объекта.Можно ли использовать OWL API и проверить, относится ли конкретный класс к этому выражению класса?

Answer 1

OWLAPI не может дать полный ответ на это - реализация OWLReasoner необходима для получения полных результатов.

Учитывая реализацию OWLReasoner, для проверки соответствия вы можете либо перечислить все подклассы классавыражение и проверьте, появляется ли интересующий вас класс в ответе, или спросите у мыслителя, является ли ваш класс подкласса, т. е.

OWLDataFactory df = ...
OWLClassExpression ce = ...
OWLClass c = ...
OWLReasoner r = ...
OWLAxiom ax = df.getOWLObjectSubClassOf(c, ce);
boolean cIsSubclassOfCE = r.isEntailed(ax);