Java FaCTPlusPlus.getDataAll Examples

Example #1

File: Translator.java Project: BGCX067/factplusplus-svn-to-git

 public void visit(OWLDataAllRestriction owlDataAllRestriction) {
   try {
     DataPropertyPointer p = translate(owlDataAllRestriction.getProperty());
     owlDataAllRestriction.getFiller().accept(this);
     lastClassPointer = faCTPlusPlus.getDataAll(p, getLastDataTypeExpressionPointer());
   } catch (Exception e) {
     throw new FaCTPlusPlusRuntimeException(e);
   }
 }