A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

I

ID - Static variable in class com.clarkparsia.owlapi.XSD

ID - Static variable in class org.mindswap.pellet.dig.DIGConstants

IDENTIFIER - Static variable in class org.mindswap.pellet.dig.DIGConstants

IdentityHashSet<T> - Class in com.clarkparsia.pellet.utils

Title:

IdentityHashSet() - Constructor for class com.clarkparsia.pellet.utils.IdentityHashSet

IdentityHashSet(Collection<? extends T>) - Constructor for class com.clarkparsia.pellet.utils.IdentityHashSet

IdentityHashSet(int) - Constructor for class com.clarkparsia.pellet.utils.IdentityHashSet

IDREF - Static variable in class com.clarkparsia.owlapi.XSD

IDREFS - Static variable in class com.clarkparsia.owlapi.XSD

IGNORE_DEPRECATED_TERMS - Static variable in class org.mindswap.pellet.PelletOptions

This option causes all classes and properties defined as deprecated (using owl:DeprecetedClass or owl:DeprecetedProperty) to be ignored.

IGNORE_INVERSES - Static variable in class org.mindswap.pellet.PelletOptions

This option is mainly used for debugging and causes the reasoner to ignore all inverse properties including inverseOf, InverseFunctionalProperty and SymmetricProperty definitions.

IGNORE_UNSUPPORTED_AXIOMS - Static variable in class org.mindswap.pellet.PelletOptions

This option controls the behavior of Pellet while an ontology is being loaded.

IllegalPellintArgumentException - Exception in com.clarkparsia.pellint.util

Title:

IllegalPellintArgumentException() - Constructor for exception com.clarkparsia.pellint.util.IllegalPellintArgumentException

IllegalPellintArgumentException(String) - Constructor for exception com.clarkparsia.pellint.util.IllegalPellintArgumentException

Imp - Static variable in class org.mindswap.pellet.jena.vocabulary.SWRL

Impl - Static variable in class org.mindswap.pellet.jena.vocabulary.SWRL

Deprecated. Correct term is SWRL.Imp

IMPLIESC - Static variable in class org.mindswap.pellet.dig.DIGConstants

IMPLIESR - Static variable in class org.mindswap.pellet.dig.DIGConstants

incEnd() - Method in class org.mindswap.pellet.utils.GenericIntervalList.Interval

INCOMPLETE - Static variable in class org.mindswap.pellet.tableau.cache.CachedConstantNode

InconsistentOntologyException - Exception in org.mindswap.pellet.exceptions

InconsistentOntologyException() - Constructor for exception org.mindswap.pellet.exceptions.InconsistentOntologyException

InconsistentOntologyException(String) - Constructor for exception org.mindswap.pellet.exceptions.InconsistentOntologyException

IncrementalChangeTracker - Interface in com.clarkparsia.pellet

Title: Incremental change tracker

IncrementalClassifier - Class in com.clarkparsia.modularity

Title:

IncrementalClassifier(OWLOntologyManager) - Constructor for class com.clarkparsia.modularity.IncrementalClassifier

IncrementalClassifier(OWLOntologyManager, Reasoner, ModuleExtractor) - Constructor for class com.clarkparsia.modularity.IncrementalClassifier

IncrementalQueryPlan - Class in com.clarkparsia.pellet.sparqldl.engine

Title: Query Plan that recomputes the cost of the query in a greedy way.

IncrementalQueryPlan(Query) - Constructor for class com.clarkparsia.pellet.sparqldl.engine.IncrementalQueryPlan

IncrementalRestore - Class in org.mindswap.pellet.tableau.completion.incremental

Title:

incrementBranch() - Method in class org.mindswap.pellet.ABox

Increment the branch number (should only be called when a non-deterministic rule, e.g.

incrementBranch(int) - Method in class org.mindswap.pellet.tableau.completion.queue.BasicCompletionQueue

Set branch pointers to current pointer.

incrementBranch(int) - Method in class org.mindswap.pellet.tableau.completion.queue.CompletionQueue

Set branch pointers to current pointer.

incrementBranch(int) - Method in class org.mindswap.pellet.tableau.completion.queue.OptimizedBasicCompletionQueue

Set branch pointers to current pointer.

incrementProgress() - Method in class org.mindswap.pellet.utils.progress.AbstractProgressMonitor

incrementProgress() - Method in interface org.mindswap.pellet.utils.progress.ProgressMonitor

incStart() - Method in class org.mindswap.pellet.utils.GenericIntervalList.Interval

INDEPENDENT - Static variable in class org.mindswap.pellet.DependencySet

Used for assertions that are true by nature, i.e.

Index<S,T> - Class in com.clarkparsia.pellet.rules.rete

Title: Index

Index() - Constructor for class com.clarkparsia.pellet.rules.rete.Index

index - Variable in class com.clarkparsia.pellet.rules.rete.Node

Individual(String) - Static method in class com.clarkparsia.owlapi.OWL

Individual(URI) - Static method in class com.clarkparsia.owlapi.OWL

INDIVIDUAL - Static variable in class org.mindswap.pellet.dig.DIGConstants

individual(Element) - Static method in class org.mindswap.pellet.dig.DIGHandler

Individual - Class in org.mindswap.pellet

INDIVIDUAL_PAIR - Static variable in class org.mindswap.pellet.dig.DIGConstants

INDIVIDUAL_PAIR_SET - Static variable in class org.mindswap.pellet.dig.DIGConstants

INDIVIDUAL_SET - Static variable in class org.mindswap.pellet.dig.DIGConstants

IndividualBranch - Class in org.mindswap.pellet.tableau.branch

IndividualIterator - Class in org.mindswap.pellet

An iterator to return nodes in the order they are added.

IndividualIterator(ABox) - Constructor for class org.mindswap.pellet.IndividualIterator

Create an iterator over all the individuals in the ABox

IndividualPropertyAtom - Class in com.clarkparsia.pellet.rules.model

Title: Individual Property Atom

IndividualPropertyAtom(ATermAppl, AtomIObject, AtomIObject) - Constructor for class com.clarkparsia.pellet.rules.model.IndividualPropertyAtom

IndividualPropertyAtom - Static variable in class org.mindswap.pellet.jena.vocabulary.SWRL

INFINITE - Static variable in interface org.mindswap.pellet.datatypes.ValueSpace

inheritDifferents(Node, DependencySet) - Method in class org.mindswap.pellet.Node

initialize() - Method in class org.mindswap.pellet.tableau.completion.CompletionStrategy

initialize() - Method in class org.mindswap.pellet.tableau.completion.EmptySHNStrategy

initialize() - Method in class org.mindswap.pellet.tableau.completion.SROIQIncStrategy

There are additional rule that must be fired in the event of incremental additions and deletions in order to guarantee completeness.

insert(TransitionGraph, State, State) - Method in class org.mindswap.pellet.utils.fsm.TransitionGraph

insertEdgePattern(ATermAppl, ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.query.impl.QueryImpl

instance - Static variable in class com.clarkparsia.pellet.rules.builtins.BuiltInRegistry

instance - Static variable in class com.clarkparsia.pellet.rules.builtins.NoSuchBuiltIn

instance - Static variable in class org.mindswap.pellet.datatypes.EmptyDatatype

instance - Static variable in class org.mindswap.pellet.datatypes.RDFSLiteral

instance - Static variable in class org.mindswap.pellet.datatypes.RDFXMLLiteral

instance - Static variable in class org.mindswap.pellet.datatypes.UnknownDatatype

instance - Static variable in class org.mindswap.pellet.datatypes.XSDAnyURI

instance - Static variable in class org.mindswap.pellet.datatypes.XSDBoolean

instance - Static variable in class org.mindswap.pellet.datatypes.XSDDate

instance - Static variable in class org.mindswap.pellet.datatypes.XSDDateTime

instance - Static variable in class org.mindswap.pellet.datatypes.XSDDay

instance - Static variable in class org.mindswap.pellet.datatypes.XSDDecimal

instance - Static variable in class org.mindswap.pellet.datatypes.XSDDouble

instance - Static variable in class org.mindswap.pellet.datatypes.XSDDuration

instance - Static variable in class org.mindswap.pellet.datatypes.XSDFloat

instance - Static variable in class org.mindswap.pellet.datatypes.XSDInteger

instance - Static variable in class org.mindswap.pellet.datatypes.XSDMonth

instance - Static variable in class org.mindswap.pellet.datatypes.XSDMonthDay

instance - Static variable in class org.mindswap.pellet.datatypes.XSDSimpleType

instance - Static variable in class org.mindswap.pellet.datatypes.XSDString

instance - Static variable in class org.mindswap.pellet.datatypes.XSDTime

instance - Static variable in class org.mindswap.pellet.datatypes.XSDYear

instance - Static variable in class org.mindswap.pellet.datatypes.XSDYearMonth

instance(Element, Element) - Method in class org.mindswap.pellet.dig.DIGAskHandler

INSTANCE - Static variable in class org.mindswap.pellet.dig.DIGConstants

INSTANCE_RETRIEVAL - Static variable in class org.mindswap.pellet.PelletOptions

instanceOf(OWLIndividual, OWLDescription) - Static method in class com.clarkparsia.owlapi.OWL

Deprecated. Use OWL.classAssertion(OWLIndividual, OWLDescription) instead

INSTANCEOF - Static variable in class org.mindswap.pellet.dig.DIGConstants

instances(Element) - Method in class org.mindswap.pellet.dig.DIGAskHandler

INSTANCES - Static variable in class org.mindswap.pellet.dig.DIGConstants

INSTANCES_KEY - Static variable in class org.mindswap.pellet.utils.TaxonomyUtils

INT - Static variable in class com.clarkparsia.owlapi.XSD

INT - Static variable in class org.mindswap.pellet.utils.NumberUtils

INT_ZERO - Static variable in class org.mindswap.pellet.utils.NumberUtils

INTEGER - Static variable in class com.clarkparsia.owlapi.XSD

INTEGER - Static variable in class org.mindswap.pellet.utils.NumberUtils

INTEGER_VALUE_SPACE - Static variable in class org.mindswap.pellet.datatypes.XSDDecimal

INTEGER_ZERO - Static variable in class org.mindswap.pellet.utils.NumberUtils

integerDivide - Static variable in class com.clarkparsia.pellet.rules.builtins.NumericOperators

INTEQUALS - Static variable in class org.mindswap.pellet.dig.DIGConstants

internalize() - Method in class org.mindswap.pellet.tbox.impl.TBoxExpImpl

internalize(TBox) - Method in class org.mindswap.pellet.tbox.impl.TgBox

internalize() - Method in interface org.mindswap.pellet.tbox.TBox

Turn the non-absorbed GCIs into disjunctions that will be used in the universal concept

InternalReasonerException - Exception in org.mindswap.pellet.exceptions

InternalReasonerException() - Constructor for exception org.mindswap.pellet.exceptions.InternalReasonerException

InternalReasonerException(String) - Constructor for exception org.mindswap.pellet.exceptions.InternalReasonerException

InternalReasonerException(Exception) - Constructor for exception org.mindswap.pellet.exceptions.InternalReasonerException

Interpreter - Class in com.clarkparsia.pellet.rules.rete

Title: Interpreter

Interpreter(ABox) - Constructor for class com.clarkparsia.pellet.rules.rete.Interpreter

intersection(AtomicDatatype) - Method in interface org.mindswap.pellet.datatypes.AtomicDatatype

intersection(AtomicDatatype) - Method in class org.mindswap.pellet.datatypes.BaseAtomicDatatype

intersection(AtomicDatatype) - Method in class org.mindswap.pellet.datatypes.BaseXSDAtomicType

intersection(ATermAppl[]) - Method in class org.mindswap.pellet.datatypes.DatatypeReasoner

Return a datatype that represents the intersection of a set of (possibly negated) datatypes.

intersection(AtomicDatatype) - Method in class org.mindswap.pellet.datatypes.EmptyDatatype

intersection(AtomicDatatype) - Method in class org.mindswap.pellet.datatypes.XSDBoolean

intersection(Collection<? extends Collection<? extends T>>) - Static method in class org.mindswap.pellet.utils.SetUtils

Returns the intersection of all the collections given in a collection.

intersection(Collection<? extends T>, Collection<? extends T>) - Static method in class org.mindswap.pellet.utils.SetUtils

Returns the intersection of two collections

intersectionOf(OWLDescription...) - Static method in class com.clarkparsia.owlapi.OWL

Deprecated. Use OWL.and(OWLDescription...)

intersectionOf(Set<? extends OWLDescription>) - Static method in class com.clarkparsia.owlapi.OWL

Deprecated. Use OWL.and(Set) instead

intersects(Collection<?>, Collection<?>) - Static method in class org.mindswap.pellet.utils.SetUtils

Checks if two collections have any elements in common

IntIterator - Interface in org.mindswap.pellet.utils.intset

Title:

INTMAX - Static variable in class org.mindswap.pellet.dig.DIGConstants

INTMIN - Static variable in class org.mindswap.pellet.dig.DIGConstants

INTRANGE - Static variable in class org.mindswap.pellet.dig.DIGConstants

IntSet - Interface in org.mindswap.pellet.utils.intset

Title:

IntSetFactory - Class in org.mindswap.pellet.utils.intset

Title:

IntSetFactory() - Constructor for class org.mindswap.pellet.utils.intset.IntSetFactory

inv(ATermAppl) - Static method in class com.clarkparsia.pellet.utils.TermFactory

INV - Static variable in class org.mindswap.pellet.utils.ATermUtils

Deprecated. Use the corresponding AFun constant instead

INV_FUNCTIONAL - Static variable in class org.mindswap.pellet.Role

invalidLiteral(Node, DependencySet) - Static method in class org.mindswap.pellet.Clash

invalidLiteral(Node, DependencySet, ATermAppl) - Static method in class org.mindswap.pellet.Clash

invalidLiteralExplanation() - Method in class org.mindswap.pellet.Clash

inverse(OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapi.OWL

INVERSE - Static variable in class org.mindswap.pellet.dig.DIGConstants

inverse(ATermList) - Method in class org.mindswap.pellet.RBox

for each role in the list finds an inverse role and returns the new list.

InverseFunctionalAtom(ATermAppl) - Static method in class com.clarkparsia.pellet.sparqldl.model.QueryAtomFactory

InverseOfAtom(ATermAppl, ATermAppl) - Static method in class com.clarkparsia.pellet.sparqldl.model.QueryAtomFactory

inverseProperties(OWLObjectPropertyExpression, OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapi.OWL

inverses(ATermAppl) - Method in class org.mindswap.pellet.utils.SizeEstimate

INVFUN - Static variable in class org.mindswap.pellet.utils.ATermUtils

INVFUNCTIONALFUN - Static variable in class org.mindswap.pellet.utils.ATermUtils

INVPROPFUN - Static variable in class org.mindswap.pellet.utils.ATermUtils

irreflexive(OWLObjectPropertyExpression) - Static method in class com.clarkparsia.owlapi.OWL

IRREFLEXIVE - Static variable in class org.mindswap.pellet.Role

IRREFLEXIVEFUN - Static variable in class org.mindswap.pellet.utils.ATermUtils

IrreflexiveProperty - Static variable in class org.mindswap.pellet.jena.vocabulary.OWL2

isABox() - Method in enum org.mindswap.pellet.jena.BuiltinTerm

isABoxChanged() - Method in class org.mindswap.pellet.KnowledgeBase

isABoxProperty(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase

isAllValues(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isAnd(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isAnnotation(ATermAppl, ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isAnnotationProperty(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase

isAnnotationRole() - Method in class org.mindswap.pellet.Role

check if a role is declared as datatype property

isAnon(ATermAppl) - Method in class com.clarkparsia.pellet.el.RoleChainCache

isAnon() - Method in class org.mindswap.pellet.Role

isAnon(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isAnonNominal(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isAntiSymmetric(OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isAntisymmetric() - Method in class org.mindswap.pellet.Role

Deprecated. Use Role.isAsymmetric()

isAntisymmetricProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

Deprecated. Use KnowledgeBase.isAsymmetricProperty(ATermAppl)

isApplicable(boolean[]) - Method in interface com.clarkparsia.pellet.rules.builtins.GeneralFunction

isAssertedDomainOrRange(DependencySet) - Static method in class com.clarkparsia.pellet.el.ELSyntaxUtils

isAsymmetric() - Method in class org.mindswap.pellet.Role

isAsymmetricProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isAtomTrue(RuleAtom, VariableBinding) - Method in class com.clarkparsia.pellet.rules.TrivialSatisfactionHelpers

isAutoDetectChanges() - Method in class org.mindswap.pellet.jena.PelletInfGraph

isBlockable() - Method in class org.mindswap.pellet.Individual

isBlockable() - Method in class org.mindswap.pellet.Literal

isBlockable() - Method in class org.mindswap.pellet.Node

isBlocked(Individual) - Method in class org.mindswap.pellet.tableau.blocking.Blocking

isBnode() - Method in class org.mindswap.pellet.Node

isBnode(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isBottom() - Method in class org.mindswap.pellet.Individual

Returns if this is the cached node for TOP concept.

isBottom() - Method in class org.mindswap.pellet.tableau.cache.CachedConceptNode

Returns if this is the cached node for TOP concept.

isBottom() - Method in class org.mindswap.pellet.tableau.cache.CachedConstantNode

Returns if this is the cached node for TOP concept.

isBottom() - Method in interface org.mindswap.pellet.tableau.cache.CachedNode

Returns if this is the cached node for TOP concept.

isBottom() - Method in class org.mindswap.pellet.taxonomy.TaxonomyNode

isBottom(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isBound(ATermAppl) - Method in interface com.clarkparsia.pellet.sparqldl.model.ResultBinding

Checks whether given variable is bound.

isBound(ATermAppl) - Method in class com.clarkparsia.pellet.sparqldl.model.ResultBindingImpl

Checks whether given variable is bound.

isBuiltin(Node) - Static method in class org.mindswap.pellet.jena.graph.query.GraphQueryHandler

isCanceled() - Method in class org.mindswap.pellet.utils.progress.AbstractProgressMonitor

isCanceled() - Method in interface org.mindswap.pellet.utils.progress.ProgressMonitor

isCanceled() - Method in class org.mindswap.pellet.utils.progress.SwingProgressMonitor

isCard(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isChanged() - Method in class com.clarkparsia.modularity.AbstractModuleExtractor

Checks if axioms have been added/removed and modules need to be updated

isChanged() - Method in interface com.clarkparsia.modularity.ModuleExtractor

Checks if axioms have been added/removed and modules need to be updated

isChanged() - Method in class org.mindswap.pellet.ABox

isChanged() - Method in class org.mindswap.pellet.jena.PelletGraphListener

isChanged() - Method in class org.mindswap.pellet.KnowledgeBase

isChanged(KnowledgeBase.ChangeType) - Method in class org.mindswap.pellet.KnowledgeBase

isClass(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase

isClassified() - Method in class com.clarkparsia.modularity.IncrementalClassifier

isClassified() - Method in class org.mindswap.pellet.jena.PelletInfGraph

isClassified() - Method in class org.mindswap.pellet.KnowledgeBase

Returns true if the classification check has been done and nothing in the KB has changed after that.

isClassified() - Method in class org.mindswap.pellet.owlapi.Reasoner

isClosed() - Method in class org.mindswap.pellet.ABox

Returns true if Abox has a clash.

isComplement(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isComplementOf(OWLDescription, OWLDescription) - Method in class org.mindswap.pellet.owlapi.Reasoner

isComplete() - Method in class org.mindswap.pellet.ABox

isComplete() - Method in class org.mindswap.pellet.Individual

Returns if this cached node is complete.

isComplete() - Method in class org.mindswap.pellet.tableau.cache.CachedConceptNode

Returns if this cached node is complete.

isComplete() - Method in class org.mindswap.pellet.tableau.cache.CachedConstantNode

Returns if this cached node is complete.

isComplete() - Method in interface org.mindswap.pellet.tableau.cache.CachedNode

Returns if this cached node is complete.

isComplex(OWLDescription) - Static method in class com.clarkparsia.pellint.util.OWLUtil

isComplexClass(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

isComputed(ATermAppl) - Method in class org.mindswap.pellet.utils.SizeEstimate

isConceptRoot() - Method in class org.mindswap.pellet.Node

Returns true if this is the node created for the concept satisfiability check.

isConnected() - Method in class org.mindswap.pellet.utils.fsm.TransitionGraph

isConsistencyDone() - Method in class org.mindswap.pellet.KnowledgeBase

Returns true if the consistency check has been done and nothing in th KB has changed after that.

isConsistent() - Method in class org.mindswap.pellet.ABox

Return true if this ABox is consistent.

isConsistent() - Method in class org.mindswap.pellet.jena.PelletInfGraph

isConsistent() - Method in class org.mindswap.pellet.KnowledgeBase

isConsistent() - Method in class org.mindswap.pellet.owlapi.Reasoner

Returns true if the loaded ontology is consistent.

isConsistent(OWLDescription) - Method in class org.mindswap.pellet.owlapi.Reasoner

Deprecated. Use Reasoner.isSatisfiable(OWLDescription) instead

isConsistent(OWLOntology) - Method in class org.mindswap.pellet.owlapi.Reasoner

isDataRange(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isDatatype(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isDatatypeProperty(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase

isDatatypeRole() - Method in class org.mindswap.pellet.Role

isDefined(OWLClass) - Method in class com.clarkparsia.modularity.IncrementalClassifier

isDefined(OWLDataProperty) - Method in class com.clarkparsia.modularity.IncrementalClassifier

isDefined(OWLIndividual) - Method in class com.clarkparsia.modularity.IncrementalClassifier

isDefined(OWLObjectProperty) - Method in class com.clarkparsia.modularity.IncrementalClassifier

isDefined(String) - Method in class org.mindswap.pellet.datatypes.DatatypeReasoner

isDefined(Datatype) - Method in class org.mindswap.pellet.datatypes.DatatypeReasoner

isDefined(OWLClass) - Method in class org.mindswap.pellet.owlapi.Reasoner

isDefined(OWLDataProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isDefined(OWLIndividual) - Method in class org.mindswap.pellet.owlapi.Reasoner

isDefined(OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isDerived() - Method in class org.mindswap.pellet.datatypes.BaseAtomicDatatype

isDerived() - Method in class org.mindswap.pellet.datatypes.EmptyDatatype

isDerived() - Method in class org.mindswap.pellet.datatypes.XSDBoolean.XSDDerivedBooleanType

isDeterministic() - Method in class org.mindswap.pellet.utils.fsm.TransitionGraph

isDifferent(Node) - Method in class org.mindswap.pellet.Individual

isDifferent(Node) - Method in class org.mindswap.pellet.Literal

isDifferent(Node) - Method in class org.mindswap.pellet.Node

isDifferentFrom(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isDifferentFrom(OWLIndividual, OWLIndividual) - Method in class org.mindswap.pellet.owlapi.Reasoner

Test if two individuals are owl:DifferentFrom each other.

isDirectlyBlocked(Individual) - Method in class org.mindswap.pellet.tableau.blocking.Blocking

isDirectlyBlocked(Individual) - Method in class org.mindswap.pellet.tableau.blocking.DoubleBlocking

isDirectlyBlocked(Individual) - Method in class org.mindswap.pellet.tableau.blocking.EqualityBlocking

isDirectlyBlocked(Individual) - Method in class org.mindswap.pellet.tableau.blocking.OptimizedDoubleBlocking

isDirectlyBlocked(Individual) - Method in class org.mindswap.pellet.tableau.blocking.SubsetBlocking

isDirty() - Method in class com.clarkparsia.pellet.rules.rete.BetaNode

isDirty() - Method in class com.clarkparsia.pellet.rules.rete.Interpreter

isDisjoint(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isDisjointClass(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isDisjointProperty(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isDisjointSub(ATermAppl) - Static method in class com.clarkparsia.pellet.el.ELSyntaxUtils

Checks if this axiom is a subclass axiom representing a disjoint class axiom.

isDisjointWith(OWLDataProperty, OWLDataProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isDisjointWith(OWLDescription, OWLDescription) - Method in class org.mindswap.pellet.owlapi.Reasoner

isDisjointWith(OWLObjectProperty, OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isDistinct() - Method in class com.clarkparsia.pellet.sparqldl.jena.SparqlDLResultSet

isDistinct() - Method in class com.clarkparsia.pellet.sparqldl.model.CoreNewImpl

isDistinct() - Method in class com.clarkparsia.pellet.sparqldl.model.MultiQueryResults

isDistinct() - Method in interface com.clarkparsia.pellet.sparqldl.model.Query

Returns true if distinct results are required.

isDistinct() - Method in class com.clarkparsia.pellet.sparqldl.model.QueryImpl

Returns true if distinct results are required.

isDistinct() - Method in interface com.clarkparsia.pellet.sparqldl.model.QueryResult

isDistinct() - Method in class com.clarkparsia.pellet.sparqldl.model.QueryResultImpl

isDistinct() - Method in class org.mindswap.pellet.jena.PelletResultSet

isDistinct() - Method in class org.mindswap.pellet.query.impl.QueryImpl

isDistinct() - Method in interface org.mindswap.pellet.query.Query

Deprecated. Returns true if no duplicates are wanted in the results.

isDistinguishedVariable(Node) - Static method in class com.clarkparsia.pellet.sparqldl.parser.ARQParser

isDistVar(Node) - Static method in class org.mindswap.pellet.query.impl.ARQParser

Deprecated.

isEdgePattern() - Method in class org.mindswap.pellet.query.impl.QueryPatternImpl

isEdgePattern() - Method in interface org.mindswap.pellet.query.QueryPattern

isEL(ATermAppl) - Static method in class com.clarkparsia.pellet.el.ELSyntaxUtils

Checks is this concept is a valid EL concept expression.

isEL() - Method in class com.clarkparsia.pellet.expressivity.Expressivity

isEmpty() - Method in class com.clarkparsia.pellet.sparqldl.model.MultiQueryResults

Tests whether the result is empty or not.

isEmpty() - Method in interface com.clarkparsia.pellet.sparqldl.model.QueryResult

Tests whether the result is empty or not.

isEmpty() - Method in class com.clarkparsia.pellet.sparqldl.model.QueryResultImpl

Tests whether the result is empty or not.

isEmpty() - Method in interface com.clarkparsia.pellet.sparqldl.model.ResultBinding

Checks for emptiness of the binding.

isEmpty() - Method in class com.clarkparsia.pellet.sparqldl.model.ResultBindingImpl

Checks for emptiness of the binding.

isEmpty() - Method in class com.clarkparsia.pellet.utils.IdentityHashSet

isEmpty() - Method in class com.clarkparsia.pellint.model.OntologyLints

isEmpty() - Method in class com.clarkparsia.pellint.rdfxml.RDFLints

isEmpty() - Method in class org.mindswap.pellet.ABox

Returns true if there are no individuals in the ABox.

isEmpty() - Method in class org.mindswap.pellet.datatypes.BaseDatatype

isEmpty() - Method in interface org.mindswap.pellet.datatypes.Datatype

isEmpty() - Method in class org.mindswap.pellet.datatypes.EmptyDatatype

isEmpty() - Method in class org.mindswap.pellet.dig.ElementList

isEmpty() - Method in class org.mindswap.pellet.EdgeList

isEmpty() - Method in class org.mindswap.pellet.jena.SimpleUnion

isEmpty() - Method in class org.mindswap.pellet.query.impl.MultiQueryResults

isEmpty() - Method in class org.mindswap.pellet.query.impl.QueryResultBindingImpl

isEmpty() - Method in class org.mindswap.pellet.query.impl.QueryResultsImpl

isEmpty() - Method in interface org.mindswap.pellet.query.QueryResults

isEmpty() - Method in class org.mindswap.pellet.tableau.cache.ConceptCacheLRU

isEmpty() - Method in class org.mindswap.pellet.tbox.impl.TBoxBase

isEmpty() - Method in class org.mindswap.pellet.utils.GenericIntervalList

isEmpty() - Method in class org.mindswap.pellet.utils.intset.ArrayIntSet

Cehcks if the set is empty.

isEmpty() - Method in class org.mindswap.pellet.utils.intset.BitIntSet

isEmpty() - Method in class org.mindswap.pellet.utils.intset.HashIntSet

isEmpty() - Method in interface org.mindswap.pellet.utils.intset.IntSet

Cehcks if the set is empty.

isEmpty() - Method in class org.mindswap.pellet.utils.intset.TreeIntSet

isEntailed(OWLAxiom) - Method in class org.mindswap.pellet.owlapi.EntailmentChecker

isEntailed(OWLOntology) - Method in class org.mindswap.pellet.owlapi.Reasoner

isEntailed(Set<? extends OWLAxiom>) - Method in class org.mindswap.pellet.owlapi.Reasoner

isEntailed(OWLAxiom) - Method in class org.mindswap.pellet.owlapi.Reasoner

isEntailed() - Method in class pellet.PelletEntailment

isEquivalent(Query, Query) - Static method in class org.mindswap.pellet.query.QueryEngine

Deprecated.

isEquivalent(Role) - Method in class org.mindswap.pellet.Role

isEquivalent(T, T) - Method in class org.mindswap.pellet.taxonomy.Taxonomy

Checks if x is equivalent to y

isEquivalentClass(OWLDescription, OWLDescription) - Method in class com.clarkparsia.modularity.IncrementalClassifier

isEquivalentClass(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

Check if class c1 is equivalent to class c2.

isEquivalentClass(OWLDescription, OWLDescription) - Method in class org.mindswap.pellet.owlapi.Reasoner

isEquivalentProperty(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isEquivalentProperty(OWLDataProperty, OWLDataProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isEquivalentProperty(OWLObjectProperty, OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

ISET - Static variable in class org.mindswap.pellet.dig.DIGConstants

isExpression(Node) - Static method in enum org.mindswap.pellet.jena.BuiltinTerm

isExpression(BuiltinTerm) - Static method in enum org.mindswap.pellet.jena.BuiltinTerm

isFalse() - Method in class org.mindswap.pellet.utils.Bool

isFinal(State) - Method in class org.mindswap.pellet.utils.fsm.TransitionGraph

isFinal(Set<State>) - Method in class org.mindswap.pellet.utils.fsm.TransitionGraph

isFinite() - Method in class org.mindswap.pellet.datatypes.XSDAnyURI

isFixable() - Method in class com.clarkparsia.pellint.lintpattern.axiom.EquivalentToAllValuePattern

isFixable() - Method in class com.clarkparsia.pellint.lintpattern.axiom.EquivalentToComplementPattern

isFixable() - Method in class com.clarkparsia.pellint.lintpattern.axiom.EquivalentToTopPattern

isFixable() - Method in class com.clarkparsia.pellint.lintpattern.axiom.GCIPattern

isFixable() - Method in class com.clarkparsia.pellint.lintpattern.axiom.LargeCardinalityPattern

isFixable() - Method in class com.clarkparsia.pellint.lintpattern.axiom.LargeDisjunctionPattern

isFixable() - Method in interface com.clarkparsia.pellint.lintpattern.LintPattern

Returns true if this pattern provides an automatic fix for every Lint it matches.

isFixable() - Method in class com.clarkparsia.pellint.lintpattern.ontology.EquivalentAndSubclassAxiomPattern

isFixable() - Method in class com.clarkparsia.pellint.lintpattern.ontology.ExistentialExplosionPattern

isFixable() - Method in class com.clarkparsia.pellint.lintpattern.ontology.TooManyDifferentIndividualsPattern

isForceSimple() - Method in class org.mindswap.pellet.Role

isForceUppercase() - Method in class org.mindswap.pellet.KRSSLoader

isFunctional(OWLDataProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isFunctional(OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isFunctional() - Method in class org.mindswap.pellet.Role

isFunctionalProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isGround() - Method in class com.clarkparsia.pellet.sparqldl.model.AbstractQueryAtom

isGround() - Method in class com.clarkparsia.pellet.sparqldl.model.CoreNewImpl

isGround() - Method in interface com.clarkparsia.pellet.sparqldl.model.Query

Checks whether the query is ground.

isGround() - Method in interface com.clarkparsia.pellet.sparqldl.model.QueryAtom

isGround() - Method in class com.clarkparsia.pellet.sparqldl.model.QueryImpl

Checks whether the query is ground.

isGround() - Method in class org.mindswap.pellet.query.impl.QueryImpl

isGround() - Method in class org.mindswap.pellet.query.impl.QueryPatternImpl

isGround() - Method in interface org.mindswap.pellet.query.Query

Deprecated. Returns true if there are not variables in the query (only constants).

isGround() - Method in interface org.mindswap.pellet.query.QueryPattern

isHasValue(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isHidden() - Method in class org.mindswap.pellet.taxonomy.TaxonomyNode

isIndependent() - Method in class org.mindswap.pellet.DependencySet

Return true if there is no dependency on a non-deterministic branch

isIndependent() - Method in class org.mindswap.pellet.Individual

isIndependent() - Method in class org.mindswap.pellet.tableau.cache.CachedConceptNode

Returns if this node was cached without any dependency to a non-deterministic branch.

isIndependent() - Method in class org.mindswap.pellet.tableau.cache.CachedConstantNode

Returns if this node was cached without any dependency to a non-deterministic branch.

isIndependent() - Method in interface org.mindswap.pellet.tableau.cache.CachedNode

Returns if this node was cached without any dependency to a non-deterministic branch.

isIndirectlyBlocked(Individual) - Method in class org.mindswap.pellet.tableau.blocking.Blocking

isIndividual() - Method in class org.mindswap.pellet.Individual

isIndividual(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase

isIndividual() - Method in class org.mindswap.pellet.Literal

isIndividual() - Method in class org.mindswap.pellet.Node

isInfinite() - Method in class org.mindswap.pellet.datatypes.AbstractValueSpace

isInfinite(Object) - Method in class org.mindswap.pellet.datatypes.AbstractValueSpace

isInfinite() - Method in interface org.mindswap.pellet.datatypes.ValueSpace

isInfinite(Object) - Method in interface org.mindswap.pellet.datatypes.ValueSpace

isInitialized() - Method in class org.mindswap.pellet.ABox

Check if the ABox is ready to be completed.

isInv(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isInverse(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isInverseFunctional(OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isInverseFunctional() - Method in class org.mindswap.pellet.Role

isInverseFunctionalProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isInverseOf(OWLObjectProperty, OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isIrreflexive(OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isIrreflexive() - Method in class org.mindswap.pellet.Role

isIrreflexiveProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isKBComputed() - Method in class org.mindswap.pellet.utils.SizeEstimate

isKeepLastCompletion() - Method in class org.mindswap.pellet.ABox

isKnown() - Method in class org.mindswap.pellet.utils.Bool

isKnownSubClassOf(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.ABox

isKnownType(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.ABox

isKnownType(ATermAppl, ATermAppl, Collection<ATermAppl>) - Method in class org.mindswap.pellet.ABox

isKnownType(Individual, ATermAppl, Collection<ATermAppl>) - Method in class org.mindswap.pellet.ABox

isKnownType(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

Answers the isType question without doing any satisfiability check.

isLeaf() - Method in class org.mindswap.pellet.Individual

isLeaf() - Method in class org.mindswap.pellet.Literal

isLeaf() - Method in class org.mindswap.pellet.Node

isLeaf() - Method in class org.mindswap.pellet.taxonomy.TaxonomyNode

isLiteral() - Method in class org.mindswap.pellet.Individual

isLiteral() - Method in class org.mindswap.pellet.Literal

isLiteral() - Method in class org.mindswap.pellet.Node

isLiteral(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isLoadABox() - Method in class org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader

isLoadABox() - Method in interface org.mindswap.pellet.jena.graph.loader.GraphLoader

Returns if the loader will load the Abox triples.

isMandatory() - Method in class pellet.PelletCmdOption

isMax(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isMergable(KnowledgeBase, CachedNode, CachedNode) - Method in class org.mindswap.pellet.tableau.cache.AbstractConceptCache

isMergable(KnowledgeBase, CachedNode, CachedNode) - Method in interface org.mindswap.pellet.tableau.cache.ConceptCache

isMerged() - Method in class org.mindswap.pellet.Node

isMin(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isMultiThreaded() - Method in class com.clarkparsia.modularity.IncrementalClassifier

Returns the value of multi-threaded option.

isNameChar(char) - Static method in class org.mindswap.pellet.utils.QNameProvider

isNamedIndividual() - Method in class org.mindswap.pellet.Node

isNamedIndividual() - Method in class org.mindswap.pellet.tableau.cache.CachedConceptNode

Returns if this node represent a named individual (not an anonymous individual or a concept node)

isNamedIndividual() - Method in class org.mindswap.pellet.tableau.cache.CachedConstantNode

Returns if this node represent a named individual (not an anonymous individual or a concept node)

isNamedIndividual() - Method in interface org.mindswap.pellet.tableau.cache.CachedNode

Returns if this node represent a named individual (not an anonymous individual or a concept node)

isNameStartChar(char) - Static method in class org.mindswap.pellet.utils.QNameProvider

isNegatedPrimitive(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isNode(ATerm) - Method in class org.mindswap.pellet.ABox

isNominal() - Method in class org.mindswap.pellet.Individual

isNominal() - Method in class org.mindswap.pellet.Literal

isNominal() - Method in class org.mindswap.pellet.Node

isNominal(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isNot(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isObjectProperty(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase

isObjectRestriction() - Method in class org.mindswap.pellet.jena.graph.loader.RestrictionInfo

isObjectRole() - Method in class org.mindswap.pellet.Role

isOneOf(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isOntologyProperty(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase

isOntologyRole() - Method in class org.mindswap.pellet.Role

isOptimizeForSharedModules() - Method in class com.clarkparsia.modularity.AxiomBasedModuleExtractor

Returns if shared modules optimization is on.

isOr(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isOrdered() - Method in class com.clarkparsia.pellet.sparqldl.jena.SlicedResultSet

isOrdered() - Method in class com.clarkparsia.pellet.sparqldl.jena.SortedResultSet

isOrdered() - Method in class com.clarkparsia.pellet.sparqldl.jena.SparqlDLResultSet

isOrdered() - Method in class org.mindswap.pellet.jena.PelletResultSet

isPredicate() - Method in enum org.mindswap.pellet.jena.BuiltinTerm

isPrepared() - Method in class org.mindswap.pellet.jena.PelletInfGraph

isPreprocessTypeTriples() - Method in class org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader

isPreprocessTypeTriples() - Method in interface org.mindswap.pellet.jena.graph.loader.GraphLoader

Returns if the loader will preprocess rdf:type triples.

isPrimitive() - Method in class org.mindswap.pellet.tbox.impl.TermDefinition

isPrimitive(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isPrimitiveOrNegated(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isProperty(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase

isPropertyAssertion(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isPruned() - Method in class org.mindswap.pellet.Node

isPurePelletQueryExec() - Method in class org.mindswap.pellet.jena.PelletQueryExecution

Deprecated.

isRBoxChanged() - Method in class org.mindswap.pellet.KnowledgeBase

isRealised() - Method in class com.clarkparsia.modularity.IncrementalClassifier

isRealised() - Method in class org.mindswap.pellet.owlapi.Reasoner

isRealized() - Method in class org.mindswap.pellet.jena.PelletInfGraph

isRealized() - Method in class org.mindswap.pellet.KnowledgeBase

isRedundantMax(ATermAppl) - Method in class org.mindswap.pellet.Individual

isRedundantMin(ATermAppl) - Method in class org.mindswap.pellet.Individual

isReflexive(OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isReflexive() - Method in class org.mindswap.pellet.Role

isReflexiveProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isReloadRequired() - Method in class org.mindswap.pellet.owlapi.PelletVisitor

isRole(ATerm) - Method in class org.mindswap.pellet.RBox

check if the term is declared as a role

isRoot() - Method in class org.mindswap.pellet.Node

isRootNominal() - Method in class org.mindswap.pellet.Node

isSame(Node) - Method in class org.mindswap.pellet.Node

isSame(T, T) - Method in class org.mindswap.pellet.utils.DisjointSet

isSameAs(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.ABox

isSameAs(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isSameAs(OWLIndividual, OWLIndividual) - Method in class org.mindswap.pellet.owlapi.Reasoner

Test if two individuals are owl:DifferentFrom each other.

isSatisfiable(OWLDescription) - Method in class com.clarkparsia.modularity.IncrementalClassifier

isSatisfiable(ATermAppl) - Method in class org.mindswap.pellet.ABox

isSatisfiable(ATermAppl, boolean) - Method in class org.mindswap.pellet.ABox

isSatisfiable(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isSatisfiable(OWLDescription) - Method in class org.mindswap.pellet.owlapi.Reasoner

Returns true if the given class is satisfiable.

isSelf(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isSet(ATermList) - Static method in class org.mindswap.pellet.utils.ATermUtils

isSimple() - Method in class org.mindswap.pellet.Role

isSomeValues(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isStarted() - Method in class org.mindswap.pellet.utils.Timer

Return true if timer has been started with a Timer.start() call but not has been stopped with a Timer.stop() call.

isSubClassOf(OWLDescription, OWLDescription) - Method in class com.clarkparsia.modularity.IncrementalClassifier

isSubClassOf(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.ABox

isSubClassOf(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

Check if class c1 is subclass of class c2.

isSubClassOf(OWLDescription, OWLDescription) - Method in class org.mindswap.pellet.owlapi.Reasoner

isSubNodeOf(T, T) - Method in class org.mindswap.pellet.taxonomy.Taxonomy

Checks if x has an ancestor y.

isSubPropertyOf(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isSubPropertyOf(OWLDataProperty, OWLDataProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isSubPropertyOf(OWLObjectProperty, OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isSubRoleOf(Role) - Method in class org.mindswap.pellet.Role

isSubsumed(Query, Query) - Static method in class org.mindswap.pellet.query.QueryEngine

Deprecated. Use QueryEngine.isSubsumed(Query, Query)

isSubsumed(Query, Query, KnowledgeBase) - Static method in class org.mindswap.pellet.query.QueryEngine

Deprecated. Use QueryEngine.isSubsumed(Query, Query, KnowledgeBase)

isSubsumedBy(ATermAppl, ATermAppl) - Method in class com.clarkparsia.pellet.el.CachedSubsumptionComparator

isSubsumedBy(Query, Query) - Static method in class org.mindswap.pellet.query.QueryEngine

Deprecated.

isSubsumedBy(Query, Query, KnowledgeBase) - Static method in class org.mindswap.pellet.query.QueryEngine

Deprecated.

isSubTypeOf(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.datatypes.DatatypeReasoner

Check if a datatype is subsumed by another datatype

isSubTypeOf(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isSubTypeOf(OWLDataType, OWLDataType) - Method in class org.mindswap.pellet.owlapi.Reasoner

isSuperRoleOf(Role) - Method in class org.mindswap.pellet.Role

isSymmetric(OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isSymmetric() - Method in class org.mindswap.pellet.Role

isSymmetricProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isSyntax() - Method in enum org.mindswap.pellet.jena.BuiltinTerm

isTBoxChanged() - Method in class org.mindswap.pellet.KnowledgeBase

isTop() - Method in class org.mindswap.pellet.Individual

Returns if this is the cached node for BOTTOM concept.

isTop() - Method in class org.mindswap.pellet.tableau.cache.CachedConceptNode

Returns if this is the cached node for BOTTOM concept.

isTop() - Method in class org.mindswap.pellet.tableau.cache.CachedConstantNode

Returns if this is the cached node for BOTTOM concept.

isTop() - Method in interface org.mindswap.pellet.tableau.cache.CachedNode

Returns if this is the cached node for BOTTOM concept.

isTop() - Method in class org.mindswap.pellet.taxonomy.TaxonomyNode

isTop(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isTransitive(OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner

isTransitive() - Method in class org.mindswap.pellet.Role

isTransitiveChain(ATermList, ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils

isTransitiveProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isTriggered(ConceptInfo) - Method in class com.clarkparsia.pellet.el.Trigger

isTrue() - Method in class org.mindswap.pellet.utils.Bool

isType(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.ABox

Returns true if individual x belongs to type c.

isType(List<ATermAppl>, ATermAppl) - Method in class org.mindswap.pellet.ABox

Returns true if any of the individuals in the given list belongs to type c.

isType(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase

isType(Taxonomy<ATermAppl>, ATermAppl, ATermAppl) - Static method in class org.mindswap.pellet.utils.TaxonomyUtils

Determine if an individual is an instance of a class (based on the current state of the taxonomy)

isTypeAssertion(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isTypePattern() - Method in class org.mindswap.pellet.query.impl.QueryPatternImpl

isTypePattern() - Method in interface org.mindswap.pellet.query.QueryPattern

isUnique() - Method in class org.mindswap.pellet.tbox.impl.TermDefinition

isUnique(ATermAppl) - Method in class org.mindswap.pellet.tbox.impl.TermDefinition

isUnknown() - Method in class org.mindswap.pellet.utils.Bool

isUntypedRole() - Method in class org.mindswap.pellet.Role

isUsable(Rule) - Static method in class com.clarkparsia.pellet.rules.UsableRuleFilter

isValid(Object) - Method in class org.mindswap.pellet.datatypes.AbstractDateTimeValueSpace

isValid(Object) - Method in interface org.mindswap.pellet.datatypes.ValueSpace

isValid(Object) - Method in class org.mindswap.pellet.datatypes.XSDDecimal.DecimalValueSpace

isValid(Object) - Method in class org.mindswap.pellet.datatypes.XSDDuration.DurationValueSpace

isVar(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils

isVariable(AtomObject) - Static method in class com.clarkparsia.pellet.rules.VariableUtils

Returns true if atom object is a variable

item(int) - Method in class org.mindswap.pellet.dig.ElementList

iterator() - Method in class com.clarkparsia.pellet.rules.BindingGeneratorImpl

iterator() - Method in class com.clarkparsia.pellet.rules.rete.Index

iterator() - Method in class com.clarkparsia.pellet.sparqldl.model.MultiQueryResults

iterator() - Method in class com.clarkparsia.pellet.sparqldl.model.QueryResultImpl

iterator() - Method in class com.clarkparsia.pellet.utils.IdentityHashSet

iterator() - Method in class org.mindswap.pellet.EdgeList

iterator() - Method in class org.mindswap.pellet.utils.CandidateSet

iterator() - Method in class org.mindswap.pellet.utils.GenericIntervalList

iterator() - Method in class org.mindswap.pellet.utils.intset.ArrayIntSet

An iterator over the values of this set.

iterator() - Method in class org.mindswap.pellet.utils.intset.BitIntSet

iterator() - Method in class org.mindswap.pellet.utils.intset.HashIntSet

iterator() - Method in interface org.mindswap.pellet.utils.intset.IntSet

An iterator over the values of this set.

iterator() - Method in class org.mindswap.pellet.utils.intset.ShiftedBitIntSet

iterator() - Method in class org.mindswap.pellet.utils.intset.TreeIntSet

iterator(T[]) - Static method in class org.mindswap.pellet.utils.iterator.IteratorUtils

iterator(T[], int) - Static method in class org.mindswap.pellet.utils.iterator.IteratorUtils

IteratorUtils - Class in org.mindswap.pellet.utils.iterator

IteratorUtils() - Constructor for class org.mindswap.pellet.utils.iterator.IteratorUtils

IVAL - Static variable in class org.mindswap.pellet.dig.DIGConstants