@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));
}
@Override
public void visit(OWLObjectPropertyRangeAxiom axiom) {
write(TOP);
writeSpace();
write(SUBCLASS);
writeSpace();
df.getOWLObjectAllValuesFrom(axiom.getProperty(), axiom.getRange()).accept(this);
}
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);
}
@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);
}
