Interface Rule

All Superinterfaces:
fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo, fr.inria.rules.dlgpemodel.api.sentences.IPrintable, fr.inria.rules.dlgpemodel.api.sentences.IRule, fr.inria.rules.dlgpemodel.api.sentences.ISentence, Labeled, Sentence
All Known Subinterfaces:
FORule
All Known Implementing Classes:
FORuleImpl
public interface Rule extends Sentence, fr.inria.rules.dlgpemodel.api.sentences.IRule
This interface represents an existential rule.
An existential rule is a positive rule of the form B -> H, where B and H are conjunctions of atoms. It is interpreted as the formula ∀X(∃Y B[X,Y] -> ∃Z H[X,Z]), or equivalently ∀X∀Y(B[X,Y] -> ∃Z H[X,Z]), where X are the variables shared by B and H, Y are the variables that occur only in B and Z the ones that occur only in H. Note that Z are existentially quantified.

  • Field Summary

    Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo

    IDENT

    Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

    WRITER

    Fields inherited from interface Labeled

    NOLABEL

  • Method Summary

    Modifier and Type
    Method
    Description
    FOFormula
    getBody()
     
    Collection<Constant>
    getConstants()
    Returns the constants occurring in the rule.
    Collection<Variable>
    getExistentials()
    Returns the existential variables introduced by the rule head.
    Collection<Variable>
    getFrontier()
    Returns the frontier variables of the rule.
    FOFormula
    getHead()
     

    Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo

    getIdentifier, getInfo, getItemInfo, setIdentifier, setInfo, setItemInfo

    Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

    toDLGPE

    Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.ISentence

    setPatterns

    Methods inherited from interface Sentence

    getLabel, getPatterns, setLabel

  • Method Details

    • getBody

      FOFormula getBody()
      Specified by:
      getBody in interface fr.inria.rules.dlgpemodel.api.sentences.IRule
      Returns:
      the body of the rule

    • getHead

      FOFormula getHead()
      Specified by:
      getHead in interface fr.inria.rules.dlgpemodel.api.sentences.IRule
      Returns:
      the head of the rule

    • getFrontier

      Collection<Variable> getFrontier()
      Returns the frontier variables of the rule.
      Returns:
      the frontier of the rule

    • getExistentials

      Collection<Variable> getExistentials()
      Returns the existential variables introduced by the rule head.
      Returns:
      the existential variables of the rule

    • getConstants

      Collection<Constant> getConstants()
      Returns the constants occurring in the rule.
      Returns:
      the constants of the rule