Java OWLObjectComplementOfの例

コード例 #1

ファイル: Translator.java プロジェクト: BGCX067/factplusplus-svn-to-git

 public void visit(OWLObjectComplementOf owlNot) {
   try {
     owlNot.getOperand().accept(this);
     ClassPointer cp = getLastClassPointer();
     lastClassPointer = faCTPlusPlus.getConceptNot(cp);
   } catch (Exception e) {
     throw new FaCTPlusPlusRuntimeException(e);
   }
 }

コード例 #2

ファイル: OWLVizAxiomGraphModel.java プロジェクト: AggelikiKonstadinidou/owlviz

 public void visit(OWLObjectComplementOf desc) {
   addChildParent(desc.getOperand(), desc, desc);
   desc.getOperand().accept(this);
 }