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)

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

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

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

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

if ( equivalentAxiom.containsOWLThing() ) {
  equivalentToThing = true;

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.

Popular in Java

Start an intent from android
getContentResolver (Context)
getExternalFilesDir (Context)
getSupportFragmentManager (FragmentActivity)
Container (java.awt)
A generic Abstract Window Toolkit(AWT) container object is a component that can contain other AWT co
Point (java.awt)
A point representing a location in (x,y) coordinate space, specified in integer precision.
SecureRandom (java.security)
This class generates cryptographically secure pseudo-random numbers. It is best to invoke SecureRand
SQLException (java.sql)
An exception that indicates a failed JDBC operation. It provides the following information about pro
Enumeration (java.util)
A legacy iteration interface.New code should use Iterator instead. Iterator replaces the enumeration
DataSource (javax.sql)
An interface for the creation of Connection objects which represent a connection to a database. This
Top 17 Plugins for Android Studio

How to use containsOWLThingmethodin org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom

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

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