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

  • Running tasks concurrently on multiple threads
  • getContentResolver (Context)
  • scheduleAtFixedRate (Timer)
  • orElseThrow (Optional)
    Return the contained value, if present, otherwise throw an exception to be created by the provided s
  • Window (java.awt)
    A Window object is a top-level window with no borders and no menubar. The default layout for a windo
  • InputStreamReader (java.io)
    A class for turning a byte stream into a character stream. Data read from the source input stream is
  • Path (java.nio.file)
  • DateFormat (java.text)
    Formats or parses dates and times.This class provides factories for obtaining instances configured f
  • Properties (java.util)
    A Properties object is a Hashtable where the keys and values must be Strings. Each property can have
  • CountDownLatch (java.util.concurrent)
    A synchronization aid that allows one or more threads to wait until a set of operations being perfor
  • 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