public static OWLIrreflexiveObjectPropertyAxiom IrreflexiveObjectProperty( OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) { return DF.getOWLIrreflexiveObjectPropertyAxiom(property, a); }
public static OWLIrreflexiveObjectPropertyAxiom IrreflexiveObjectProperty( OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) { return DF.getOWLIrreflexiveObjectPropertyAxiom(property, a); }
@Override public OWLIrreflexiveObjectPropertyAxiom buildObject() { return df.getOWLIrreflexiveObjectPropertyAxiom(verifyNotNull(getProperty()), annotations); } }
@Override public OWLIrreflexiveObjectPropertyAxiom buildObject() { return df.getOWLIrreflexiveObjectPropertyAxiom(verifyNotNull(getProperty()), annotations); } }
@Override public OWLIrreflexiveObjectPropertyAxiom buildObject() { return df.getOWLIrreflexiveObjectPropertyAxiom(verifyNotNull(getProperty()), annotations); } }
@Override public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) { OWLObjectPropertyExpression property = axiom.getProperty(); property = expressionRenamer.rename(property); renamedAxiom = df.getOWLIrreflexiveObjectPropertyAxiom(property); }
@Override protected OWLAxiom createPropertyCharacteristicAxiom() { return getOWLDataFactory().getOWLIrreflexiveObjectPropertyAxiom(getProperty(), getAnnotations()); } }
public OWLIrreflexiveObjectPropertyAxiom getAxiomWithoutAnnotations() { if(!isAnnotated()) { return this; } return getOWLDataFactory().getOWLIrreflexiveObjectPropertyAxiom(getProperty()); }
final public OWLPropertyAxiom IrreflexiveObjectProperty() throws ParseException {OWLObjectPropertyExpression prop; Set<OWLAnnotation> axiomAnnos; jj_consume_token(IRREFLEXIVEOBJECTPROPERTY); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); jj_consume_token(CLOSEPAR); return df.getOWLIrreflexiveObjectPropertyAxiom(prop, axiomAnnos); }
@Override public Object visit(OWLIrreflexiveObjectPropertyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLIrreflexiveObjectPropertyAxiom(t(axiom.getProperty()), t(axiom .annotations()))); }
final public OWLPropertyAxiom IrreflexiveObjectProperty() throws ParseException {OWLObjectPropertyExpression prop; Set<OWLAnnotation> axiomAnnos; jj_consume_token(IRREFLEXIVEOBJECTPROPERTY); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); jj_consume_token(CLOSEPAR); return df.getOWLIrreflexiveObjectPropertyAxiom(prop, axiomAnnos); }
@Override public void handleTriple(IRI s, IRI p, IRI o) { if (isOpLax(s)) { add(df.getOWLIrreflexiveObjectPropertyAxiom(op(s), anns())); consume(s, p, o); } } }
@Override public Object visit(OWLIrreflexiveObjectPropertyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLIrreflexiveObjectPropertyAxiom(t(axiom.getProperty()), t(axiom .annotations()))); }
final public OWLPropertyAxiom IrreflexiveObjectProperty() throws ParseException {OWLObjectPropertyExpression prop; Set<OWLAnnotation> axiomAnnos; jj_consume_token(IRREFLEXIVEOBJECTPROPERTY); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); jj_consume_token(CLOSEPAR); return df.getOWLIrreflexiveObjectPropertyAxiom(prop, axiomAnnos); }
@Override public Object visit(OWLIrreflexiveObjectPropertyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLIrreflexiveObjectPropertyAxiom(t(axiom.getProperty()), t(axiom .annotations()))); }
private OWLAxiom parseIrreflexivePropertyAxiom() { String kw = consumeToken(); if (!IRREFLEXIVE.matches(kw)) { throw new ExceptionBuilder().withKeyword(IRREFLEXIVE).build(); } return df.getOWLIrreflexiveObjectPropertyAxiom(parseObjectPropertyExpression(false)); }
private OWLAxiom parseIrreflexivePropertyAxiom() { String kw = consumeToken(); if (!IRREFLEXIVE.matches(kw)) { throw new ExceptionBuilder().withKeyword(IRREFLEXIVE).build(); } return df.getOWLIrreflexiveObjectPropertyAxiom(parseObjectPropertyExpression(false)); }
@Override public void handleTriple(IRI subject, IRI predicate, IRI object) throws UnloadableImportException { if (getConsumer().isObjectProperty(subject)) { addAxiom(getDataFactory().getOWLIrreflexiveObjectPropertyAxiom(translateObjectProperty(subject), getPendingAnnotations())); consumeTriple(subject, predicate, object); } } }
private void setupSetters() { addSetter(functionalCB, () -> getOWLDataFactory().getOWLFunctionalObjectPropertyAxiom(getProperty())); addSetter(inverseFunctionalCB, () -> getOWLDataFactory().getOWLInverseFunctionalObjectPropertyAxiom(getProperty())); addSetter(transitiveCB, () -> getOWLDataFactory().getOWLTransitiveObjectPropertyAxiom(getProperty())); addSetter(symmetricCB, () -> getOWLDataFactory().getOWLSymmetricObjectPropertyAxiom(getProperty())); addSetter(aSymmetricCB, () -> getOWLDataFactory().getOWLAsymmetricObjectPropertyAxiom(getProperty())); addSetter(reflexiveCB, () -> getOWLDataFactory().getOWLReflexiveObjectPropertyAxiom(getProperty())); addSetter(irreflexiveCB, () -> getOWLDataFactory().getOWLIrreflexiveObjectPropertyAxiom(getProperty())); }
private void setupSetters() { addSetter(functionalCB, () -> getOWLDataFactory().getOWLFunctionalObjectPropertyAxiom(getProperty())); addSetter(inverseFunctionalCB, () -> getOWLDataFactory().getOWLInverseFunctionalObjectPropertyAxiom(getProperty())); addSetter(transitiveCB, () -> getOWLDataFactory().getOWLTransitiveObjectPropertyAxiom(getProperty())); addSetter(symmetricCB, () -> getOWLDataFactory().getOWLSymmetricObjectPropertyAxiom(getProperty())); addSetter(aSymmetricCB, () -> getOWLDataFactory().getOWLAsymmetricObjectPropertyAxiom(getProperty())); addSetter(reflexiveCB, () -> getOWLDataFactory().getOWLReflexiveObjectPropertyAxiom(getProperty())); addSetter(irreflexiveCB, () -> getOWLDataFactory().getOWLIrreflexiveObjectPropertyAxiom(getProperty())); }