public void visit(OWLObjectPropertyAssertionAxiom axiom) { rhs.add(axiom.getProperty()); rhs.add(axiom.getObject()); lhs.add(axiom.getSubject()); }
public void visit(OWLObjectPropertyAssertionAxiom axiom) { if (!axiom.getSubject().isAnonymous()) { axiom.getSubject().asOWLNamedIndividual().accept(this); } }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { OWLObjectPropertyAssertionAxiom simplified = axiom.getSimplified(); addSingleTripleAxiom(simplified, simplified.getSubject(), simplified.getProperty(), simplified.getObject()); processIfAnonymous(simplified.getObject(), axiom); processIfAnonymous(simplified.getSubject(), axiom); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { axiom.getSubject().accept(this); axiom.getObject().accept(this); axiom.annotations().forEach(a1 -> a1.accept(this)); }
@Override public void visit(OWLObjectPropertyAssertionAxiom object) { m_positiveFacts.add(getRoleAtom(object.getProperty(),getIndividual(object.getSubject()),getIndividual(object.getObject()))); } @Override
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { addFact(m_factory.getOWLObjectPropertyAssertionAxiom(axiom.getProperty(),axiom.getSubject(),axiom.getObject())); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } @Override
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { sb.append("ObjectPropertyAssertion("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getSubject().accept(this); insertSpace(); axiom.getObject().accept(this); sb.append(')'); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { sb.append("ObjectPropertyAssertion("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getSubject().accept(this); insertSpace(); axiom.getObject().accept(this); sb.append(')'); }
public Boolean visit(OWLObjectPropertyAssertionAxiom axiom) { OWLIndividual sub=axiom.getSubject(); OWLIndividual obj=axiom.getObject(); if (sub.isAnonymous()||obj.isAnonymous()) { anonymousIndividualAxioms.add(axiom); return true; // will be checked afterwards by rolling-up } return reasoner.hasObjectPropertyRelationship(sub.asOWLNamedIndividual(),axiom.getProperty(),obj.asOWLNamedIndividual()); } public Boolean visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
public Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual) { if (objectPropertyAssertionsByIndividual == null) { Map<OWLIndividual, Set<OWLObjectPropertyAssertionAxiom>> objectPropertyAssertionsByIndividual = createMap(); // masks member declaration for (OWLObjectPropertyAssertionAxiom axiom : getAxiomsInternal(OBJECT_PROPERTY_ASSERTION)) { addToIndexedSet(axiom.getSubject(), objectPropertyAssertionsByIndividual, axiom); } this.objectPropertyAssertionsByIndividual=objectPropertyAssertionsByIndividual; } return getReturnSet(getAxioms(individual, objectPropertyAssertionsByIndividual)); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { process(axiom); axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); }
public ObjectPropertyAssertion translate(OWLObjectPropertyAssertionAxiom ax) throws InconsistentOntologyException { URIConstant c1 = getIndividual(ax.getSubject()); URIConstant c2 = getIndividual(ax.getObject()); ObjectPropertyExpression ope = getPropertyExpression(ax.getProperty()); return ofac.createObjectPropertyAssertion(ope, c1, c2); }
public void visit(OWLObjectPropertyAssertionAxiom axiom) { handleObject(axiom); axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { axiom.getSubject().accept(this); writeSpace(); axiom.getProperty().accept(this); writeSpace(); axiom.getObject().accept(this); }
@Override public void visit(OWLObjectPropertyAssertionAxiom ax) { obj = df.getOWLObjectPropertyAssertionAxiom(dup(ax.getProperty()), dup(ax.getSubject()), dup(ax.getObject()), anns(ax)); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { axiom.getProperty().accept(this); write("("); axiom.getSubject().accept(this); write(", "); axiom.getObject().accept(this); write(")"); }
@Override public Object visit(OWLObjectPropertyAssertionAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLObjectPropertyAssertionAxiom(t(axiom.getProperty()), t(axiom .getSubject()), t(axiom.getObject()), t(axiom.annotations()))); }
@Override public void visit(final OWLObjectPropertyAssertionAxiom axiom) { final OWLIndividual s = axiom.getSubject(); final OWLIndividual o = axiom.getObject(); if (s.isAnonymous() || o.isAnonymous()) { deferAxiom(axiom); return; } _isEntailed = _kb.hasPropertyValue(_reasoner.term(s), _reasoner.term(axiom.getProperty()), _reasoner.term(o)); }
public void visit(OWLObjectPropertyAssertionAxiom axiom) { writeOpenBracket(); write(RELATED); write(axiom.getSubject()); write(axiom.getProperty()); write(axiom.getObject()); writeCloseBracket(); writeln(); }
public void visit(OWLObjectPropertyAssertionAxiom axiom) { writeOpenBracket(); write(RELATED); write(axiom.getSubject()); write(axiom.getProperty()); write(axiom.getObject()); writeCloseBracket(); writeln(); }