org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom.accept java code examples

Common ways to obtain OWLEquivalentClassesAxiom

private void myMethod () {
 OWLEquivalentClassesAxiom o =OWLDataFactory oWLDataFactory;OWLClassExpression clsA;OWLClassExpression clsB;oWLDataFactory.getOWLEquivalentClassesAxiom(clsA, clsB)
OWLDataFactory oWLDataFactory;Set classExpressions;oWLDataFactory.getOWLEquivalentClassesAxiom(classExpressions)
OWLDataFactory oWLDataFactory;Collection collection;oWLDataFactory.getOWLEquivalentClassesAxiom(collection)
Smart code suggestions by Tabnine
}

@Override
public Boolean visit(OWLDisjointUnionAxiom axiom) {
  return Boolean.valueOf(axiom.getOWLEquivalentClassesAxiom().accept(this).booleanValue()
    && axiom.getOWLDisjointClassesAxiom().accept(this).booleanValue());
}

@Override
public Set<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) {
  Set<OWLAxiom> result = new HashSet<>();
  result.addAll(axiom.getOWLDisjointClassesAxiom().accept(this));
  result.addAll(axiom.getOWLEquivalentClassesAxiom().accept(this));
  return result;
}

@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
  if (axiom.classExpressions().count() == 2) {
    addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI());
  } else {
    axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this));
  }
}

@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
  if (axiom.classExpressions().count() == 2) {
    addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI());
  } else {
    axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this));
  }
}

@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
  if (axiom.classExpressions().count() == 2) {
    addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI());
  } else {
    axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this));
  }
}

@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
  if (axiom.classExpressions().count() == 2) {
    addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI());
  } else {
    axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this));
  }
}

public MacroExpansions() {
  visitor = new GCIVisitor(inputOntology, newAxioms);
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES)
    .forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand);
}

public MacroExpansions() {
  visitor = new GCIVisitor(inputOntology, newAxioms);
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES)
    .forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand);
}

public MacroExpansions() {
  visitor = new GCIVisitor(inputOntology, newAxioms);
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES)
    .forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand);
}

public MacroExpansions() {
  visitor = new GCIVisitor(inputOntology, newAxioms);
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES)
    .forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor));
  inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand);
}

@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;
}

@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;
}

@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;
}

public MacroExpansions() {
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  add(rmAxioms,
    inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand));
}

public MacroExpansions() {
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  add(rmAxioms,
    inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand));
}

public MacroExpansions() {
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  add(rmAxioms,
    inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand));
}

public MacroExpansions() {
  inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> {
    OWLAxiom newAxiom = axiom.accept(visitor);
    replaceIfDifferent(axiom, newAxiom);
  });
  add(rmAxioms,
    inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand));
}

Popular methods of OWLEquivalentClassesAxiom

getClassExpressions
classExpressions
getClassExpressionsMinus
asOWLSubClassOfAxioms
namedClasses
Gets the named classes (excluding owl:Thing and owl:Nothing) that are in this equivalent classes axi
getNamedClasses
Gets the named classes (excluding owl:Thing and owl:Nothing) that are in this equivalent classes axi
annotations
getClassExpressionsAsList
containsOWLThing
Determines if this class axiom makes a class expression equivalent to thing.
getAnnotations
contains
containsOWLNothing
Determines if this class axiom makes a class expression equivalent to nothing.

Popular in Java

Parsing JSON documents to java classes using gson
getExternalFilesDir (Context)
scheduleAtFixedRate (ScheduledExecutorService)
onRequestPermissionsResult (Fragment)
Graphics2D (java.awt)
This Graphics2D class extends the Graphics class to provide more sophisticated control overgraphics
BufferedImage (java.awt.image)
The BufferedImage subclass describes an java.awt.Image with an accessible buffer of image data. All
BlockingQueue (java.util.concurrent)
A java.util.Queue that additionally supports operations that wait for the queue to become non-empty
Semaphore (java.util.concurrent)
A counting semaphore. Conceptually, a semaphore maintains a set of permits. Each #acquire blocks if
Cipher (javax.crypto)
This class provides access to implementations of cryptographic ciphers for encryption and decryption
JFrame (javax.swing)
PhpStorm for WordPress

How to use acceptmethodin org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

Best Java code snippets using org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom.accept (Showing top 17 results out of 315)

How to use
accept
method
in
org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom