OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

legalruleml message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]

Subject: Re: [legalruleml] Groups - Event "LegalRuleML - TC meeting Sept. 5th" added

Dear Adrian,

many thanks for your email.
It is a pity because we would like today to go ahead with the temporal model.
In particular to consolidate some issues.

The temporal model, following the last emerging proposal,  is divided in two parts:
a) how to model the events and situations inside of the norms/rules. For this part we could use RR or a simplification of it.
b) how to model the external temporal parameters (inforce, efficacy, applicability) on the top of the norms/rules.
In this case we need a simple structure of TimeInstant, grouped in TimeInterval, grouped in ResourceTimeCollection

In this way we can model in light way the Event Calculus (based on the TimeInstant and on the law of inertia) presented by Kowalski and also the temporal defeasible that we (Guido and I) are interested to use (but also Nick). In other words we need to provide for each part of the rule a set of ResouceTimeCollection tx.
For simplification we suppose to take in consideration only the time of efficacy tex

te2 is the efficacy of the body
te1 is the efficacy of the head
te3 is the efficacy of the rule

The consequent can be valid in a tex < to the antecedent tey.
The same also for the rule and also for other axes of legal temporal parameters (inforce, applicability).

Can you comment this vision?

Il 05/09/2012 14:22, Adrian Paschke ha scritto:
Regrets from my side for today. I'm currently at the BPM conference and will be at the conference banquet tonight. Thought we have our next telecon in two weeks.


To unsubscribe, e-mail: legalruleml-unsubscribe@lists.oasis-open.org
For additional commands, e-mail: legalruleml-help@lists.oasis-open.org

Associate professor of Legal Informatics 
School of Law
Alma Mater Studiorum Università di Bologna 
C.I.R.S.F.I.D. http://www.cirsfid.unibo.it/ 
Palazzo Dal Monte Gaudenzi - Via Galliera, 3 
I - 40121 BOLOGNA (ITALY) 
Tel +39 051 277217 
Fax +39 051 260782 
E-mail  monica.palmirani@unibo.it 

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]