@Override public OWLDisjointObjectPropertiesAxiom buildObject() { return df.getOWLDisjointObjectPropertiesAxiom(items, annotations); } }
@Override public OWLDisjointObjectPropertiesAxiom buildObject() { return df.getOWLDisjointObjectPropertiesAxiom(items, annotations); } }
@Override public OWLDisjointObjectPropertiesAxiom buildObject() { return df.getOWLDisjointObjectPropertiesAxiom(items, annotations); } }
@Override public OWLDisjointObjectPropertiesAxiom buildObject() { return df.getOWLDisjointObjectPropertiesAxiom(items, annotations); } }
public static OWLDisjointObjectPropertiesAxiom DisjointObjectProperties( Collection<OWLAnnotation> a, OWLObjectPropertyExpression... properties) { return DF.getOWLDisjointObjectPropertiesAxiom(Arrays.asList(properties), a); }
public static OWLDisjointObjectPropertiesAxiom DisjointObjectProperties( Collection<OWLAnnotation> a, OWLObjectPropertyExpression... properties) { return DF.getOWLDisjointObjectPropertiesAxiom(Arrays.asList(properties), a); }
protected OWLDisjointObjectPropertiesAxiom createAxiom(Set<OWLObjectPropertyExpression> editedObject) { Set<OWLObjectPropertyExpression> props = new HashSet<>(); props.add(getRootObject()); props.addAll(editedObject); return getOWLDataFactory().getOWLDisjointObjectPropertiesAxiom(props); }
protected OWLDisjointObjectPropertiesAxiom createAxiom(Set<OWLObjectPropertyExpression> object) { Set<OWLObjectPropertyExpression> disjoints = new HashSet<>(object); disjoints.add(getRootObject()); return getOWLDataFactory().getOWLDisjointObjectPropertiesAxiom(disjoints); }
protected OWLDisjointObjectPropertiesAxiom createAxiom(Set<OWLObjectPropertyExpression> object) { Set<OWLObjectPropertyExpression> disjoints = new HashSet<OWLObjectPropertyExpression>(object); disjoints.add(getRootObject()); return getOWLDataFactory().getOWLDisjointObjectPropertiesAxiom(disjoints); }
final public OWLPropertyAxiom DisjointObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props; Set<OWLAnnotation> axiomAnnos; jj_consume_token(DISJOINTOBJECTPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); props = ObjectPropertySet(); jj_consume_token(CLOSEPAR); return df.getOWLDisjointObjectPropertiesAxiom(props, axiomAnnos); }
@Override public Object visit(OWLDisjointObjectPropertiesAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLDisjointObjectPropertiesAxiom(t(axiom.properties()), t(axiom .annotations()))); }
final public OWLPropertyAxiom DisjointObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props; Set<OWLAnnotation> axiomAnnos; jj_consume_token(DISJOINTOBJECTPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); props = ObjectPropertySet(); jj_consume_token(CLOSEPAR); return df.getOWLDisjointObjectPropertiesAxiom(props, axiomAnnos); }
@Override public Object visit(OWLDisjointObjectPropertiesAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLDisjointObjectPropertiesAxiom(t(axiom.properties()), t(axiom .annotations()))); }
final public OWLPropertyAxiom DisjointObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props; Set<OWLAnnotation> axiomAnnos; jj_consume_token(DISJOINTOBJECTPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); props = ObjectPropertySet(); jj_consume_token(CLOSEPAR); return df.getOWLDisjointObjectPropertiesAxiom(props, axiomAnnos); }
final public OWLPropertyAxiom DisjointObjectProperties() throws ParseException { Set<OWLObjectPropertyExpression> props; Set<OWLAnnotation> axiomAnnos; jj_consume_token(DISJOINTOBJECTPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); props = ObjectPropertySet(); jj_consume_token(CLOSEPAR); return dataFactory.getOWLDisjointObjectPropertiesAxiom(props, axiomAnnos); }
final public void DisjointRoles() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression exp1; OWLObjectPropertyExpression exp2; jj_consume_token(OPENPAR); jj_consume_token(DISJOINTROLES); exp1 = RoleExpression(); exp2 = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(df.getOWLDisjointObjectPropertiesAxiom(exp1, exp2)); }
final public void DisjointRoles() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression exp1; OWLObjectPropertyExpression exp2; jj_consume_token(OPENPAR); jj_consume_token(DISJOINTROLES); exp1 = RoleExpression(); exp2 = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(df.getOWLDisjointObjectPropertiesAxiom(exp1, exp2)); }
final public void DisjointRoles() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression exp1; OWLObjectPropertyExpression exp2; jj_consume_token(OPENPAR); jj_consume_token(DISJOINTROLES); exp1 = RoleExpression(); exp2 = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(df.getOWLDisjointObjectPropertiesAxiom(exp1, exp2)); }
final public void DisjointRoles() throws ParseException, KRSS2OWLParserException { OWLObjectPropertyExpression exp1; OWLObjectPropertyExpression exp2; jj_consume_token(OPENPAR); jj_consume_token(DISJOINTROLES); exp1 = RoleExpression(); exp2 = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(dataFactory.getOWLDisjointObjectPropertiesAxiom(exp1, exp2)); }
final public void DisjointRoles() throws ParseException, KRSS2OWLParserException { OWLObjectPropertyExpression exp1; OWLObjectPropertyExpression exp2; jj_consume_token(OPENPAR); jj_consume_token(DISJOINTROLES); exp1 = RoleExpression(); exp2 = RoleExpression(); jj_consume_token(CLOSEPAR); addAxiom(dataFactory.getOWLDisjointObjectPropertiesAxiom(exp1, exp2)); }