org.semanticweb.owlapi.model.OWLDataFactory.getOWLInverseFunctionalObjectPropertyAxiom java code examples

Common ways to obtain OWLDataFactory

private void myMethod () {
 OWLDataFactory o =OWLOntologyManager manager;manager.getOWLDataFactory()
OWLOntology ontology;ontology.getOWLOntologyManager().getOWLDataFactory()
OWLManager.getOWLDataFactory()
Smart code suggestions by Codota
}

  @Override
  public OWLInverseFunctionalObjectPropertyAxiom buildObject() {
    return df
      .getOWLInverseFunctionalObjectPropertyAxiom(verifyNotNull(getProperty()), annotations);
  }
}

  @Override
  public OWLInverseFunctionalObjectPropertyAxiom buildObject() {
    return df
      .getOWLInverseFunctionalObjectPropertyAxiom(verifyNotNull(getProperty()), annotations);
  }
}

@Override
public OWLInverseFunctionalObjectPropertyAxiom visit(
        OWLInverseFunctionalObjectPropertyAxiom ax) {
  return df.getOWLInverseFunctionalObjectPropertyAxiom(t(ax.getProperty()), a(ax));
}

public OWLAxiom parseInverseFunctionalPropertyAxiom() throws ParserException {
  String kw = consumeToken();
  if (!kw.equalsIgnoreCase(INVERSE_FUNCTIONAL)) {
    throw createException(INVERSE_FUNCTIONAL);
  }
  OWLObjectPropertyExpression prop = parseObjectPropertyExpression();
  return getDataFactory().getOWLInverseFunctionalObjectPropertyAxiom(prop);
}

@Override
public OWLInverseFunctionalObjectPropertyAxiom visit(
  OWLInverseFunctionalObjectPropertyAxiom axiom) {
  return df.getOWLInverseFunctionalObjectPropertyAxiom(get(axiom.getProperty()), anns(axiom));
}

@Override
public OWLInverseFunctionalObjectPropertyAxiom visit(
        OWLInverseFunctionalObjectPropertyAxiom ax) {
  return df.getOWLInverseFunctionalObjectPropertyAxiom(t(ax.getProperty()), a(ax));
}

@Override
public OWLInverseFunctionalObjectPropertyAxiom visit(
  OWLInverseFunctionalObjectPropertyAxiom axiom) {
  return df.getOWLInverseFunctionalObjectPropertyAxiom(get(axiom.getProperty()), anns(axiom));
}

@Override
public OWLInverseFunctionalObjectPropertyAxiom visit(
  OWLInverseFunctionalObjectPropertyAxiom axiom) {
  return df.getOWLInverseFunctionalObjectPropertyAxiom(get(axiom.getProperty()), anns(axiom));
}

@Override
public Object visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLInverseFunctionalObjectPropertyAxiom(t(axiom.getProperty()), t(axiom
      .annotations())));
}

 final public OWLPropertyAxiom InverseFunctionalObjectProperty() throws ParseException {OWLObjectPropertyExpression prop;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(INVERSEFUNCTIONALOBJECTPROPERTY);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  prop = ObjectPropertyExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLInverseFunctionalObjectPropertyAxiom(prop, axiomAnnos);
}

final public OWLPropertyAxiom InverseFunctionalObjectProperty() throws ParseException {
  OWLObjectPropertyExpression prop;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(INVERSEFUNCTIONALOBJECTPROPERTY);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  prop = ObjectPropertyExpression();
  jj_consume_token(CLOSEPAR);
  return dataFactory.getOWLInverseFunctionalObjectPropertyAxiom(prop, axiomAnnos);
}

 final public OWLPropertyAxiom InverseFunctionalObjectProperty() throws ParseException {OWLObjectPropertyExpression prop;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(INVERSEFUNCTIONALOBJECTPROPERTY);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  prop = ObjectPropertyExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLInverseFunctionalObjectPropertyAxiom(prop, axiomAnnos);
}

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    if (isOpLax(s)) {
      OWLObjectPropertyExpression property = op(s);
      add(df.getOWLInverseFunctionalObjectPropertyAxiom(property, anns()));
      consume(s, p, o);
    }
  }
}

 final public OWLPropertyAxiom InverseFunctionalObjectProperty() throws ParseException {OWLObjectPropertyExpression prop;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(INVERSEFUNCTIONALOBJECTPROPERTY);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  prop = ObjectPropertyExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLInverseFunctionalObjectPropertyAxiom(prop, axiomAnnos);
}

@Override
public Object visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLInverseFunctionalObjectPropertyAxiom(t(axiom.getProperty()), t(axiom
      .annotations())));
}

 final public OWLPropertyAxiom InverseFunctionalObjectProperty() throws ParseException {OWLObjectPropertyExpression prop;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(INVERSEFUNCTIONALOBJECTPROPERTY);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  prop = ObjectPropertyExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLInverseFunctionalObjectPropertyAxiom(prop, axiomAnnos);
}

private OWLAxiom parseInverseFunctionalPropertyAxiom() {
  String kw = consumeToken();
  if (!INVERSE_FUNCTIONAL.matches(kw)) {
    throw new ExceptionBuilder().withKeyword(INVERSE_FUNCTIONAL).build();
  }
  return df.getOWLInverseFunctionalObjectPropertyAxiom(parseObjectPropertyExpression(false));
}

private OWLAxiom parseInverseFunctionalPropertyAxiom() {
  String kw = consumeToken();
  if (!INVERSE_FUNCTIONAL.matches(kw)) {
    throw new ExceptionBuilder().withKeyword(INVERSE_FUNCTIONAL).build();
  }
  return df.getOWLInverseFunctionalObjectPropertyAxiom(parseObjectPropertyExpression(false));
}

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

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

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

Popular in Java

Finding current android device location
getSharedPreferences (Context)
putExtra (Intent)
orElseThrow (Optional)
PrintWriter (java.io)
Prints formatted representations of objects to a text-output stream. This class implements all of th
URI (java.net)
Represents a Uniform Resource Identifier (URI) reference. Aside from some minor deviations noted bel
Arrays (java.util)
This class contains various methods for manipulating arrays (such as sorting and searching). This cl
Hashtable (java.util)
Hashtable is a synchronized implementation of Map. All optional operations are supported.Neither key
List (java.util)
A List is a collection which maintains an ordering for its elements. Every element in the List has a
Timer (java.util)
A facility for threads to schedule tasks for future execution in a background thread. Tasks may be s

How to use getOWLInverseFunctionalObjectPropertyAxiommethodin org.semanticweb.owlapi.model.OWLDataFactory

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

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