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

I

ImprovedARQParser - Class in org.mindswap.pellet.query.impl
 
ImprovedARQParser() - Constructor for class org.mindswap.pellet.query.impl.ImprovedARQParser
 
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
 
incStart() - Method in class org.mindswap.pellet.utils.GenericIntervalList.Interval
 
ind - Variable in class org.mindswap.pellet.rete.Node
 
INDEPENDENT - Static variable in class org.mindswap.pellet.DependencySet
Used for assertions that are true by nature, i.e. an individual always has type owl:Thing
index(Map, AlphaNode, List) - Method in class org.mindswap.pellet.rete.AlphaIndex
 
index(Map, Map, List, Fact) - Method in class org.mindswap.pellet.rete.AlphaNode
 
indexOf(Object) - Method in class org.mindswap.pellet.IntMap
 
Individual - Class in org.mindswap.pellet
 
individualPropertyAtom - Static variable in class org.mindswap.pellet.swrl.OWLRuleVocabulary
 
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() - Method in class org.mindswap.pellet.EconnExpressivity
 
init() - Method in class org.mindswap.pellet.jena.PelletQueryEngine
 
initialize() - Method in class org.mindswap.pellet.CompletionStrategy
 
initialize() - Method in class org.mindswap.pellet.EmptySHNStrategy
 
initialize() - Method in class org.mindswap.pellet.OWLTStrategy
 
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.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
 
instancesOf(OWLClass) - Method in class org.mindswap.pellet.owlapi.Reasoner
Return direct instances of this class
instancesOf(OWLDescription) - Method in class org.mindswap.pellet.owlapi.Reasoner
Return all instances of this concept description
Instant - Static variable in class org.mindswap.pellet.jena.OWLMET
 
INT - Static variable in class org.mindswap.pellet.utils.NumberUtils
 
INTEGER - Static variable in class org.mindswap.pellet.utils.NumberUtils
 
internalize() - Method in class org.mindswap.pellet.tbox.impl.TBoxImpl
 
internalize() - Method in class org.mindswap.pellet.tbox.impl.TgBox
 
internalize() - Method in interface org.mindswap.pellet.tbox.TBox
 
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
 
Interpreter() - 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, Collection) - Static method in class org.mindswap.pellet.utils.SetUtils
Returns the intersection of two collections
intersectionOf - Static variable in class org.mindswap.pellet.jena.OWLMET
 
intersects(Collection, Collection) - Static method in class org.mindswap.pellet.utils.SetUtils
Checks if two collections have any elemnts in common
IntMap - Class in org.mindswap.pellet
 
IntMap() - Constructor for class org.mindswap.pellet.IntMap
 
IntMapException - Exception in org.mindswap.pellet.exceptions
 
IntMapException() - Constructor for exception org.mindswap.pellet.exceptions.IntMapException
 
IntMapException(String) - Constructor for exception org.mindswap.pellet.exceptions.IntMapException
 
INV - Static variable in class org.mindswap.pellet.utils.ATermUtils
 
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
 
inversePropertiesOf(OWLObjectProperty) - Method in class org.mindswap.pellet.owlapi.Reasoner
 
inverseRoleList(Set) - Method in class org.mindswap.pellet.RBox
for each role in the list finds an inverse role and returns the new list.
INVFUN - Static variable in class org.mindswap.pellet.utils.ATermUtils
 
IPFUN - Static variable in class org.mindswap.pellet.utils.ATermUtils
 
isABoxChanged() - Method in class org.mindswap.pellet.KnowledgeBase
 
isABoxProperty(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase
 
isAccessibilityRelation() - Method in class org.mindswap.pellet.Role
 
isAccessibilityRelationRole() - Method in class org.mindswap.pellet.Role
 
isAllfuture(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isAllpast(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
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.OWLMETReasoner
 
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
 
isAt(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isAtomic() - Method in class org.mindswap.pellet.Clash
 
isAutoClassify() - Method in class org.mindswap.pellet.owlapi.Reasoner
 
isAutoRealize() - Method in class org.mindswap.pellet.owlapi.Reasoner
 
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
 
isCanceled() - Method in interface org.mindswap.pellet.taxonomy.ClassifyProgress
 
isCanceled() - Method in class org.mindswap.pellet.taxonomy.DefaultClassifyProgress
 
isCanceled() - Method in class org.mindswap.pellet.taxonomy.SilentClassifyProgress
 
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.OWLMETReasoner
Check id the given resource is defined as a class.
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.jena.PelletMetInfGraph
 
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.
isClassify() - Method in class org.mindswap.pellet.PelletQuery
 
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.OWLMETReasoner
 
isComplement(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
 
isComplement(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
 
isComplete() - Method in class org.mindswap.pellet.ABox
 
isComplete() - Method in class org.mindswap.pellet.CachedNode
 
isComplexClass(ATerm) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isConceptRoot() - Method in class org.mindswap.pellet.Node
Returns true if this is the node created for the concept satisfiability check.
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.OWLMETReasoner
Check if the loaded ontologies 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.jena.PelletMetInfGraph
 
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
Returns true if the given class is consistent.
isConsistent() - Method in class org.mindswap.pellet.RBox
 
isDataRange(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isDatatype(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase
 
isDatatype(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
 
isDatatypeProperty(Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
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
 
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
 
isDetailedTime() - Method in class org.mindswap.pellet.PelletQuery
 
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.EconnectedKB
 
isDifferentFrom(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
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.EconnDoubleBlocking
 
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
 
isDirectlyBlocked(Individual, List) - Method in class org.mindswap.pellet.TemporalMarking
 
isDiscardJenaGraph() - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
isDiscardJenaGraph() - Method in class org.mindswap.pellet.jena.OWLReasoner
 
isDisjoint(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
isDisjoint(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
 
isDisjoint(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
 
isDistinct() - Method in class org.mindswap.pellet.jena.PelletResultSet
 
isEconnEnabled() - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
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.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.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.TBoxImpl
 
isEmpty() - Method in interface org.mindswap.pellet.tbox.TBox
 
isEmpty() - Method in class org.mindswap.pellet.utils.GenericIntervalList
 
isEntailed(Model) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
Check if all the statements in a given model is entailed by the current KB.
isEntailed(Statement) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
Check if the given statement is entailed by the KB.
isEntailed(Resource, Property, RDFNode) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
Chekc if the given subject, property, object triple is entailed by the KB.
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.
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.OWLMETReasoner
 
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.OWLMETReasoner
 
isEquivalentProperty(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
 
isEquivalentProperty(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
 
isFalse() - Method in class org.mindswap.pellet.utils.Bool
 
isFinite() - Method in class org.mindswap.pellet.datatypes.XSDAnyURI
 
isForced() - Method in class org.mindswap.pellet.query.impl.DConstraint
 
isForced() - Method in class org.mindswap.pellet.utils.Cache
Returns if the using of cache is forced.
isForceUppercase() - Method in class org.mindswap.pellet.KRSSLoader
 
isFormatHTML() - Method in class org.mindswap.pellet.output.OutputFormatter
 
isFormatHTML() - Method in class org.mindswap.pellet.PelletQuery
 
isFunctional() - Method in class org.mindswap.pellet.Role
 
isFunctionalProperty(Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
isFunctionalProperty(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
 
isFunctionalProperty(ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
 
isFuture(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isFutureMarked(Individual) - Method in class org.mindswap.pellet.TemporalMarking
 
isGCI() - Method in class org.mindswap.pellet.tbox.impl.TermDefinition
 
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
 
isIncludeDirects() - Method in class org.mindswap.pellet.jena.ModelExtractor
Returns true if direct subclass/subproperty relations will be included in extractiont
isIncludeDirects() - Method in class org.mindswap.pellet.jena.OWLMETModelExtractor
Returns true if direct subclass/subproperty relations will be included in extractiont
isIncomplete() - Method in class org.mindswap.pellet.CachedNode
 
isIndependent() - Method in class org.mindswap.pellet.DependencySet
Return true if there is no dependancy 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.OWLMETReasoner
 
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.OWLMETReasoner
Check if the given individual is an instance of the given class.
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
 
isInstanceOf(OWLIndividual, OWLDescription) - Method in class org.mindswap.pellet.owlapi.Reasoner
 
isInverse(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
isInverse(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
 
isInverse(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
 
isInverseFunctional() - Method in class org.mindswap.pellet.Role
 
isInverseFunctionalProperty(Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
isInverseFunctionalProperty(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
 
isInverseFunctionalProperty(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
 
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
 
isLazyConsistency() - Method in class org.mindswap.pellet.jena.PelletMetInfGraph
 
isLeaf() - Method in class org.mindswap.pellet.Individual
 
isLeaf() - Method in class org.mindswap.pellet.Literal
 
isLeaf() - Method in class org.mindswap.pellet.Node
 
isLinkProperty(ATerm) - Method in class org.mindswap.pellet.EconnectedKB
 
isLinkRole() - Method in class org.mindswap.pellet.Role
 
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
 
isMarked() - Method in class org.mindswap.pellet.Individual
 
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.OWLMETReasoner
 
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
 
isPast(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isPastMarked(Individual) - Method in class org.mindswap.pellet.TemporalMarking
 
isPrepared() - Method in class org.mindswap.pellet.jena.PelletInfGraph
 
isPrepared() - Method in class org.mindswap.pellet.jena.PelletMetInfGraph
 
isPrimitive(ATermAppl) - Method in class org.mindswap.pellet.tbox.impl.TBoxImpl
 
isPrimitive() - Method in class org.mindswap.pellet.tbox.impl.TermDefinition
 
isPrimitive(ATermAppl) - Method in interface org.mindswap.pellet.tbox.TBox
 
isPrimitive(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isPrimitiveOrNegated(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isPrintTime() - Method in class org.mindswap.pellet.PelletQuery
 
isProperty(ATerm) - Method in class org.mindswap.pellet.EconnectedKB
 
isProperty(Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
isProperty(Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
 
isProperty(ATerm) - Method in class org.mindswap.pellet.KnowledgeBase
 
isPruned() - Method in class org.mindswap.pellet.Node
 
isQuiet() - Method in class org.mindswap.pellet.PelletQuery
 
isRBoxChanged() - Method in class org.mindswap.pellet.KnowledgeBase
 
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
 
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
 
isSameAs(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.ABox
 
isSameAs(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.EconnectedKB
 
isSameAs(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
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) - Method in class org.mindswap.pellet.EconnectedKB
 
isSatisfiable(Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
Check if the given class is satisfiable.
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
 
isSet(ATermList) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isSimple() - Method in class org.mindswap.pellet.Role
 
isSomefuture(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isSomepast(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
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 start() call but not has been stopped with a stop() call.
isStatementDeleted() - Method in class org.mindswap.pellet.jena.DisjointMultiUnion
 
isSubClassOf(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.ABox
 
isSubClassOf(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.EconnectedKB
 
isSubclassOf(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
Deprecated. As of Pellet 1.1.1, replaced by OWLMETReasoner.isSubClassOf(Resource,Resource)
isSubClassOf(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
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(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
Deprecated. As of Pellet 1.1.1, replaced by KnowledgeBase.isSubClassOf(ATermAppl,ATermAppl)
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.OWLMETReasoner
 
isSubPropertyOf(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
 
isSubPropertyOf(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
 
isSubRoleOf(Role) - Method in class org.mindswap.pellet.Role
 
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.OWLMETReasoner
 
isSubTypeOf(RDFDatatype, RDFDatatype) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
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() - Method in class org.mindswap.pellet.Role
 
isSymmetricProperty(Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
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
 
isTimeStructure(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isTop() - Method in class org.mindswap.pellet.CachedNode
 
isTransitive() - Method in class org.mindswap.pellet.Role
 
isTransitiveProperty(Resource) - Method in class org.mindswap.pellet.jena.OWLMETReasoner
 
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.OWLMETReasoner
 
isType(Resource, Resource) - Method in class org.mindswap.pellet.jena.OWLReasoner
 
isType(ATermAppl, ATermAppl) - Method in class org.mindswap.pellet.KnowledgeBase
 
isTypePattern() - Method in class org.mindswap.pellet.query.impl.QueryPatternImpl
 
isTypePattern() - Method in interface org.mindswap.pellet.query.QueryPattern
 
isUnfoldable() - Method in class org.mindswap.pellet.tbox.impl.TuBox
 
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 interface org.mindswap.pellet.datatypes.ValueSpace
 
isVar(ATermAppl) - Static method in class org.mindswap.pellet.utils.ATermUtils
 
isVerbose() - Method in class org.mindswap.pellet.jena.ModelExtractor
 
isVerbose() - Method in class org.mindswap.pellet.jena.OWLMETModelExtractor
 
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
 

A B C D E F G H I J K L M N O P Q R S T U V W X
Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.