public static OWLTransitiveObjectPropertyAxiom TransitiveObjectProperty( OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) { return DF.getOWLTransitiveObjectPropertyAxiom(property, a); }
@Override public OWLTransitiveObjectPropertyAxiom buildObject() { return df.getOWLTransitiveObjectPropertyAxiom(verifyNotNull(getProperty()), annotations); } }
final public OWLTransitiveObjectPropertyAxiom Transitive() throws ParseException { OWLObjectProperty ar; jj_consume_token(28); jj_consume_token(22); ar = ObjectProperty(); jj_consume_token(23); jj_consume_token(COMMAND_END); {if (true) return df.getOWLTransitiveObjectPropertyAxiom(ar);} throw new Error("Missing return statement in function"); }
@Override public void handleTriple(IRI s, IRI p, IRI o) { add(df.getOWLTransitiveObjectPropertyAxiom(op(s), anns())); consume(s, p, o); } }
@Override public void handleTriple(IRI s, IRI p, IRI o) { add(df.getOWLTransitiveObjectPropertyAxiom(op(s), anns())); consume(s, p, o); } }
final public OWLAxiom Transitive() throws ParseException {OWLObjectProperty prop; jj_consume_token(OPENPAR); jj_consume_token(TRANSITIVE); prop = RoleName(); jj_consume_token(CLOSEPAR); return df.getOWLTransitiveObjectPropertyAxiom(prop); }
@Override public void handleTriple(IRI s, IRI p, IRI o) { add(df.getOWLTransitiveObjectPropertyAxiom(op(s), anns())); consume(s, p, o); } }
@Override public void handle(String currentId, String value, String qualifierBlock, String comment) { if (Boolean.parseBoolean(value)) { OWLObjectProperty prop = getDataFactory() .getOWLObjectProperty(getIRIFromOBOId(currentId)); OWLAxiom ax = getDataFactory().getOWLTransitiveObjectPropertyAxiom(prop); applyChange(new AddAxiom(getOntology(), ax)); } } }
final public OWLPropertyAxiom TransitiveObjectProperty() throws ParseException {OWLObjectPropertyExpression prop; Set<OWLAnnotation> axiomAnnos; jj_consume_token(TRANSITIVEOBJECTPROPERTY); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); jj_consume_token(CLOSEPAR); return df.getOWLTransitiveObjectPropertyAxiom(prop, axiomAnnos); }
final public void Transitive() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop; jj_consume_token(OPENPAR); jj_consume_token(TRANSITIVE); prop = RoleName(); jj_consume_token(CLOSEPAR); addAxiom( df.getOWLTransitiveObjectPropertyAxiom(prop)); }
final public void Transitive() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop; jj_consume_token(OPENPAR); jj_consume_token(TRANSITIVE); prop = RoleName(); jj_consume_token(CLOSEPAR); addAxiom( df.getOWLTransitiveObjectPropertyAxiom(prop)); }
@Override public Object visit(OWLTransitiveObjectPropertyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLTransitiveObjectPropertyAxiom(t(axiom.getProperty()), t(axiom .annotations()))); }
final public OWLPropertyAxiom TransitiveObjectProperty() throws ParseException {OWLObjectPropertyExpression prop; Set<OWLAnnotation> axiomAnnos; jj_consume_token(TRANSITIVEOBJECTPROPERTY); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); jj_consume_token(CLOSEPAR); return df.getOWLTransitiveObjectPropertyAxiom(prop, axiomAnnos); }
final public void Transitive() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop; jj_consume_token(OPENPAR); jj_consume_token(TRANSITIVE); prop = RoleName(); jj_consume_token(CLOSEPAR); addAxiom( df.getOWLTransitiveObjectPropertyAxiom(prop)); }
final public OWLPropertyAxiom TransitiveObjectProperty() throws ParseException { OWLObjectPropertyExpression prop; Set<OWLAnnotation> axiomAnnos; jj_consume_token(TRANSITIVEOBJECTPROPERTY); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); jj_consume_token(CLOSEPAR); {if (true) return dataFactory.getOWLTransitiveObjectPropertyAxiom(prop, axiomAnnos);} throw new Error("Missing return statement in function"); }
private OWLAxiom parseTransitivePropertyAxiom() { String kw = consumeToken(); if (!TRANSITIVE.matches(kw)) { throw new ExceptionBuilder().withKeyword(TRANSITIVE).build(); } return df.getOWLTransitiveObjectPropertyAxiom(parseObjectPropertyExpression(false)); }
private OWLAxiom parseTransitivePropertyAxiom() { String kw = consumeToken(); if (!TRANSITIVE.matches(kw)) { throw new ExceptionBuilder().withKeyword(TRANSITIVE).build(); } return df.getOWLTransitiveObjectPropertyAxiom(parseObjectPropertyExpression(false)); }
private OWLAxiom parseTransitivePropertyAxiom() { String kw = consumeToken(); if (!TRANSITIVE.matches(kw)) { throw new ExceptionBuilder().withKeyword(TRANSITIVE).build(); } OWLObjectPropertyExpression prop = parseObjectPropertyExpression(false); return dataFactory.getOWLTransitiveObjectPropertyAxiom(prop); }
public void handleTriple(IRI subject, IRI predicate, IRI object) throws UnloadableImportException { getConsumer().addOWLObjectProperty(subject); addAxiom(getDataFactory().getOWLTransitiveObjectPropertyAxiom(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())); }