obj = factory.getOWLObjectPropertyInverse( prop );
}
public void visitRestrictedDatatype(ATermAppl dt) {
OWLDataType baseDatatype = factory.getOWLDataType( URI.create( ((ATermAppl) dt
.getArgument( 0 )).getName() ) );
Set<OWLDataRangeFacetRestriction> restrictions = new HashSet<OWLDataRangeFacetRestriction>();
for( ATermList list = (ATermList) dt.getArgument( 1 ); !list.isEmpty() ; list = list.getNext()) {
ATermAppl facet = (ATermAppl) list.getFirst();