@Override
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
handleObject(axiom);
axiom.getSubject().accept(this);
axiom.getProperty().accept(this);
axiom.getObject().accept(this);
}
@Override
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
write(NOT);
axiom.getProperty().accept(this);
write("(");
axiom.getSubject().accept(this);
write(", ");
axiom.getObject().accept(this);
write(")");
}
@Override
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
axiom.getSubject().accept(this);
OWLIndividual ind = (OWLIndividual) obj;
axiom.getProperty().accept(this);
OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj;
axiom.getObject().accept(this);
OWLIndividual ind2 = (OWLIndividual) obj;
obj =
dataFactory.getOWLNegativeObjectPropertyAssertionAxiom(
prop, ind, ind2, duplicateAxiomAnnotations(axiom));
}
public void visit(OWLNegativeObjectPropertyAssertionAxiom object) {
Atom atom =
getRoleAtom(
object.getProperty(),
getIndividual(object.getSubject()),
getIndividual(object.getObject()));
Collection<OWLAxiom> originalAxioms = m_negativeFacts_map.get(atom);
if (originalAxioms == null) {
originalAxioms = new ArrayList<OWLAxiom>();
m_negativeFacts_map.put(atom, originalAxioms);
}
if (originalAxiom != null) originalAxioms.add(originalAxiom);
}
@Override
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
OWLClassExpression sub = oneOf(axiom.getSubject());
OWLClassExpression sup = factory.getOWLObjectHasValue(axiom.getProperty(), axiom.getObject());
factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this);
}
/*
* (non-Javadoc)
*
* @see
* org.semanticweb.owlapi.model.OWLAxiomVisitor#visit(org.semanticweb.owlapi
* .model.OWLNegativeObjectPropertyAssertionAxiom)
*/
@Override
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
sb.append(".NO (");
axiom.accept(this);
sb.append(")");
}
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
axiom.getProperty().accept(this);
axiom.getObject().accept(this);
processAxiomAnnotations(axiom);
}