コード例 #1
0
 @Override
 public void visit(OWLDataSomeValuesFrom desc) {
   desc.getProperty().accept(this);
   OWLDataPropertyExpression prop = (OWLDataPropertyExpression) obj;
   desc.getFiller().accept(this);
   OWLDataRange filler = (OWLDataRange) obj;
   obj = dataFactory.getOWLDataSomeValuesFrom(prop, filler);
 }
コード例 #2
0
 @Override
 public void visit(OWLDataSomeValuesFrom node) {
   write(SOME);
   writeSpace();
   node.getProperty().accept(this);
   writeSpace();
   node.getFiller().accept(this);
 }
コード例 #3
0
 public void visit(OWLDataSomeValuesFrom object) {
   if (!object.getProperty().isOWLBottomDataProperty()) {
     AtomicRole atomicRole = getAtomicRole(object.getProperty());
     OWLDataRange filler = object.getFiller();
     if (filler instanceof OWLDataOneOf) {
       for (OWLLiteral lit : ((OWLDataOneOf) filler).getValues()) {
         LiteralDataRange literalRange =
             m_dataRangeConverter.convertDataRange(m_factory.getOWLDataOneOf(lit));
         AtLeastDataRange atLeastDataRange =
             AtLeastDataRange.create(1, atomicRole, literalRange);
         if (!atLeastDataRange.isAlwaysFalse())
           m_headAtoms.add(Atom.create(atLeastDataRange, X));
       }
     } else {
       LiteralDataRange literalRange = m_dataRangeConverter.convertDataRange(object.getFiller());
       AtLeastDataRange atLeastDataRange = AtLeastDataRange.create(1, atomicRole, literalRange);
       if (!atLeastDataRange.isAlwaysFalse()) m_headAtoms.add(Atom.create(atLeastDataRange, X));
     }
   }
 }
コード例 #4
0
 @Override
 public void visit(OWLDataSomeValuesFrom ce) {
   constructs.add(E);
   ce.getFiller().accept(this);
   ce.getProperty().accept(this);
 }
 public void visit(OWLDataSomeValuesFrom desc) {
   desc.getProperty().accept(this);
   desc.getFiller().accept(this);
 }