org.semanticweb.ruqar.rules

Class Rule

java.lang.Object

org.semanticweb.ruqar.rules.Rule

public class Rule
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Rule(Rule rule) Creates a copy of a given object.
Rule(java.lang.String name) Constructor - requires the name of a rule.
Rule(java.lang.String name, Atom body, Atom head) Constructor - requires the name, the body and the head of a rule.
Rule(java.lang.String name, Atom body, Atom head, org.semanticweb.owlapi.model.OWLAxiom axiom) Constructor - requires the name, the body and the head of a rule.
Rule(java.lang.String name, java.util.List<Atom> body, java.util.List<Atom> head) Constructor - requires the name, the body and the head of a rule.
Rule(java.lang.String name, java.util.List<Atom> body, java.util.List<Atom> head, org.semanticweb.owlapi.model.OWLAxiom axiom) Constructor - requires the name, the body and the head of a rule.

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<Atom>	getBody() Returns the body of a rule.
java.lang.String	getComment() Returns the comment.
java.util.List<Atom>	getHead() Returns the head of a rule.
java.lang.String	getName() Returns the name of a rule.
org.semanticweb.owlapi.model.OWLAxiom	getOWLAxiom() Returns the from which the rule was created.
boolean	isHornClause() Checks if a rule is a Horn clause in this case - whether or not only one triple exists in the head.
boolean	isSafe() Checks if a rule is safe - none of variables exist only in the head.
java.lang.String	prettyPrint() Returns in a human-readable form (as a String).
void	setComment(java.lang.String comment) Sets the comment to a rule.

Methods inherited from class java.lang.Object

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

Constructor Detail

Rule

public Rule(Rule rule)

Creates a copy of a given object.

Parameters:

atom -

Rule

public Rule(java.lang.String name)

Constructor - requires the name of a rule.

Parameters:

name -

Rule

public Rule(java.lang.String name,
    Atom body,
    Atom head)

Constructor - requires the name, the body and the head of a rule.

Parameters:

name -

body -

head -

Rule

public Rule(java.lang.String name,
    Atom body,
    Atom head,
    org.semanticweb.owlapi.model.OWLAxiom axiom)

Constructor - requires the name, the body and the head of a rule. is also required. This is the axiom from which the rule was created.

Parameters:

name -

body -

head -

Rule

public Rule(java.lang.String name,
    java.util.List<Atom> body,
    java.util.List<Atom> head)

Constructor - requires the name, the body and the head of a rule.

Parameters:

name -

body -

head -

Rule

public Rule(java.lang.String name,
    java.util.List<Atom> body,
    java.util.List<Atom> head,
    org.semanticweb.owlapi.model.OWLAxiom axiom)

Constructor - requires the name, the body and the head of a rule. is also required. This is the axiom from which the rule was created.

Parameters:

name -

body -

head -

Method Detail

getBody

public java.util.List<Atom> getBody()

Returns the body of a rule.

Returns:

getComment

public java.lang.String getComment()

Returns the comment.

Returns:

getHead

public java.util.List<Atom> getHead()

Returns the head of a rule.

Returns:

getName

public java.lang.String getName()

Returns the name of a rule.

Returns:

getOWLAxiom

public org.semanticweb.owlapi.model.OWLAxiom getOWLAxiom()

Returns the from which the rule was created.

Returns:

isHornClause

public boolean isHornClause()

Checks if a rule is a Horn clause in this case - whether or not only one triple exists in the head.

Returns:

isSafe

public boolean isSafe()

Checks if a rule is safe - none of variables exist only in the head.

Returns:

prettyPrint

public java.lang.String prettyPrint()

Returns in a human-readable form (as a String).

Returns:

setComment

public void setComment(java.lang.String comment)

Sets the comment to a rule.

Parameters:

comment -