public void visit(OWLObjectSelfRestriction desc) {
try {
desc.getProperty().accept(this);
lastClassPointer = faCTPlusPlus.getSelf(getLastObjectPropertyPointer());
} catch (Exception e) {
throw new FaCTPlusPlusRuntimeException(e);
}
}
// kind of nominal: EX loves.Self (self restriction, defines the class of those people loving
// theirselves)
// seems to be a kind of special case of a ValueRestriction
// TODO add subclass statements (just add the domain ... maybe, seems to be not part of OWL 1.0)
@Override
public void visit(OWLObjectSelfRestriction 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.rebuiltObjects.add(someRestriction);
}
