|
DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM) | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Concept | |
org.kr.dl.dig.reasoner.v1_1 | DIG 1.1 reasoner interfaces. |
org.kr.dl.dig.reasoner.v1_1.impl | Implementations of the DIG 1.1 reasoner interfaces. |
org.kr.dl.dig.v1_1 | |
org.kr.dl.dig.v1_1.impl |
Uses of Concept in org.kr.dl.dig.reasoner.v1_1 |
Methods in org.kr.dl.dig.reasoner.v1_1 with parameters of type Concept | |
boolean |
TReasoner.satisfiable(Concept concept,
URI kbURI)
Returns true if concept is satisfiable. |
boolean |
TReasoner.subsumes(Concept subsumer,
Concept subsumee,
URI kbURI)
Returns true if subsumer subsumes
subsumee . |
Set |
TReasoner.childrenNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding to
names of concept children of concept . |
Set |
TReasoner.descendantsNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding to
names of concept descendants of concept . |
Set |
TReasoner.parentsNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding to
names of concept parents of concept . |
Set |
TReasoner.ancestorsNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding to
names of concept ancestors of concept . |
Set |
TReasoner.equivalentsNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding to
names of concept descendants of concept . |
Uses of Concept in org.kr.dl.dig.reasoner.v1_1.impl |
Methods in org.kr.dl.dig.reasoner.v1_1.impl with parameters of type Concept | |
boolean |
TReasoner.satisfiable(Concept concept,
URI kbURI)
Returns true if concept is satisfiable. |
boolean |
TReasoner.subsumes(Concept subsumer,
Concept subsumee,
URI kbURI)
Returns true if subsumer subsumes subsumee . |
Set |
TReasoner.childrenNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding
to names of concept children of concept . |
Set |
TReasoner.descendantsNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding
to names of concept descendants of concept . |
Set |
TReasoner.parentsNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding
to names of concept parents of concept . |
Set |
TReasoner.ancestorsNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding
to names of concept ancestors of concept . |
Set |
TReasoner.equivalentsNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding
to names of concept descendants of concept . |
Uses of Concept in org.kr.dl.dig.v1_1 |
Subinterfaces of Concept in org.kr.dl.dig.v1_1 | |
interface |
ConceptId
An XML conceptId(@http://dl.kr.org/dig/2003/02/lang). |
Methods in org.kr.dl.dig.v1_1 that return Concept | |
Concept |
InstanceDocument.Instance.getNot()
Gets the "not" element |
Concept |
InstanceDocument.Instance.addNewNot()
Appends and returns a new empty "not" element |
Concept |
InstanceofDocument.Instanceof.getNot()
Gets the "not" element |
Concept |
InstanceofDocument.Instanceof.addNewNot()
Appends and returns a new empty "not" element |
Concept |
NotDocument.getNot()
Gets the "not" element |
Concept |
NotDocument.addNewNot()
Appends and returns a new empty "not" element |
Concept |
RoleConceptPair.getNot()
Gets the "not" element |
Concept |
RoleConceptPair.addNewNot()
Appends and returns a new empty "not" element |
Concept |
Concept.getNot()
Gets the "not" element |
Concept |
Concept.addNewNot()
Appends and returns a new empty "not" element |
static Concept |
Concept.Factory.newInstance()
|
static Concept |
Concept.Factory.newInstance(XmlOptions options)
|
static Concept |
Concept.Factory.parse(String s)
|
static Concept |
Concept.Factory.parse(String s,
XmlOptions options)
|
static Concept |
Concept.Factory.parse(File f)
|
static Concept |
Concept.Factory.parse(File f,
XmlOptions options)
|
static Concept |
Concept.Factory.parse(URL u)
|
static Concept |
Concept.Factory.parse(URL u,
XmlOptions options)
|
static Concept |
Concept.Factory.parse(InputStream is)
|
static Concept |
Concept.Factory.parse(InputStream is,
XmlOptions options)
|
static Concept |
Concept.Factory.parse(Reader r)
|
static Concept |
Concept.Factory.parse(Reader r,
XmlOptions options)
|
static Concept |
Concept.Factory.parse(Node node)
|
static Concept |
Concept.Factory.parse(Node node,
XmlOptions options)
|
static Concept |
Concept.Factory.parse(XMLInputStream xis)
|
static Concept |
Concept.Factory.parse(XMLInputStream xis,
XmlOptions options)
|
Concept[] |
ConceptPair.getNotArray()
Gets array of all "not" elements |
Concept |
ConceptPair.getNotArray(int i)
Gets ith "not" element |
Concept |
ConceptPair.insertNewNot(int i)
Inserts and returns a new empty value (as xml) as the ith "not" element |
Concept |
ConceptPair.addNewNot()
Appends and returns a new empty value (as xml) as the last "not" element |
Concept[] |
Concepts.getNotArray()
Gets array of all "not" elements |
Concept |
Concepts.getNotArray(int i)
Gets ith "not" element |
Concept |
Concepts.insertNewNot(int i)
Inserts and returns a new empty value (as xml) as the ith "not" element |
Concept |
Concepts.addNewNot()
Appends and returns a new empty value (as xml) as the last "not" element |
Methods in org.kr.dl.dig.v1_1 with parameters of type Concept | |
void |
InstanceDocument.Instance.setNot(Concept not)
Sets the "not" element |
void |
InstanceofDocument.Instanceof.setNot(Concept not)
Sets the "not" element |
void |
NotDocument.setNot(Concept not)
Sets the "not" element |
void |
RoleConceptPair.setNot(Concept not)
Sets the "not" element |
void |
Concept.setNot(Concept not)
Sets the "not" element |
void |
ConceptPair.setNotArray(Concept[] notArray)
Sets array of all "not" element |
void |
ConceptPair.setNotArray(int i,
Concept not)
Sets ith "not" element |
void |
Concepts.setNotArray(Concept[] notArray)
Sets array of all "not" element |
void |
Concepts.setNotArray(int i,
Concept not)
Sets ith "not" element |
Uses of Concept in org.kr.dl.dig.v1_1.impl |
Classes in org.kr.dl.dig.v1_1.impl that implement Concept | |
class |
ConceptIdImpl
An XML conceptId(@http://dl.kr.org/dig/2003/02/lang). |
class |
ConceptImpl
An XML concept(@http://dl.kr.org/dig/2003/02/lang). |
Methods in org.kr.dl.dig.v1_1.impl that return Concept | |
Concept |
InstanceDocumentImpl.InstanceImpl.getNot()
Gets the "not" element |
Concept |
InstanceDocumentImpl.InstanceImpl.addNewNot()
Appends and returns a new empty "not" element |
Concept |
NotDocumentImpl.getNot()
Gets the "not" element |
Concept |
NotDocumentImpl.addNewNot()
Appends and returns a new empty "not" element |
Concept |
InstanceofDocumentImpl.InstanceofImpl.getNot()
Gets the "not" element |
Concept |
InstanceofDocumentImpl.InstanceofImpl.addNewNot()
Appends and returns a new empty "not" element |
Concept |
RoleConceptPairImpl.getNot()
Gets the "not" element |
Concept |
RoleConceptPairImpl.addNewNot()
Appends and returns a new empty "not" element |
Concept |
ConceptImpl.getNot()
Gets the "not" element |
Concept |
ConceptImpl.addNewNot()
Appends and returns a new empty "not" element |
Concept[] |
ConceptPairImpl.getNotArray()
Gets array of all "not" elements |
Concept |
ConceptPairImpl.getNotArray(int i)
Gets ith "not" element |
Concept |
ConceptPairImpl.insertNewNot(int i)
Inserts and returns a new empty value (as xml) as the ith "not" element |
Concept |
ConceptPairImpl.addNewNot()
Appends and returns a new empty value (as xml) as the last "not" element |
Concept[] |
ConceptsImpl.getNotArray()
Gets array of all "not" elements |
Concept |
ConceptsImpl.getNotArray(int i)
Gets ith "not" element |
Concept |
ConceptsImpl.insertNewNot(int i)
Inserts and returns a new empty value (as xml) as the ith "not" element |
Concept |
ConceptsImpl.addNewNot()
Appends and returns a new empty value (as xml) as the last "not" element |
Methods in org.kr.dl.dig.v1_1.impl with parameters of type Concept | |
void |
InstanceDocumentImpl.InstanceImpl.setNot(Concept not)
Sets the "not" element |
void |
NotDocumentImpl.setNot(Concept not)
Sets the "not" element |
void |
InstanceofDocumentImpl.InstanceofImpl.setNot(Concept not)
Sets the "not" element |
void |
RoleConceptPairImpl.setNot(Concept not)
Sets the "not" element |
void |
ConceptImpl.setNot(Concept not)
Sets the "not" element |
void |
ConceptPairImpl.setNotArray(Concept[] notArray)
Sets array of all "not" element |
void |
ConceptPairImpl.setNotArray(int i,
Concept not)
Sets ith "not" element |
void |
ConceptsImpl.setNotArray(Concept[] notArray)
Sets array of all "not" element |
void |
ConceptsImpl.setNotArray(int i,
Concept not)
Sets ith "not" element |
|
DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM) | ||||||||||
PREV NEXT | FRAMES NO FRAMES |