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 Codota
}

@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

Reading from database using SQL prepared statement
getExternalFilesDir (Context)
setScale (BigDecimal)
Returns a BigDecimal whose scale is the specified value, and whose value is numerically equal to thi
addToBackStack (FragmentTransaction)
HttpServer (com.sun.net.httpserver)
This class implements a simple HTTP server. A HttpServer is bound to an IP address and port number a
BufferedWriter (java.io)
Wraps an existing Writer and buffers the output. Expensive interaction with the underlying reader is
InetAddress (java.net)
This class represents an Internet Protocol (IP) address. An IP address is either a 32-bit or 128-bit
ThreadPoolExecutor (java.util.concurrent)
An ExecutorService that executes each submitted task using one of possibly several pooled threads, n
JarFile (java.util.jar)
JarFile is used to read jar entries and their associated data from jar files.
Project (org.apache.tools.ant)
Central representation of an Ant project. This class defines an Ant project with all of its targets,

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