@Override
public void visit(OWLObjectValueRestriction desc) {
URI nominalClassURI =
URI.create(
GlobalSettings.NOMINAL_PREFIX + "#ValueRestrictionSubstitute_" + nextExtCounter++);
OWLClass nominalClass = this.factory.getOWLClass(nominalClassURI);
OWLObjectSomeRestriction someRestriction =
this.factory.getOWLObjectSomeRestriction(desc.getProperty(), nominalClass);
this.addSubClassAxiomForNominalSubstitute(desc.getValue(), nominalClass);
this.rebuiltObjects.add(someRestriction);
}
public void visit(OWLObjectValueRestriction owlObjectValueRestriction) {
try {
owlObjectValueRestriction.getValue().accept(this);
IndividualPointer individualPointer = getLastIndividualPointer();
owlObjectValueRestriction.getProperty().accept(this);
ObjectPropertyPointer propertyPointer = getLastObjectPropertyPointer();
lastClassPointer = faCTPlusPlus.getObjectValue(propertyPointer, individualPointer);
} catch (Exception e) {
throw new FaCTPlusPlusRuntimeException(e);
}
}