Tabnine Logo
OWLDisjointUnionAxiom.getOperandsAsList
Code IndexAdd Tabnine to your IDE (free)

How to use
getOperandsAsList
method
in
org.semanticweb.owlapi.model.OWLDisjointUnionAxiom

Best Java code snippets using org.semanticweb.owlapi.model.OWLDisjointUnionAxiom.getOperandsAsList (Showing top 13 results out of 315)

origin: owlcs/owlapi

@Override
default Stream<?> componentsWithoutAnnotations() {
  return Stream.of(getOWLClass(), getOperandsAsList());
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
default Stream<?> componentsWithoutAnnotations() {
  return Stream.of(getOWLClass(), getOperandsAsList());
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
default Stream<?> componentsWithoutAnnotations() {
  return Stream.of(getOWLClass(), getOperandsAsList());
}
origin: owlcs/owlapi

@Override
default Stream<?> components() {
  return Stream.of(getOWLClass(), getOperandsAsList(), annotationsAsList());
}
origin: owlcs/owlapi

@Override
default Stream<?> componentsAnnotationsFirst() {
  return Stream.of(annotationsAsList(), getOWLClass(), getOperandsAsList());
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
default Stream<?> components() {
  return Stream.of(getOWLClass(), getOperandsAsList(), annotationsAsList());
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
default Stream<?> componentsAnnotationsFirst() {
  return Stream.of(annotationsAsList(), getOWLClass(), getOperandsAsList());
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
default Stream<?> componentsAnnotationsFirst() {
  return Stream.of(annotationsAsList(), getOWLClass(), getOperandsAsList());
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
default Stream<?> components() {
  return Stream.of(getOWLClass(), getOperandsAsList(), annotationsAsList());
}
origin: net.sourceforge.owlapi/org.semanticweb.hermit

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  // DisjointUnion(C CE1 ... CEn)
  // 1. add C implies CE1 or ... or CEn, which is { not C or CE1 or ... or CEn }
  List<OWLClassExpression> classExpressions = new ArrayList<>( axiom.getOperandsAsList());
  List<OWLClassExpression> inclusion= new ArrayList<>(classExpressions);
  OWLClassExpression complementNNF = m_expressionManager.getComplementNNF(axiom.getOWLClass());
  if(!inclusion.contains(complementNNF)) {
    inclusion.add(complementNNF);
  }
  m_classExpressionInclusionsAsDisjunctions.add(inclusion);
  // 2. add CEi implies C, which is { not CEi or C }
  for (OWLClassExpression description : classExpressions)
    m_classExpressionInclusionsAsDisjunctions.add(Arrays.asList( negative(description),axiom.getOWLClass() ));
  // 3. add CEi and CEj implies bottom (not CEi or not CEj) for 1 <= i < j <= n
  for (int i=0;i<classExpressions.size();i++)
    classExpressions.set(i, m_expressionManager.getComplementNNF(classExpressions.get(i)));
  for (int i=0;i<classExpressions.size();i++)
    for (int j=i+1;j<classExpressions.size();j++)
      m_classExpressionInclusionsAsDisjunctions.add(Arrays.asList( classExpressions.get(i),classExpressions.get(j) ));
}
origin: owlcs/owlapi

@Override
default int initHashCode() {
  int hash = hashIndex();
  hash = OWLObject.hashIteration(hash, getOWLClass().hashCode());
  hash = OWLObject.hashIteration(hash, getOperandsAsList().hashCode());
  return OWLObject.hashIteration(hash, annotationsAsList().hashCode());
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
default int initHashCode() {
  int hash = hashIndex();
  hash = OWLObject.hashIteration(hash, getOWLClass().hashCode());
  hash = OWLObject.hashIteration(hash, getOperandsAsList().hashCode());
  return OWLObject.hashIteration(hash, annotationsAsList().hashCode());
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
default int initHashCode() {
  int hash = hashIndex();
  hash = OWLObject.hashIteration(hash, getOWLClass().hashCode());
  hash = OWLObject.hashIteration(hash, getOperandsAsList().hashCode());
  return OWLObject.hashIteration(hash, annotationsAsList().hashCode());
}
org.semanticweb.owlapi.modelOWLDisjointUnionAxiomgetOperandsAsList

Popular methods of OWLDisjointUnionAxiom

  • getOWLClass
    Gets the class which is equivalent to the disjoint union.
  • getClassExpressions
    Gets the class expressions which are operands of the disjoint union.
  • classExpressions
    Gets the class expressions which are operands of the disjoint union.
  • getAxiomType
  • annotations
  • annotationsAsList
  • getAnnotations
  • hashIndex
  • getOWLDisjointClassesAxiom
    Gets the part of this axiom that corresponds to an DisjointClasses axiom.
  • getOWLEquivalentClassesAxiom
    Gets the part of this axiom that corresponds to an EquivalentClasses axiom.

Popular in Java

  • Making http requests using okhttp
  • runOnUiThread (Activity)
  • onCreateOptionsMenu (Activity)
  • setRequestProperty (URLConnection)
  • BigDecimal (java.math)
    An immutable arbitrary-precision signed decimal.A value is represented by an arbitrary-precision "un
  • Arrays (java.util)
    This class contains various methods for manipulating arrays (such as sorting and searching). This cl
  • Date (java.util)
    A specific moment in time, with millisecond precision. Values typically come from System#currentTime
  • ServletException (javax.servlet)
    Defines a general exception a servlet can throw when it encounters difficulty.
  • IOUtils (org.apache.commons.io)
    General IO stream manipulation utilities. This class provides static utility methods for input/outpu
  • Scheduler (org.quartz)
    This is the main interface of a Quartz Scheduler. A Scheduler maintains a registry of org.quartz.Job
  • 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