congrats Icon
New! Tabnine Pro 14-day free trial
Start a free trial
Tabnine Logo
OWLDataFactory.getOWLInverseObjectPropertiesAxiom
Code IndexAdd Tabnine to your IDE (free)

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

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

origin: owlcs/owlapi

@Override
protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner,
  OWLDataFactory dataFactory, Set<OWLInverseObjectPropertiesAxiom> result,
  Set<OWLObjectPropertyExpression> nonSimpleProperties) {
  for (OWLObjectPropertyExpression prop : reasoner.getInverseObjectProperties(entity)) {
    if (!prop.isAnonymous()) {
      result.add(dataFactory.getOWLInverseObjectPropertiesAxiom(entity, prop));
    }
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner,
  OWLDataFactory dataFactory, Set<OWLInverseObjectPropertiesAxiom> result,
  Set<OWLObjectPropertyExpression> nonSimpleProperties) {
  for (OWLObjectPropertyExpression prop : reasoner.getInverseObjectProperties(entity)) {
    if (!prop.isAnonymous()) {
      result.add(dataFactory.getOWLInverseObjectPropertiesAxiom(entity, prop));
    }
  }
}
origin: owlcs/owlapi

@Override
public OWLInverseObjectPropertiesAxiom buildObject() {
  return df.getOWLInverseObjectPropertiesAxiom(verifyNotNull(getProperty()), getInverse(),
    annotations);
}
origin: net.sourceforge.owlapi/owlapi

public OWLInverseObjectPropertiesAxiom getAxiomWithoutAnnotations() {
  if(!isAnnotated()) {
    return this;
  }
  return getOWLDataFactory().getOWLInverseObjectPropertiesAxiom(getFirstProperty(), getSecondProperty());
}
origin: owlcs/owlapi

@Override
public OWLInverseObjectPropertiesAxiom visit(OWLInverseObjectPropertiesAxiom axiom) {
  return df.getOWLInverseObjectPropertiesAxiom(get(axiom.getFirstProperty()),
    get(axiom.getSecondProperty()),
    anns(axiom));
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public void visit(OWLInverseObjectPropertiesAxiom ax) {
  obj = df.getOWLInverseObjectPropertiesAxiom(dup(ax.getFirstProperty()),
    dup(ax.getSecondProperty()), anns(ax));
}
origin: owlcs/owlapi

@Override
public OWLInverseObjectPropertiesAxiom visit(OWLInverseObjectPropertiesAxiom ax) {
  return df.getOWLInverseObjectPropertiesAxiom(t(ax.getFirstProperty()),
          t(ax.getSecondProperty()), a(ax));
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public OWLInverseObjectPropertiesAxiom visit(OWLInverseObjectPropertiesAxiom ax) {
  return df.getOWLInverseObjectPropertiesAxiom(t(ax.getFirstProperty()),
          t(ax.getSecondProperty()), a(ax));
}
origin: owlcs/owlapi

 final public void Inverses() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression prop1;
  OWLObjectPropertyExpression prop2;
  jj_consume_token(OPENPAR);
  jj_consume_token(INVERSE);
  prop1 = RoleExpression();
  prop2 = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLInverseObjectPropertiesAxiom(prop1, prop2));
}

origin: owlcs/owlapi

 final public OWLPropertyAxiom InverseObjectProperties() throws ParseException {OWLObjectPropertyExpression propA;
  OWLObjectPropertyExpression propB;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(INVERSEOBJECTPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  propA = ObjectPropertyExpression();
  propB = ObjectPropertyExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLInverseObjectPropertiesAxiom(propA, propB, axiomAnnos);
}

origin: owlcs/owlapi

  @Override
  public void handle(String currentId, String value, String qualifierBlock, String comment) {
    OWLAxiom ax = getDataFactory()
      .getOWLInverseObjectPropertiesAxiom(getOWLObjectProperty(currentId),
        getOWLObjectProperty(value));
    applyChange(new AddAxiom(getOntology(), ax));
  }
}
origin: net.sourceforge.owlapi/owlapi

  public void handleTriple(IRI subject, IRI predicate, IRI object) throws UnloadableImportException {
    addAxiom(getDataFactory().getOWLInverseObjectPropertiesAxiom(
        translateObjectProperty(subject),
        translateObjectProperty(object), getPendingAnnotations()
    ));
    consumeTriple(subject, predicate, object);
  }
}
origin: net.sourceforge.owlapi/owlapi-compatibility

  @Override
  public void handle(String currentId, String value, String qualifierBlock, String comment) {
    OWLAxiom ax = getDataFactory()
      .getOWLInverseObjectPropertiesAxiom(getOWLObjectProperty(currentId),
        getOWLObjectProperty(value));
    applyChange(new AddAxiom(getOntology(), ax));
  }
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

 final public void Inverses() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression prop1;
  OWLObjectPropertyExpression prop2;
  jj_consume_token(OPENPAR);
  jj_consume_token(INVERSE);
  prop1 = RoleExpression();
  prop2 = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLInverseObjectPropertiesAxiom(prop1, prop2));
}

origin: net.sourceforge.owlapi/owlapi-osgidistribution

  @Override
  public void handle(String currentId, String value, String qualifierBlock, String comment) {
    OWLAxiom ax = getDataFactory()
      .getOWLInverseObjectPropertiesAxiom(getOWLObjectProperty(currentId),
        getOWLObjectProperty(value));
    applyChange(new AddAxiom(getOntology(), ax));
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public Object visit(OWLInverseObjectPropertiesAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLInverseObjectPropertiesAxiom(t(axiom.getFirstProperty()), t(axiom
      .getSecondProperty()), t(axiom.annotations())));
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    // Only do axiom translation
    if (axiomParsingMode && isOpLax(s) && isOpLax(o)) {
      add(df.getOWLInverseObjectPropertiesAxiom(op(s), op(o), anns()));
      consume(s, p, o);
    }
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    // Only do axiom translation
    if (axiomParsingMode && isOpLax(s) && isOpLax(o)) {
      add(df.getOWLInverseObjectPropertiesAxiom(op(s), op(o), anns()));
      consume(s, p, o);
    }
  }
}
origin: owlcs/owlapi

@Override
public Object visit(OWLInverseObjectPropertiesAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLInverseObjectPropertiesAxiom(t(axiom.getFirstProperty()), t(axiom
      .getSecondProperty()), t(axiom.annotations())));
}
origin: owlcs/owlapi

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    // Only do axiom translation
    if (axiomParsingMode && isOpLax(s) && isOpLax(o)) {
      add(df.getOWLInverseObjectPropertiesAxiom(op(s), op(o), anns()));
      consume(s, p, o);
    }
  }
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLInverseObjectPropertiesAxiom

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
  • onRequestPermissionsResult (Fragment)
  • addToBackStack (FragmentTransaction)
  • notifyDataSetChanged (ArrayAdapter)
  • Menu (java.awt)
  • MalformedURLException (java.net)
    This exception is thrown when a program attempts to create an URL from an incorrect specification.
  • URL (java.net)
    A Uniform Resource Locator that identifies the location of an Internet resource as specified by RFC
  • Comparator (java.util)
    A Comparator is used to compare two objects to determine their ordering with respect to each other.
  • Vector (java.util)
    Vector is an implementation of List, backed by an array and synchronized. All optional operations in
  • Response (javax.ws.rs.core)
    Defines the contract between a returned instance and the runtime when an application needs to provid
  • Top 15 Vim 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