KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > hp > hpl > jena > reasoner > dig > DIGIdentifier


1 /*****************************************************************************
2  * Source code information
3  * -----------------------
4  * Original author Ian Dickinson, HP Labs Bristol
5  * Author email ian.dickinson@hp.com
6  * Package Jena 2
7  * Web http://sourceforge.net/projects/jena/
8  * Created 11-Sep-2003
9  * Filename $RCSfile: DIGIdentifier.java,v $
10  * Revision $Revision: 1.5 $
11  * Release status $State: Exp $
12  *
13  * Last modified on $Date: 2005/02/21 12:16:19 $
14  * by $Author: andy_seaborne $
15  *
16  * (c) Copyright 2001, 2002, 2003, 2004, 2005 Hewlett-Packard Development Company, LP
17  * [See end of file]
18  *****************************************************************************/
19
20 // Package
21 ///////////////
22 package com.hp.hpl.jena.reasoner.dig;
23
24
25
26 // Imports
27 ///////////////
28 import java.util.Iterator JavaDoc;
29
30
31 /**
32  * <p>
33  * A structure that presents identification information about the attached DIG reasoner.
34  * </p>
35  *
36  * @author Ian Dickinson, HP Labs (<a HREF="mailto:Ian.Dickinson@hp.com">email</a>)
37  * @version Release @release@ ($Id: DIGIdentifier.java,v 1.5 2005/02/21 12:16:19 andy_seaborne Exp $)
38  */
39 public interface DIGIdentifier
40 {
41     // Constants
42 //////////////////////////////////
43
44     // External signature methods
45 //////////////////////////////////
46
47     /**
48      * <p>Answer the name of the attached reasoner, as a string.</p>
49      * @return The name of the DIG reasoner.
50      */
51     public String JavaDoc getName();
52     
53     /**
54      * <p>Answer the version string of the attached reasoner.</p>
55      * @return The version string for the reasoner.
56      */
57     public String JavaDoc getVersion();
58     
59     /**
60      * <p>Answer the message string from the DIG identifier element.</p>
61      * @return The identification message
62      */
63     public String JavaDoc getMessage();
64     
65     /**
66      * <p>Answer an iterator over the language elements that this reasoner supports.</p>
67      * @return An iterator, each element of which is a string denoting a DIG language
68      * term that the attached reasoner supports.
69      */
70     public Iterator JavaDoc supportsLanguage();
71     
72     /**
73      * <p>Answer an iterator over the TELL verbs that this reasoner supports.</p>
74      * @return An iterator, each element of which is a string denoting a DIG TELL
75      * verb that the attached reasoner supports.
76      */
77     public Iterator JavaDoc supportsTell();
78     
79     /**
80      * <p>Answer an iterator over the ASK verbs that this reasoner supports.</p>
81      * @return An iterator, each element of which is a string denoting a DIG ASK
82      * verb that the attached reasoner supports.
83      */
84     public Iterator JavaDoc supportsAsk();
85 }
86
87
88 /*
89  * (c) Copyright 2001, 2002, 2003, 2004, 2005 Hewlett-Packard Development Company, LP
90  * All rights reserved.
91  *
92  * Redistribution and use in source and binary forms, with or without
93  * modification, are permitted provided that the following conditions
94  * are met:
95  * 1. Redistributions of source code must retain the above copyright
96  * notice, this list of conditions and the following disclaimer.
97  * 2. Redistributions in binary form must reproduce the above copyright
98  * notice, this list of conditions and the following disclaimer in the
99  * documentation and/or other materials provided with the distribution.
100  * 3. The name of the author may not be used to endorse or promote products
101  * derived from this software without specific prior written permission.
102  *
103  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
104  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
105  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
106  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
107  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
108  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
109  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
110  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
111  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
112  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
113  */
114
Popular Tags