Java OWLDataComplementOf Examples

Example #1

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

 public void visit(OWLDataComplementOf node) {
   try {
     lastDataTypeExpressionPointer = owlDataRange2DataTypeExpressionPointerMap.get(node);
     if (lastDataTypeExpressionPointer == null) {
       node.getDataRange().accept(this);
       lastDataTypeExpressionPointer = faCTPlusPlus.getDataNot(getLastDataTypeExpressionPointer());
       owlDataRange2DataTypeExpressionPointerMap.put(node, lastDataTypeExpressionPointer);
       dataTypeExpressionPointerMap.put(lastDataTypeExpressionPointer, node);
     }
   } catch (Exception e) {
     throw new FaCTPlusPlusRuntimeException(e);
   }
 }

Example #2

File: OWLObjectDuplicator.java Project: rita-zgheib/owl-api

 @Override
 public void visit(OWLDataComplementOf node) {
   node.getDataRange().accept(this);
   OWLDataRange dr = (OWLDataRange) obj;
   obj = dataFactory.getOWLDataComplementOf(dr);
 }

Example #3

File: OWLAnonymousIndividualsWithMultipleOccurrences.java Project: Orphanet/java_ORDO

 // ///////////////////////////////////////////////////////////////////////////////////////////////////////////
 //
 // Data visitor
 //
 // ///////////////////////////////////////////////////////////////////////////////////////////////////////////
 public void visit(OWLDataComplementOf node) {
   node.getDataRange().accept(this);
 }

Example #4

File: LatexObjectVisitor.java Project: JPuritscher/owlapi

 // ////////////////////////////////////////////////////////////////////////////////////////////////
 @Override
 public void visit(OWLDataComplementOf node) {
   write(NOT);
   writeNested(node.getDataRange());
 }