Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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

## I

ID - Static variable in class org.mindswap.pellet.dig.DIGConstants
IDENTIFIER - Static variable in class org.mindswap.pellet.dig.DIGConstants
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.
ignoreFile(String) - Method in class org.mindswap.pellet.jena.ModelReader
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
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
incrementBranch(int) - Method in class org.mindswap.pellet.CompletionQueue
  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 org.mindswap.pellet.rete
  Title: Index
Index() - Constructor for class org.mindswap.pellet.rete.Index
index - Variable in class org.mindswap.pellet.rete.Node
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
IndividualPropertyAtom - Static variable in class org.mindswap.pellet.jena.vocabulary.SWRL
IndividualPropertyAtom - Class in org.mindswap.pellet.rules.model
  Title: Individual Property Atom
IndividualPropertyAtom(ATermAppl, AtomIObject, AtomIObject) - Constructor for class org.mindswap.pellet.rules.model.IndividualPropertyAtom
inferredFacts - Variable in class org.mindswap.pellet.rete.Interpreter
INFINITE - Static variable in interface org.mindswap.pellet.datatypes.ValueSpace
inheritDifferents(Node, DependencySet) - Method in class org.mindswap.pellet.Node
init(int) - Method in class org.mindswap.pellet.CompletionQueue
  Reset the cutoff for a given type index
initialize() - Method in class org.mindswap.pellet.CompletionStrategy
initialize() - Method in class org.mindswap.pellet.EmptySHNStrategy
initialize() - Method in class org.mindswap.pellet.SROIQIncStrategy
  There are additional rule that must be fired in the event of incremental additions and deletions in order to guarentee 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 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 - Static variable in class org.mindswap.pellet.rules.builtins.BuiltInRegistry
instance - Static variable in class org.mindswap.pellet.rules.builtins.NoSuchBuiltIn
instance - Static variable in class org.mindswap.pellet.rules.builtins.TestEqual
instance - Static variable in class org.mindswap.pellet.rules.builtins.TestNotEqual
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
instancesOf(OWLClass) - Method in class org.mindswap.pellet.owlapi.Reasoner
  Deprecated. Use `Reasoner.getIndividuals(OWLDescription, boolean)` with `true`
instancesOf(OWLDescription) - Method in class org.mindswap.pellet.owlapi.Reasoner
  Deprecated. Use `Reasoner.getIndividuals(OWLDescription, boolean)` with `true`
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 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
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 org.mindswap.pellet.rete
  Title: Interpreter
Interpreter(ABox) - Constructor for class org.mindswap.pellet.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<T>, Collection) - Static method in class org.mindswap.pellet.utils.SetUtils
  Returns the intersection of two collections
intersects(Collection, Collection) - Static method in class org.mindswap.pellet.utils.SetUtils
  Checks if two collections have any elements in common
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
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 - 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.
inversePropertiesOf(OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner
  Deprecated. Use `Reasoner.getInverseProperties(OWLObjectProperty)` instead
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
IPFUN - Static variable in class org.mindswap.pellet.utils.ATermUtils
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.OWL_1_1
isABoxChange(Triple) - Method in class org.mindswap.pellet.jena.DisjointMultiUnion
  Checks if the given triple is an ABox assertion.
isABoxChange(Triple[]) - Method in class org.mindswap.pellet.jena.DisjointMultiUnion
  Check if the array of triples are all ABox assertions Currently, only type assertions with atomic concepts are detected
isABoxChange(List) - Method in class org.mindswap.pellet.jena.DisjointMultiUnion
  Check if the list of triples are all ABox assertions Currently, only type assertions with atomic concepts are detected
isABoxChange(Iterator) - Method in class org.mindswap.pellet.jena.DisjointMultiUnion
  Check if the iterator of triples are all ABox assertions Currently, only type assertions with atomic concepts are detected
isABoxChange(Graph) - Method in class org.mindswap.pellet.jena.DisjointMultiUnion
  Check if the iterator of triples are all ABox assertions Currently, only type assertions with atomic concepts are detected
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
isAnnotationProperty(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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() - 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
isAntisymmetricProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
isAtomic() - Method in class org.mindswap.pellet.Clash
isAtomTrue(RuleAtom, VariableBinding) - Method in class org.mindswap.pellet.rules.TrivialSatisfactionHelpers
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.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.CachedNode
isBottom() - Method in class org.mindswap.pellet.taxonomy.TaxonomyNode
isBottom(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
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 org.mindswap.pellet.KnowledgeBase
isChanged() - Method in class org.mindswap.pellet.Node
isChanged(int) - Method in class org.mindswap.pellet.Node
isClass(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
  Check id the given resource is defined as a class.
isClass(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase
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 th 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(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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.CachedNode
isComplete(Model) - Method in class org.mindswap.pellet.jena.OWLReasoner
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.OWLReasoner
  Check if the loaded ontologies 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
isConsistent() - Method in class org.mindswap.pellet.RBox
  Deprecated. Inconsistent axioms are rejected
isDataRange(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
isDatatype(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase
  Deprecated. Use `KnowledgeBase.isDatatype(ATermAppl)` instead
isDatatype(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
isDatatypeProperty(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
isDatatypeProperty(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase
isDatatypeRole() - Method in class org.mindswap.pellet.Role
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(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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, List) - Method in class org.mindswap.pellet.Blocking
isDirectlyBlocked(Individual, List) - Method in class org.mindswap.pellet.DoubleBlocking
isDirectlyBlocked(Individual, List) - Method in class org.mindswap.pellet.EqualityBlocking
isDirectlyBlocked(Individual, List) - Method in class org.mindswap.pellet.OptimizedDoubleBlocking
isDirectlyBlocked(Individual, List) - Method in class org.mindswap.pellet.SubsetBlocking
isDiscardJenaGraph() - Method in class org.mindswap.pellet.jena.OWLReasoner
isDisjoint(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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
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 org.mindswap.pellet.jena.PelletResultSet
isEconnEnabled() - Method in class org.mindswap.pellet.jena.OWLReasoner
isEdgePattern() - Method in class org.mindswap.pellet.query.impl.QueryPatternImpl
isEdgePattern() - Method in interface org.mindswap.pellet.query.QueryPattern
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.ConceptCacheLRU
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.DisjointMultiUnion
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.tbox.impl.TBoxBase
isEmpty() - Method in class org.mindswap.pellet.utils.GenericIntervalList
isEntailed(Model) - Method in class org.mindswap.pellet.jena.OWLReasoner
  Check if all the statements in a given model is entailed by the current KB.
isEntailed(Statement) - Method in class org.mindswap.pellet.jena.OWLReasoner
  Check if the given statement is entailed by the KB.
isEntailed(Resource, Property, RDFNode) - Method in class org.mindswap.pellet.jena.OWLReasoner
  Chekc if the given subject, property, object triple is entailed by the KB.
isEntailed(OWLAxiom) - Method in class org.mindswap.pellet.owlapi.EntailmentChecker
isEntailed(OWLOntology) - Method in class org.mindswap.pellet.owlapi.Reasoner
isEntailed(Set) - Method in class org.mindswap.pellet.owlapi.Reasoner
isEntailed(OWLAxiom) - Method in class org.mindswap.pellet.owlapi.Reasoner
isEquivalent(Query, Query) - Static method in class org.mindswap.pellet.query.QueryEngine
isEquivalent(Role) - Method in class org.mindswap.pellet.Role
isEquivalent(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.taxonomy.Taxonomy
  Checks if x is equivalent to y
isEquivalentClass(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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
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
isForced() - Method in class org.mindswap.pellet.utils.Cache
  Deprecated. Returns if the using of cache is forced.
isForceSimple() - Method in class org.mindswap.pellet.Role
isForceUppercase() - Method in class org.mindswap.pellet.KRSSLoader
isFormatHTML() - Method in class org.mindswap.pellet.output.OutputFormatter
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(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
isFunctionalProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
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
  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
isHideAnonTerms() - Method in class org.mindswap.pellet.taxonomy.Taxonomy
isIncludeDirects() - Method in class org.mindswap.pellet.jena.ModelExtractor
  Returns true if direct subclass/subproperty relations will be included in extraction
isIncomplete() - Method in class org.mindswap.pellet.CachedNode
isIndependent() - Method in class org.mindswap.pellet.DependencySet
  Return true if there is no dependency on a non-deterministic branch
isIndirectlyBlocked(Individual) - Method in class org.mindswap.pellet.Blocking
isIndividual() - Method in class org.mindswap.pellet.Individual
isIndividual(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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.
isInstanceOf(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
  Check if the given individual is an instance of the given class.
isInstanceOf(OWLIndividual, OWLClass) - Method in class org.mindswap.pellet.owlapi.Reasoner
  Deprecated. Use `Reasoner.hasType(OWLIndividual, OWLDescription)` instead
isInstanceOf(OWLIndividual, OWLDescription) - Method in class org.mindswap.pellet.owlapi.Reasoner
  Deprecated. Use `Reasoner.hasType(OWLIndividual, OWLDescription)` instead
isInv(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
isInverse(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
isInverseFunctionalProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
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
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) - Method in class org.mindswap.pellet.ABox
isKnownType(Individual, ATermAppl, Collection) - 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.
isLazyConsistency() - Method in class org.mindswap.pellet.jena.PelletInfGraph
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
isMax(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
isMerged() - Method in class org.mindswap.pellet.Node
isMin(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
isNameChar(char) - Static method in class org.mindswap.pellet.utils.QNameProvider
isNamedIndividual() - Method in class org.mindswap.pellet.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(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
isObjectProperty(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase
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
isOr(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
isOrdered() - Method in class org.mindswap.pellet.jena.PelletResultSet
isPrepared() - Method in class org.mindswap.pellet.jena.PelletInfGraph
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(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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
isRBoxChanged() - Method in class org.mindswap.pellet.KnowledgeBase
isRealised() - Method in class org.mindswap.pellet.owlapi.Reasoner
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(Object, Object) - Method in class org.mindswap.pellet.utils.DisjointSet
isSameAs(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.ABox
isSameAs(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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(ATermAppl) - Method in class org.mindswap.pellet.ABox
isSatisfiable(ATermAppl, boolean) - Method in class org.mindswap.pellet.ABox
isSatisfiable(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
  Check if the given class is satisfiable.
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.
isStatementDeleted() - Method in class org.mindswap.pellet.jena.DisjointMultiUnion
isSubClassOf(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.ABox
isSubclassOf(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
  Deprecated. As of Pellet 1.1.1, replaced by `OWLReasoner.isSubClassOf(Resource,Resource)`
isSubClassOf(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.taxonomy.Taxonomy
  Checks if x has an ancestor y.
isSubPropertyOf(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
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(Query, Query) - Static method in class org.mindswap.pellet.query.QueryEngine
isSubsumedBy(Query, Query, KnowledgeBase) - Static method in class org.mindswap.pellet.query.QueryEngine
isSubTypeOf(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.datatypes.DatatypeReasoner
  Check if a datatype is subsumed by another datatype
isSubTypeOf(String, String) - Method in class org.mindswap.pellet.jena.OWLReasoner
isSubTypeOf(RDFDatatype, RDFDatatype) - Method in class org.mindswap.pellet.jena.OWLReasoner
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(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
isSymmetricProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
isTBoxChanged() - Method in class org.mindswap.pellet.KnowledgeBase
isTop() - Method in class org.mindswap.pellet.CachedNode
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(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
isTransitiveProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
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) - Method in class org.mindswap.pellet.ABox
  Returns true if any of the individuals in the given list belongs to type c.
isType(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
isType(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
isType(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.taxonomy.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
isUnknown() - Method in class org.mindswap.pellet.utils.Bool
isUntypedRole() - Method in class org.mindswap.pellet.Role
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() - Method in class org.mindswap.pellet.rete.Constant
isVariable() - Method in interface org.mindswap.pellet.rete.Term
  Return true if term is a variable
isVariable() - Method in class org.mindswap.pellet.rete.Variable
isVariable(AtomObject) - Static method in class org.mindswap.pellet.rules.VariableUtils
  Returns true if atom object is a variable
isVerbose() - Method in class org.mindswap.pellet.jena.ModelExtractor
item(int) - Method in class org.mindswap.pellet.dig.ElementList
iterator() - Method in class org.mindswap.pellet.EdgeList
iterator() - Method in class org.mindswap.pellet.rules.BindingGeneratorImpl
iterator() - Method in class org.mindswap.pellet.rules.UsableRuleFilter
iterator() - Method in class org.mindswap.pellet.utils.CandidateSet
iterator() - Method in class org.mindswap.pellet.utils.GenericIntervalList
IVAL - Static variable in class org.mindswap.pellet.dig.DIGConstants

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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

Copyright © 2004 Evren Sirin. All Rights Reserved.