コード例 #1
0
 public void visit(OWLDataValueRestriction owlDataValueRestriction) {
   try {
     DataPropertyPointer p = translate(owlDataValueRestriction.getProperty());
     OWLConstant val = owlDataValueRestriction.getValue();
     val.accept(this);
     lastClassPointer = faCTPlusPlus.getDataValue(p, getLastDataValuePointer());
   } catch (Exception e) {
     throw new FaCTPlusPlusRuntimeException(e);
   }
 }
コード例 #2
0
  public void visit(OWLDataOneOf node) {
    try {
      lastDataTypeExpressionPointer = owlDataRange2DataTypeExpressionPointerMap.get(node);
      if (lastDataTypeExpressionPointer == null) {

        List<DataValuePointer> pointers = new ArrayList<DataValuePointer>();
        for (OWLConstant con : node.getValues()) {
          con.accept(this);
          pointers.add(getLastDataValuePointer());
        }
        faCTPlusPlus.initArgList();
        for (DataValuePointer pointer : pointers) {
          faCTPlusPlus.addArg(pointer);
        }
        faCTPlusPlus.closeArgList();
        lastDataTypeExpressionPointer = faCTPlusPlus.getDataEnumeration();
        owlDataRange2DataTypeExpressionPointerMap.put(node, lastDataTypeExpressionPointer);
        dataTypeExpressionPointerMap.put(lastDataTypeExpressionPointer, node);
      }
    } catch (Exception e) {
      throw new FaCTPlusPlusRuntimeException(e);
    }
  }
コード例 #3
0
 public DataValuePointer translate(OWLConstant con) throws OWLException {
   con.accept(this);
   return getLastDataValuePointer();
 }