How to use

getOWLFunctionalDataPropertyAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

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);
    }
  }
}