@Override
public void visit(OWLDisjointDataPropertiesAxiom axiom) {
constructs.add(D);
for (OWLDataPropertyExpression prop : axiom.getProperties()) {
prop.accept(this);
}
}
public void visit(OWLDisjointDataPropertiesAxiom axiom) {
for (OWLDataPropertyExpression propA : axiom.getProperties()) {
for (OWLDataPropertyExpression propB : axiom.getProperties()) {
if (!propA.equals(propB)) {
addChildParent(propA, propB, axiom);
}
}
}
}
@Override
public void visit(OWLHasKeyAxiom axiom) {
handleObject(axiom);
axiom.getClassExpression().accept(this);
for (OWLObjectPropertyExpression prop : axiom.getObjectPropertyExpressions()) {
prop.accept(this);
}
for (OWLDataPropertyExpression prop : axiom.getDataPropertyExpressions()) {
prop.accept(this);
}
}
@Test
public void testBottomDataPropertyNegative() {
OWLDataPropertyExpression prop = DataProperty(getIRI("prop"));
assertFalse(prop.isOWLBottomDataProperty());
}
@Test
public void testBottomDataPropertyPositive() {
OWLDataPropertyExpression prop = Factory.getFactory().getOWLBottomDataProperty();
assertTrue(prop.isOWLBottomDataProperty());
}
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
for (OWLDataPropertyExpression prop : axiom.getProperties()) {
prop.accept(this);
}
processAxiomAnnotations(axiom);
}