public NodeSet<OWLDataProperty> getDisjointDataProperties(OWLDataPropertyExpression pe)
throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException,
TimeOutException {
refreshCheck();
try {
Set<Node<OWLDataProperty>> values = new HashSet<Node<OWLDataProperty>>();
for (Set<ATermAppl> val : kb.getDisjointProperties(term(pe))) {
values.add(toDataPropertyNode(val));
}
return new OWLDataPropertyNodeSet(values);
} catch (PelletRuntimeException e) {
throw convert(e);
}
}
