public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf( OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty) { return DF.getOWLSubObjectPropertyOfAxiom(subProperty, superProperty); }
public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf( OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> a) { return DF.getOWLSubObjectPropertyOfAxiom(subProperty, superProperty, a); }
public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf( OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> a) { return DF.getOWLSubObjectPropertyOfAxiom(subProperty, superProperty, a); }
@Override protected Set<? extends OWLAxiom> createParentPlacementAxioms(OWLObjectProperty freshEntity, ChangeGenerationContext context, ImmutableSet<OWLObjectProperty> parents) { return parents.stream() .map(parent -> dataFactory.getOWLSubObjectPropertyOfAxiom(freshEntity, parent)) .collect(toSet()); } }
@Nonnull @Override public Optional<OWLAxiom> visit(@Nonnull OWLObjectProperty property) { return strategy.getDeprecatedObjectPropertyParentIri() .map(parent -> dataFactory.getOWLSubObjectPropertyOfAxiom(property, dataFactory.getOWLObjectProperty(parent))); }
@Override public Collection<OWLAxiom> visit(OWLInverseObjectPropertiesAxiom axiom) { Set<OWLAxiom> axioms = new HashSet<>(); axioms.add(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom.getSecondProperty().getInverseProperty())); axioms.add(df.getOWLSubObjectPropertyOfAxiom(axiom.getSecondProperty(), axiom.getFirstProperty().getInverseProperty())); return axioms; }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { isLocal = kernel .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom.getSecondProperty().getInverseProperty())) && kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom( axiom.getFirstProperty().getInverseProperty(), axiom.getSecondProperty())); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { isLocal = kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom .getSecondProperty().getInverseProperty())) && kernel .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom .getFirstProperty().getInverseProperty(), axiom.getSecondProperty())); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { isLocal = kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom .getSecondProperty().getInverseProperty())) && kernel .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom .getFirstProperty().getInverseProperty(), axiom.getSecondProperty())); }
@Override public OWLSubObjectPropertyOfAxiom buildObject() { return df.getOWLSubObjectPropertyOfAxiom(verifyNotNull(getSub()), verifyNotNull(getSup()), annotations); } }
@Override public OWLSubObjectPropertyOfAxiom visit(OWLSubObjectPropertyOfAxiom ax) { return df.getOWLSubObjectPropertyOfAxiom(t(ax.getSubProperty()), t(ax.getSuperProperty()), a(ax)); }
@Override public OWLSubObjectPropertyOfAxiom visit(OWLSubObjectPropertyOfAxiom axiom) { return df.getOWLSubObjectPropertyOfAxiom(get(axiom.getSubProperty()), get(axiom.getSuperProperty()), anns( axiom)); }
public void visit(OWLSubObjectPropertyOfAxiom axiom) { axiom.getSubProperty().accept(this); OWLObjectPropertyExpression subProp = (OWLObjectPropertyExpression) obj; axiom.getSuperProperty().accept(this); OWLObjectPropertyExpression supProp = (OWLObjectPropertyExpression) obj; obj = dataFactory.getOWLSubObjectPropertyOfAxiom(subProp, supProp, duplicateAxiomAnnotations(axiom)); }
private void translateSubObjectProperty(IRI s, IRI p, IRI o) { // Object - o add(df.getOWLSubObjectPropertyOfAxiom(op(s), op(o), anns())); consume(s, p, o); }
@Override public void visit(OWLSubObjectPropertyOfAxiom ax) { obj = df .getOWLSubObjectPropertyOfAxiom(dup(ax.getSubProperty()), dup(ax.getSuperProperty()), anns(ax)); }
final public OWLSubObjectPropertyOfAxiom Subrole() throws ParseException { OWLObjectProperty ar1,ar2; jj_consume_token(32); jj_consume_token(22); ar1 = ObjectProperty(); jj_consume_token(24); ar2 = ObjectProperty(); jj_consume_token(23); jj_consume_token(COMMAND_END); {if (true) return df.getOWLSubObjectPropertyOfAxiom(ar1,ar2);} throw new Error("Missing return statement in function"); }
final public void ImpliesRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression subProp; OWLObjectPropertyExpression superProp; jj_consume_token(OPENPAR); jj_consume_token(IMPLIESROLE); subProp = RoleExpression(); superProp = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(df.getOWLSubObjectPropertyOfAxiom(subProp, superProp)); }
final public void ImpliesRole() throws ParseException, KRSS2OWLParserException { OWLObjectPropertyExpression subProp; OWLObjectPropertyExpression superProp; jj_consume_token(OPENPAR); jj_consume_token(IMPLIESROLE); subProp = RoleExpression(); superProp = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(dataFactory.getOWLSubObjectPropertyOfAxiom(subProp, superProp)); }
@Override public Object visit(OWLSubObjectPropertyOfAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLSubObjectPropertyOfAxiom(t(axiom.getSubProperty()), t(axiom .getSuperProperty()), t(axiom.annotations()))); }
@Override public Object visit(OWLSubObjectPropertyOfAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLSubObjectPropertyOfAxiom(t(axiom.getSubProperty()), t(axiom .getSuperProperty()), t(axiom.annotations()))); }