@Override public OWLEquivalentObjectPropertiesAxiom buildObject() { return df.getOWLEquivalentObjectPropertiesAxiom(items, annotations); } }
@Override public OWLAxiom createAxiom(OWLObjectProperty s, OWLObjectPropertyExpression o, Set<OWLAnnotation> anns) { return dataFactory.getOWLEquivalentObjectPropertiesAxiom(s, o, anns); }
public static OWLEquivalentObjectPropertiesAxiom EquivalentObjectProperties( Collection<OWLAnnotation> a, OWLObjectPropertyExpression... properties) { return DF.getOWLEquivalentObjectPropertiesAxiom(Arrays.asList(properties), a); }
public static OWLEquivalentObjectPropertiesAxiom EquivalentObjectProperties( Collection<OWLAnnotation> a, OWLObjectPropertyExpression... properties) { return DF.getOWLEquivalentObjectPropertiesAxiom(Arrays.asList(properties), a); }
@Override public void visit(OWLEquivalentObjectPropertiesAxiom axiom) { isLocal = false; if (pairs(axiom.properties()).map(v -> df.getOWLEquivalentObjectPropertiesAxiom(v.i, v.j)) .anyMatch(ax -> !kernel.isEntailed(ax))) { return; } isLocal = true; }
@Override public void visit(OWLEquivalentObjectPropertiesAxiom axiom) { isLocal = false; if (pairs(axiom.properties()).map(v -> df.getOWLEquivalentObjectPropertiesAxiom(v.i, v.j)) .anyMatch(ax -> !kernel.isEntailed(ax))) { return; } isLocal = true; }
private void translateEquivalentObjectProperties(IRI subject, IRI predicate, IRI object) throws OWLOntologyChangeException { Set<OWLObjectPropertyExpression> props = new HashSet<OWLObjectPropertyExpression>(); props.add(translateObjectProperty(subject)); props.add(translateObjectProperty(object)); addAxiom(getDataFactory().getOWLEquivalentObjectPropertiesAxiom(props, getPendingAnnotations())); consumeTriple(subject, predicate, object); } }
@Override public Object visit(OWLEquivalentObjectPropertiesAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLEquivalentObjectPropertiesAxiom(t(axiom.properties()), t(axiom .annotations()))); }
final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props; Set<OWLAnnotation> axiomAnnos; jj_consume_token(EQUIVALENTOBJECTPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); props = ObjectPropertySet(); jj_consume_token(CLOSEPAR); return df.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos); }
@Override public Object visit(OWLEquivalentObjectPropertiesAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLEquivalentObjectPropertiesAxiom(t(axiom.properties()), t(axiom .annotations()))); }
final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException { Set<OWLObjectPropertyExpression> props; Set<OWLAnnotation> axiomAnnos; jj_consume_token(EQUIVALENTOBJECTPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); props = ObjectPropertySet(); jj_consume_token(CLOSEPAR); return dataFactory.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos); }
@Override public Object visit(OWLEquivalentObjectPropertiesAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLEquivalentObjectPropertiesAxiom(t(axiom.properties()), t(axiom .annotations()))); }
final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props; Set<OWLAnnotation> axiomAnnos; jj_consume_token(EQUIVALENTOBJECTPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); props = ObjectPropertySet(); jj_consume_token(CLOSEPAR); return df.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos); }
final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props; Set<OWLAnnotation> axiomAnnos; jj_consume_token(EQUIVALENTOBJECTPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); props = ObjectPropertySet(); jj_consume_token(CLOSEPAR); return df.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos); }
final public void DefineRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression propA, propB; jj_consume_token(OPENPAR); jj_consume_token(DEFINEROLE); propA = RoleExpression(); propB = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(propA, propB)); }
final public void RolesEquivalent() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression exp1; OWLObjectPropertyExpression exp2; jj_consume_token(OPENPAR); jj_consume_token(ROLESEQUIVALENT); exp1 = RoleExpression(); exp2 = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(exp1, exp2)); }
final public void RolesEquivalent() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression exp1; OWLObjectPropertyExpression exp2; jj_consume_token(OPENPAR); jj_consume_token(ROLESEQUIVALENT); exp1 = RoleExpression(); exp2 = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(exp1, exp2)); }
final public void DefineRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression propA, propB; jj_consume_token(OPENPAR); jj_consume_token(DEFINEROLE); propA = RoleExpression(); propB = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(propA, propB)); }
final public void DefineRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression propA, propB; jj_consume_token(OPENPAR); jj_consume_token(DEFINEROLE); propA = RoleExpression(); propB = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(propA, propB)); }
final public void RolesEquivalent() throws ParseException, KRSS2OWLParserException { OWLObjectPropertyExpression exp1; OWLObjectPropertyExpression exp2; jj_consume_token(OPENPAR); jj_consume_token(ROLESEQUIVALENT); exp1 = RoleExpression(); exp2 = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(dataFactory.getOWLEquivalentObjectPropertiesAxiom(exp1, exp2)); }