|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Object java.lang.Enum<IndividualNodeSetPolicy> org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy
public enum IndividualNodeSetPolicy
Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 09-Dec-2009
NodeSet
s of individuals for queries that return node sets of
named individuals such as
OWLReasoner.getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual, boolean)
or OWLReasoner.getInstances(org.semanticweb.owlapi.model.OWLClassExpression, boolean)
.
Enum Constant Summary | |
---|---|
BY_NAME
Indicates that NodeSet s of named individuals will always contain singleton Node s and
individuals that are the same as each other will not be grouped together in one Node within the
NodeSet .For example, if i ,
j and k are individuals, and they are instances of C , and i
is entailed to be the same as j then asking for the instances of A will return a
NodeSet containing three Node s, one containing i , one containing
j and the third containing k . |
|
BY_SAME_AS
Indicates that NodeSet s of named individuals returned by the reasoner will contain Node s
that group individuals which are entailed to be the same as each other. |
Method Summary | |
---|---|
static IndividualNodeSetPolicy |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static IndividualNodeSetPolicy[] |
values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods inherited from class java.lang.Enum |
---|
clone, compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final IndividualNodeSetPolicy BY_SAME_AS
NodeSet
s of named individuals returned by the reasoner will contain Node
s
that group individuals which are entailed to be the same as each other. For example, if i
,
j
and k
are individuals, and they are instances of C
, and i
is entailed to be the same as j
then asking for the instances of A
will return a
NodeSet
containing two Node
s, one containing i
and j
and the
other containing k
.
public static final IndividualNodeSetPolicy BY_NAME
NodeSet
s of named individuals will always contain singleton Node
s and
individuals that are the same as each other will not be grouped together in one Node
within the
NodeSet
.For example, if i
,
j
and k
are individuals, and they are instances of C
, and i
is entailed to be the same as j
then asking for the instances of A
will return a
NodeSet
containing three Node
s, one containing i
, one containing
j
and the third containing k
.
Method Detail |
---|
public static final IndividualNodeSetPolicy[] values()
for(IndividualNodeSetPolicy c : IndividualNodeSetPolicy.values()) System.out.println(c);
public static IndividualNodeSetPolicy valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |