|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
owl:DeprecetedClass
or
owl:DeprecetedProperty
) to be ignored.
SWRL.Imp
+Inf.
- increment(Double) -
Static method in class com.clarkparsia.pellet.datatypes.FloatingPointUtils
-
- increment(Float) -
Static method in class com.clarkparsia.pellet.datatypes.FloatingPointUtils
-
- increment(Double) -
Method in class com.clarkparsia.pellet.datatypes.IEEEDoubleType
-
- increment(Float) -
Method in class com.clarkparsia.pellet.datatypes.IEEEFloatType
-
- increment(T) -
Method in interface com.clarkparsia.pellet.datatypes.types.floating.FloatingPointType
- Return the next floating point value in the direction of
+Inf.
- increment(Double) -
Static method in class com.clarkparsia.pellet.datatypes.types.floating.FloatingPointUtils
-
- increment(Float) -
Static method in class com.clarkparsia.pellet.datatypes.types.floating.FloatingPointUtils
-
- increment(Double) -
Method in class com.clarkparsia.pellet.datatypes.types.floating.IEEEDoubleType
-
- increment(Float) -
Method in class com.clarkparsia.pellet.datatypes.types.floating.IEEEFloatType
-
- IncrementalChangeTracker - Interface in com.clarkparsia.pellet
-
Title: Incremental change tracker
- IncrementalClassifier - Class in com.clarkparsia.modularity
-
Title:
- IncrementalClassifier(OWLOntology) -
Constructor for class com.clarkparsia.modularity.IncrementalClassifier
-
- IncrementalClassifier(OWLOntology, OWLReasonerConfiguration) -
Constructor for class com.clarkparsia.modularity.IncrementalClassifier
-
- IncrementalClassifier(OWLOntology, ModuleExtractor) -
Constructor for class com.clarkparsia.modularity.IncrementalClassifier
-
- IncrementalClassifier(OWLOntology, OWLReasonerConfiguration, ModuleExtractor) -
Constructor for class com.clarkparsia.modularity.IncrementalClassifier
-
- IncrementalClassifier(PelletReasoner) -
Constructor for class com.clarkparsia.modularity.IncrementalClassifier
-
- IncrementalClassifier(PelletReasoner, ModuleExtractor) -
Constructor for class com.clarkparsia.modularity.IncrementalClassifier
-
- IncrementalClassifier(IncrementalClassifier.PersistedState) -
Constructor for class com.clarkparsia.modularity.IncrementalClassifier
-
- IncrementalClassifier(IncrementalClassifier.PersistedState, OWLOntology) -
Constructor for class com.clarkparsia.modularity.IncrementalClassifier
-
- IncrementalClassifier.DisjointClassComparator - Class in com.clarkparsia.modularity
-
- IncrementalClassifier.DisjointClassComparator(Taxonomy<OWLClass>, OWLClassExpression) -
Constructor for class com.clarkparsia.modularity.IncrementalClassifier.DisjointClassComparator
-
- IncrementalClassifier.PersistedState - Class in com.clarkparsia.modularity
- A class that has access to all the internal parts of the IncrementalClassifier that has to be persisted when saving
the state to the stream.
- IncrementalClassifier.PersistedState(IncrementalClassifier) -
Constructor for class com.clarkparsia.modularity.IncrementalClassifier.PersistedState
-
- IncrementalClassifier.PersistedState(ModuleExtractor, Taxonomy<OWLClass>, boolean) -
Constructor for class com.clarkparsia.modularity.IncrementalClassifier.PersistedState
-
- IncrementalClassifierPersistence - Class in com.clarkparsia.modularity.io
- Provides persistence for IncrementalClassifier objects.
- IncrementalClassifierPersistence() -
Constructor for class com.clarkparsia.modularity.io.IncrementalClassifierPersistence
-
- 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 com.clarkparsia.pellet.owlapiv3.ProgressAdapter
-
- 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
- Deprecated.
- 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(OWLIndividual) -
Static method in class com.clarkparsia.owlapi.SWRL
-
- individual(String) -
Static method in class com.clarkparsia.owlapi.SWRL
-
- Individual(String) -
Static method in class com.clarkparsia.owlapiv3.OWL
-
- Individual(IRI) -
Static method in class com.clarkparsia.owlapiv3.OWL
-
- individual(OWLIndividual) -
Static method in class com.clarkparsia.owlapiv3.SWRL
-
- individual(String) -
Static method in class com.clarkparsia.owlapiv3.SWRL
-
- 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
-
- inFacetSpace(ATermAppl, Object) -
Method in class com.clarkparsia.pellet.datatypes.EmptyRestrictedDatatype
-
- INFINITE -
Static variable in interface org.mindswap.pellet.datatypes.ValueSpace
-
- InfiniteNamedDatatype - Class in com.clarkparsia.pellet.datatypes
-
Title: Infinite Named Datatype
- inheritDifferents(Node, DependencySet) -
Method in class org.mindswap.pellet.Node
-
- initialize(Expressivity) -
Method in class org.mindswap.pellet.tableau.completion.CompletionStrategy
-
- initialize(Expressivity) -
Method in class org.mindswap.pellet.tableau.completion.EmptySRIQStrategy
-
- initialize(Expressivity) -
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<T>, State<T>, State<T>) -
Method in class org.mindswap.pellet.utils.fsm.TransitionGraph
-
- 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 com.clarkparsia.owlapiv3.XSD
-
- INT -
Static variable in class com.clarkparsia.pellet.datatypes.Datatypes
-
- 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 com.clarkparsia.owlapiv3.XSD
-
- INTEGER -
Static variable in class com.clarkparsia.pellet.datatypes.Datatypes
-
- 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
-
- integerDecrement(Number) -
Static method in class com.clarkparsia.pellet.datatypes.OWLRealUtils
-
- integerDifference(Number, Number) -
Static method in class com.clarkparsia.pellet.datatypes.OWLRealUtils
-
- integerDivide -
Static variable in class com.clarkparsia.pellet.rules.builtins.NumericOperators
-
- integerIncrement(Number) -
Static method in class com.clarkparsia.pellet.datatypes.OWLRealUtils
-
- IntegerInterval - Class in com.clarkparsia.pellet.datatypes.types.real
-
- IntegerInterval(Number) -
Constructor for class com.clarkparsia.pellet.datatypes.types.real.IntegerInterval
-
- IntegerInterval(Number, Number) -
Constructor for class com.clarkparsia.pellet.datatypes.types.real.IntegerInterval
-
- integerSum(Number, Number) -
Static method in class com.clarkparsia.pellet.datatypes.OWLRealUtils
-
- INTEQUALS -
Static variable in class org.mindswap.pellet.dig.DIGConstants
-
- internalize() -
Method in class org.mindswap.pellet.tbox.impl.TgBox
-
- 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(Throwable) -
Constructor for exception org.mindswap.pellet.exceptions.InternalReasonerException
-
- InternalReasonerException(String, Throwable) -
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
-
- interrupt() -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- interrupt() -
Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner
-
- interrupt() -
Method in class org.mindswap.pellet.utils.Timer
- Interrupt timer so that the next check() call will throw an InterruptedException
- interrupt() -
Method in class org.mindswap.pellet.utils.Timers
-
- intersect(RestrictedDatatype<?>, boolean) -
Method in class com.clarkparsia.pellet.datatypes.EmptyRestrictedDatatype
-
- intersect(OWLRealInterval.LineType) -
Method in enum com.clarkparsia.pellet.datatypes.OWLRealInterval.LineType
-
- intersect(RestrictedDatatype<?>, boolean) -
Method in interface com.clarkparsia.pellet.datatypes.RestrictedDatatype
- Intersect this range with another range.
- intersect(RestrictedDatatype<?>, boolean) -
Method in class com.clarkparsia.pellet.datatypes.RestrictedFloatingPointDatatype
-
- intersect(RestrictedDatatype<?>, boolean) -
Method in class com.clarkparsia.pellet.datatypes.RestrictedRealDatatype
-
- intersect(RestrictedDatatype<?>, boolean) -
Method in class com.clarkparsia.pellet.datatypes.types.bool.RestrictedBooleanDatatype
-
- intersect(RestrictedDatatype<?>, boolean) -
Method in class com.clarkparsia.pellet.datatypes.types.datetime.RestrictedTimelineDatatype
-
- intersect(RestrictedDatatype<?>, boolean) -
Method in class com.clarkparsia.pellet.datatypes.types.duration.RestrictedDurationDatatype
-
- intersect(RestrictedDatatype<?>, boolean) -
Method in class com.clarkparsia.pellet.datatypes.types.floating.RestrictedFloatingPointDatatype
-
- intersect(RestrictedDatatype<?>, boolean) -
Method in class com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype
-
- intersect(RestrictedDatatype<?>, boolean) -
Method in class com.clarkparsia.pellet.datatypes.types.text.RestrictedTextDatatype
-
- intersect(RestrictedDatatype<?>, boolean) -
Method in class com.clarkparsia.pellet.datatypes.types.uri.RestrictedURIDatatype
-
- intersection(U) -
Method in class com.clarkparsia.pellet.datatypes.DiscreteInterval
-
- intersection(FloatingPointInterval<T>) -
Method in class com.clarkparsia.pellet.datatypes.FloatingPointInterval
-
- intersection(OWLRealInterval) -
Method in class com.clarkparsia.pellet.datatypes.OWLRealInterval
-
- intersection(ContinuousRealInterval) -
Method in class com.clarkparsia.pellet.datatypes.types.real.ContinuousRealInterval
-
- 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
- Deprecated. 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(AtomicDatatype) -
Method in class org.mindswap.pellet.datatypes.XSDDecimal
-
- 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
- IntervalRelations - Enum in com.clarkparsia.pellet.datatypes
-
Title: Interval Relations
- intervalSize(T, T) -
Method in interface com.clarkparsia.pellet.datatypes.FloatingPointType
- Count the number of floating point values in an inclusive interval
- intervalSize(Double, Double) -
Static method in class com.clarkparsia.pellet.datatypes.FloatingPointUtils
-
- intervalSize(Float, Float) -
Static method in class com.clarkparsia.pellet.datatypes.FloatingPointUtils
-
- intervalSize(Double, Double) -
Method in class com.clarkparsia.pellet.datatypes.IEEEDoubleType
-
- intervalSize(Float, Float) -
Method in class com.clarkparsia.pellet.datatypes.IEEEFloatType
-
- intervalSize(T, T) -
Method in interface com.clarkparsia.pellet.datatypes.types.floating.FloatingPointType
- Count the number of floating point values in an inclusive interval
- intervalSize(Double, Double) -
Static method in class com.clarkparsia.pellet.datatypes.types.floating.FloatingPointUtils
-
- intervalSize(Float, Float) -
Static method in class com.clarkparsia.pellet.datatypes.types.floating.FloatingPointUtils
-
- intervalSize(Double, Double) -
Method in class com.clarkparsia.pellet.datatypes.types.floating.IEEEDoubleType
-
- intervalSize(Float, Float) -
Method in class com.clarkparsia.pellet.datatypes.types.floating.IEEEFloatType
-
- 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
-
- intValue() -
Method in class com.clarkparsia.pellet.datatypes.types.real.Rational
-
- inv(ATermAppl) -
Static method in class com.clarkparsia.pellet.utils.TermFactory
-
- INV_FUNCTIONAL -
Static variable in class org.mindswap.pellet.Role
-
- INVALID_LITERAL_AS_INCONSISTENCY -
Static variable in class org.mindswap.pellet.PelletOptions
- If
true
invalid literals cause inconsistencies.
- InvalidConstrainingFacetException - Exception in com.clarkparsia.pellet.datatypes.exceptions
-
Title: Invalid Constraining Facet Exception
- InvalidConstrainingFacetException(ATermAppl, Object) -
Constructor for exception com.clarkparsia.pellet.datatypes.exceptions.InvalidConstrainingFacetException
-
- InvalidConstrainingFacetException(ATermAppl, Object, Throwable) -
Constructor for exception com.clarkparsia.pellet.datatypes.exceptions.InvalidConstrainingFacetException
-
- InvalidConstrainingFacetException(String, ATermAppl, Object) -
Constructor for exception com.clarkparsia.pellet.datatypes.exceptions.InvalidConstrainingFacetException
-
- InvalidConstrainingFacetException(String, ATermAppl, Object, Throwable) -
Constructor for exception com.clarkparsia.pellet.datatypes.exceptions.InvalidConstrainingFacetException
-
- InvalidDatatypeRestrictionException - Exception in com.clarkparsia.pellet.datatypes.exceptions
-
- InvalidDatatypeRestrictionException(ATermAppl) -
Constructor for exception com.clarkparsia.pellet.datatypes.exceptions.InvalidDatatypeRestrictionException
-
- invalidLiteral(Node, DependencySet) -
Static method in class org.mindswap.pellet.Clash
-
- invalidLiteral(Node, DependencySet, ATermAppl) -
Static method in class org.mindswap.pellet.Clash
-
- InvalidLiteralException - Exception in com.clarkparsia.pellet.datatypes.exceptions
-
Title: Invalid Literal Exception
- InvalidLiteralException(ATermAppl, String) -
Constructor for exception com.clarkparsia.pellet.datatypes.exceptions.InvalidLiteralException
-
- InvalidLiteralException(ATermAppl, String, Throwable) -
Constructor for exception com.clarkparsia.pellet.datatypes.exceptions.InvalidLiteralException
-
- invalidLiteralExplanation() -
Method in class org.mindswap.pellet.Clash
-
- inverse(OWLObjectPropertyExpression) -
Static method in class com.clarkparsia.owlapi.OWL
-
- inverse(OWLObjectPropertyExpression) -
Static method in class com.clarkparsia.owlapiv3.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.
- inverseFunctional(OWLObjectPropertyExpression) -
Static method in class com.clarkparsia.owlapi.OWL
-
- inverseFunctional(OWLObjectPropertyExpression) -
Static method in class com.clarkparsia.owlapiv3.OWL
-
- 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
-
- inverseProperties(OWLObjectPropertyExpression, OWLObjectPropertyExpression) -
Static method in class com.clarkparsia.owlapiv3.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(OWLObjectPropertyExpression) -
Static method in class com.clarkparsia.owlapiv3.OWL
-
- IRREFLEXIVE -
Static variable in class org.mindswap.pellet.Role
-
- IrreflexiveAtom(ATermAppl) -
Static method in class com.clarkparsia.pellet.sparqldl.model.QueryAtomFactory
-
- 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
-
- isABoxAxiom(OWLAxiom) -
Static method in class com.clarkparsia.modularity.ChangeTypeDetector
- Checks whether the given OWLAxiom is a ABox axiom
- isABoxChanged() -
Method in class com.clarkparsia.modularity.AbstractModuleExtractor
- Checks whether there are unapplied changes to the ABox
- 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
- isAnnotationTaxonomyPrepared() -
Method in class org.mindswap.pellet.RBox
-
- 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 com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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)
- isAnyFinal(Set<State<T>>) -
Method in class org.mindswap.pellet.utils.fsm.TransitionGraph
-
- isApplicable(boolean[]) -
Method in interface com.clarkparsia.pellet.rules.builtins.GeneralFunction
-
- isAsymmetric(OWLObjectProperty) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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() -
Method in class org.mindswap.pellet.Individual
-
- isBlocked(BlockingContext) -
Method in class org.mindswap.pellet.tableau.blocking.Block1
-
- isBlocked(BlockingContext) -
Method in class org.mindswap.pellet.tableau.blocking.Block2
-
- isBlocked(BlockingContext) -
Method in class org.mindswap.pellet.tableau.blocking.Block3
-
- isBlocked(BlockingContext) -
Method in class org.mindswap.pellet.tableau.blocking.Block4
-
- isBlocked(BlockingContext) -
Method in class org.mindswap.pellet.tableau.blocking.Block5
-
- isBlocked(BlockingContext) -
Method in class org.mindswap.pellet.tableau.blocking.Block6
-
- isBlocked(Individual) -
Method in class org.mindswap.pellet.tableau.blocking.Blocking
-
- isBlocked(BlockingContext) -
Method in interface org.mindswap.pellet.tableau.blocking.BlockingCondition
- Check if the blocker candidate in this context actually blocks the other
individual.
- 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.Role
-
- 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 enum org.mindswap.pellet.jena.BuiltinTerm
-
- isBuiltin(Node) -
Static method in class org.mindswap.pellet.jena.graph.query.GraphQueryHandler
-
- isBuiltin() -
Method in class org.mindswap.pellet.Role
-
- isBuiltinProperty(ATermAppl) -
Static method in class org.mindswap.pellet.utils.ATermUtils
-
- isCanceled() -
Method in class com.clarkparsia.pellet.owlapiv3.ProgressAdapter
-
- 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
-
- isClassificationNeeded(Expressivity) -
Method in class com.clarkparsia.modularity.AbstractModuleExtractor
-
- isClassificationNeeded(Expressivity) -
Method in interface com.clarkparsia.modularity.ModuleExtractor
- Checks if the changes that has not yet been updated require re-classification
- isClassified() -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isClassified() -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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(OWLClassExpression, OWLClassExpression) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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(OWLClassExpression) -
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 com.clarkparsia.modularity.IncrementalClassifier
-
- isConsistent() -
Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner
-
- isConsistent() -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated. Returns true if the loaded ontology is consistent.
- isConsistent(OWLClassExpression) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated. Use
Reasoner.isSatisfiable(OWLClassExpression)
instead
- isConsistent(OWLOntology) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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
-
- isCyclic(ATermAppl) -
Method in class org.mindswap.pellet.taxonomy.AbstractDefinitionOrder
- Returns if a concept is used in cyclic definitions.
- isCyclic(ATermAppl) -
Method in interface org.mindswap.pellet.taxonomy.DefinitionOrder
- Returns if a concept is used in cyclic definitions.
- isDataRange(ATermAppl) -
Static method in class org.mindswap.pellet.utils.ATermUtils
-
- isDataTaxonomyPrepared() -
Method in class org.mindswap.pellet.RBox
-
- 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
-
- isDecimal(Number) -
Static method in class com.clarkparsia.pellet.datatypes.OWLRealUtils
-
- isDeclared(ATermAppl) -
Method in interface com.clarkparsia.pellet.datatypes.DatatypeReasoner
- Check if a specific datatype or named data range has been declared.
- isDeclared(ATermAppl) -
Method in class com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl
-
- isDefined(OWLClass) -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isDefined(OWLDataProperty) -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isDefined(OWLNamedIndividual) -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isDefined(OWLObjectProperty) -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isDefined(ATermAppl) -
Method in interface com.clarkparsia.pellet.datatypes.DatatypeReasoner
- Check if a specific datatype or named data range can be supported by the
datatype reasoner.
- isDefined(ATermAppl) -
Method in class com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl
-
- isDefined(OWLClass) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isDefined(OWLDataProperty) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isDefined(OWLIndividual) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isDefined(OWLObjectProperty) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isDefined(String) -
Method in class org.mindswap.pellet.datatypes.DatatypeReasoner
- Deprecated.
- isDefined(Datatype) -
Method in class org.mindswap.pellet.datatypes.DatatypeReasoner
- Deprecated.
- 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(OWLIndividual, OWLIndividual) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated. Test if two individuals are owl:DifferentFrom each other.
- 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
-
- isDirectlyBlockedBy(BlockingContext) -
Method in class org.mindswap.pellet.tableau.blocking.DoubleBlocking
-
- isDirectlyBlockedBy(BlockingContext) -
Method in class org.mindswap.pellet.tableau.blocking.EqualityBlocking
-
- isDirectlyBlockedBy(BlockingContext) -
Method in class org.mindswap.pellet.tableau.blocking.OptimizedDoubleBlocking
-
- isDirectlyBlockedBy(BlockingContext) -
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
-
- isDisabled() -
Method in class org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule
-
- 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 com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isDisjointWith(OWLClassExpression, OWLClassExpression) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isDisjointWith(OWLObjectProperty, OWLObjectProperty) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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.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
-
- isDistinguishedVariable(Node) -
Static method in class com.clarkparsia.pellet.sparqldl.parser.ARQParser
-
- isDomainAsserted(ATerm, ATermAppl) -
Method in class org.mindswap.pellet.RBox
- Deprecated.
- isDynamic() -
Method in class org.mindswap.pellet.tableau.blocking.Blocking
-
- isDynamic() -
Method in class org.mindswap.pellet.tableau.blocking.SubsetBlocking
-
- 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 interface com.clarkparsia.pellet.datatypes.DataRange
- Convenience method equivalent to
!containsAtLeast(0)
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.DataValueEnumeration
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.EmptyDataRange
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.NegatedDataRange
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.RestrictedFloatingPointDatatype
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.RestrictedRealDatatype
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.types.bool.RestrictedBooleanDatatype
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.types.datetime.RestrictedTimelineDatatype
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.types.duration.RestrictedDurationDatatype
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.types.floating.RestrictedFloatingPointDatatype
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.types.text.RestrictedTextDatatype
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.types.uri.RestrictedURIDatatype
-
- isEmpty() -
Method in class com.clarkparsia.pellet.datatypes.UnionDataRange
-
- 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
- Deprecated.
- 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.tableau.cache.ConceptCacheLRU
-
- isEmpty() -
Method in class org.mindswap.pellet.tbox.impl.TBoxBase
-
- isEmpty() -
Method in class org.mindswap.pellet.utils.GenericIntervalList
- Deprecated.
- 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(Set<? extends OWLAxiom>) -
Method in class com.clarkparsia.modularity.EntailmentChecker
-
- isEntailed(OWLAxiom) -
Method in class com.clarkparsia.modularity.EntailmentChecker
-
- isEntailed(OWLAxiom) -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isEntailed(Set<? extends OWLAxiom>) -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isEntailed(Set<? extends OWLAxiom>) -
Method in class com.clarkparsia.pellet.owlapiv3.EntailmentChecker
-
- isEntailed() -
Method in class com.clarkparsia.pellet.owlapiv3.EntailmentQueryVisitor
-
- isEntailed(OWLAxiom) -
Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner
-
- isEntailed(Set<? extends OWLAxiom>) -
Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner
-
- 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
-
- isEntailmentCheckingSupported(AxiomType<?>) -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isEntailmentCheckingSupported(AxiomType<?>) -
Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner
-
- isEnumerable() -
Method in interface com.clarkparsia.pellet.datatypes.DataRange
- Query if values in the data range can be enumerated.
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.DataValueEnumeration
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.EmptyDataRange
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.NegatedDataRange
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.RestrictedFloatingPointDatatype
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.RestrictedRealDatatype
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.types.bool.RestrictedBooleanDatatype
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.types.datetime.RestrictedTimelineDatatype
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.types.duration.RestrictedDurationDatatype
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.types.floating.RestrictedFloatingPointDatatype
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.types.text.RestrictedTextDatatype
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.types.uri.RestrictedURIDatatype
-
- isEnumerable() -
Method in class com.clarkparsia.pellet.datatypes.UnionDataRange
-
- isEpsilon() -
Method in class org.mindswap.pellet.utils.fsm.Transition
-
- 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(OWLClassExpression, OWLClassExpression) -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isEquivalentClass(OWLClassExpression, OWLClassExpression) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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(OWLDataProperty, OWLDataProperty) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isEquivalentProperty(OWLObjectProperty, OWLObjectProperty) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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
-
- isEquivalentTo(Query, Query) -
Static method in class com.clarkparsia.pellet.sparqldl.engine.QuerySubsumption
- Checks whether sub is equivalent to sup
- ISET -
Static variable in class org.mindswap.pellet.dig.DIGConstants
-
- isExcludeValidPunnings() -
Method in class com.clarkparsia.pellint.rdfxml.OWLSyntaxChecker
- Returns if valid punninga will be excluded from lint report.
- isExplainOnlyInconsistency() -
Method in class org.mindswap.pellet.KnowledgeBase
- Returns current value of explainOnlyInconsistency option.
- 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<T>) -
Method in class org.mindswap.pellet.utils.fsm.TransitionGraph
-
- isFinite() -
Method in interface com.clarkparsia.pellet.datatypes.DataRange
- Query if there are a finite number of values in the data range.
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.DataValueEnumeration
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.DiscreteInterval
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.EmptyDataRange
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.NegatedDataRange
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.OWLRealInterval
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.RestrictedFloatingPointDatatype
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.RestrictedRealDatatype
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.types.bool.RestrictedBooleanDatatype
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.types.datetime.RestrictedTimelineDatatype
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.types.duration.RestrictedDurationDatatype
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.types.floating.RestrictedFloatingPointDatatype
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.types.text.RestrictedTextDatatype
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.types.uri.RestrictedURIDatatype
-
- isFinite() -
Method in class com.clarkparsia.pellet.datatypes.UnionDataRange
-
- 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.EquivalentToMaxCardinalityPattern
-
- 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 com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isFunctional(OWLObjectProperty) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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.CoreNewImpl
-
- isGround() -
Method in class com.clarkparsia.pellet.sparqldl.model.NotKnownQueryAtom
-
- 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.QueryAtomImpl
-
- isGround() -
Method in class com.clarkparsia.pellet.sparqldl.model.QueryImpl
- Checks whether the query is ground.
- isGround() -
Method in class com.clarkparsia.pellet.sparqldl.model.UnionQueryAtom
-
- 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
-
- isInitial(State<T>) -
Method in class org.mindswap.pellet.utils.fsm.TransitionGraph
-
- isInitialized() -
Method in class org.mindswap.pellet.ABox
- Check if the ABox is ready to be completed.
- isInstance(Object) -
Method in interface com.clarkparsia.pellet.datatypes.FloatingPointType
- Determine if the specified
Object
is assignment compatible
with the object represented by this FloatingPointType
.
- isInstance(Object) -
Method in class com.clarkparsia.pellet.datatypes.IEEEDoubleType
-
- isInstance(Object) -
Method in class com.clarkparsia.pellet.datatypes.IEEEFloatType
-
- isInstance(Object) -
Method in interface com.clarkparsia.pellet.datatypes.types.floating.FloatingPointType
- Determine if the specified
Object
is assignment compatible
with the object represented by this FloatingPointType
.
- isInstance(Object) -
Method in class com.clarkparsia.pellet.datatypes.types.floating.IEEEDoubleType
-
- isInstance(Object) -
Method in class com.clarkparsia.pellet.datatypes.types.floating.IEEEFloatType
-
- isInteger(Number) -
Static method in class com.clarkparsia.pellet.datatypes.OWLRealUtils
-
- 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 com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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 com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isInverseOf(OWLObjectProperty, OWLObjectProperty) -
Method in class org.mindswap.pellet.owlapi.Reasoner
-
- isInvSuccessor() -
Method in class org.mindswap.pellet.tableau.blocking.BlockingContext
- Returns if the role from the parent of blocked candidate has any inverse
super properties.
- isIrreflexive(OWLObjectProperty) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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
-
- isNaN(T) -
Method in interface com.clarkparsia.pellet.datatypes.FloatingPointType
- Returns
true
if this floating point value is a Not-a-Number
(NaN) value, false
otherwise.
- isNaN(Double) -
Method in class com.clarkparsia.pellet.datatypes.IEEEDoubleType
-
- isNaN(Float) -
Method in class com.clarkparsia.pellet.datatypes.IEEEFloatType
-
- isNaN(T) -
Method in interface com.clarkparsia.pellet.datatypes.types.floating.FloatingPointType
- Returns
true
if this floating point value is a Not-a-Number
(NaN) value, false
otherwise.
- isNaN(Double) -
Method in class com.clarkparsia.pellet.datatypes.types.floating.IEEEDoubleType
-
- isNaN(Float) -
Method in class com.clarkparsia.pellet.datatypes.types.floating.IEEEFloatType
-
- 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
-
- isObjectTaxonomyPrepared() -
Method in class org.mindswap.pellet.RBox
-
- isOneOf(ATermAppl) -
Static method in class org.mindswap.pellet.utils.ATermUtils
-
- isOntologyProperty(ATerm) -
Method in class org.mindswap.pellet.KnowledgeBase
- Deprecated.
- isOntologyRole() -
Method in class org.mindswap.pellet.Role
- Deprecated.
- 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.SortedResultSet
-
- isOrdered() -
Method in class com.clarkparsia.pellet.sparqldl.jena.SparqlDLResultSet
-
- isOWL2Datatype(Node) -
Static method in class com.clarkparsia.sparqlowl.parser.arq.ARQParserUtilities
- Test if a
Node
is an OWL 2 datatype.
- isPoint() -
Method in class com.clarkparsia.pellet.datatypes.OWLRealInterval
-
- isPoint() -
Method in class com.clarkparsia.pellet.datatypes.types.real.ContinuousRealInterval
-
- isPrecomputed(InferenceType) -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isPrecomputed(InferenceType) -
Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner
-
- 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 interface com.clarkparsia.pellet.datatypes.Datatype
- Check if a datatype is primitive.
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.InfiniteNamedDatatype
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.bool.XSDBoolean
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.datetime.AbstractTimelineDatatype
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.datetime.XSDDateTimeStamp
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.duration.XSDDuration
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.floating.XSDDouble
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.floating.XSDFloat
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.real.AbstractDerivedIntegerType
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.real.OWLRational
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.real.OWLReal
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.real.XSDDecimal
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.text.RDFPlainLiteral
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.text.XSDLanguage
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.text.XSDName
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.text.XSDNCName
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.text.XSDNMToken
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.text.XSDNormalizedString
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.text.XSDString
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.text.XSDToken
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.types.uri.XSDAnyURI
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.XSDDecimal
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.XSDDouble
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.XSDFloat
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.XSDInteger
-
- isPrimitive() -
Method in class com.clarkparsia.pellet.datatypes.XSDLong
-
- isPrimitive(ATermAppl) -
Method in class org.mindswap.pellet.tbox.impl.TBoxExpImpl
-
- 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
- Returns if a concept has only primitive definitions in this TBox.
- 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
-
- isQuotientExact() -
Method in class com.clarkparsia.pellet.datatypes.types.real.Rational
-
- isRangeAsserted(ATerm, ATermAppl) -
Method in class org.mindswap.pellet.RBox
- Deprecated.
- isRational(Number) -
Static method in class com.clarkparsia.pellet.datatypes.OWLRealUtils
-
- isRBoxAxiom(OWLAxiom) -
Static method in class com.clarkparsia.modularity.ChangeTypeDetector
- Checks whether the given OWLAxiom is a RBox axiom
- isRBoxChanged() -
Method in class com.clarkparsia.modularity.AbstractModuleExtractor
- Checks whether there are unapplied changes to the RBox
- isRBoxChanged() -
Method in class org.mindswap.pellet.KnowledgeBase
-
- isRealised() -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isRealised() -
Method in class org.mindswap.pellet.owlapi.Reasoner
-
- isRealized() -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isRealized() -
Method in class com.clarkparsia.modularity.IncrementalClassifier.PersistedState
-
- 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 com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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 com.clarkparsia.pellet.owlapiv3.PelletVisitor
-
- isReloadRequired() -
Method in class org.mindswap.pellet.owlapi.PelletVisitor
-
- isRestrictedDatatype(ATermAppl) -
Static method in class org.mindswap.pellet.utils.ATermUtils
-
- 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
-
- isRSuccessor(Role) -
Method in class org.mindswap.pellet.tableau.blocking.BlockingContext
- Returns if the blocked node is an r-successor of its parent.
- isSafe(ATermAppl, Individual) -
Method in interface org.mindswap.pellet.tableau.cache.CacheSafety
- Returns if a previously cached satisfiability result is safe to reuse for a given
concept and node in the completion graph.
- isSafe(ATermAppl, Individual) -
Method in class org.mindswap.pellet.tableau.cache.CacheSafetyAlwaysSafe
- Returns if a previously cached satisfiability result is safe to reuse for a given
concept and node in the completion graph.
- isSafe(ATermAppl, Individual) -
Method in class org.mindswap.pellet.tableau.cache.CacheSafetyDynamic
- Returns if a previously cached satisfiability result is safe to reuse for a given
concept and node in the completion graph.
- isSafe(ATermAppl, Individual) -
Method in class org.mindswap.pellet.tableau.cache.CacheSafetyNeverSafe
- Returns if a previously cached satisfiability result is safe to reuse for a given
concept and node in the completion graph.
- isSame(Node) -
Method in class org.mindswap.pellet.Node
-
- isSame(T, T) -
Method in class org.mindswap.pellet.utils.DisjointSet
-
- isSameAs(OWLIndividual, OWLIndividual) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated. Test if two individuals are owl:DifferentFrom each other.
- 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(OWLClassExpression) -
Method in class com.clarkparsia.modularity.IncrementalClassifier
-
- isSatisfiable(Collection<ATermAppl>) -
Method in interface com.clarkparsia.pellet.datatypes.DatatypeReasoner
- Shorthand for
DatatypeReasoner.isSatisfiable(Collection, Object)
where
value == null
.
- isSatisfiable(Collection<ATermAppl>, Object) -
Method in interface com.clarkparsia.pellet.datatypes.DatatypeReasoner
- Check the data ranges on a single literal node are satisfiable
(independent of other nodes).
- isSatisfiable(Set<Literal>, Map<Literal, Set<Literal>>) -
Method in interface com.clarkparsia.pellet.datatypes.DatatypeReasoner
- Check that the data ranges and inequalities asserted on a collection of
literal nodes are satisfiable.
- isSatisfiable(Collection<ATermAppl>) -
Method in class com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl
-
- isSatisfiable(Collection<ATermAppl>, Object) -
Method in class com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl
-
- isSatisfiable(Set<Literal>, Map<Literal, Set<Literal>>) -
Method in class com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl
-
- isSatisfiable(OWLClassExpression) -
Method in class com.clarkparsia.pellet.owlapiv3.PelletReasoner
-
- isSatisfiable(OWLClassExpression) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated. Returns true if the given class is satisfiable.
- 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(OWLClassExpression, OWLClassExpression) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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(OWLDataProperty, OWLDataProperty) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isSubPropertyOf(OWLObjectProperty, OWLObjectProperty) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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
-
- isSubsumedBy(ATermAppl, ATermAppl) -
Method in class com.clarkparsia.pellet.el.CachedSubsumptionComparator
-
- isSubsumedBy(Query, Query) -
Static method in class com.clarkparsia.pellet.sparqldl.engine.QuerySubsumption
- Checks whether sub is subsumed by sup
- isSubTypeOf(OWLDatatype, OWLDatatype) -
Method in class com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- isSubTypeOf(ATermAppl, ATermAppl) -
Method in class org.mindswap.pellet.datatypes.DatatypeReasoner
- Deprecated. Check if a datatype is subsumed by another datatype
- 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 com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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(Node) -
Static method in enum org.mindswap.pellet.jena.BuiltinTerm
-
- isSyntax() -
Method in enum org.mindswap.pellet.jena.BuiltinTerm
-
- isTBoxAxiom(OWLAxiom) -
Static method in class com.clarkparsia.modularity.ChangeTypeDetector
- Checks whether the given OWLAxiom is a TBox axiom
- isTBoxChanged() -
Method in class com.clarkparsia.modularity.AbstractModuleExtractor
- Checks whether there are unapplied changes to the TBox
- 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.Role
-
- 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 com.clarkparsia.pellet.owlapiv3.Reasoner
- Deprecated.
- 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
-
- 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
- Checks if a rule can be used for reasoning.
- 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.taxonomy.AbstractDefinitionOrder
- Returns an iterator over all the classes in the ontology sorted based on
the definition order.
- iterator() -
Method in interface org.mindswap.pellet.taxonomy.DefinitionOrder
- Returns an iterator over all the classes in the ontology sorted based on
the definition order.
- iterator() -
Method in class org.mindswap.pellet.utils.BinarySet
-
- iterator() -
Method in class org.mindswap.pellet.utils.CandidateSet
-
- iterator() -
Method in class org.mindswap.pellet.utils.GenericIntervalList
- Deprecated.
- 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...) -
Static method in class org.mindswap.pellet.utils.iterator.IteratorUtils
-
- iterator(int, T...) -
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
-
- iVariable(String) -
Static method in class com.clarkparsia.owlapi.SWRL
-
- iVariable(URI) -
Static method in class com.clarkparsia.owlapi.SWRL
-
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |