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 July 19th 2003
009: * Filename $RCSfile: DIGQueryIsRoleTranslator.java,v $
010: * Revision $Revision: 1.9 $
011: * Release status $State: Exp $
012: *
013: * Last modified on $Date: 2008/01/02 12:07:10 $
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.*;
023:
024: import org.w3c.dom.Document;
025:
026: import com.hp.hpl.jena.graph.*;
027: import com.hp.hpl.jena.rdf.model.Model;
028: import com.hp.hpl.jena.reasoner.TriplePattern;
029: import com.hp.hpl.jena.util.iterator.*;
030: import com.hp.hpl.jena.vocabulary.RDF;
031:
032: /**
033: * <p>
034: * Translator that generates a DIG query to test whether a ground name is an role atom
035: * <pre>
036: * x rdf:type owl:ObjectProperty
037: * </pre>
038: * or similar.
039: * </p>
040: *
041: * @author Ian Dickinson, HP Labs (<a href="mailto:Ian.Dickinson@hp.com">email</a>)
042: * @version Release @release@ ($Id: DIGQueryIsRoleTranslator.java,v 1.9 2008/01/02 12:07:10 andy_seaborne Exp $)
043: */
044: public class DIGQueryIsRoleTranslator extends DIGQueryTranslator {
045:
046: // Constants
047: //////////////////////////////////
048:
049: // Static variables
050: //////////////////////////////////
051:
052: // Instance variables
053: //////////////////////////////////
054:
055: // Constructors
056: //////////////////////////////////
057:
058: /**
059: * <p>Construct a translator for the DIG for a role name.</p>
060: */
061: public DIGQueryIsRoleTranslator() {
062: super (null, RDF.type.getURI(), null);
063: }
064:
065: // External signature methods
066: //////////////////////////////////
067:
068: /**
069: * <p>Since known concept names are cached by the adapter, we can just look up the
070: * current set and map directly to triples</p>
071: * @param pattern The pattern to translate to a DIG query
072: * @param da The DIG adapter through which we communicate with a DIG reasoner
073: */
074: public ExtendedIterator find(TriplePattern pattern, DIGAdapter da) {
075: List result = new ArrayList();
076: if (da.isRole(pattern.getSubject(), null)) {
077: result.add(pattern.asTriple());
078: }
079:
080: return WrappedIterator.create(result.iterator());
081: }
082:
083: /** For this translation, we ignore premises */
084: public ExtendedIterator find(TriplePattern pattern, DIGAdapter da,
085: Model premises) {
086: return find(pattern, da);
087: }
088:
089: public Document translatePattern(TriplePattern pattern,
090: DIGAdapter da) {
091: // not used
092: return null;
093: }
094:
095: public Document translatePattern(TriplePattern pattern,
096: DIGAdapter da, Model premises) {
097: // not used
098: return null;
099: }
100:
101: public ExtendedIterator translateResponseHook(Document response,
102: TriplePattern query, DIGAdapter da) {
103: // not used
104: return null;
105: }
106:
107: /**
108: * <p>Additional test on the object of the incoming find pattern.</p>
109: * @param object The object resource from the incoming pattern
110: * @param da The current dig adapter
111: * @param premises A model that conveys additional information about the premises
112: * of the query, which might assist the check to suceed or fail. By default it
113: * is ignored.
114: * @return True if this object matches the trigger condition expressed by this translator instance
115: */
116: public boolean checkObject(Node object, DIGAdapter da,
117: Model premises) {
118: return da.getOntLanguage().OBJECT_PROPERTY().asNode().equals(
119: object);
120: }
121:
122: public boolean checkSubject(Node subject, DIGAdapter da,
123: Model premises) {
124: return subject instanceof Node_Concrete;
125: }
126:
127: // Internal implementation methods
128: //////////////////////////////////
129:
130: //==============================================================================
131: // Inner class definitions
132: //==============================================================================
133:
134: }
135:
136: /*
137: * (c) Copyright 2001-2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
138: * All rights reserved.
139: *
140: * Redistribution and use in source and binary forms, with or without
141: * modification, are permitted provided that the following conditions
142: * are met:
143: * 1. Redistributions of source code must retain the above copyright
144: * notice, this list of conditions and the following disclaimer.
145: * 2. Redistributions in binary form must reproduce the above copyright
146: * notice, this list of conditions and the following disclaimer in the
147: * documentation and/or other materials provided with the distribution.
148: * 3. The name of the author may not be used to endorse or promote products
149: * derived from this software without specific prior written permission.
150: *
151: * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
152: * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
153: * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
154: * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
155: * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
156: * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
157: * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
158: * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
159: * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
160: * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
161: */
|