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

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

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

origin: owlcs/owlapi

public static OWLTransitiveObjectPropertyAxiom TransitiveObjectProperty(
  OWLObjectPropertyExpression property,
  Collection<OWLAnnotation> a) {
  return DF.getOWLTransitiveObjectPropertyAxiom(property, a);
}
origin: owlcs/owlapi

  @Override
  public OWLTransitiveObjectPropertyAxiom buildObject() {
    return df.getOWLTransitiveObjectPropertyAxiom(verifyNotNull(getProperty()), annotations);
  }
}
origin: SmartDataAnalytics/DL-Learner

final public OWLTransitiveObjectPropertyAxiom Transitive() throws ParseException {
                      OWLObjectProperty ar;
 jj_consume_token(28);
 jj_consume_token(22);
 ar = ObjectProperty();
 jj_consume_token(23);
 jj_consume_token(COMMAND_END);
  {if (true) return df.getOWLTransitiveObjectPropertyAxiom(ar);}
 throw new Error("Missing return statement in function");
}
origin: owlcs/owlapi

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    add(df.getOWLTransitiveObjectPropertyAxiom(op(s), anns()));
    consume(s, p, o);
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    add(df.getOWLTransitiveObjectPropertyAxiom(op(s), anns()));
    consume(s, p, o);
  }
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

 final public OWLAxiom Transitive() throws ParseException {OWLObjectProperty prop;
  jj_consume_token(OPENPAR);
  jj_consume_token(TRANSITIVE);
  prop = RoleName();
  jj_consume_token(CLOSEPAR);
return df.getOWLTransitiveObjectPropertyAxiom(prop);
}

origin: net.sourceforge.owlapi/owlapi-osgidistribution

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    add(df.getOWLTransitiveObjectPropertyAxiom(op(s), anns()));
    consume(s, p, o);
  }
}
origin: owlcs/owlapi

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

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

origin: net.sourceforge.owlapi/owlapi-distribution

 final public void Transitive() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop;
  jj_consume_token(OPENPAR);
  jj_consume_token(TRANSITIVE);
  prop = RoleName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLTransitiveObjectPropertyAxiom(prop));
}

origin: owlcs/owlapi

 final public void Transitive() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop;
  jj_consume_token(OPENPAR);
  jj_consume_token(TRANSITIVE);
  prop = RoleName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLTransitiveObjectPropertyAxiom(prop));
}

origin: owlcs/owlapi

@Override
public Object visit(OWLTransitiveObjectPropertyAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLTransitiveObjectPropertyAxiom(t(axiom.getProperty()), t(axiom
      .annotations())));
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

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

origin: net.sourceforge.owlapi/owlapi-osgidistribution

 final public void Transitive() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop;
  jj_consume_token(OPENPAR);
  jj_consume_token(TRANSITIVE);
  prop = RoleName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLTransitiveObjectPropertyAxiom(prop));
}

origin: net.sourceforge.owlapi/owlapi

final public OWLPropertyAxiom TransitiveObjectProperty() throws ParseException {
 OWLObjectPropertyExpression prop;
 Set<OWLAnnotation> axiomAnnos;
 jj_consume_token(TRANSITIVEOBJECTPROPERTY);
 jj_consume_token(OPENPAR);
 axiomAnnos = AxiomAnnotationSet();
 prop = ObjectPropertyExpression();
 jj_consume_token(CLOSEPAR);
   {if (true) return dataFactory.getOWLTransitiveObjectPropertyAxiom(prop, axiomAnnos);}
 throw new Error("Missing return statement in function");
}
origin: owlcs/owlapi

private OWLAxiom parseTransitivePropertyAxiom() {
  String kw = consumeToken();
  if (!TRANSITIVE.matches(kw)) {
    throw new ExceptionBuilder().withKeyword(TRANSITIVE).build();
  }
  return df.getOWLTransitiveObjectPropertyAxiom(parseObjectPropertyExpression(false));
}
origin: net.sourceforge.owlapi/owlapi-distribution

private OWLAxiom parseTransitivePropertyAxiom() {
  String kw = consumeToken();
  if (!TRANSITIVE.matches(kw)) {
    throw new ExceptionBuilder().withKeyword(TRANSITIVE).build();
  }
  return df.getOWLTransitiveObjectPropertyAxiom(parseObjectPropertyExpression(false));
}
origin: com.github.ansell.owlapi/owlapi-parsers

private OWLAxiom parseTransitivePropertyAxiom() {
  String kw = consumeToken();
  if (!TRANSITIVE.matches(kw)) {
    throw new ExceptionBuilder().withKeyword(TRANSITIVE).build();
  }
  OWLObjectPropertyExpression prop = parseObjectPropertyExpression(false);
  return dataFactory.getOWLTransitiveObjectPropertyAxiom(prop);
}
origin: net.sourceforge.owlapi/owlapi

  public void handleTriple(IRI subject, IRI predicate, IRI object) throws UnloadableImportException {
    getConsumer().addOWLObjectProperty(subject);
    addAxiom(getDataFactory().getOWLTransitiveObjectPropertyAxiom(translateObjectProperty(subject), getPendingAnnotations()));
    consumeTriple(subject, predicate, object);
  }
}
origin: protegeproject/protege

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()));
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLTransitiveObjectPropertyAxiom

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

  • Making http requests using okhttp
  • getContentResolver (Context)
  • scheduleAtFixedRate (Timer)
  • orElseThrow (Optional)
    Return the contained value, if present, otherwise throw an exception to be created by the provided s
  • BufferedInputStream (java.io)
    A BufferedInputStream adds functionality to another input stream-namely, the ability to buffer the i
  • PrintStream (java.io)
    Fake signature of an existing Java class.
  • NumberFormat (java.text)
    The abstract base class for all number formats. This class provides the interface for formatting and
  • Calendar (java.util)
    Calendar is an abstract base class for converting between a Date object and a set of integer fields
  • TimeZone (java.util)
    TimeZone represents a time zone offset, and also figures out daylight savings. Typically, you get a
  • JComboBox (javax.swing)
  • 14 Best Plugins for Eclipse
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