congrats Icon
New! Announcing Tabnine Chat Beta
Learn More
Tabnine Logo
OWLEquivalentClassesAxiom.containsOWLNothing
Code IndexAdd Tabnine to your IDE (free)

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

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

origin: Galigator/openllet

if (equivalentAxiom.containsOWLNothing())
  thing_Nothing[1] = true; //equivalentToNothing
origin: Galigator/openllet

if (equivalentAxiom.containsOWLNothing())
  thing_Nothing[1] = true; //equivalentToNothing
origin: com.github.ansell.pellet/pellet-modularity

equivalentClasses.addAll( equivalentAxiom.getNamedClasses() );
if ( equivalentAxiom.containsOWLNothing() ) {
  equivalentToNothing = true; 
org.semanticweb.owlapi.modelOWLEquivalentClassesAxiomcontainsOWLNothing

Javadoc

Determines if this class axiom makes a class expression equivalent to nothing.

Popular methods of OWLEquivalentClassesAxiom

  • getClassExpressions
  • classExpressions
  • getClassExpressionsMinus
  • asOWLSubClassOfAxioms
  • accept
  • 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
  • getAnnotations,
  • contains,
  • getAxiomType,
  • operands,
  • splitToAnnotatedPairs,
  • allMatch,
  • asPairwiseAxioms,
  • containsNamedEquivalentClass,
  • getAxiomWithoutAnnotations

Popular in Java

  • Creating JSON documents from java classes using gson
  • getOriginalFilename (MultipartFile)
    Return the original filename in the client's filesystem.This may contain path information depending
  • runOnUiThread (Activity)
  • setContentView (Activity)
  • PrintStream (java.io)
    Fake signature of an existing Java class.
  • PrintWriter (java.io)
    Wraps either an existing OutputStream or an existing Writerand provides convenience methods for prin
  • UnknownHostException (java.net)
    Thrown when a hostname can not be resolved.
  • ResourceBundle (java.util)
    ResourceBundle is an abstract class which is the superclass of classes which provide Locale-specifi
  • Servlet (javax.servlet)
    Defines methods that all servlets must implement. A servlet is a small Java program that runs within
  • Runner (org.openjdk.jmh.runner)
  • From CI to AI: The AI layer in your organization
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