<object> --> <objectname> <objectname> <inspec> <isaspec>
<withspec> <endspec>
| <objectname> <inspec> <isaspec> <withspec> <endspec>
<objectname> --> ( <objectname> )
| <label> <bindings>
| <objectname> SELECTOR1 <label>
| <objectname> SELECTOR2 <objectname>
<bindings> --> <empty>
| [ <bindinglist> ]
<bindinglist> --> <singlebinding>
| <bindinglist> , <singlebinding>
<singlebinding> --> <objectname> / <label>
| <label> : <objectname>
<inspec> --> <empty>
| in <classlist>
<isaspec> --> <empty>
| isA <classlist>
<classlist> --> <objectname>
| <objectname> , <classlist>
<withspec> --> <empty>
| with <decllist>
<decllist> --> <empty>
| <declaration>
| <decllist> <declaration>
<declaration> --> <attrcatlist> <proplist>
<attrcatlist> --> <label>
| <attrcatlist> , <label>
<proplist> --> <property>
| <proplist> ; <property>
<property> --> <label> : <objectname>
| <label> : <complexref>
| <label> : <enumeration>
| <label> : <pathexpression>
<complexref> --> <objectname> <withspec> <endspec>
<enumeration> --> [ <classlist> ]
<pathexpression>--> <objectname> SELECTORB <pathargument>
<pathargument> --> <label>
| <label> SELECTORB <pathargument>
| <restriction>
| <restriction> SELECTORB <pathargument>
<restriction> --> ( <label> : <enumeration> )
| ( <label> : <pathexpression> )
| ( <label> : <objectname> )
<endspec> --> end
<label> --> ALPHANUM
| LABEL
| NUMBER
Note: ConceptBase represents internally object identifiers as id_NUMBER where NUMBER is a sequence of digits. For this reason, labels matching this pattern are forbidden in the Telos frame syntax.
In the definitions below the term literal is a synonym for predicate.
<assertion> --> <rule>
| <constraint>
<rule> --> forall <variableBindList> ( <formula> ) ==> <literal>
| <formula> ==> <literal>
| <literal>
<constraint> --> <formula>
<formula> --> exists <variableBindList> <formula>
| forall <variableBindList> <formula>
| not <formula>
| <formula> <==> <formula>
| <formula> ==> <formula>
| <formula> and <formula>
| <formula> or <formula>
| ( <formula> )
| <literal>
| <literal2>
<variableBindList>--> <variableBind> <variableBindList>
| <variableBind>
<variableBind> --> <varList> / <objectname>
| <varList> / [ <objList> ]
| ALPHANUM / <selectExpB>
<varList> --> ALPHANUM , <varList>
| ALPHANUM
<objectname> --> <label>
| <selectExpA>
| <deriveExp>
<label> --> ALPHANUM
| LABEL
| NUMBER
<literal> --> FUNCTOR ( <literalArgList> )
| ( <literalArg> <infixSymbol> <literalArg> )
| ( <arExpr> COMPSYMBOL <arExpr> )
| ( <literalArg> <label>/<label> <literalArg> )
| BOOLEAN
<literal2> --> ( <label> in <selectExpB> )
| ( <selectExpA> in <selectExpB> )
| ( <selectExpB> isA <selectExpB> )
| ( <selectExpB> = <selectExpB> )
<infixSymbol> --> INFIXSYMBOL
| <label>
<literalArgList>--> <literalArg> , <literalArgList>
| <literalArg>
<literalArg> --> <objectname>
<arExpr> --> <arExpr> + <arTerm>
| <arExpr> - <arTerm>
| <arTerm>
<arTerm> --> <arTerm> * <arFactor>
| <arTerm> / <arFactor>
| <arFactor>
<arFactor> --> ( <arExpr> )
| <objectname>
| <funExpr>
<selectExpA> --> <selectExpA> <selector> <selectExpA>
| ( <selectExpA> )
| <label>
<selector> --> SELECTOR1
| SELECTOR2
<deriveExp> --> <label> [ <deriveExpList> ]
| <label [ <plainArgList> ]
| <funExpr>
<funExpr> --> <label>()
| <label>(<plainArgList>)
<deriveExpList> --> <singleExp> , <deriveExpList>
| <singleExp>
<singleExp> --> <literalArg> / <label>
| <label> : <label>
<plainArgList> --> <literalArg> , <plainArgList>
| <literalArg>
<selectExpB> --> <label> SELECTORB <label>
| <label> SELECTORB <selectExpB2>
| <label> SELECTORB <restriction>
<selectExpB2> --> <selectExpB>
| <restriction> SELECTORB <label>
| <restriction> SELECTORB <selectExpB2>
| <restriction> SELECTORB <restriction>
<restriction> --> ( <label> : <label> )
| ( <label> : <selectExpA> )
| ( <label> : <selectExpB> )
| ( <label> : [ <objList> ] )
<objList> --> <objectname> , <objList>
| <objectname>
The event, condition and actions of an ECArule are specified as a special assertion. Therefore, the syntax is an extension of the normal assertion language, shown in the section before.
<ecarule> --> <variableBindList>
ON [TRANSACTIONAL] <ecaevent> [FOR ALPHANUM]
<ifclause> <ecacondition>
DO <actionlist>
<optelseaction>
<ifclause> --> IF
| IFNEW
<ecaevent> --> <eventop>(<literal>)
| <eventop> <literal>
| <askop>(<literalArg>)
| <askop> <literalArg>
<eventop> --> Tell | tell
| Untell | untell
<askop> --> Ask | ask
<ecacondition> --> <condformula>
| true
| false
<condformula> --> <literal>
| not <condformula>
| <condformula> and <condformula>
| <condformula> or <condformula>
| ( <condformula> )
<actionlist> --> <action> , <actionlist>
| <action>
<action> --> <actionop>(<literal>)
| <actionop> <literal>
| noop
| reject
<actionop> --> Tell | tell
| Untell | untell
| Retell | retell
| Ask | ask
| Call | call | CALL
| Raise | raise
<optelseaction> --> ELSE <actionlist>
| <empty>
ALPHANUM --> [a-zA-Z0-9]+
LABEL --> everything except .|'"$:;!^->=,()[]{}/, newlines, tabs, ...
| everything enclosed in " except " and \,
which must be escaped with \
| everything enclosed in $ except $ and \,
which must be escaped with \
NUMBER --> REAL
| INTEGER
REAL --> [-]?([0-9]+\.[0-9]*|[0-9]*\.[0-9]+)([Ee][-+]?[0-9]+)?
INTEGER --> [-]?[0-9]+
BOOLEAN --> TRUE
| FALSE
FUNCTOR --> From | To | A | Ai | AL | In
| Isa | Label | P | LT | GT | LE | GE | EQ | NE | IDENTICAL
| UNIFIES | Known
COMPSYMBOL --> < | > | <= | >= | = | <> | == | \=
INFIXSYMBOL --> COMPSYMBOL | in | isA
SELECTOR1 --> "!" | "^"
SELECTOR2 --> "->"| "=>"
SELECTORB --> "." | "|"
This format is only internally used to represent Telos frames as Prolog terms. It is included only for historical reasons.
<SMLfragment> --> SMLfragment(<what> , <in_omega> , <in> , <isa> , <with> )
<what> --> what(<object> )
<in_omega> --> in_omega(nil)
| in_omega([<classlist> ])
<in> --> in(nil)
| in([<classlist> ])
<isa> --> isa(nil)
| isa([<classlist> ])
<with> --> with(nil)
| with([<attrdecllist> ])
<classlist> --> class(<object> )
| <classlist> , class(<object> )
<attrdecllist> --> attrdecl(<attrcategorylist> , <propertylist> )
| <attrdecllist> , attrdecl(<attrcategorylist> , <propertylist> )
<attrcategorylist>--> nil
| [ <labellist> ]
<propertylist> --> nil
| [ <propertylist2> ]
<propertylist2>--> property(<label> , <propertyvalue> )
| <propertylist2> , property(<label> , <propertyvalue> )
<propertyvalue>--> <object>
| <selectExpB>
| enumeration( [ <classlist> ] )
| [ <SMLfragment> ]
<selectExpB> --> selectExpB( <restriction> , <selectOperator> , <selectExpB> )
| selectExpB( <restriction> , <selectOperator> , <object> )
| selectExpB( <object> , <selectOperator> , <selectExpB> )
| selectExpB( <object> , <selectOperator> , <object> )
<restriction> --> restriction( <label> , <selectExpB> )
| restriction( <label> , enumeration( [ <classlist> ] ) )
| restriction( <label> , <object> )
<selectOperator> --> dot
| bar
<labellist> --> <label>
| <labellist> , <label>
<label> --> ALPHANUM
| LABEL
| NUMBER
<object> --> derive([ <substlist> ])
| <selectexp>
<substlist> --> <singlesubst>
| <substlist> , <singlesubst>
<singlesubst> --> substitute(<object> , <label> )
| specialize(<label> , <label> )
<selectexp> --> <label>
| select(<selectexp> , SELECTOR1, <label> )
| select(<selectexp> , SELECTOR2, <selectexp> )