public static OWLFunctionalDataPropertyAxiom FunctionalDataProperty( OWLDataPropertyExpression property, Collection<OWLAnnotation> a) { return DF.getOWLFunctionalDataPropertyAxiom(property, a); }
public static OWLFunctionalDataPropertyAxiom FunctionalDataProperty( OWLDataPropertyExpression property, Collection<OWLAnnotation> a) { return DF.getOWLFunctionalDataPropertyAxiom(property, a); }
public static OWLFunctionalDataPropertyAxiom FunctionalDataProperty( OWLDataPropertyExpression property, Collection<OWLAnnotation> a) { return DF.getOWLFunctionalDataPropertyAxiom(property, a); }
@Override public OWLFunctionalDataPropertyAxiom buildObject() { return df.getOWLFunctionalDataPropertyAxiom(getProperty(), annotations); } }
@Override protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLDataPropertyCharacteristicAxiom> result) { OWLFunctionalDataPropertyAxiom axiom = dataFactory .getOWLFunctionalDataPropertyAxiom(entity); if (reasoner.isEntailed(axiom)) { result.add(axiom); } }
@Override protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLDataPropertyCharacteristicAxiom> result) { OWLFunctionalDataPropertyAxiom axiom = dataFactory .getOWLFunctionalDataPropertyAxiom(entity); if (reasoner.isEntailed(axiom)) { result.add(axiom); } }
protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLDataPropertyCharacteristicAxiom> result) { OWLFunctionalDataPropertyAxiom axiom = dataFactory.getOWLFunctionalDataPropertyAxiom(entity); if (reasoner.isEntailed(axiom) && reasoner.isEntailed(axiom)) { result.add(axiom); } }
@Override public Object read(OWLInputStream in) throws IOException { OWLDataPropertyExpression property = (OWLDataPropertyExpression) in.read(); return in.getOWLDataFactory().getOWLFunctionalDataPropertyAxiom(property); }
@Override public OWLFunctionalDataPropertyAxiom visit( ElkFunctionalDataPropertyAxiom axiom) { return owlFactory_.getOWLFunctionalDataPropertyAxiom( convert(axiom.getProperty())); }
@Override public OWLFunctionalDataPropertyAxiom visit( ElkFunctionalDataPropertyAxiom axiom) { return owlFactory_.getOWLFunctionalDataPropertyAxiom( convert(axiom.getProperty())); }
@Override public void visit(OWLFunctionalDataPropertyAxiom ax) { obj = df.getOWLFunctionalDataPropertyAxiom(dup(ax.getProperty()), anns(ax)); }
protected OWLDataPropertyCharacteristicAxiom parseDataPropertyCharacteristic( OWLDataPropertyExpression prop) { String characteristic = consumeToken(); if (FUNCTIONAL.matches(characteristic)) { return df.getOWLFunctionalDataPropertyAxiom(prop); } else { throw new ExceptionBuilder().withKeyword(FUNCTIONAL).build(); } }
final public OWLPropertyAxiom FunctionalDataProperty() throws ParseException {OWLDataPropertyExpression prop; Set<OWLAnnotation> axiomAnnos; jj_consume_token(FUNCTIONALDATAPROPERTY); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = DataPropertyExpression(); jj_consume_token(CLOSEPAR); return df.getOWLFunctionalDataPropertyAxiom(prop, axiomAnnos); }
protected OWLDataPropertyCharacteristicAxiom parseDataPropertyCharacteristic( OWLDataPropertyExpression prop) { String characteristic = consumeToken(); if (FUNCTIONAL.matches(characteristic)) { return df.getOWLFunctionalDataPropertyAxiom(prop); } else { throw new ExceptionBuilder().withKeyword(FUNCTIONAL).build(); } }
protected OWLDataPropertyCharacteristicAxiom parseDataPropertyCharacteristic( OWLDataPropertyExpression prop) { String characteristic = consumeToken(); if (FUNCTIONAL.matches(characteristic)) { return dataFactory.getOWLFunctionalDataPropertyAxiom(prop); } else { throw new ExceptionBuilder().withKeyword(FUNCTIONAL).build(); } }
@Override public Object visit(OWLFunctionalDataPropertyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLFunctionalDataPropertyAxiom(t(axiom.getProperty()), t(axiom .annotations()))); }
final public OWLPropertyAxiom FunctionalDataProperty() throws ParseException { OWLDataPropertyExpression prop; Set<OWLAnnotation> axiomAnnos; jj_consume_token(FUNCTIONALDATAPROPERTY); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = DataPropertyExpression(); jj_consume_token(CLOSEPAR); return dataFactory.getOWLFunctionalDataPropertyAxiom(prop, axiomAnnos); }
@Override protected OWLAxiom createPropertyCharacteristicAxiom() throws OWLXMLParserException { if (getProperty() == null) { throw new OWLXMLParserElementNotFoundException(getLineNumber(), getColumnNumber(), "Expected data property element"); } return getOWLDataFactory().getOWLFunctionalDataPropertyAxiom(getProperty(), getAnnotations()); } }
@Override public void handleTriple(IRI s, IRI p, IRI o) { if (isOpLax(s)) { add(df.getOWLFunctionalObjectPropertyAxiom(op(s), anns())); consume(s, p, o); } if (isDPLax(s)) { add(df.getOWLFunctionalDataPropertyAxiom(dp(s), anns())); consume(s, p, o); } } }
@Override public void handleTriple(IRI s, IRI p, IRI o) { if (isOpLax(s)) { add(df.getOWLFunctionalObjectPropertyAxiom(op(s), anns())); consume(s, p, o); } if (isDPLax(s)) { add(df.getOWLFunctionalDataPropertyAxiom(dp(s), anns())); consume(s, p, o); } } }