Package io.opencaesar.oml

Interface Rule

All Superinterfaces:
AnnotatedElement, Element, org.eclipse.emf.ecore.EObject, IdentifiedElement, Member, org.eclipse.emf.common.notify.Notifier, Statement, VocabularyStatement
All Known Implementing Classes:
RuleImpl
public interface Rule extends Member, VocabularyStatement
A representation of the model object 'Rule'. Rule is a member of a vocabulary that adds a new inference rule to the set supported natively by DL. A rule specifies a set of antecedent predicates that forms a conjunction that infers, when it holds, a single consequent (relation) predicate. Each predicate in a rule may specify (one or two) variables. Those with the same name refer to the same variable, and hence must be bound to the same value from the model for the rule to trigger during reasoning.

The following features are supported:

See Also:
Generated:
Model:
annotation="https://tabatkins.github.io/bikeshed heading='Rules'"

  • Method Summary

    Modifier and Type
    Method
    Description
    org.eclipse.emf.common.util.EList<Predicate>
    getAntecedent()
    Returns the value of the 'Antecedent' containment reference list.
    org.eclipse.emf.common.util.EList<Predicate>
    getConsequent()
    Returns the value of the 'Consequent' containment reference list.

    Methods inherited from interface io.opencaesar.oml.AnnotatedElement

    getOwnedAnnotations

    Methods inherited from interface io.opencaesar.oml.Element

    extraValidate, getOntology

    Methods inherited from interface org.eclipse.emf.ecore.EObject

    eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

    Methods inherited from interface io.opencaesar.oml.Member

    getAbbreviatedIri, getIri, getName, setName

    Methods inherited from interface org.eclipse.emf.common.notify.Notifier

    eAdapters, eDeliver, eNotify, eSetDeliver

    Methods inherited from interface io.opencaesar.oml.VocabularyStatement

    getOwningVocabulary, setOwningVocabulary

  • Method Details

    • getAntecedent

      org.eclipse.emf.common.util.EList<Predicate> getAntecedent()
      Returns the value of the 'Antecedent' containment reference list. The list contents are of type Predicate. It is bidirectional and its opposite is 'Antecedent Rule'. The set of predicates that form the antecedent of this rule
      Returns:
      the value of the 'Antecedent' containment reference list.
      See Also:
      Generated:
      Model:
      opposite="antecedentRule" containment="true" required="true"

    • getConsequent

      org.eclipse.emf.common.util.EList<Predicate> getConsequent()
      Returns the value of the 'Consequent' containment reference list. The list contents are of type Predicate. It is bidirectional and its opposite is 'Consequent Rule'. The relation predicate that is the consequent of this rule
      Returns:
      the value of the 'Consequent' containment reference list.
      See Also:
      Generated:
      Model:
      opposite="consequentRule" containment="true" required="true"