Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
U
UNCHANGED
- Static variable in class org.mindswap.pellet.
Node
UNDEFINED
- Static variable in class org.mindswap.pellet.
Role
Deprecated.
Use UNTYPED instead
undoSetSame()
- Method in class org.mindswap.pellet.
Node
unexplained(Node, DependencySet)
- Static method in class org.mindswap.pellet.
Clash
unfold()
- Method in class org.mindswap.pellet.tbox.impl.
TuBox
unfoldTerm(ATermAppl)
- Method in class org.mindswap.pellet.tbox.impl.
TuBox
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(DependencySet)
- Method in class org.mindswap.pellet.
DependencySet
Create a new DependencySet and all the elements of
this
and
ds
(Neither set is affected when the return the set is modified).
union(Collection)
- Static method in class org.mindswap.pellet.utils.
SetUtils
Returns the union of all the sets given in a collection.
union(Collection, Collection)
- Static method in class org.mindswap.pellet.utils.
SetUtils
Returns the union of two collections
UnionDatatype
- Interface in
org.mindswap.pellet.datatypes
unionOf
- Static variable in class org.mindswap.pellet.jena.
OWLMET
UNKNOWN
- Static variable in class org.mindswap.pellet.owlapi.
Reasoner
UNKNOWN
- Static variable in class org.mindswap.pellet.utils.
Bool
UnknownDatatype
- Class in
org.mindswap.pellet.datatypes
UnknownDatatype()
- Constructor for class org.mindswap.pellet.datatypes.
UnknownDatatype
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
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(Object, Bool)
- Method in class org.mindswap.pellet.utils.
CandidateSet
URIUtils
- Class in
org.mindswap.pellet.utils
Utility functions for URI's.
URIUtils()
- Constructor for class org.mindswap.pellet.utils.
URIUtils
usage()
- Static method in class org.mindswap.pellet.allog.
DisjunctionPreprocessor
usage()
- Static method in class org.mindswap.pellet.allog.
MultiQuery
usage()
- Static method in class org.mindswap.pellet.
PelletQuery
usage()
- Static method in class org.mindswap.pellet.utils.
GenerateData
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
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_COMPLETION_STRATEGY
- Static variable in class org.mindswap.pellet.
PelletOptions
Dynamically find the best completion strategy for the KB.
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_LOCAL_NAME
- Static variable in class org.mindswap.pellet.
PelletOptions
When this option is enabled all entities (classes, properties, individuals) are identified using local names rather than full URI's.
USE_NEW_QUERY_PARSER
- Static variable in class org.mindswap.pellet.
PelletOptions
The new query parser recognizes class expressions encoded in SPARQL queries and allows the Pellet query engine to handle more ABox queries.
USE_NOMINAL_ABSORPTION
- Static variable in class org.mindswap.pellet.
PelletOptions
Absorb TBox axioms about nominals into ABox assertions
USE_OPTIMIZEDINDIVIDUALS
- Static variable in class org.mindswap.pellet.
PelletOptions
USE_PSEUDO_MODEL
- Static variable in class org.mindswap.pellet.
PelletOptions
When a consistency check starts in ABox use the cached pseudo model as the starting point rather than the original ABox.
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_QNAME
- Static variable in class org.mindswap.pellet.
PelletOptions
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. add the negation of a disjunct when the next branch is being tried
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_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
Utils
- Class in
org.mindswap.pellet.rete
Utils()
- Constructor for class org.mindswap.pellet.rete.
Utils
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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.