congrats Icon
New! Tabnine Pro 14-day free trial
Start a free trial
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

  • Reading from database using SQL prepared statement
  • getApplicationContext (Context)
  • getExternalFilesDir (Context)
  • scheduleAtFixedRate (Timer)
  • ObjectMapper (com.fasterxml.jackson.databind)
    ObjectMapper provides functionality for reading and writing JSON, either to and from basic POJOs (Pl
  • System (java.lang)
    Provides access to system-related information and resources including standard input and output. Ena
  • SQLException (java.sql)
    An exception that indicates a failed JDBC operation. It provides the following information about pro
  • Random (java.util)
    This class provides methods that return pseudo-random values.It is dangerous to seed Random with the
  • Callable (java.util.concurrent)
    A task that returns a result and may throw an exception. Implementors define a single method with no
  • ConcurrentHashMap (java.util.concurrent)
    A plug-in replacement for JDK1.5 java.util.concurrent.ConcurrentHashMap. This version is based on or
  • Top 17 Free Sublime Text Plugins
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimAtomGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

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