public boolean contains(OWLObjectProperty prop) {
if (prop.equals(owlOntologyManager.getOWLDataFactory().getOWLThing())) {
return true;
} else if (prop.equals(owlOntologyManager.getOWLDataFactory().getOWLNothing())) {
return true;
}
return owlObjectProperty2ObjectPropertyPointerMap.containsKey(prop);
}
public void visit(OWLObjectProperty owlObjectProperty) {
try {
lastObjectPropertyPointer = owlObjectProperty2ObjectPropertyPointerMap.get(owlObjectProperty);
if (lastObjectPropertyPointer == null) {
lastObjectPropertyPointer =
faCTPlusPlus.getObjectProperty(owlObjectProperty.getURI().toString());
objectPropertyPointerMap.put(lastObjectPropertyPointer, owlObjectProperty);
owlObjectProperty2ObjectPropertyPointerMap.put(
owlObjectProperty, lastObjectPropertyPointer);
}
} catch (Exception e) {
throw new FaCTPlusPlusRuntimeException(e);
}
}