com.hp.hpl.jena.reasoner.rdfsReasoner1
Class PropertyBRWRule

java.lang.Object
  com.hp.hpl.jena.reasoner.rdfsReasoner1.BRWRule
      com.hp.hpl.jena.reasoner.rdfsReasoner1.PropertyBRWRule

public class PropertyBRWRule

extends BRWRule

A special case of a backchaing rule to handle the nasty case of "anything mentioned in predicated position is a Property".

Version:

$Revision: 1.6 $ on $Date: 2003/04/15 21:23:06 $

Author:

Dave Reynolds

Constructor Summary

PropertyBRWRule()
Constructor

Method Summary

ExtendedIterator

execute(TriplePattern query, InfGraph infGraph, Finder data, java.util.HashSet firedRules) Use the rule to implement the given query.

Methods inherited from class com.hp.hpl.jena.reasoner.rdfsReasoner1.BRWRule

completeFor, equals, getBody, getHead, hashCode, makeRule, parseNode, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PropertyBRWRule

public PropertyBRWRule()

Constructor

Method Detail

execute

public ExtendedIterator execute(TriplePattern query,
                                InfGraph infGraph,
                                Finder data,
                                java.util.HashSet firedRules)

Use the rule to implement the given query. This will instantiate the rule against the query, run the new query against the whole reasoner+rawdata again and then rewrite the results from that query according the rule.

Overrides:

execute in class BRWRule

Parameters:

query - the query being processed

infGraph - the parent InfGraph that invoked us, will be called recursively

data - the raw data graph which gets passed back to the reasoner as part of the recursive invocation

firedRules - set of rules which have already been fired and should now be blocked

Returns:

a ExtendedIterator which aggregates the matches and rewrites them according to the rule