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

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

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

origin: owlcs/owlapi

  @Override
  public OWLSameIndividualAxiom buildObject() {
    return df.getOWLSameIndividualAxiom(items, annotations);
  }
}
origin: owlcs/owlapi

public static OWLSameIndividualAxiom SameIndividual(
  Collection<? extends OWLIndividual> individuals) {
  return DF.getOWLSameIndividualAxiom(individuals);
}
origin: net.sourceforge.owlapi/owlapi-distribution

  @Override
  public OWLSameIndividualAxiom buildObject() {
    return df.getOWLSameIndividualAxiom(items, annotations);
  }
}
origin: net.sourceforge.owlapi/owlapi

public Set<OWLSameIndividualAxiom> asPairwiseAxioms() {
  List<OWLIndividual> inds = getIndividualsAsList();
  Set<OWLSameIndividualAxiom> result = new HashSet<OWLSameIndividualAxiom>();
  for(int i = 0; i < inds.size() - 1; i++) {
    OWLIndividual indI = inds.get(i);
    OWLIndividual indJ = inds.get(i + 1);
    result.add(getOWLDataFactory().getOWLSameIndividualAxiom(indI, indJ));
  }
  return result;
}
origin: protegeproject/protege

protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) {
  object.add(getRootObject());
  OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object);
  return ax;
}
origin: edu.stanford.protege/org.protege.editor.owl

protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) {
  object.add(getRootObject());
  OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object);
  return ax;
}
origin: edu.stanford.protege/protege-editor-owl

protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) {
  object.add(getRootObject());
  OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object);
  return ax;
}
origin: owlcs/owlapi

@Override
public void visit(OWLSameIndividualAxiom ax) {
  obj = df.getOWLSameIndividualAxiom(set(ax.individuals()), anns(ax));
}
origin: owlcs/owlapi

@Override
public OWLSameIndividualAxiom visit(OWLSameIndividualAxiom ax) {
  return df.getOWLSameIndividualAxiom(list(ax.individuals()), a(ax));
}
origin: net.sourceforge.owlapi/owlapi-parsers

 final public OWLAxiom parseSameIndividual() throws ParseException {OWLIndividual indA;
  OWLIndividual indB;
  indA = parseIndividualId();
  jj_consume_token(EXACT);
  indB = parseIndividualId();
return factory.getOWLSameIndividualAxiom(indA, indB);
}

origin: owlcs/owlapi

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    add(df.getOWLSameIndividualAxiom(Sets.newHashSet(ind(s), ind(o)), anns()));
    consume(s, p, o);
  }
}
origin: net.sourceforge.owlapi/owlapi-parsers

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

 final public OWLAxiom Equal() throws ParseException {OWLIndividual indA, indB;
  jj_consume_token(OPENPAR);
  jj_consume_token(EQUAL);
  indA = IndividualName();
  indB = IndividualName();
  jj_consume_token(CLOSEPAR);
return df.getOWLSameIndividualAxiom(indA, indB);
}

origin: net.sourceforge.owlapi/owlapi

final public OWLIndividualAxiom SameIndividuals() throws ParseException {
 Set<OWLIndividual> individuals;
 Set<OWLAnnotation> axiomAnnos;
 jj_consume_token(SAMEINDIVIDUAL);
 jj_consume_token(OPENPAR);
 axiomAnnos = AxiomAnnotationSet();
 individuals = IndividualSet();
 jj_consume_token(CLOSEPAR);
   {if (true) return dataFactory.getOWLSameIndividualAxiom(individuals, axiomAnnos);}
 throw new Error("Missing return statement in function");
}
origin: owlcs/owlapi

@Override
public Object visit(OWLSameIndividualAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLSameIndividualAxiom(t(axiom.individuals()), t(axiom
      .annotations())));
}
origin: net.sourceforge.owlapi/owlapi-distribution

 final public void Equal() throws ParseException, KRSS2OWLParserException {OWLIndividual indA, indB;
  jj_consume_token(OPENPAR);
  jj_consume_token(EQUAL);
  indA = IndividualName();
  indB = IndividualName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLSameIndividualAxiom(indA, indB));
}

origin: owlcs/owlapi

 final public void Equal() throws ParseException, KRSS2OWLParserException {OWLIndividual indA, indB;
  jj_consume_token(OPENPAR);
  jj_consume_token(EQUAL);
  indA = IndividualName();
  indB = IndividualName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLSameIndividualAxiom(indA, indB));
}

origin: net.sourceforge.owlapi/owlapi-parsers

 final public void Equal() throws ParseException, KRSS2OWLParserException {OWLIndividual indA, indB;
  jj_consume_token(OPENPAR);
  jj_consume_token(EQUAL);
  indA = IndividualName();
  indB = IndividualName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLSameIndividualAxiom(indA, indB));
}

origin: net.sourceforge.owlapi/owlapi-distribution

private void initialiseIndividualFrameSections() {
  //@formatter:off
  initialiseSection(new AnnAxiom<OWLIndividual, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLClassExpression>(x -> parseUnion(), TYPES, (s, o, anns) -> df.getOWLClassAssertionAxiom(o, s, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<>(this::parseFact, FACTS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), SAME_AS, (s, o, anns) -> df.getOWLSameIndividualAxiom(s, o, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), DIFFERENT_FROM, (s, o, anns) -> df.getOWLDifferentIndividualsAxiom(s, o, anns)), individualFrameSections);
  // Extensions
  initialiseSection(new AnnAxiom<OWLIndividual, Set<OWLIndividual>>(x -> parseIndividualList(), DIFFERENT_INDIVIDUALS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections);
  //@formatter:on
}
origin: owlcs/owlapi

private void initialiseIndividualFrameSections() {
  //@formatter:off
  initialiseSection(new AnnAxiom<OWLIndividual, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLClassExpression>(x -> parseUnion(), TYPES, (s, o, anns) -> df.getOWLClassAssertionAxiom(o, s, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<>(this::parseFact, FACTS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), SAME_AS, (s, o, anns) -> df.getOWLSameIndividualAxiom(s, o, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), DIFFERENT_FROM, (s, o, anns) -> df.getOWLDifferentIndividualsAxiom(s, o, anns)), individualFrameSections);
  // Extensions
  initialiseSection(new AnnAxiom<OWLIndividual, Set<OWLIndividual>>(x -> parseIndividualList(), DIFFERENT_INDIVIDUALS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections);
  //@formatter:on
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLSameIndividualAxiom

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
  • getApplicationContext (Context)
  • getExternalFilesDir (Context)
  • scheduleAtFixedRate (Timer)
  • ObjectMapper (com.fasterxml.jackson.databind)
    ObjectMapper provides functionality for reading and writing JSON, either to and from basic POJOs (Pl
  • System (java.lang)
    Provides access to system-related information and resources including standard input and output. Ena
  • SQLException (java.sql)
    An exception that indicates a failed JDBC operation. It provides the following information about pro
  • Random (java.util)
    This class provides methods that return pseudo-random values.It is dangerous to seed Random with the
  • Callable (java.util.concurrent)
    A task that returns a result and may throw an exception. Implementors define a single method with no
  • ConcurrentHashMap (java.util.concurrent)
    A plug-in replacement for JDK1.5 java.util.concurrent.ConcurrentHashMap. This version is based on or
  • 21 Best IntelliJ 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