public boolean contains(OWLDataProperty prop) {
if (prop.equals(owlOntologyManager.getOWLDataFactory().getOWLThing())) {
return true;
} else if (prop.equals(owlOntologyManager.getOWLDataFactory().getOWLNothing())) {
return true;
}
return owlDataProperty2DataPropertyPointerMap.containsKey(prop);
}
public void visit(OWLDataProperty owlDataProperty) {
try {
lastDataPropertyPointer = owlDataProperty2DataPropertyPointerMap.get(owlDataProperty);
if (lastDataPropertyPointer == null) {
lastDataPropertyPointer = faCTPlusPlus.getDataProperty(owlDataProperty.getURI().toString());
dataPropertyPointerMap.put(lastDataPropertyPointer, owlDataProperty);
owlDataProperty2DataPropertyPointerMap.put(owlDataProperty, lastDataPropertyPointer);
}
} catch (Exception e) {
throw new FaCTPlusPlusRuntimeException(e);
}
}