| 
 | 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 trueifconceptis satisfiable. | 
|  boolean | TReasoner.subsumes(Concept subsumer,
         Concept subsumee,
         URI kbURI)Returns trueifsubsumersubsumessubsumee. | 
|  Set | TReasoner.childrenNames(Concept concept,
              URI kbURI)Returns the SetofStrings corresponding to
 names of concept children ofconcept. | 
|  Set | TReasoner.descendantsNames(Concept concept,
                 URI kbURI)Returns the SetofStrings corresponding to
 names of concept descendants ofconcept. | 
|  Set | TReasoner.parentsNames(Concept concept,
             URI kbURI)Returns the SetofStrings corresponding to
 names of concept parents ofconcept. | 
|  Set | TReasoner.ancestorsNames(Concept concept,
               URI kbURI)Returns the SetofStrings corresponding to
 names of concept ancestors ofconcept. | 
|  Set | TReasoner.equivalentsNames(Concept concept,
                 URI kbURI)Returns the SetofStrings corresponding to
 names of concept descendants ofconcept. | 
| 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 trueifconceptis satisfiable. | 
|  boolean | TReasoner.subsumes(Concept subsumer,
         Concept subsumee,
         URI kbURI)Returns trueifsubsumersubsumessubsumee. | 
|  Set | TReasoner.childrenNames(Concept concept,
              URI kbURI)Returns the SetofStrings corresponding
 to names of concept children ofconcept. | 
|  Set | TReasoner.descendantsNames(Concept concept,
                 URI kbURI)Returns the SetofStrings corresponding
 to names of concept descendants ofconcept. | 
|  Set | TReasoner.parentsNames(Concept concept,
             URI kbURI)Returns the SetofStrings corresponding
 to names of concept parents ofconcept. | 
|  Set | TReasoner.ancestorsNames(Concept concept,
               URI kbURI)Returns the SetofStrings corresponding
 to names of concept ancestors ofconcept. | 
|  Set | TReasoner.equivalentsNames(Concept concept,
                 URI kbURI)Returns the SetofStrings corresponding
 to names of concept descendants ofconcept. | 
| Uses of Concept in org.kr.dl.dig.v1_1 | 
| Subinterfaces of Concept in org.kr.dl.dig.v1_1 | |
|  interface | ConceptIdAn 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 | ConceptIdImplAn XML conceptId(@http://dl.kr.org/dig/2003/02/lang). | 
|  class | ConceptImplAn 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 | ||||||||||