Package io.opencaesar.oml

Interface Rule

All Superinterfaces:

Element, org.eclipse.emf.ecore.EObject, IdentifiedElement, Member, org.eclipse.emf.common.notify.Notifier, Statement, VocabularyMember, VocabularyStatement

All Known Implementing Classes:

RuleImpl

public interface Rule
extends 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 must specify a set of one or more antecedent [=predicates=] that forms a conjunction that infers, when it holds, a set of one or more consequent [=predicates=].

The following features are supported:

• Ref
• Antecedent
• Consequent

See Also:

• OmlPackage.getRule()

Generated:

Model:

annotation="https://tabatkins.github.io/bikeshed heading='Vocabularies'"

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.
Rule	getRef()	Returns the value of the 'Ref' reference.
void	setRef(Rule value)	Sets the value of the 'Ref' reference.

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.IdentifiedElement

getOwnedAnnotations

Methods inherited from interface io.opencaesar.oml.Member

getAbbreviatedIri, getIri, getName, isRef, resolve, 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

getRef

Rule getRef()

Returns the value of the 'Ref' reference. A ref to another rule

Specified by:

getRef in interface Member

Returns:

the value of the 'Ref' reference.

See Also:

• setRef(Rule)
• OmlPackage.getRule_Ref()

Generated:

Model:

setRef

void setRef(Rule value)

Sets the value of the 'Ref' reference.

Parameters:

value - the new value of the 'Ref' reference.

See Also:

• getRef()

Generated:

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:

• OmlPackage.getRule_Antecedent()
• Predicate.getAntecedentRule()

Generated:

Model:

opposite="antecedentRule" containment="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 predicate that is the consequent of this rule

Returns:

the value of the 'Consequent' containment reference list.

See Also:

• OmlPackage.getRule_Consequent()
• Predicate.getConsequentRule()

Generated:

Model:

opposite="consequentRule" containment="true"