001: /*****************************************************************************
002: * Source code information
003: * -----------------------
004: * Original author Ian Dickinson, HP Labs Bristol
005: * Author email ian.dickinson@hp.com
006: * Package Jena 2
007: * Web http://sourceforge.net/projects/jena/
008: * Created 11-Sep-2003
009: * Filename $RCSfile: DIGIdentifier.java,v $
010: * Revision $Revision: 1.8 $
011: * Release status $State: Exp $
012: *
013: * Last modified on $Date: 2008/01/02 12:07:11 $
014: * by $Author: andy_seaborne $
015: *
016: * (c) Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
017: * [See end of file]
018: *****************************************************************************/package com.hp.hpl.jena.reasoner.dig;
019:
020: // Imports
021: ///////////////
022: import java.util.Iterator;
023:
024: /**
025: * <p>
026: * A structure that presents identification information about the attached DIG reasoner.
027: * </p>
028: *
029: * @author Ian Dickinson, HP Labs (<a href="mailto:Ian.Dickinson@hp.com">email</a>)
030: * @version Release @release@ ($Id: DIGIdentifier.java,v 1.8 2008/01/02 12:07:11 andy_seaborne Exp $)
031: */
032: public interface DIGIdentifier {
033: // Constants
034: //////////////////////////////////
035:
036: // External signature methods
037: //////////////////////////////////
038:
039: /**
040: * <p>Answer the name of the attached reasoner, as a string.</p>
041: * @return The name of the DIG reasoner.
042: */
043: public String getName();
044:
045: /**
046: * <p>Answer the version string of the attached reasoner.</p>
047: * @return The version string for the reasoner.
048: */
049: public String getVersion();
050:
051: /**
052: * <p>Answer the message string from the DIG identifier element.</p>
053: * @return The identification message
054: */
055: public String getMessage();
056:
057: /**
058: * <p>Answer an iterator over the language elements that this reasoner supports.</p>
059: * @return An iterator, each element of which is a string denoting a DIG language
060: * term that the attached reasoner supports.
061: */
062: public Iterator supportsLanguage();
063:
064: /**
065: * <p>Answer an iterator over the TELL verbs that this reasoner supports.</p>
066: * @return An iterator, each element of which is a string denoting a DIG TELL
067: * verb that the attached reasoner supports.
068: */
069: public Iterator supportsTell();
070:
071: /**
072: * <p>Answer an iterator over the ASK verbs that this reasoner supports.</p>
073: * @return An iterator, each element of which is a string denoting a DIG ASK
074: * verb that the attached reasoner supports.
075: */
076: public Iterator supportsAsk();
077: }
078:
079: /*
080: * (c) Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
081: * All rights reserved.
082: *
083: * Redistribution and use in source and binary forms, with or without
084: * modification, are permitted provided that the following conditions
085: * are met:
086: * 1. Redistributions of source code must retain the above copyright
087: * notice, this list of conditions and the following disclaimer.
088: * 2. Redistributions in binary form must reproduce the above copyright
089: * notice, this list of conditions and the following disclaimer in the
090: * documentation and/or other materials provided with the distribution.
091: * 3. The name of the author may not be used to endorse or promote products
092: * derived from this software without specific prior written permission.
093: *
094: * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
095: * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
096: * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
097: * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
098: * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
099: * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
100: * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
101: * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
102: * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
103: * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
104: */
|