digprofile.java

Jena推理机

/*****************************************************************************
 * Source code information
 * -----------------------
 * Original author    Ian Dickinson, HP Labs Bristol
 * Author email       [e-mail]
 * Package            Jena 2
 * Web                http://sourceforge.net/projects/jena/
 * Created            11-Sep-2003
 * Filename           $RCSfile: DIGProfile.java,v $
 * Revision           $Revision: 1.11 $
 * Release status     $State: Exp $
 *
 * Last modified on   $Date: 2007/01/02 11:49:27 $
 *               by   $Author: andy_seaborne $
 *
 * (c) Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007 Hewlett-Packard Development Company, LP
 * [See end of file]
 *****************************************************************************/

// Package
///////////////
package com.hp.hpl.jena.reasoner.dig;


// Imports
///////////////

/**
 * <p>
 * Encapsulates the multiple extant versions of the DIG protocol, which have
 * different expectations as to namespaces, XML encodings, and other variables. This
 * allows us to parameterise the DIG interface to different DIG enabled tools.
 * </p>
 *
 * @author Ian Dickinson, HP Labs (<a href="mailto:[e-mail]">email</a>)
 * @version Release @release@ ($Id: DIGProfile.java,v 1.11 2007/01/02 11:49:27 andy_seaborne Exp $)
 */
public interface DIGProfile
{
    // Constants
    //////////////////////////////////

    /* DIG verbs and other constants */

    /** The DIG verb to get the identification information on the reasoner */
    public static final String GET_IDENTIFIER = "getIdentifier";

    /** The DIG attribute denoting the version string of a reasoner */
    public static final String VERSION = "version";

    /** The DIG attribute denoting the version message string of a reasoner */
    public static final String MESSAGE = "message";

    /** The DIG element denoting the capabilities of the reasoner */
    public static final String SUPPORTS = "supports";

    /** The DIG element denoting the language capabilities of the reasoner */
    public static final String LANGUAGE = "language";

    /** The DIG element denoting the ask capabilities of the reasoner */
    public static final String ASK = "ask";

    /** The DIG element denoting the tell capabilities of the reasoner */
    public static final String TELL = "tell";

    // verbs
    public static final String TELLS            = "tells";
    public static final String ASKS             = "asks";
    public static final String NEWKB            = "newKB";
    public static final String RELEASEKB        = "releaseKB";
    public static final String RESPONSE         = "responses";      // TODO Racer bug - returns <responses> not <response>

    // responses
    public static final String OK               = "ok";
    public static final String KB               = "kb";
    public static final String ERROR            = "error";
    public static final String CONCEPT_SET      = "conceptSet";
    public static final String SYNONYMS         = "synonyms";
    public static final String ROLE_SET         = "roleSet";
    public static final String INDIVIDUAL_SET   = "individualSet";
    public static final String INDIVIDUAL_PAIR_SET = "individualPairSet";
    public static final String INDIVIDUAL_PAIR  = "individualPair";
    public static final String TRUE             = "true";
    public static final String FALSE            = "false";
    public static final String WARNING          = "warning";

    // queries
    public static final String ALL_CONCEPT_NAMES = "allConceptNames";
    public static final String ALL_ROLE_NAMES    = "allRoleNames";
    public static final String ALL_INDIVIDUALS   = "allIndividuals";
    public static final String SATISFIABLE       = "satisfiable";
    public static final String SUBSUMES          = "subsumes";
    public static final String PARENTS           = "parents";
    public static final String CHILDREN          = "children";
    public static final String ANCESTORS         = "ancestors";
    public static final String DESCENDANTS       = "descendants";
    public static final String EQUIVALENTS       = "equivalents";
    public static final String RPARENTS          = "rparents";
    public static final String RCHILDREN         = "rchildren";
    public static final String RANCESTORS        = "rancestors";
    public static final String RDESCENDANTS      = "rdescendants";
    public static final String INSTANCES         = "instances";
    public static final String TYPES             = "types";
    public static final String INSTANCE          = "instance";
    public static final String ROLE_FILLERS      = "roleFillers";
    public static final String RELATED_INDIVIDUALS = "relatedIndividuals";
    public static final String TOLD_VALUES       = "toldValues";

    // tell language

    public static final String DEFCONCEPT       = "defconcept";
    public static final String DEFROLE          = "defrole";
    public static final String DEFFEATURE       = "deffeature";
    public static final String DEFATTRIBUTE     = "defattribute";
    public static final String DEFINDIVIDUAL    = "defindividual";
    public static final String IMPLIESC         = "impliesc";
    public static final String EQUALC           = "equalc";
    public static final String DISJOINT         = "disjoint";
    public static final String IMPLIESR         = "impliesr";
    public static final String EQUALR           = "equalr";
    public static final String DOMAIN           = "domain";
    public static final String RANGE            = "range";
    public static final String RANGEINT         = "rangeint";
    public static final String RANGESTRING      = "rangestring";
    public static final String TRANSITIVE       = "transitive";
    public static final String FUNCTIONAL       = "functional";
    public static final String INSTANCEOF       = "instanceof";
    public static final String RELATED          = "related";
    public static final String VALUE            = "value";

    // concept language

    public static final String TOP              = "top";
    public static final String BOTTOM           = "bottom";
    public static final String CATOM            = "catom";
    public static final String AND              = "and";
    public static final String OR               = "or";
    public static final String NOT              = "not";
    public static final String SOME             = "some";
    public static final String ALL              = "all";
    public static final String ATMOST           = "atmost";
    public static final String ATLEAST          = "atleast";
    public static final String ISET             = "iset";
    public static final String DEFINED          = "defined";
    public static final String STRINGMIN        = "stringmin";
    public static final String STRINGMAX        = "stringmax";
    public static final String STRINGEQUALS     = "stringequals";
    public static final String STRINGRANGE      = "stringrange";
    public static final String INTMIN           = "intmin";
    public static final String INTMAX           = "intmax";
    public static final String INTEQUALS        = "intequals";
    public static final String INTRANGE         = "intrange";
    public static final String RATOM            = "ratom";
    public static final String FEATURE          = "feature";
    public static final String INVERSE          = "inverse";
    public static final String ATTRIBUTE        = "attribute";
    public static final String CHAIN            = "chain";
    public static final String INDIVIDUAL       = "individual";
    public static final String NUM              = "num";
    public static final String IVAL             = "ival";
    public static final String SVAL             = "sval";


    // attributes

    public static final String NAME             = "name";
    public static final String VAL              = "val";
    public static final String MIN              = "min";
    public static final String MAX              = "max";
    public static final String URI              = "uri";
    public static final String ID               = "id";
    public static final String CODE             = "code";


    // External signature methods
    //////////////////////////////////

    /** Answer the root namespace for this version of the DIG protocol */
    public String getDIGNamespace();

    /** Answer the location of the DIG schema for this version of the DIG protocol */
    public String getSchemaLocation();

    /** Answer the HTTP Content-Type of a DIG request (e.g. text/xml) */
    public String getContentType();

    /** Answer the string value of an error message denoting an inconsistent KB */
    public String getInconsistentKBMessage();
}


/*
 *  (c) Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007 Hewlett-Packard Development Company, LP
 *  All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 3. The name of the author may not be used to endorse or promote products
 *    derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */