Пример #1
0
 @Override
 public void visit(OWLObjectPropertyRangeAxiom axiom) {
   axiom.getProperty().accept(this);
   OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj;
   axiom.getRange().accept(this);
   OWLClassExpression range = (OWLClassExpression) obj;
   obj = dataFactory.getOWLObjectPropertyRangeAxiom(prop, range, duplicateAxiomAnnotations(axiom));
 }
Пример #2
0
 @Override
 public void visit(OWLObjectPropertyRangeAxiom axiom) {
   write(TOP);
   writeSpace();
   write(SUBCLASS);
   writeSpace();
   df.getOWLObjectAllValuesFrom(axiom.getProperty(), axiom.getRange()).accept(this);
 }
Пример #3
0
    public Object visit(OWLSubPropertyChainOfAxiom axiom) {
      Set<OWLObjectPropertyRangeAxiom> rangeAxioms =
          getCurrentOntology().getAxioms(AxiomType.OBJECT_PROPERTY_RANGE, true);
      if (rangeAxioms.isEmpty()) {
        return false;
      }

      // Do we have a range restriction imposed on our super property?
      for (OWLObjectPropertyRangeAxiom rngAx : rangeAxioms) {
        if (getPropertyManager().isSubPropertyOf(axiom.getSuperProperty(), rngAx.getProperty())) {
          // Imposed range restriction!
          OWLClassExpression imposedRange = rngAx.getRange();
          // There must be an axiom that imposes a range on the last prop in the chain
          List<OWLObjectPropertyExpression> chain = axiom.getPropertyChain();
          if (!chain.isEmpty()) {
            OWLObjectPropertyExpression lastProperty = chain.get(chain.size() - 1);
            boolean rngPresent = false;
            for (OWLOntology ont : getCurrentOntology().getImportsClosure()) {
              for (OWLObjectPropertyRangeAxiom lastPropRngAx :
                  ont.getObjectPropertyRangeAxioms(lastProperty)) {
                if (lastPropRngAx.getRange().equals(imposedRange)) {
                  // We're o.k.
                  rngPresent = true;
                  break;
                }
              }
            }
            if (!rngPresent) {
              profileViolations.add(
                  new LastPropertyInChainNotInImposedRange(getCurrentOntology(), axiom, rngAx));
            }
          }
        }
      }

      return null;
    }
 @Override
 public void visit(OWLObjectPropertyRangeAxiom axiom) {
   result = factory.getOWLObjectSomeValuesFrom(axiom.getProperty(), not(axiom.getRange()));
 }
 @Override
 public void visit(OWLObjectPropertyRangeAxiom axiom) {
   handleObject(axiom);
   axiom.getRange().accept(this);
   axiom.getProperty().accept(this);
 }
Пример #6
0
 @Override
 public void visit(OWLObjectPropertyRangeAxiom axiom) {
   constructs.add(AL);
   axiom.getRange().accept(this);
   axiom.getProperty().accept(this);
 }
 public void visit(OWLObjectPropertyRangeAxiom axiom) {
   axiom.getRange().accept(this);
   axiom.getProperty().accept(this);
   processAxiomAnnotations(axiom);
 }