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

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

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

origin: net.sourceforge.owlapi/jfact

@Override
public Boolean visit(OWLDisjointUnionAxiom axiom) {
  return Boolean.valueOf(axiom.getOWLEquivalentClassesAxiom().accept(this).booleanValue()
    && axiom.getOWLDisjointClassesAxiom().accept(this).booleanValue());
}
origin: net.sourceforge.owlapi/owlexplanation

@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;
}
org.semanticweb.owlapi.modelOWLDisjointUnionAxiomgetOWLDisjointClassesAxiom

Javadoc

Gets the part of this axiom that corresponds to an DisjointClasses axiom.

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
  • getOperandsAsList
  • annotationsAsList
  • getAnnotations
  • hashIndex
  • getOWLEquivalentClassesAxiom
    Gets the part of this axiom that corresponds to an EquivalentClasses axiom.

Popular in Java

  • Updating database using SQL prepared statement
  • compareTo (BigDecimal)
  • scheduleAtFixedRate (Timer)
  • notifyDataSetChanged (ArrayAdapter)
  • URI (java.net)
    A Uniform Resource Identifier that identifies an abstract or physical resource, as specified by RFC
  • SecureRandom (java.security)
    This class generates cryptographically secure pseudo-random numbers. It is best to invoke SecureRand
  • Random (java.util)
    This class provides methods that return pseudo-random values.It is dangerous to seed Random with the
  • ResourceBundle (java.util)
    ResourceBundle is an abstract class which is the superclass of classes which provide Locale-specifi
  • UUID (java.util)
    UUID is an immutable representation of a 128-bit universally unique identifier (UUID). There are mul
  • Cipher (javax.crypto)
    This class provides access to implementations of cryptographic ciphers for encryption and decryption
  • Top plugins for WebStorm
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