@Override protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLInverseObjectPropertiesAxiom> result, Set<OWLObjectPropertyExpression> nonSimpleProperties) { for (OWLObjectPropertyExpression prop : reasoner.getInverseObjectProperties(entity)) { if (!prop.isAnonymous()) { result.add(dataFactory.getOWLInverseObjectPropertiesAxiom(entity, prop)); } } }
@Override protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLInverseObjectPropertiesAxiom> result, Set<OWLObjectPropertyExpression> nonSimpleProperties) { for (OWLObjectPropertyExpression prop : reasoner.getInverseObjectProperties(entity)) { if (!prop.isAnonymous()) { result.add(dataFactory.getOWLInverseObjectPropertiesAxiom(entity, prop)); } } }
@Override public OWLInverseObjectPropertiesAxiom buildObject() { return df.getOWLInverseObjectPropertiesAxiom(verifyNotNull(getProperty()), getInverse(), annotations); }
public OWLInverseObjectPropertiesAxiom getAxiomWithoutAnnotations() { if(!isAnnotated()) { return this; } return getOWLDataFactory().getOWLInverseObjectPropertiesAxiom(getFirstProperty(), getSecondProperty()); }
@Override public OWLInverseObjectPropertiesAxiom visit(OWLInverseObjectPropertiesAxiom axiom) { return df.getOWLInverseObjectPropertiesAxiom(get(axiom.getFirstProperty()), get(axiom.getSecondProperty()), anns(axiom)); }
@Override public void visit(OWLInverseObjectPropertiesAxiom ax) { obj = df.getOWLInverseObjectPropertiesAxiom(dup(ax.getFirstProperty()), dup(ax.getSecondProperty()), anns(ax)); }
@Override public OWLInverseObjectPropertiesAxiom visit(OWLInverseObjectPropertiesAxiom ax) { return df.getOWLInverseObjectPropertiesAxiom(t(ax.getFirstProperty()), t(ax.getSecondProperty()), a(ax)); }
@Override public OWLInverseObjectPropertiesAxiom visit(OWLInverseObjectPropertiesAxiom ax) { return df.getOWLInverseObjectPropertiesAxiom(t(ax.getFirstProperty()), t(ax.getSecondProperty()), a(ax)); }
final public void Inverses() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression prop1; OWLObjectPropertyExpression prop2; jj_consume_token(OPENPAR); jj_consume_token(INVERSE); prop1 = RoleExpression(); prop2 = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(df.getOWLInverseObjectPropertiesAxiom(prop1, prop2)); }
final public OWLPropertyAxiom InverseObjectProperties() throws ParseException {OWLObjectPropertyExpression propA; OWLObjectPropertyExpression propB; Set<OWLAnnotation> axiomAnnos; jj_consume_token(INVERSEOBJECTPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); propA = ObjectPropertyExpression(); propB = ObjectPropertyExpression(); jj_consume_token(CLOSEPAR); return df.getOWLInverseObjectPropertiesAxiom(propA, propB, axiomAnnos); }
@Override public void handle(String currentId, String value, String qualifierBlock, String comment) { OWLAxiom ax = getDataFactory() .getOWLInverseObjectPropertiesAxiom(getOWLObjectProperty(currentId), getOWLObjectProperty(value)); applyChange(new AddAxiom(getOntology(), ax)); } }
public void handleTriple(IRI subject, IRI predicate, IRI object) throws UnloadableImportException { addAxiom(getDataFactory().getOWLInverseObjectPropertiesAxiom( translateObjectProperty(subject), translateObjectProperty(object), getPendingAnnotations() )); consumeTriple(subject, predicate, object); } }
@Override public void handle(String currentId, String value, String qualifierBlock, String comment) { OWLAxiom ax = getDataFactory() .getOWLInverseObjectPropertiesAxiom(getOWLObjectProperty(currentId), getOWLObjectProperty(value)); applyChange(new AddAxiom(getOntology(), ax)); } }
final public void Inverses() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression prop1; OWLObjectPropertyExpression prop2; jj_consume_token(OPENPAR); jj_consume_token(INVERSE); prop1 = RoleExpression(); prop2 = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(df.getOWLInverseObjectPropertiesAxiom(prop1, prop2)); }
@Override public void handle(String currentId, String value, String qualifierBlock, String comment) { OWLAxiom ax = getDataFactory() .getOWLInverseObjectPropertiesAxiom(getOWLObjectProperty(currentId), getOWLObjectProperty(value)); applyChange(new AddAxiom(getOntology(), ax)); } }
@Override public Object visit(OWLInverseObjectPropertiesAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLInverseObjectPropertiesAxiom(t(axiom.getFirstProperty()), t(axiom .getSecondProperty()), t(axiom.annotations()))); }
@Override public void handleTriple(IRI s, IRI p, IRI o) { // Only do axiom translation if (axiomParsingMode && isOpLax(s) && isOpLax(o)) { add(df.getOWLInverseObjectPropertiesAxiom(op(s), op(o), anns())); consume(s, p, o); } } }
@Override public void handleTriple(IRI s, IRI p, IRI o) { // Only do axiom translation if (axiomParsingMode && isOpLax(s) && isOpLax(o)) { add(df.getOWLInverseObjectPropertiesAxiom(op(s), op(o), anns())); consume(s, p, o); } } }
@Override public Object visit(OWLInverseObjectPropertiesAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLInverseObjectPropertiesAxiom(t(axiom.getFirstProperty()), t(axiom .getSecondProperty()), t(axiom.annotations()))); }
@Override public void handleTriple(IRI s, IRI p, IRI o) { // Only do axiom translation if (axiomParsingMode && isOpLax(s) && isOpLax(o)) { add(df.getOWLInverseObjectPropertiesAxiom(op(s), op(o), anns())); consume(s, p, o); } } }