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

U

UnaryAtom<P,A extends AtomObject> - Class in com.clarkparsia.pellet.rules.model

Title: Unary Atom

UnaryAtom(P, A) - Constructor for class com.clarkparsia.pellet.rules.model.UnaryAtom

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

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

UNCHANGED - Static variable in class org.mindswap.pellet.Node

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

Deprecated. Use UNTYPED instead

UndefinedEntityException - Exception in org.mindswap.pellet.exceptions

Title: UndefinedEntityException

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

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

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

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

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

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

unfold(ATermAppl) - Method in class org.mindswap.pellet.tbox.impl.TuBox

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

Lazy unfold the given concept

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

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

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

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

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

union(IntSet) - Method in class org.mindswap.pellet.DependencySet

Create a new DependencySet and all the elements of this and set .

union(DependencySet, boolean) - Method in class org.mindswap.pellet.DependencySet

Create a new DependencySet and all the elements of this and ds.

union(Set<ATermAppl>, boolean) - Method in class org.mindswap.pellet.DependencySet

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

union(IntSet) - Method in class org.mindswap.pellet.utils.intset.AbstractIntSet

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

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

Creates a new IntSet that is the union of this set and the given set.

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

Creates a new IntSet that is the union of this set and the given set.

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

Returns the union of all the sets given in a collection.

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

Returns the union of two collections

UnionDatatype - Interface in org.mindswap.pellet.datatypes

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

Deprecated. Use OWL.or(OWLDescription...)

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

Deprecated. Use OWL.or(Set instead

UNKNOWN - Static variable in class org.mindswap.pellet.utils.Bool

UNKNOWN_ASK_OPERATION - Static variable in class org.mindswap.pellet.dig.DIGErrors

UNKNOWN_OR_STALE_KB_URI - Static variable in class org.mindswap.pellet.dig.DIGErrors

UNKNOWN_PROB - Static variable in class org.mindswap.pellet.utils.SizeEstimate

UNKNOWN_REQUEST - Static variable in class org.mindswap.pellet.dig.DIGErrors

UNKNOWN_TELL_OPERATION - Static variable in class org.mindswap.pellet.dig.DIGErrors

UnknownDatatype - Class in org.mindswap.pellet.datatypes

UnknownDatatype() - Constructor for class org.mindswap.pellet.datatypes.UnknownDatatype

unload(Set<OWLOntology>) - Method in class org.mindswap.pellet.owlapi.PelletLoader

unloadOntologies(Set<OWLOntology>) - Method in class com.clarkparsia.modularity.IncrementalClassifier

unloadOntologies(Set<OWLOntology>) - Method in class org.mindswap.pellet.owlapi.Reasoner

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

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

unprune(int) - Method in class org.mindswap.pellet.Individual

unprune(int) - Method in class org.mindswap.pellet.Literal

unprune(int) - Method in class org.mindswap.pellet.Node

unprunedNodes() - Method in class com.clarkparsia.pellet.impl.SimpleIncrementalChangeTracker

unprunedNodes() - Method in interface com.clarkparsia.pellet.IncrementalChangeTracker

Iterate over all nodes unpruned (see #addUnprunedIndividual(Individual)) since the previous IncrementalChangeTracker.clear()

unselectKB(String) - Method in class org.mindswap.pellet.dig.PelletDIGReasoner

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

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

UNSUPPORTED_ASK_OPERATION - Static variable in class org.mindswap.pellet.dig.DIGErrors

UNSUPPORTED_OPERATION - Static variable in class org.mindswap.pellet.dig.DIGErrors

UNSUPPORTED_TELL_OPERATION - Static variable in class org.mindswap.pellet.dig.DIGErrors

UnsupportedFeatureException - Exception in org.mindswap.pellet.exceptions

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

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

UnsupportedQueryException - Exception in org.mindswap.pellet.exceptions

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

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

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

update(T, Bool) - Method in class org.mindswap.pellet.utils.CandidateSet

updateDef(ATermAppl) - Method in class org.mindswap.pellet.tbox.impl.TuBox

updatedIndividuals() - Method in class com.clarkparsia.pellet.impl.SimpleIncrementalChangeTracker

updatedIndividuals() - Method in interface com.clarkparsia.pellet.IncrementalChangeTracker

Iterate over all individuals updated (see IncrementalChangeTracker.addUpdatedIndividual(Individual)) since the previous IncrementalChangeTracker.clear()

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

This method is used for incremental reasoning.

updateModules(Taxonomy<OWLClass>, boolean) - Method in class com.clarkparsia.modularity.AbstractModuleExtractor

Update the modules with the changes that have been put into the queue so far.

updateModules(Taxonomy<OWLClass>, boolean) - Method in interface com.clarkparsia.modularity.ModuleExtractor

Update the modules with the changes that have been put into the queue so far.

updateOntology(OWLOntology, Collection<? extends OWLAxiom>, boolean) - Static method in class com.clarkparsia.owlapi.OntologyUtils

Update the ontology by adding or removing the given set of axioms

updateWith(Expressivity, ATermAppl) - Method in class com.clarkparsia.pellet.el.ELExpressivityChecker

updateWith(Expressivity, ATermAppl) - Method in class com.clarkparsia.pellet.expressivity.DLExpressivityChecker

updateWith(Expressivity, ATermAppl) - Method in class com.clarkparsia.pellet.expressivity.ProfileBasedExpressivityChecker

Update the given Expressivity by adding the new @{link aterm.ATermAppl}.

updateWithIndividual(ATermAppl, ATermAppl) - Method in class com.clarkparsia.pellet.expressivity.ExpressivityChecker

Added for incremental reasoning.

upperCase - Static variable in class com.clarkparsia.pellet.rules.builtins.StringOperators

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

uriMap - Static variable in enum com.clarkparsia.pellet.vocabulary.BuiltinNamespace

URIOperators - Class in com.clarkparsia.pellet.rules.builtins

Title: URI Operators

URIOperators() - Constructor for class com.clarkparsia.pellet.rules.builtins.URIOperators

URIUtils - Class in org.mindswap.pellet.utils

Utility functions for URI's.

URIUtils() - Constructor for class org.mindswap.pellet.utils.URIUtils

UsableRuleFilter - Class in com.clarkparsia.pellet.rules

Title: Usable Rule Filter

UsableRuleFilter() - Constructor for class com.clarkparsia.pellet.rules.UsableRuleFilter

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

TBox absorption will be used to move some of the General Inclusion Axioms (GCI) from Tg to Tu.

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

Cache the pseudo models for anonymous classes.

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

Activate annotation support in Pellet.

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

Use dependency directed backjumping

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

Cache the pseudo models for named classes and individuals.

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

Use (if applicable) special optimization for completely defined (CD) concepts during classification.

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

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

Flag set if the completion queue should be utilized.

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

Dynamically find the best completion strategy for the KB.

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

Use continuous rete execution for applying rules.

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

Sort the disjuncts based on the statistics

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

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

Check the cardinality restrictions on datatype properties and handle inverse functional datatype properties

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

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

Flag set if incremental consistency checking should be used.

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

Flag set if incremental support for deletions should be used.

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

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

Absorb TBox axioms about nominals into ABox assertions

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

Flag set if the optimized basic completion queue should be used.

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

Treat nominals (classes defined by enumeration) as named atomic concepts rather than individual names.

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

Absorb TBox axioms into domain/range restrictions in RBox

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

Use semantic branching, i.e.

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

During backjumping use dependency set information to restore node labels rather than restoring the label exactly to the previous state.

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

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

This option tells Pellet to treat every individual with a distinct URI to be different from each other.

usedMemory() - Static method in class org.mindswap.pellet.utils.MemUtils

useRete - Variable in class org.mindswap.pellet.ABox

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

Title: Utils

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