congrats Icon
New! Announcing Tabnine Chat Beta
Learn More
Tabnine Logo
OWLDataFactory.getOWLFunctionalDataPropertyAxiom
Code IndexAdd Tabnine to your IDE (free)

How to use
getOWLFunctionalDataPropertyAxiom
method
in
org.semanticweb.owlapi.model.OWLDataFactory

Best Java code snippets using org.semanticweb.owlapi.model.OWLDataFactory.getOWLFunctionalDataPropertyAxiom (Showing top 20 results out of 315)

origin: net.sourceforge.owlapi/owlapi-osgidistribution

public static OWLFunctionalDataPropertyAxiom FunctionalDataProperty(
  OWLDataPropertyExpression property,
  Collection<OWLAnnotation> a) {
  return DF.getOWLFunctionalDataPropertyAxiom(property, a);
}
origin: owlcs/owlapi

public static OWLFunctionalDataPropertyAxiom FunctionalDataProperty(
  OWLDataPropertyExpression property,
  Collection<OWLAnnotation> a) {
  return DF.getOWLFunctionalDataPropertyAxiom(property, a);
}
origin: net.sourceforge.owlapi/owlapi-apibinding

public static OWLFunctionalDataPropertyAxiom FunctionalDataProperty(
  OWLDataPropertyExpression property,
  Collection<OWLAnnotation> a) {
  return DF.getOWLFunctionalDataPropertyAxiom(property, a);
}
origin: owlcs/owlapi

  @Override
  public OWLFunctionalDataPropertyAxiom buildObject() {
    return df.getOWLFunctionalDataPropertyAxiom(getProperty(), annotations);
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

@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);
  }
}
origin: owlcs/owlapi

@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);
  }
}
origin: net.sourceforge.owlapi/owlapi

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);
  }
}
origin: edu.stanford.protege/org.protege.owl.server

@Override
public Object read(OWLInputStream in) throws IOException {
  OWLDataPropertyExpression property = (OWLDataPropertyExpression) in.read();
  return in.getOWLDataFactory().getOWLFunctionalDataPropertyAxiom(property);
}
origin: liveontologies/elk-reasoner

@Override
public OWLFunctionalDataPropertyAxiom visit(
    ElkFunctionalDataPropertyAxiom axiom) {
  return owlFactory_.getOWLFunctionalDataPropertyAxiom(
      convert(axiom.getProperty()));
}
origin: liveontologies/elk-reasoner

@Override
public OWLFunctionalDataPropertyAxiom visit(
    ElkFunctionalDataPropertyAxiom axiom) {
  return owlFactory_.getOWLFunctionalDataPropertyAxiom(
      convert(axiom.getProperty()));
}
origin: owlcs/owlapi

@Override
public void visit(OWLFunctionalDataPropertyAxiom ax) {
  obj = df.getOWLFunctionalDataPropertyAxiom(dup(ax.getProperty()), anns(ax));
}
origin: owlcs/owlapi

protected OWLDataPropertyCharacteristicAxiom parseDataPropertyCharacteristic(
  OWLDataPropertyExpression prop) {
  String characteristic = consumeToken();
  if (FUNCTIONAL.matches(characteristic)) {
    return df.getOWLFunctionalDataPropertyAxiom(prop);
  } else {
    throw new ExceptionBuilder().withKeyword(FUNCTIONAL).build();
  }
}
origin: owlcs/owlapi

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

origin: net.sourceforge.owlapi/owlapi-distribution

protected OWLDataPropertyCharacteristicAxiom parseDataPropertyCharacteristic(
  OWLDataPropertyExpression prop) {
  String characteristic = consumeToken();
  if (FUNCTIONAL.matches(characteristic)) {
    return df.getOWLFunctionalDataPropertyAxiom(prop);
  } else {
    throw new ExceptionBuilder().withKeyword(FUNCTIONAL).build();
  }
}
origin: com.github.ansell.owlapi/owlapi-parsers

protected OWLDataPropertyCharacteristicAxiom parseDataPropertyCharacteristic(
    OWLDataPropertyExpression prop) {
  String characteristic = consumeToken();
  if (FUNCTIONAL.matches(characteristic)) {
    return dataFactory.getOWLFunctionalDataPropertyAxiom(prop);
  } else {
    throw new ExceptionBuilder().withKeyword(FUNCTIONAL).build();
  }
}
origin: owlcs/owlapi

@Override
public Object visit(OWLFunctionalDataPropertyAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLFunctionalDataPropertyAxiom(t(axiom.getProperty()), t(axiom
      .annotations())));
}
origin: com.github.ansell.owlapi/owlapi-parsers

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);
}
origin: com.github.ansell.owlapi/owlapi-parsers

  @Override
  protected OWLAxiom createPropertyCharacteristicAxiom() throws OWLXMLParserException {
    if (getProperty() == null) {
      throw new OWLXMLParserElementNotFoundException(getLineNumber(), getColumnNumber(), "Expected data property element");
    }
    return getOWLDataFactory().getOWLFunctionalDataPropertyAxiom(getProperty(), getAnnotations());
  }
}
origin: owlcs/owlapi

  @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);
    }
  }
}
origin: net.sourceforge.owlapi/owlapi-parsers

  @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);
    }
  }
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLFunctionalDataPropertyAxiom

Popular methods of OWLDataFactory

  • getOWLClass
    Gets an OWL class that has the specified IRI
  • getOWLNamedIndividual
    Gets an OWL individual that has the specified IRI
  • getOWLObjectProperty
    Gets an OWL object property that has the specified IRI
  • getOWLSubClassOfAxiom
  • getOWLClassAssertionAxiom
  • getOWLDataProperty
    Gets an OWL data property that has the specified IRI
  • getOWLThing
    Gets the built in owl:Thing class, which has a URI of
  • getOWLAnnotationProperty
    Gets an OWLAnnotationProperty that has the specified IRI
  • getOWLLiteral
    Convenience method that obtains a literal typed as a boolean.
  • getOWLDeclarationAxiom
    Gets a declaration with zero or more annotations for an entity
  • getOWLObjectIntersectionOf
  • getOWLEquivalentClassesAxiom
  • getOWLObjectIntersectionOf,
  • getOWLEquivalentClassesAxiom,
  • getOWLObjectSomeValuesFrom,
  • getOWLNothing,
  • getOWLObjectComplementOf,
  • getOWLObjectPropertyAssertionAxiom,
  • getOWLAnnotationAssertionAxiom,
  • getOWLDataPropertyAssertionAxiom,
  • getOWLDatatype,
  • getOWLAnnotation

Popular in Java

  • Start an intent from android
  • setContentView (Activity)
  • getOriginalFilename (MultipartFile)
    Return the original filename in the client's filesystem.This may contain path information depending
  • getContentResolver (Context)
  • String (java.lang)
  • HttpURLConnection (java.net)
    An URLConnection for HTTP (RFC 2616 [http://tools.ietf.org/html/rfc2616]) used to send and receive d
  • MessageFormat (java.text)
    Produces concatenated messages in language-neutral way. New code should probably use java.util.Forma
  • GregorianCalendar (java.util)
    GregorianCalendar is a concrete subclass of Calendarand provides the standard calendar used by most
  • TimeZone (java.util)
    TimeZone represents a time zone offset, and also figures out daylight savings. Typically, you get a
  • Callable (java.util.concurrent)
    A task that returns a result and may throw an exception. Implementors define a single method with no
  • Top plugins for WebStorm
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

    FAQBlogTabnine AcademyTerms of usePrivacy policyJava Code IndexJavascript Code Index
Get Tabnine for your IDE now