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

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

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

origin: owlcs/owlapi

public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf(
  OWLObjectPropertyExpression subProperty,
  OWLObjectPropertyExpression superProperty) {
  return DF.getOWLSubObjectPropertyOfAxiom(subProperty, superProperty);
}
origin: owlcs/owlapi

public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf(
  OWLObjectPropertyExpression subProperty,
  OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> a) {
  return DF.getOWLSubObjectPropertyOfAxiom(subProperty, superProperty, a);
}
origin: net.sourceforge.owlapi/owlapi-distribution

public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf(
  OWLObjectPropertyExpression subProperty,
  OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> a) {
  return DF.getOWLSubObjectPropertyOfAxiom(subProperty, superProperty, a);
}
origin: protegeproject/webprotege

  @Override
  protected Set<? extends OWLAxiom> createParentPlacementAxioms(OWLObjectProperty freshEntity,
                                 ChangeGenerationContext context,
                                 ImmutableSet<OWLObjectProperty> parents) {
    return parents.stream()
        .map(parent -> dataFactory.getOWLSubObjectPropertyOfAxiom(freshEntity, parent))
        .collect(toSet());
  }
}
origin: protegeproject/protege

@Nonnull
@Override
public Optional<OWLAxiom> visit(@Nonnull OWLObjectProperty property) {
  return strategy.getDeprecatedObjectPropertyParentIri()
          .map(parent -> dataFactory.getOWLSubObjectPropertyOfAxiom(property, dataFactory.getOWLObjectProperty(parent)));
}
origin: owlcs/owlapi

@Override
public Collection<OWLAxiom> visit(OWLInverseObjectPropertiesAxiom axiom) {
  Set<OWLAxiom> axioms = new HashSet<>();
  axioms.add(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(),
    axiom.getSecondProperty().getInverseProperty()));
  axioms.add(df.getOWLSubObjectPropertyOfAxiom(axiom.getSecondProperty(),
    axiom.getFirstProperty().getInverseProperty()));
  return axioms;
}
origin: owlcs/owlapi

@Override
public void visit(OWLInverseObjectPropertiesAxiom axiom) {
  isLocal = kernel
    .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(),
      axiom.getSecondProperty().getInverseProperty()))
    && kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom(
      axiom.getFirstProperty().getInverseProperty(), axiom.getSecondProperty()));
}
origin: owlcs/owlapi

@Override
public void visit(OWLInverseObjectPropertiesAxiom axiom) {
  isLocal =
    kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom
      .getSecondProperty().getInverseProperty())) && kernel
      .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom
        .getFirstProperty().getInverseProperty(), axiom.getSecondProperty()));
}
origin: net.sourceforge.owlapi/owlapi-tools

@Override
public void visit(OWLInverseObjectPropertiesAxiom axiom) {
  isLocal =
    kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom
      .getSecondProperty().getInverseProperty())) && kernel
      .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom
        .getFirstProperty().getInverseProperty(), axiom.getSecondProperty()));
}
origin: owlcs/owlapi

  @Override
  public OWLSubObjectPropertyOfAxiom buildObject() {
    return df.getOWLSubObjectPropertyOfAxiom(verifyNotNull(getSub()), verifyNotNull(getSup()),
      annotations);
  }
}
origin: owlcs/owlapi

@Override
public OWLSubObjectPropertyOfAxiom visit(OWLSubObjectPropertyOfAxiom ax) {
  return df.getOWLSubObjectPropertyOfAxiom(t(ax.getSubProperty()), t(ax.getSuperProperty()),
          a(ax));
}
origin: owlcs/owlapi

@Override
public OWLSubObjectPropertyOfAxiom visit(OWLSubObjectPropertyOfAxiom axiom) {
  return df.getOWLSubObjectPropertyOfAxiom(get(axiom.getSubProperty()),
    get(axiom.getSuperProperty()), anns(
      axiom));
}
origin: net.sourceforge.owlapi/owlapi

public void visit(OWLSubObjectPropertyOfAxiom axiom) {
  axiom.getSubProperty().accept(this);
  OWLObjectPropertyExpression subProp = (OWLObjectPropertyExpression) obj;
  axiom.getSuperProperty().accept(this);
  OWLObjectPropertyExpression supProp = (OWLObjectPropertyExpression) obj;
  obj = dataFactory.getOWLSubObjectPropertyOfAxiom(subProp, supProp, duplicateAxiomAnnotations(axiom));
}
origin: owlcs/owlapi

private void translateSubObjectProperty(IRI s, IRI p, IRI o) {
  // Object - o
  add(df.getOWLSubObjectPropertyOfAxiom(op(s), op(o), anns()));
  consume(s, p, o);
}
origin: owlcs/owlapi

@Override
public void visit(OWLSubObjectPropertyOfAxiom ax) {
  obj = df
    .getOWLSubObjectPropertyOfAxiom(dup(ax.getSubProperty()), dup(ax.getSuperProperty()),
      anns(ax));
}
origin: SmartDataAnalytics/DL-Learner

final public OWLSubObjectPropertyOfAxiom Subrole() throws ParseException {
                 OWLObjectProperty ar1,ar2;
 jj_consume_token(32);
 jj_consume_token(22);
 ar1 = ObjectProperty();
 jj_consume_token(24);
 ar2 = ObjectProperty();
 jj_consume_token(23);
 jj_consume_token(COMMAND_END);
  {if (true) return df.getOWLSubObjectPropertyOfAxiom(ar1,ar2);}
 throw new Error("Missing return statement in function");
}
origin: owlcs/owlapi

 final public void ImpliesRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression subProp;
  OWLObjectPropertyExpression superProp;
  jj_consume_token(OPENPAR);
  jj_consume_token(IMPLIESROLE);
  subProp = RoleExpression();
  superProp = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLSubObjectPropertyOfAxiom(subProp, superProp));
}

origin: net.sourceforge.owlapi/owlapi-krss

final public void ImpliesRole() throws ParseException, KRSS2OWLParserException {
 OWLObjectPropertyExpression subProp;
 OWLObjectPropertyExpression superProp;
 jj_consume_token(OPENPAR);
 jj_consume_token(IMPLIESROLE);
 subProp = RoleExpression();
 superProp = RoleExpression();
 jj_consume_token(CLOSEPAR);
   addAxiom(dataFactory.getOWLSubObjectPropertyOfAxiom(subProp, superProp));
}
origin: owlcs/owlapi

@Override
public Object visit(OWLSubObjectPropertyOfAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLSubObjectPropertyOfAxiom(t(axiom.getSubProperty()), t(axiom
      .getSuperProperty()), t(axiom.annotations())));
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public Object visit(OWLSubObjectPropertyOfAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLSubObjectPropertyOfAxiom(t(axiom.getSubProperty()), t(axiom
      .getSuperProperty()), t(axiom.annotations())));
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLSubObjectPropertyOfAxiom

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
  • putExtra (Intent)
  • runOnUiThread (Activity)
  • scheduleAtFixedRate (Timer)
  • BigInteger (java.math)
    An immutable arbitrary-precision signed integer.FAST CRYPTOGRAPHY This implementation is efficient f
  • URI (java.net)
    A Uniform Resource Identifier that identifies an abstract or physical resource, as specified by RFC
  • Path (java.nio.file)
  • MessageFormat (java.text)
    Produces concatenated messages in language-neutral way. New code should probably use java.util.Forma
  • PriorityQueue (java.util)
    A PriorityQueue holds elements on a priority heap, which orders the elements according to their natu
  • Set (java.util)
    A Set is a data structure which does not allow duplicate elements.
  • 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