iw.model
Interface IWDeclarativeRule

All Superinterfaces:

IWInferenceRule, IWModelElement, IWPrimitiveRule, IWProvenanceElement

All Known Subinterfaces:

DBDeclarativeRule, OWLDeclarativeRule

public interface IWDeclarativeRule

extends IWPrimitiveRule

Models the class of declarative rules. Inference rules in Inference Web are divided into three classes: Primitive and Derived and Translation. Primitive inference rules are further divided into: Declarative and Method. Declarative inference rules are the ones that we are most familiar withh from logic e.g. Modus Ponens. The IWDeclarativeRule class stores provenance information about such rules registered in the IWBase

Method Summary

java.lang.String

getClassName() GUESS Returns the OWL class name of the declarative rule

Methods inherited from interface iw.model.IWPrimitiveRule

getLanguage, getRuleSpec, setLanguage, setRuleSpec

Methods inherited from interface iw.model.IWInferenceRule

getEnglishDescriptionTemplate, setEnglishDescriptionTemplate

Methods inherited from interface iw.model.IWProvenanceElement

addSource, getEnglishDescription, getEnglishExample, getFileName, getFullName, getShortName, getSourceNames, getSources, getSourceURIs, getSubmitter, getSubmitterName, getURL, setEnglishDescription, setEnglishExample, setFileName, setFullName, setShortName, setSources, setSubmitter, setURL

Methods inherited from interface iw.model.IWModelElement

getFirstSubmissionDate, getLastSubmissionDate, getModel, getURI, setFirstSubmissionDate, setLastSubmissionDate, setModel, setURI

Method Detail

getClassName

public java.lang.String getClassName()

GUESS Returns the OWL class name of the declarative rule

Specified by:

getClassName in interface IWPrimitiveRule

Returns:

the OWL class name of thed eclarative rule