org.apache.marmotta.kiwi.reasoner.model.program

Class Rule

java.lang.Object

org.apache.marmotta.kiwi.reasoner.model.program.Rule

public class Rule
extends Object

This class is used to represent a reasoning rule of the form BODY -> HEAD where BODY is a list of graph patterns with variables and HEAD is a single graph pattern used for constructing new triples.

Rules are always in disjunctive normal form, i.e. the BODY contains only conjunctions of patterns and no disjunctions, and the HEAD consists of only a single pattern.

A graph pattern is of the form (S,P,O) or (S,P,O,C) where S is the subject, P the predicate, O the object, and C the context of a triple. S, P, and O may be either URIs, abbreviated local names or variables. C may only be a URI of abbreviated local name.

Rules are "safe", i.e. variables occurring in the HEAD also have to appear at least once in the body. User: sschaffe

Constructor Summary

Constructors

Constructor and Description
Rule()
Rule(long id)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object o)
List<Pattern>	getBody()
String	getDescription()
Pattern	getHead()
long	getId()
String	getName()
int	hashCode()
void	setBody(List<Pattern> body)
void	setDescription(String description)
void	setHead(Pattern head)
void	setId(long id)
void	setName(String name)
String	toString()
String	toString(Map<String,String> namespaces)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Rule

public Rule()

Rule

public Rule(long id)

Method Detail

getId

public long getId()

setId

public void setId(long id)

getName

public String getName()

setName

public void setName(String name)

getDescription

public String getDescription()

setDescription

public void setDescription(String description)

getHead

public Pattern getHead()

setHead

public void setHead(Pattern head)

getBody

public List<Pattern> getBody()

setBody

public void setBody(List<Pattern> body)

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(Map<String,String> namespaces)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object