Class Rule

java.lang.Object

tech.oxfordsemantic.jrdfox.util.InterningManager.InternedObject

tech.oxfordsemantic.jrdfox.logic.LogicObject

tech.oxfordsemantic.jrdfox.logic.datalog.Rule

All Implemented Interfaces:

Serializable

public class Rule
extends LogicObject

See Also:

• Serialized Form

Method Summary

Modifier and Type	Method	Description
<E> E	accept(LogicVisitor<E> visitor)
static Rule	create(List<TupleTableAtom> head, List<BodyFormula> body)
static Rule	create(TupleTableAtom[] head, BodyFormula[] body)
static Rule	create(TupleTableAtom head, List<BodyFormula> body)
static Rule	create(TupleTableAtom head, BodyFormula... body)
List<BodyFormula>	getBody()
List<TupleTableAtom>	getHead()
static Rule	parse(String baseIRI, Prefixes prefixes, String ruleText)
void	toString(Prefixes prefixes, Consumer<String> consumer)

Methods inherited from class LogicObject

toString, toString, toString

Modifier and Type	Method	Description
String	toString()
String	toString(Prefixes prefixes)
void	toString(Prefixes prefixes, StringBuilder stringBuilder)

Methods inherited from class Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

getHead

public List<TupleTableAtom> getHead()

getBody

public List<BodyFormula> getBody()

accept

public <E> E accept(LogicVisitor<E> visitor)

Specified by:

accept in class LogicObject

toString

public void toString(Prefixes prefixes,
 Consumer<String> consumer)

Specified by:

toString in class LogicObject

create

public static Rule create(List<TupleTableAtom> head,
 List<BodyFormula> body)

create

public static Rule create(TupleTableAtom head,
 List<BodyFormula> body)

create

public static Rule create(TupleTableAtom head,
 BodyFormula... body)

create

public static Rule create(TupleTableAtom[] head,
 BodyFormula[] body)

parse

public static Rule parse(String baseIRI,
 Prefixes prefixes,
 String ruleText)
                  throws JRDFoxException

Throws:

JRDFoxException