congrats Icon
New! Announcing Tabnine Chat Beta
Learn More
Tabnine Logo
OWLDataFactory.getOWLHasKeyAxiom
Code IndexAdd Tabnine to your IDE (free)

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

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

origin: owlcs/owlapi

public static OWLHasKeyAxiom HasKey(OWLClassExpression classExpression,
  OWLPropertyExpression... propertyExpressions) {
  return DF.getOWLHasKeyAxiom(classExpression, propertyExpressions);
}
origin: owlcs/owlapi

public static OWLHasKeyAxiom HasKey(Collection<OWLAnnotation> a,
  OWLClassExpression classExpression,
  OWLPropertyExpression... propertyExpressions) {
  return DF.getOWLHasKeyAxiom(classExpression, Arrays.asList(propertyExpressions), a);
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public OWLHasKeyAxiom buildObject() {
  return df.getOWLHasKeyAxiom(getClassExpression(), items, annotations);
}
origin: protegeproject/protege

protected OWLHasKeyAxiom createAxiom(Set<OWLPropertyExpression> properties) {
  /*
   * Degenericized to be compatible with changing OWLAPI interfaces
   */
  return getOWLDataFactory().getOWLHasKeyAxiom(getRootObject(), (Set) properties);
}
origin: edu.stanford.protege/org.protege.editor.owl

protected OWLHasKeyAxiom createAxiom(Set<OWLPropertyExpression> properties) {
  /*
   * Degenericized to be compatible with changing OWLAPI interfaces
   */
  return getOWLDataFactory().getOWLHasKeyAxiom(getRootObject(), (Set) properties);
}
origin: protegeproject/protege

protected OWLHasKeyAxiom createAxiom(Set<OWLPropertyExpression> properties) {
  /*
   * Degenericized to be compatible with changing OWLAPI interfaces
   */
  return getOWLDataFactory().getOWLHasKeyAxiom(getRootObject(), (Set) properties);
}
origin: net.sourceforge.owlapi/owlapi

public OWLHasKeyAxiom getAxiomWithoutAnnotations() {
  if(!isAnnotated()) {
    return this;
  }
  return getOWLDataFactory().getOWLHasKeyAxiom(getClassExpression(), getPropertyExpressions());
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public OWLHasKeyAxiom visit(OWLHasKeyAxiom axiom) {
  return df
    .getOWLHasKeyAxiom(get(axiom.getClassExpression()), list(axiom.propertyExpressions()),
      anns(axiom));
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public void visit(OWLHasKeyAxiom ax) {
  obj = df.getOWLHasKeyAxiom(dup(ax.getClassExpression()), set(ax.propertyExpressions()),
    anns(ax));
}
origin: owlcs/owlapi

@Override
public OWLHasKeyAxiom visit(OWLHasKeyAxiom axiom) {
  return df
    .getOWLHasKeyAxiom(get(axiom.getClassExpression()), list(axiom.propertyExpressions()),
      anns(axiom));
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public OWLHasKeyAxiom visit(OWLHasKeyAxiom ax) {
  return df.getOWLHasKeyAxiom(t(ax.getClassExpression()), list(ax.propertyExpressions()),
          a(ax));
}
origin: liveontologies/elk-reasoner

@Override
public OWLHasKeyAxiom visit(ElkHasKeyAxiom axiom) {
  return owlFactory_.getOWLHasKeyAxiom(
      convert(axiom.getClassExpression()),
      toPropertyExpressionSet(axiom.getObjectPropertyExpressions(),
          axiom.getDataPropertyExpressions()));
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public OWLHasKeyAxiom visit(OWLHasKeyAxiom axiom) {
  return df
    .getOWLHasKeyAxiom(get(axiom.getClassExpression()), list(axiom.propertyExpressions()),
      anns(axiom));
}
origin: liveontologies/elk-reasoner

@Override
public OWLHasKeyAxiom visit(ElkHasKeyAxiom axiom) {
  return owlFactory_.getOWLHasKeyAxiom(
      convert(axiom.getClassExpression()),
      toPropertyExpressionSet(axiom.getObjectPropertyExpressions(),
          axiom.getDataPropertyExpressions()));
}
origin: owlcs/owlapi

@Override
public OWLHasKeyAxiom visit(OWLHasKeyAxiom ax) {
  return df.getOWLHasKeyAxiom(t(ax.getClassExpression()), list(ax.propertyExpressions()),
          a(ax));
}
origin: net.sourceforge.owlapi/owlapi

  public void handleTriple(IRI subject, IRI predicate, IRI object) throws UnloadableImportException {
    consumeTriple(subject, predicate, object);
    OWLClassExpression ce = translateClassExpression(subject);
    Set<OWLPropertyExpression> props = listTranslator.translateToSet(object);
    addAxiom(getDataFactory().getOWLHasKeyAxiom(ce, props, getPendingAnnotations()));
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    if (isCe(s)) {
      consume(s, p, o);
      OWLClassExpression ce = ce(s);
      Set<OWLPropertyExpression> props = listTranslator.translateToSet(o);
      add(df.getOWLHasKeyAxiom(ce, props, anns()));
    }
  }
}
origin: owlcs/owlapi

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    if (isCe(s)) {
      consume(s, p, o);
      OWLClassExpression ce = ce(s);
      Set<OWLPropertyExpression> props = listTranslator.translateToSet(o);
      add(df.getOWLHasKeyAxiom(ce, props, anns()));
    }
  }
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public Object visit(OWLHasKeyAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLHasKeyAxiom(t(axiom.getClassExpression()), t(axiom
      .propertyExpressions()), t(axiom.annotations())));
}
origin: com.github.ansell.owlapi/owlapi-parsers

  @Override
  public void handleTriple(IRI subject, IRI predicate, IRI object) throws UnloadableImportException {
    if (getConsumer().isClassExpression(subject)) {
      consumeTriple(subject, predicate, object);
      OWLClassExpression ce = translateClassExpression(subject);

      Set<OWLPropertyExpression<?,?>> props = listTranslator.translateToSet(object);
      addAxiom(getDataFactory().getOWLHasKeyAxiom(ce, props, getPendingAnnotations()));
    }
  }
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLHasKeyAxiom

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 post requests using okhttp
  • getSupportFragmentManager (FragmentActivity)
  • onCreateOptionsMenu (Activity)
  • onRequestPermissionsResult (Fragment)
  • FlowLayout (java.awt)
    A flow layout arranges components in a left-to-right flow, much like lines of text in a paragraph. F
  • BigDecimal (java.math)
    An immutable arbitrary-precision signed decimal.A value is represented by an arbitrary-precision "un
  • Hashtable (java.util)
    A plug-in replacement for JDK1.5 java.util.Hashtable. This version is based on org.cliffc.high_scale
  • Vector (java.util)
    Vector is an implementation of List, backed by an array and synchronized. All optional operations in
  • ConcurrentHashMap (java.util.concurrent)
    A plug-in replacement for JDK1.5 java.util.concurrent.ConcurrentHashMap. This version is based on or
  • Collectors (java.util.stream)
  • CodeWhisperer alternatives
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

    FAQBlogTabnine AcademyTerms of usePrivacy policyJava Code IndexJavascript Code Index
Get Tabnine for your IDE now