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

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

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

origin: owlcs/owlapi

  @Override
  public OWLDisjointClassesAxiom buildObject() {
    return df.getOWLDisjointClassesAxiom(items, annotations);
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

public static OWLDisjointClassesAxiom DisjointClasses(
  Collection<OWLClassExpression> classExpressions,
  Collection<OWLAnnotation> a) {
  return DF.getOWLDisjointClassesAxiom(classExpressions, a);
}
origin: edu.stanford.protege/org.protege.editor.owl

private void handleDisjoints() {
  for (Set<OWLClass> clses : parent2ChildMap.values()) {
    if (clses.size() > 1) {
      changes.add(new AddAxiom(ont, df.getOWLDisjointClassesAxiom(clses)));
    }
  }
}
origin: protegeproject/protege

private void handleDisjoints() {
  for (Set<OWLClass> clses : parent2ChildMap.values()) {
    if (clses.size() > 1) {
      changes.add(new AddAxiom(ont, df.getOWLDisjointClassesAxiom(clses)));
    }
  }
}
origin: protegeproject/protege

@Override
protected void addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLDisjointClassesAxiom> result) {
  for (OWLClass disjoint : reasoner.getDisjointClasses(entity).getFlattened()) {
    result.add(dataFactory.getOWLDisjointClassesAxiom(entity, disjoint));
  }
}
origin: owlcs/owlapi

@Override
public void visit(OWLDisjointClassesAxiom axiom) {
  Set<OWLClassExpression> disjointclasses = replaceBottom(axiom.classExpressions());
  newAxiom = df.getOWLDisjointClassesAxiom(disjointclasses);
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public void visit(OWLDisjointClassesAxiom axiom) {
  isLocal = false;
  if (pairs(axiom.classExpressions()).map(v -> df.getOWLDisjointClassesAxiom(v.i, v.j))
    .anyMatch(ax -> !kernel.isEntailed(ax))) {
    return;
  }
  isLocal = true;
}
origin: owlcs/owlapi

  private void generateChanges(Collection<? extends OWLClassExpression> classExpressions,
    boolean usePairwiseDisjointAxioms, OWLOntology targetOntology) {
    if (usePairwiseDisjointAxioms) {
      pairs(classExpressions)
        .forEach(v -> addChange(
          new AddAxiom(targetOntology, df.getOWLDisjointClassesAxiom(v.i, v.j))));
    } else {
      addChange(
        new AddAxiom(targetOntology, df.getOWLDisjointClassesAxiom(classExpressions)));
    }
  }
}
origin: owlcs/owlapi

@Override
protected void addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory,
  Set<OWLDisjointClassesAxiom> result) {
  reasoner.precomputeInferences(InferenceType.DISJOINT_CLASSES);
  reasoner.getDisjointClasses(entity).forEach(cls -> cls.entities()
    .forEach(c -> result.add(dataFactory.getOWLDisjointClassesAxiom(entity, c))));
}
origin: owlcs/owlapi

@Override
public Collection<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) {
  Set<OWLAxiom> axioms = new HashSet<>();
  axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(),
    df.getOWLObjectUnionOf(axiom.classExpressions())).accept(this));
  axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.classExpressions()).accept(this));
  return axioms;
}
origin: net.sourceforge.owlapi/owlapi

public Set<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) {
  Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
  axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(),
      df.getOWLObjectUnionOf(axiom.getClassExpressions())).accept(this));
  axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.getClassExpressions()).accept(this));
  return axioms;
}
origin: edu.stanford.protege/org.protege.owl.server

@Override
public Object read(OWLInputStream in) throws IOException {
  int count = IOUtils.readInt(in.getInputStream());
  OWLClassExpression[] classExpressions = new OWLClassExpression[count];
  for (int i = 0; i < count; i++) {
    classExpressions[i] = (OWLClassExpression) in.read();
  }
  return in.getOWLDataFactory().getOWLDisjointClassesAxiom(classExpressions);
}
origin: owlcs/owlapi

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

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

final public OWLClassAxiom DisjointClasses() throws ParseException {
  Set<OWLClassExpression> classExpressions;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(DISJOINTCLASSES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  classExpressions = ClassExpressionSet();
  jj_consume_token(CLOSEPAR);
  return dataFactory.getOWLDisjointClassesAxiom(classExpressions, axiomAnnos);
}
origin: net.sourceforge.owlapi/owlapi-distribution

 final public void Disjoint() throws ParseException, KRSS2OWLParserException {OWLClassExpression desc1, desc2;
  jj_consume_token(OPENPAR);
  jj_consume_token(DISJOINT);
  desc1 = ConceptExpression();
  desc2 = ConceptExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLDisjointClassesAxiom(desc1, desc2));
}

origin: net.sourceforge.owlapi/owlapi-osgidistribution

 final public void Disjoint() throws ParseException, KRSS2OWLParserException {OWLClassExpression desc1, desc2;
  jj_consume_token(OPENPAR);
  jj_consume_token(DISJOINT);
  desc1 = ConceptExpression();
  desc2 = ConceptExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLDisjointClassesAxiom(desc1, desc2));
}

origin: owlcs/owlapi

  @Override
  public void handle(String currentId, String value, String qualifierBlock, String comment) {
    OWLAxiom ax = getDataFactory()
      .getOWLDisjointClassesAxiom(CollectionFactory.createSet(getCurrentClass(),
        getOWLClass(value)));
    applyChange(new AddAxiom(getOntology(), ax));
  }
}
origin: com.github.ansell.owlapi/owlapi-parsers

  @Override
  public void handle(String currentId, String value, String qualifierBlock, String comment) {
    OWLAxiom ax = getDataFactory().getOWLDisjointClassesAxiom(CollectionFactory.createSet(getCurrentClass(),
        getOWLClass(value)));
    applyChange(new AddAxiom(getOntology(), ax));
  }
}
origin: SciGraph/SciGraph

@Test
public void doesNotReason_whenOntologyIsInconsistent() throws Exception{
 OWLClass c0 = dataFactory.getOWLClass(IRI.generateDocumentIRI());
 OWLClass c1 = dataFactory.getOWLClass(IRI.generateDocumentIRI());
 OWLDisjointClassesAxiom disjoint = dataFactory.getOWLDisjointClassesAxiom(c0, c1);
 OWLIndividual i1 = dataFactory.getOWLNamedIndividual(IRI.generateDocumentIRI());
 OWLClassAssertionAxiom a1 = dataFactory.getOWLClassAssertionAxiom(c0, i1);
 OWLClassAssertionAxiom a2 = dataFactory.getOWLClassAssertionAxiom(c1, i1);
 manager.addAxioms(ont, newHashSet(disjoint, a1, a2));
 util.flush();
 assertThat(util.shouldReason(), is(false));
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLDisjointClassesAxiom

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
  • putExtra (Intent)
  • compareTo (BigDecimal)
  • startActivity (Activity)
  • MessageDigest (java.security)
    Uses a one-way hash function to turn an arbitrary number of bytes into a fixed-length byte sequence.
  • SecureRandom (java.security)
    This class generates cryptographically secure pseudo-random numbers. It is best to invoke SecureRand
  • Collections (java.util)
    This class consists exclusively of static methods that operate on or return collections. It contains
  • HashMap (java.util)
    HashMap is an implementation of Map. All optional operations are supported.All elements are permitte
  • JTextField (javax.swing)
  • Reflections (org.reflections)
    Reflections one-stop-shop objectReflections scans your classpath, indexes the metadata, allows you t
  • Top 17 Free Sublime Text 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