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); }