Skype conference Oct. 3rd Working group: Guido Governatori, Tara Athan, Monica Palmirani

[21:21:02] mp: TC meeting in 10 minutes

[21:21:16] mp: https://www.oasis-open.org/apps/org/workgroup/legalruleml/event.php?event_id=33717

[21:21:35] mp: please record your attendance

[21:21:54] mp: * Approval of the previous two TC minutes: Sept. 5th and Sept. 19th

* Update version of the metamodel and material

* Deontic document from Guido

* Other business

[21:30:51] *** Conference call ***

[21:33:08] mp: http://docs.oasis-open.org/legalruleml/legalruleml-core-spec/v1.0/csd01/legalruleml-core-spec-v1.0-csd01.doc

[21:39:11 | Edited 21:40:00] mp: Guido: it is not relevant to model the relationship of equivalence between

[OBL]p equiv -[PER]-p

[21:39:48] mp: [FOR]p equiv [OBL]-p

[21:40:20] mp: in the new deontic logic there is a different definition of permission

[21:41:23 | Edited 21:41:37] mp: requirement: to specify the semantic relationship between obl and per, and for/obl

[21:42:16] mp: or an URI or an attribute for marking up a standard profile

[21:44:59] mp: ontology is not enough for expressing in those relationships between the modal operators

[21:46:02] mp: Tara: RuleML is able to model the equivalence.

[21:47:29] mp: Tara: you need an axiom schema and RuleML is not expressive yet.

[21:48:38] mp: Guido: two classes, declarative rules and normative rules.

[21:48:55] mp: Guido: normative rules includes obligations, etc.

[21:49:37] Guido Governatori: mode=xxxx

[21:51:24] Tara Athan: The syntax should enforce the @mode attribute for declarative value: no deontic operators allowed.

[21:54:28] Tara Athan: XSD1.0 not allowed to change the content model based on the value of an attribute, but XSD1.1 it is allowed.

[21:55:51] Tara Athan:

[21:56:03] Tara Athan:

[21:56:09] Tara Athan:

[21:58:44] mp: three classes: obbligation, permittion, prohibition

[22:00:35] Tara Athan: Concrete classes occur when the content model for subclasses are the same.

[22:05:00] mp: the time of the obligation is in internal time

[22:05:37 | Edited 22:05:47] mp: the time of the obligation is the duration of time when the obligation is valid for the addresser

[22:06:00] mp: persistent: interval

[22:06:19] mp: transient: instantTime

[22:08:19] mp: Tara: the granularity of time concept is not present now in the Reaction Rule

[22:08:48] Tara Athan: Reaction RuleML allows to refer to external ontologies of time

[22:09:50] Tara Athan: Guido: SBVR may have such an ontology

[22:11:34] mp: one more paragraph: permission, prohibition, violation, reparation, penalty

[22:16:04] mp: Tara: please produce some examples

[22:16:36] mp: US 504 includes obligations and penality

[22:17:52] mp: p_1_, ..., p_n_, [DEON_1_]p_n+1_, ..., [DEON_m_]p_n+m_ =>_DEON_ q

[22:19:15] Guido Governatori: =>_DEON_

[22:19:29] Guido Governatori: =>

[22:20:15] mp: Guido: any form of formula is allowed in the body

[22:20:33] Guido Governatori: behaviour

[22:20:57] Guido Governatori: sequence of non deontic formulas

[22:21:28] Guido Governatori: A @ B @ C

[22:22:11] Guido Governatori: means

[22:22:55] Guido Governatori: there is the obligation of A, but if A is violated, then there is the obligation of B, and if B is also violated, then there is the obligation of C and so on

[22:23:32] Tara Athan: ->

[22:23:45] Guido Governatori:

[22:24:00] Guido Governatori: .....

[22:24:24] Guido Governatori: ....

[22:25:10] Guido Governatori: => A

[22:25:16] Guido Governatori: x => ~ A

[22:25:22] Guido Governatori: y => A

[22:25:52] Guido Governatori: => A

[22:27:40] Guido Governatori: it A then B else C

[22:27:46] Guido Governatori: if A then B

[22:27:51] Guido Governatori: if ~A then C

[22:28:09] Guido Governatori: If A thenOBL B

[22:28:16] Guido Governatori: if ~B then OBL C

[22:28:29] Guido Governatori: A => B

[22:28:33] Guido Governatori: ~B => C

[22:29:48] Guido Governatori: A => OBL B

[22:29:57] Guido Governatori: ~B => OBL C

[22:30:03] Guido Governatori: A => B @ C

[22:31:16] Tara Athan: OBL B and ~B => C

[22:35:24] Guido Governatori:

[22:37:06 | Edited 22:37:14] mp: Tara: taxonomy and examples

[22:38:07] Guido Governatori:

[22:38:19] Guido Governatori: Obligation

[22:38:21] Guido Governatori: Permission

[22:38:24] Guido Governatori: Prohibition

[22:39:59] Tara Athan: Declarative / Normative (Obligation/Permission/Prohibition/Behavior)

[22:42:45] Guido Governatori: http://espace.uq.edu.au/eserv.php?pid=UQ:9617&dsID=coala.pdf

[22:44:18] *** mp sent IMG_03102012_224418.png IMG_03102012_224418.png IMG_03102012_224418.png IMG_03102012_224418.png IMG_03102012_224418.png IMG_03102012_224418.png IMG_03102012_224418.png IMG_03102012_224418.png IMG_03102012_224418.png IMG_03102012_224418.png IMG_03102012_224418.png IMG_03102012_224418.png ***

[22:45:22] Guido Governatori: violation, complied_with

[22:46:23] mp: 10th Oct.

[22:48:08 | Edited 22:48:28] mp: Tara: motion: approve the examples in the next TC

[22:48:17] Guido Governatori: +1