Tabnine Logo
OWLEquivalentClassesAxiom.containsOWLThing
Code IndexAdd Tabnine to your IDE (free)

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

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

origin: protegeproject/swrlapi

@NonNull @Override public Boolean visit(@NonNull OWLEquivalentClassesAxiom axiom)
{
 return axiom.getClassExpressions().size() == 1 || axiom.containsOWLThing();
}
origin: Galigator/openllet

    thing_Nothing[1] = true; //equivalentToNothing
  if (equivalentAxiom.containsOWLThing())
    thing_Nothing[0] = true; //equivalentToThing
});
origin: Galigator/openllet

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

if ( equivalentAxiom.containsOWLThing() ) {
  equivalentToThing = true;
org.semanticweb.owlapi.modelOWLEquivalentClassesAxiomcontainsOWLThing

Javadoc

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

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
  • getAnnotations
  • contains
  • containsOWLNothing
    Determines if this class axiom makes a class expression equivalent to nothing.
  • contains,
  • containsOWLNothing,
  • getAxiomType,
  • operands,
  • splitToAnnotatedPairs,
  • allMatch,
  • asPairwiseAxioms,
  • containsNamedEquivalentClass,
  • getAxiomWithoutAnnotations

Popular in Java

  • Making http post requests using okhttp
  • scheduleAtFixedRate (Timer)
  • getSupportFragmentManager (FragmentActivity)
  • onRequestPermissionsResult (Fragment)
  • FileOutputStream (java.io)
    An output stream that writes bytes to a file. If the output file exists, it can be replaced or appen
  • Connection (java.sql)
    A connection represents a link from a Java application to a database. All SQL statements and results
  • Time (java.sql)
    Java representation of an SQL TIME value. Provides utilities to format and parse the time's represen
  • Properties (java.util)
    A Properties object is a Hashtable where the keys and values must be Strings. Each property can have
  • Executor (java.util.concurrent)
    An object that executes submitted Runnable tasks. This interface provides a way of decoupling task s
  • ServletException (javax.servlet)
    Defines a general exception a servlet can throw when it encounters difficulty.
  • Top Sublime Text plugins
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