ࡱ> '`0sbjbj"9"9.@S@Sk*<*<*<*<Dn<Ô<<<<<===BDDDDDD$Ŗh-h%D==%D%Dh<<}XXX%D<<BX%DBXXX<< 0!;_j*<TV(N0Ô~ !W!P!=?bX+AGB===hhX ===Ô%D%D%D%D(0d 0 LegalRuleML Technical Meeting Minutes July 11th 2012 Time LegalRuleML TC meeting July 11th 9,30pm CET 5,30am Australia 3,30pm EDT 12,30pm PDT Attached document: 1. minute of June 29th Participants IndividualTara AthanVoting MemberRuleML, Inc.Harold BoleyVoting MemberUniversity of Bologna-CIRSFIDGiuseppe ContissaMemberNICTAGuido GovernatoriChairUniversity of Bologna-CIRSFIDMonica PalmiraniChairRuleML, Inc.Adrian PaschkeSecretaryUniversity of LiverpoolAdam WynerSecretary Agenda * Establish a versioning system for a library of xml examples * Namespace issue for the LegalRuleML outcomes and relationship with RuleML (proposal: to duplicate the tags) * Deliberation of the 2.1.1defeasibility.006.doc, consolidated version including the last TC amendments * Discussion of the Tara RDF model on isomorphism * Presentation and discussion of the 2.8isomorphism 002 003.doc from Adrian Monica opened the LegaRuleML TC meeting in time. In total 23 people members. Only 9 people have the voting right. Monica checks who is present: 7 people are in the call. As there is a quorum, the meeting starts. Each participant registered the attendance into the OASIS Kavi system. The agenda is presented for collecting further amendments or integrations. No integrations are required by the attendees. Minutes of the previous TC Meeting The TC approved the minutes of the previous meeting June 29th with an amendment from Harold. The sentence: After a long discussion on the name and on the opportunity to introduce this mechanism, the TC approved this main principle, apart the name of and that we will decide later. Is modified in: After a long discussion on the name and on the opportunity to introduce this mechanism, the TC approved in principle the issue, apart the name of and that we will decide later. It is introduced also a new best practice in skype in order to make evident the voting mechanism on a motion. We declare before the motion that we intend to put in voting using: PROPOSED MOTION: linguistic locution. After a proper an fair discussion where all the parties are able to express their opinion, the proposer changes the "PROPOSED MOTION: in "MOTION" and call the voting explicitly. Only after this procedure the voting of the MOTION is valid. Discussion on URI The discussion was focused on the URI and the possible methodology to manage them in LegalRuleML. From the discussion appears evident that there are different vision of that. Somebody suggest to formalize the requirements in plain English other to use the XML syntax because we need to test the technical feasibility and compatibility with RuleML. Monica and Guido: The requirement is to manage a pointer to a fragment of the rule (atom, if, then, etc.) or to a rule for different purposes: a) to connect the fragment of the rule or the rule to specific legal metadata called legal context information; b) to connect the fragment of the rule or the rule to the textual legal sources e.g. Akoma Ntoso files but not limited only to Akoma Ntoso standard. LegalRuleML is independent from any legal ontology (with some preference for LKIF-core) and from any XML legal document standard; c) to reuse some fragment of the rule or a rule in other rulebase (recall the rule without rewrite it). All these references could refer to an internal XML node of the same physical XML file or to an external XML file or in case of the textual legal sources also to non-XML file (e.g. PDF). For this reason we need a pair of attribute (key, keyRef or node and noreRef, or id and idRef) with data type anyURI for permitting the double usage. Adrian propose three kind of attributes like in Reaction Rule: key, iri, node with different meaning. This for taking also in consideration the computational side effect on the Xpaht manipulation. Monica: the issue is important and we will take in consideration for sure, nevertheless the computational problem could be resolved with 10 lines of XSLT as in Akoma Ntoso. Harold, Tara: suggested only one pair and also Guido and Monica agree. After a long discussion on the URI and on the resolvers the TC approved that: MOTION: LegalRuleML does not need to be 'aware' of any resolver. Instead, LegalRuleML should have mechanisms to unambiguously point to (parts of) legal documents, textual provisions or legal rules. Discussion on establish a versioning system for a library of xml examples The TC approved to use the SVN platform provided from OASIS. Discussion on RuleML and LegalRuleML relationship among the two standards LegalRuleML charter defines the goals of the TC. In particular LegalRuleML wants to define a better syntax for representing the peculiar characteristics of the legal domain in agile way, with a non verbose syntax, in line with RuleML. The intention is not only to provide a methodology how to reuse the existing RuleML Familiy standards (e.g. Reaction Rules+Delibarative Rules+etc.), but also to obtain as an outcome a separate xsd schema (also in RelaxNG). The TC discussed also on the idea to use a namespace for clearly tagging and provenience of them (from RuleML o from the LegalRuleML TC). PROPOSED MOTION: A deliverable of the LegalRuleML TC is a schema for XML (in Relax NG and XSD) defining LegalRuleML as an extension to RuleML in the form of a combination of sublanguages from different namespaces combining at least the RuleML namespace and the LegalRuleML namespace. Deliberation of the 2.1.1defeasibility.006.doc, consolidated version including the last TC amendments We will be approved the next TC. Other business No other business. Adjournment The conference finished at 5.40pm EDT and it was adjourned with the pending issues in the agenda. Tentative Agenda: * Namespace for LegalRuleML outcomes and relationship with RuleML (15) * Adrian presentation on isomorphism (15min) * Tara's RDF model on isomorphism (15min) The next meeting will be held July 25th in Skype, 4.30pm, EDT, 10.30pm CEST, 9.30pm BST, 12,30pm PDT, 6,30am Brisbane Time Annex from the Skype conference call July 11th [11/07/2012 21:22:29] mp: 10 minutes to the TC meeting [11/07/2012 21:27:01] Adam Wyner: are we having the TC on skype or on the adobe thing? [11/07/2012 21:27:18] Guido Governatori: skype [11/07/2012 21:27:20] mp: Adam only the LegalDocML is on Adobe [11/07/2012 21:27:24] Adam Wyner: ok. [11/07/2012 21:27:33] Adam Wyner: Sorry, mixing what happens where. [11/07/2012 21:29:50] mp: Please remind to record your attendance in the OASIS Kavi. Thanks [11/07/2012 21:31:29] mp: Adam can you take the minutes for this time? [11/07/2012 21:31:56] Adam Wyner: ok, but may have to restart my connection....something not working. [11/07/2012 21:32:15] mp: or Adrian in case [11/07/2012 21:32:31] Adam Wyner: I seem to be OK with skype at the moment, but I cannot access oasis. [11/07/2012 21:32:35] Adam Wyner: or the bbc. [11/07/2012 21:32:40] mp: https://www.oasis-open.org/apps/org/workgroup/legalruleml/event.php?event_id=33293 [11/07/2012 21:33:29] mp: may I record your attendance Adam? [11/07/2012 21:33:32] *** Conference call *** [11/07/2012 21:33:50] Adam Wyner: yes, please record me. I have access to oasis now. [11/07/2012 21:34:06] mp: Harold can you record your attendance in Kavi ? thanks [11/07/2012 21:34:27] mp: Agenda * Establish a versioning system for a library of xml examples * Namespace issue for the LegalRuleML outcomes and relationship with RuleML (proposal: to duplicate the tags) * Deliberation of the 2.1.1defeasibility.006.doc, consolidated version including the last TC amendments * Discussion of the Tara RDF model on isomorphism * Presentation and discussion of the 2.8isomorphism 002 003.doc from Adrian [11/07/2012 21:34:56] mp: ok we can start [11/07/2012 21:34:57] Adam Wyner: The agenda has been introduced. [11/07/2012 21:37:13 | Edited 21:42:55] Harold Boley: "mp: MOTION: to approve this principle:" [11/07/2012 21:37:21] mp: TC approved this main principle, apart the name of and that we will decide later. [11/07/2012 21:42:22] Adam Wyner: Discussion about how to make and vote on proposals. [11/07/2012 21:44:56] Harold Boley: Tara/Adam: First put intention in English, only then look into XML syntax. [11/07/2012 21:46:26 | Edited 21:47:41] Harold Boley: The English is on a higher level so stays stable, the XML syntax may be unstable since it may be subject to variation through discussions. [11/07/2012 21:47:46] Adam Wyner: The purpose of expressing the proposal, as Harold and Tara suggest, is also to support communication later to others about the meaning and use of the syntax. [11/07/2012 21:50:43 | Edited 21:51:20] Adrian Paschke: we only discussed on the syntax level, but did not discuss what implications it has on being compliant to standard XML. If keyref is a unique keyref within one XML instance and at the same time an IRI pointer to another XML instance, it has implications on the XML processing of a Legal RuleML document instances. [11/07/2012 21:51:25] Tara Athan: [11/07/2012 21:52:07] mp: [11/07/2012 21:53:53] Adrian Paschke: Reaction RuleML uses iri for referencing to external documents [11/07/2012 21:55:57] Adam Wyner: Guido - legal knowledge can be distributed over several documents. [11/07/2012 21:56:44] Adam Wyner: Guido - we need a mechanism to identify portions in the different documents to relate the distributed knowledge. [11/07/2012 21:58:06] Adrian Paschke: distributed knowledge bases are also supported by Reaction RuleML but it uses @iri to point to it [11/07/2012 21:58:51] Tara Athan: #rule1 [11/07/2012 21:58:54] Adam Wyner: Tara - a distributed identifier using URI. [11/07/2012 21:59:21] mp: #rule1, uri-reference, uri [11/07/2012 21:59:48] Adrian Paschke: but you cannot ensure that @iri is actually pointing to the right key in the other XML instance [11/07/2012 22:03:00] Adrian Paschke: it is of course alway possible to write additional pre-processesors (using XSLT or other languages), life cycle managers, URI dereferencing APIs etc. but then we are outside of standard XML processing. We then need to provide a set of tools for Legal RuleML [11/07/2012 22:04:10] Adam Wyner: Tara - could you please summarise the issues and points as you understand them so we can record it in the chat....? [11/07/2012 22:06:29] Harold Boley: The TC Charter says (https://www.oasis-open.org/committees/legalruleml/charter.php): "The goal of the LegalRuleML TC is to extend RuleML [RuleML 2011] with features specific to the formalisation of norms, guidelines, and legal reasoning." [11/07/2012 22:07:53] Tara Athan: There seem to be 3 levels of identification- within document (such as #rule1), a general external reference that is a URI, and one that is not familiar to some of us - a non-URI identifier (Akoma Ntoso, Lexis-Nexis, etc) that follows its own systematics. We will need to refer to all such identifiers from LegalRuleML, possibly multiple different systems of non-URI identifiers within the same document. [11/07/2012 22:09:12] Adam Wyner: Thanks Tara. Question - how does this address the issues that Monica and Guido raised about distributed legal knowledge. You seemed to have a view on how this could be done. [11/07/2012 22:10:16] Tara Athan: Adam: it is quite complex. I have some ideas about how I could meet these needs in the sytax, but I have not worked out the details. [11/07/2012 22:10:54] Adrian Paschke: Reaction RuleML has support for distributed knowlede bases. For instance, here an example from the very old Reaction RuleML 0.2. r1 ... ... r2... [11/07/2012 22:11:19] Adam Wyner: OK. Thanks. Is it possible to have a document with a URI, where that document refers to the distributed information? In effect, the 'collector' document would hold references to the distributed knowledge....? Does that make any intuitive sense? [11/07/2012 22:11:38] Adrian Paschke: In RuleML 1.0 and Reaction RuleML 1.0 oid has been replaced by @node and @key to distinguish the ambigious semantics of [11/07/2012 22:12:05] Adrian Paschke: and Reaction RuleML 1.0 uses @iri to point to external document (instances) and keyref to point to a unique key within one document [11/07/2012 22:12:33] mp: adam can you take track on this discussion? [11/07/2012 22:12:47] Adam Wyner: Adrian, I don't read the reaction rule proposal as quite the same thing as what we are discussing. [11/07/2012 22:13:02] Adam Wyner: Monica - I'm trying to track the discuss, yes. [11/07/2012 22:13:38] Adrian Paschke: my comments are still about the node - noderef issue which we started from [11/07/2012 22:14:27] Adam Wyner: The difference is that one is having rules with some further specification as opposed to having simultaneous information holding distributively. [11/07/2012 22:16:08] Adam Wyner: Some discussion about differences of RuleML and LegalRuleML needs. [11/07/2012 22:16:51] mp: Discussion on the need to provide clear outcomes of LegalRuleML to provide in front of the OASIS board [11/07/2012 22:16:55] Adam Wyner: Main differences between RuleML and the needs of LegalRuleML - defeasibility and deontics. [11/07/2012 22:17:04] mp: temporal legal reasoning [11/07/2012 22:17:44] mp: legal metadata [11/07/2012 22:21:09] Adam Wyner: There appear to be differences between what can or cannot be covered by RuleML generically (legal metadata? temporal legal reasoning?) and not covered (defeasible rules and deontics?) Have we clearly demonstrated what RuleML can/can't do to clarify to everyone why change/modifications/additions are needed? There appears to be some questions about this point. Harold seems to be proposing that various extensions to RuleML might be useful for LegalRuleML. Monica is concerned with what can be defined within the LegalRuleML TC. [11/07/2012 22:23:52 | Edited 22:24:05] Harold Boley: See diagrams in https://lists.oasis-open.org/archives/legalruleml/201207/msg00001.html [11/07/2012 22:28:06] mp: ---- LegalRuleML ---- / / | \ \ ------------------- / | \ LegalRuleML Metadata / / | \ \ \ \ Deontic / | \ sources authors normsQualification LegalRuleML Defeasible RuleML Temporal \ \ \ | \ LegalRuleML \ jurisdiction \ | LegalRuleML/ \ \ \ | argumentation \ \ \ | / \ \ Deliberation RuleML Reaction RuleML [11/07/2012 22:29:00] mp: LegalRuleML is independent from any legal ontology, any legal XML markup standard for the textual provision [11/07/2012 22:30:05] mp: www.resolver.org/uri-reference [11/07/2012 22:31:02] Adrian Paschke: have not known about this resolver before? When was this discussed in the TC? [11/07/2012 22:31:06 | Edited 22:33:43] Adrian Paschke: so we would introduce another additional tool which is required to use before we can Legal RuleML XML document? [11/07/2012 22:31:37 | Edited 22:31:44] mp: /au/act/2012/main.xml [11/07/2012 22:32:16 | Edited 22:33:11] Adrian Paschke: is it compliant to other XML technologies, e.g. JAXB which is used by many rule engines to translate from the XML rule interchange language to the platform specific language? [11/07/2012 22:32:41] mp: [mercoled 11 luglio 2012 22:31] mp: <<< /au/act/2012/main.xmlif this file is in my file system I DON'T need any resolver [11/07/2012 22:32:45] Tara Athan: From http://www.ietf.org/rfc/rfc3986 URI-reference = URI / relative-ref URI = scheme ":" hier-part [ "?" query ] [ "#" fragment ] [11/07/2012 22:33:00] mp: URI-reference is a URI [11/07/2012 22:33:29 | Edited 22:34:06] Tara Athan: [mercoled 11 luglio 2012 22:32] Tara Athan: <<< URI-reference = URI / relative-refThis is the specification. A URI-reference is either a URI or a relative-ref [11/07/2012 22:33:35] Adam Wyner: Guido - we need to point to sections within documents as well as point sections with XML documents. LegalRuleML should be neutral with respect to the internal references of some other system (e.g. lexisnexis). [11/07/2012 22:33:57] Adam Wyner: Harold - can you please summarise your understanding of these issues about iris and the resolver. [11/07/2012 22:34:16] Adam Wyner: I suggested you, Harold since you were the last to say you understood. [11/07/2012 22:34:18] mp: Monica: we need to preserve also CD-ROM and DVD and file system document collections of the legal resources without any resolver in the middle [11/07/2012 22:34:26] Adrian Paschke: just having a quick look on the resolver, it reminds me about linked data and the linked data principles for dereferencing. [11/07/2012 22:34:43] Adam Wyner: Thanks. [11/07/2012 22:35:08 | Edited 22:46:41] Harold Boley: PROPOSED MOTION: LegalRuleML does not need to be 'aware' of any resolver. Instead, LegalRuleML should have mechanisms to unambiguously point to (parts of) legal documents, textual provisions or legal rules. [11/07/2012 22:35:16] Adam Wyner: This sounds like an xml 'neutral' reference? [11/07/2012 22:35:59] Adam Wyner: Do we vote on proposed motions, meaning that we agreed to think about and discuss this for the next TC? [11/07/2012 22:36:03] Tara Athan: No [11/07/2012 22:36:29] Tara Athan: To an identifier of a document, modified by the system of the identifier. [11/07/2012 22:39:38] Tara Athan: withdrawn [11/07/2012 22:39:38 | Edited 22:45:28] mp: Documents means: legal document, textual provisions and legal rules [11/07/2012 22:44:06 | Edited 22:50:01] Adrian Paschke: Reaction RuleML uses xpointer and xpath for pointing to parts of the XML documents, but this is part of the XML query approach in Reaction RuleML and different from what Reaction RuleML uses for identification and references to identifications in order to support modularization and references to distributed knowledge base moduls [11/07/2012 22:44:26] mp: I completly disagree to put code inside of the XML [11/07/2012 22:44:50 | Edited 22:44:59] mp: it is worst rather than to have an external resolver or XSLT [11/07/2012 22:46:57 | Edited 22:47:43] Tara Athan: I agree that xpointer is not the answer. This was resolved by removing the "any part" from the motion. [11/07/2012 22:46:58] mp: art2 [11/07/2012 22:48:10] Harold Boley: MOTION: LegalRuleML does not need to be 'aware' of any resolver. Instead, LegalRuleML should have mechanisms to unambiguously point to (parts of) legal documents, textual provisions or legal rules. [11/07/2012 22:48:14] Guido Governatori: +1 [11/07/2012 22:48:16] Harold Boley: +1 [11/07/2012 22:48:20] mp: +1 [11/07/2012 22:48:21] Tara Athan: +1 [11/07/2012 22:48:25] Giuseppe Contissa: +1 [11/07/2012 22:48:28] Adrian Paschke: +1 [11/07/2012 22:48:41] Adam Wyner: For me, I read 'mechanisms' as text analytic means to locate relevant passages in text that is not otherwise annotated with XML. [11/07/2012 22:48:44] Adam Wyner: +1 [11/07/2012 22:48:48] Guido Governatori: Approved [11/07/2012 22:53:03] mp: Adrian: also to images [11/07/2012 22:53:13] mp: Monica: multimedia in judgment [11/07/2012 22:57:03] Guido Governatori: MOTION: approve the minutes, noting the objection by Harold, which has been addressed by a new motion [11/07/2012 22:57:19] Harold Boley: +1 [11/07/2012 22:57:22] Adam Wyner: OK with me. +1 [11/07/2012 22:57:23] Guido Governatori: +1 [11/07/2012 22:57:24] mp: +1 [11/07/2012 22:57:27] Tara Athan: +1 [11/07/2012 22:57:30] Giuseppe Contissa: +1 [11/07/2012 22:57:41] Guido Governatori: Approved [11/07/2012 22:58:11 | Edited 22:59:34] Adam Wyner: MOTION: This is a motion (just in case we need more motions to vote on). [11/07/2012 22:58:29] Adrian Paschke: 0 (abstain - then we need to provide all users of Legal RuleML with an additional tool layer for processing Legal RuleML XML document if we do not solve the problem of combining different types of references in one attribute) [11/07/2012 23:01:13 | Edited 23:02:28] Harold Boley: Even though tools themselves are out of scope, it's a basic point to make LegalRuleML tool-friendly to support wide-spread adoption. [11/07/2012 23:03:13] Harold Boley: Our future work needs to take the point into acocunt that Adrian raised. [11/07/2012 23:03:25 | Edited 23:07:24] Adrian Paschke: usability has many dimensions - understandability and learnability for humans can be one, but als compliance to XML should be one since we are designing an XML language and tool support for standard XML processing is important for the acceptance of an XML standard. In the Handbook chapter about Rule Markup Language we have discussed such language design principles. [11/07/2012 23:03:41] mp: https://tools.oasis-open.org/ https://tools.oasis-open.org/version-control/browse/ [11/07/2012 23:03:48] Adrian Paschke: we should add such points to the principles document about the language design [11/07/2012 23:03:53] mp: SVN provided by OASIS [11/07/2012 23:04:14] Adam Wyner: I'm OK with SVN too. [11/07/2012 23:04:31] Adrian Paschke: yes, that would be VERY good [11/07/2012 23:04:56] mp: SVN name proposal: lrml [11/07/2012 23:05:01] Guido Governatori: MOTION: establish an SVN repository inside OASIS for the XML examples [11/07/2012 23:05:49] Adam Wyner: LegalRuleML [11/07/2012 23:06:07] Adam Wyner: And the acronym will not speak to others. [11/07/2012 23:06:13] mp: lrml [11/07/2012 23:06:34] Harold Boley: https://www.google.com/search?q=lrml [11/07/2012 23:07:33 | Edited 23:08:30] mp: MOTION: name of SVN lrml [11/07/2012 23:07:35 | Removed 23:08:41] Adam Wyner: This message has been removed. [11/07/2012 23:07:44] Harold Boley: +1 [11/07/2012 23:07:50] Guido Governatori: +1 [11/07/2012 23:07:51] Adam Wyner: OK +1 [11/07/2012 23:07:53] Giuseppe Contissa: +1 [11/07/2012 23:07:55] Tara Athan: +1 [11/07/2012 23:08:07] Adrian Paschke: Lire Report Markup Language - LogReport [11/07/2012 23:08:47] Guido Governatori: Approved [11/07/2012 23:08:54] Adrian Paschke: +1 [11/07/2012 23:12:33 | Edited 23:13:17] Adrian Paschke: having different namespaces within one and the same XML documents is not necessarily userfriendly. For instance, there were many complaints about having different namespaces for RDF and RDFS since many users had problems to remember which elements are in the namespace of RDF or the RDFS namespace [11/07/2012 23:13:00 | Edited 23:21:59] Harold Boley: PROPOSED MOTION: A deliverable of the LegalRuleML TC is a schema for XML (in Relax NG and XSD) defining LegalRuleML as an extension to RuleML in the form of a combination of sublanguages from different namespaces combining at least the RuleML namespace and the LegalRuleML namespace. [11/07/2012 23:13:31] Tara Athan: Point for Clarification: on my contract, I can develop schemas for the LegalRuleML namespace. I already work under contract for RuleML on schemas in the RuleML namespace. By the way, RuleML has already paid for a great deal of my time in contributing to this committee. [11/07/2012 23:14:11] mp: @Adrian: the namespace for my point of view is only for favour the process of approval in OASIS. There is a very complex workflow for obtaining the certification and to distinguish the outcomes of the TC helps to obtain the goal [11/07/2012 23:14:33] mp: As I said I am in favour to the fact to pass all the xml-schema to RuleML [11/07/2012 23:14:45] mp: for avoiding in the practice the namespace [11/07/2012 23:15:05 | Edited 23:15:40] Adrian Paschke: so we need clarification about what it means to be a succesfull standard in OASIS. In W3C it means to have many implementations. [11/07/2012 23:15:24 | Edited 23:16:29] Adrian Paschke: at best by industry partners. Having many namespace often hinders industry partners to adopt a standard [11/07/2012 23:19:47 | Edited 23:20:20] Adrian Paschke: what implications does it have to have an element under a namespace? [11/07/2012 23:21:02] mp: overrides [11/07/2012 23:23:41] Adrian Paschke: a related question is when do we put something into the namespaec of Legal RuleML? Sometimes things are just syntactic renamings or we e.g. make an element to an attribute. [11/07/2012 23:24:17] Adrian Paschke: defeasibility.006 document [11/07/2012 23:24:18] Guido Governatori: nodref should be noderef [11/07/2012 23:25:10] Adrian Paschke: we have not decided on noderef yet. Reaction RuleML has already has key and keyref [11/07/2012 23:25:18] mp: defeasibility.006.document will be approved the next TC [11/07/2012 23:26:43 | Edited 23:26:50] mp: Harold:only one pair of attributes not two [11/07/2012 23:27:38] mp: Agenda: [11/07/2012 23:27:40 | Edited 23:28:04] Adrian Paschke: we have node, iri, key and keyref (and possibly also noderef) [11/07/2012 23:27:56] Adam Wyner: The agenda for next time in priority. [11/07/2012 23:28:11] Guido Governatori: Agenda for next TC: [11/07/2012 23:28:45] Guido Governatori: Presentation and discussion of metadata proposal by Adrian (20min) [11/07/2012 23:28:51 | Edited 23:29:04] Adam Wyner: Proposal to have an agenda with associated time. [11/07/2012 23:29:21] Adam Wyner: July 25 is the next meeting. [11/07/2012 23:29:58] Harold Boley: http://www.csw.inf.fu-berlin.de/debs2012/ [11/07/2012 23:29:58 | Edited 23:31:03] Guido Governatori: Discussion of Tara's RDF model on isomorphism (15min) [11/07/2012 23:30:44] Tara Athan: My item should only take 10 minutes I think. [11/07/2012 23:31:05] Harold Boley: http://www.csw.inf.fu-berlin.de/debs2012/conference-programme.html [11/07/2012 23:31:23] mp: I like the RDF model of Tara: did you see my modifications? did you read my email? [11/07/2012 23:32:55] Guido Governatori: Deliberation of consolidated 2.1.1defeasibility.006.doc [11/07/2012 23:33:45] Tara Athan: Monica: I have not been through your email in full detail yet. [11/07/2012 23:34:28] mp: I have proposed a little modification of the RDF model proposed. I apprecate your comments in case during the week [11/07/2012 23:35:07 | Edited 23:35:20] Adam Wyner: I will be in Florence next week and likely busy in the evening, so not so good for me. [11/07/2012 23:35:27] mp: Adam: Law and Logic Summer School ? [11/07/2012 23:35:49] Adrian Paschke: so next meeting is July 25th [11/07/2012 23:35:54] Guido Governatori: Next TC: 25 July usual time [11/07/2012 23:36:00] Tara Athan: OK [11/07/2012 23:36:06 | Edited 23:38:05] Adrian Paschke: I will study the Skype documentation if there is a way to call in by telephone because my WLAN connection is usally quite low there [11/07/2012 23:36:17 | Edited 23:36:32] Harold Boley: Look for "call in" and ask Tara. [11/07/2012 23:37:11 | Edited 23:46:16] Harold Boley: Both iPhones and Smartphones with Adnroid (I recommend Galaxy Note because of the large screen) can have Skype installed as an app. But you seem to need a Gmail account (not just associate your normal email with your Google account). You then only need mobile phone connectivity, not WLAN. [11/07/2012 23:40:08] mp: use the mailing list and SVN [11/07/2012 23:40:41] mp: and continue the discussion in Skype for refining the details [11/07/2012 23:40:51] Tara Athan: bye $%&*+-/45:QRS\]^ahilyz}º¯xxmh]oh]omH sH huhz9mH sH huhSmH sH huhumH sH huh,fmH sH huhxmH sH huh.wmH sH h%mH sH h.wh.wmH sH hjCmH sH haZmH sH h $mH sH hwFmH sH hOmH sH h$,haZmH sH  5:] $Ifgd gdgdds[$\$gd]ogdugdwFgdjC$a$gdwF$a$gdJD s     3 4 E F L M N S T e f k l m ͵͝zvovovodvovovodvovovodvovovodvovoh h CJaJ h h h h=9mH sH 4hm{hm{56CJOJQJ\]^JaJmH sH .h56CJOJQJ\]^JaJmH sH .h56CJOJQJ\]^JaJmH sH .hk56CJOJQJ\]^JaJmH sH 4hh56CJOJQJ\]^JaJmH sH '   2akd}$$IfF%6    34ayt $Ifgd akd$$IfF%6    34ayt  4 F M N T f l akd$$IfF%6    34ayt $Ifgd l m 2akd$$IfF%6    34ayt $Ifgd akdw$$IfF%6    34ayt  ƻxph`XhJmH sH h mH sH h:mH sH hK%mH sH hhgZmH sH hmH sH hmH sH huomH sH hDmH sH hK+mH sH hmH sH h5emH sH h5eh5emH sH h:uh:umH sH h]oh]o5\mH sH h 5\mH sH h h CJaJ h h h " akdq$$IfF%6    34ayt $Ifgd   ?  G . gd;V$gdgZgd5egd:uakd$$IfF%6    34ayt      % & ' ( @ A j k + - . / Q R f и𰨠ؠ}og_gh mH sH h"KmH sH hBIh 5\mH sH h 5\mH sH hGJmH sH h mH sH hBImH sH h;V$mH sH h9 mH sH hK+mH sH h5emH sH hmH sH hDmH sH hjCmH sH hgZmH sH hmH sH h:mH sH hJmH sH h/mH sH !. / R ST.1d)klgdugd&;Wgd tgd5egd gd]o <NOVW\]ab}~"#*+0156QRST)01cd뱣hmH sH h&;WmH sH h_^h_^5\mH sH h_^hxV5\mH sH hxVmH sH h tmH sH h5eh5emH sH  *h5eh5emH sH hkh5emH sH h mH sH h5emH sH h"Kh"KH*mH sH 4l123}%*f0=TUXYZtuvwǿ࿐zohT5\mH sH hThT5\mH sH hTmH sH hIhImH sH h5\mH sH hu5\mH sH h_^h_^5\mH sH hImH sH hIhI5\mH sH hhmH sH hmH sH humH sH h&;WmH sH h_^mH sH *l23}YZvw".Agd#gd gds_gd?gdTgdgdugdIgd&;W!"-.=IM[o@AgiǿǷǿڷznfhz9mH sH hGJhGJH*mH sH hGJmH sH h<mH sH hs_h mH sH hz9h#mH sH hJ}h#H*mH sH h5ehTmH sH h#mH sH h|mH sH h mH sH hK+hs_mH sH hs_mH sH hhs_mH sH hTmH sH hThTmH sH &AB& } !U!!!^"""####M$$$$$l%%&gd<gd<gd#gdTB6}6QR;SU VO]]Q^_k?llfmsh#h<mHsH h#h<h<h<mHsHh<h<mH sH h mH sH &S&}&&'''`(!))S++++,,---.J../01N11W3)44gd<4w55555566;6K6r6667v8 9f99<::`;;F<<<=W??@gd<@M@@@EAAA BDBBBJCCCDDEF F^FFFF G*B*phe@ MPreformattato HTML7 2( Px 4 #\'*.25@9CJOJQJ^JaJFb@F  Codice HTMLCJOJPJQJ^JaJNV@N Collegamento visitato >*B* phk5:]4FMNTflm?G./RST.  1  d)kl23}YZvw".AB&}U^MlS}` !!!S####$$%%%&J&&'()N))W+),,w------..;.K.r.../v0 1f11<22`33F4445W778M888E999 :D:::J;;;<<=> >^>>>> ?0 > 000000@:>  000000@ 0 > 000000J>0 > 000000@ 0 > 0 00 00 0@:>  0 0 0 0 0 0 @0 000000#000000ȑ0!03010 ȑ0-02ȑ0.04/ئ040 ȑ00-040 ȑ0201@0ȑ0401ȑ000ȑ06077kȑ0604ȑ0704ȑ0601ȑ0:04ȑ0601ȑ0<04ȑ0601ȑ0601ȑ0601ȑ000ȑ0A01ȑ000ȑ0C01ȑ000ȑ000ȑ000ȑ000040 ȑ0<0 ȑ0J0040 ʑ0M000000K0 00@0ȑ0R0 SVȑ0R0ȑ0R0ȑ0R0ȑ0R0S kȑ0R0ȑ0R0ȑ0B00 s:=ADFGIK l . lA&4@IT^ks;>?@BCEHJLMNOPQRs<8@0( AA B S  ?#v v, vl v vl v v v, vl v v v, vl v v v, vl v v v, vl v v v, vl v v v, vl v v v, vvDvoodd{{LL(+---...11OLOLPP>c>cdecgcgik      !"xxjjRR(+---...11ULULPPDcDcdekgkgik  !"9*urn:schemas-microsoft-com:office:smarttagsState8!*urn:schemas-microsoft-com:office:smarttagsCity9"*urn:schemas-microsoft-com:office:smarttagsplaceB#*urn:schemas-microsoft-com:office:smarttagscountry-region ~#"!"!""!"""!!""""""!"!"!"!"""!" :E  !#$3=EFLfkmwxz{YdOV#*     & 1 %*;AtDO=CDKewx6<HSFL_jAF`e ,1 #CIls  #n#s#{########:$?$$$4%;%x%~%%%%%%%7&:&F&I&g&n&&&&&' '-'9'''(((()#)4):)<)B)))*******+r+w+D,I,,,,,,-"-*-k-q-----------. .C.K.W.r...........///0000!0Y0b0q0t000000000:1>1112 2Y2`22222P3^3{33333344a4f4444444:5?55555556#6667 7G7R77788888829D9J9U9W9a9b9h99999:::::: ;&;d;x;;;&<-<<<======y>~>>>i?n?q?z?~??????-@2@@@@A"A'AAABBZC_CCCCCCCDDDDbEgEEEEEFFFFFFFF7G=G_GeGGGHHHHHHIIIIIIJJJJJJK K(K.K/K6KVK[KKKL*LLLKMPMpMuMMMMMNN1*2525555J9a999<<>>F!FQJTJ}JJJJJJJJKKMMMMMMMMQQOUmUnUUUUQVTVxV{VVVVVVVW WkWnWWWaac>ddeeeeggk33333333333333333333333333333333335:] 1 @ABkkkkJA4O %apX.A %pX@z'h6.&OL?Эn&L66~qVHCCWf_j}`D oe*-.gl3cn@oyl2}VK~h^`OJQJo(hHhdd^d`OJQJ^Jo(hHoh4 4 ^4 `OJQJo(hHh^`OJQJo(hHh^`OJQJ^Jo(hHoh^`OJQJo(hHhtt^t`OJQJo(hHhDD^D`OJQJ^Jo(hHoh^`OJQJo(hHhh^h`OJPJQJ^Jo(-88^8`OJQJ^Jo(hHo^`OJQJo(hH  ^ `OJQJo(hH  ^ `OJQJ^Jo(hHoxx^x`OJQJo(hHHH^H`OJQJo(hH^`OJQJ^Jo(hHo^`OJQJo(hH^`.^`.pp^p`.@ @ ^@ `.^`.^`.^`.^`.PP^P`.h^`OJQJo(hHh^`OJQJ^Jo(hHohpp^p`OJQJo(hHh@ @ ^@ `OJQJo(hHh^`OJQJ^Jo(hHoh^`OJQJo(hHh^`OJQJo(hHh^`OJQJ^Jo(hHohPP^P`OJQJo(hH^`.^`.pp^p`.@ @ ^@ `.^`.^`.^`.^`.PP^P`.^`o(. ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.h ^`hH.h ^`hH.h pLp^p`LhH.h @ @ ^@ `hH.h ^`hH.h L^`LhH.h ^`hH.h ^`hH.h PLP^P`LhH.h ^`hH.h ^`hH.h pLp^p`LhH.h @ @ ^@ `hH.h ^`hH.h L^`LhH.h ^`hH.h ^`hH.h PLP^P`LhH.^`o(. ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.h ^`hH.h ^`hH.h pLp^p`LhH.h @ @ ^@ `hH.h ^`hH.h L^`LhH.h ^`hH.h ^`hH.h PLP^P`LhH.^`OJPJQJ^Jo(-^`OJQJ^Jo(hHopp^p`OJQJo(hH@ @ ^@ `OJQJo(hH^`OJQJ^Jo(hHo^`OJQJo(hH^`OJQJo(hH^`OJQJ^Jo(hHoPP^P`OJQJo(hHh ^`hH.h ^`hH.h pLp^p`LhH.h @ @ ^@ `hH.h ^`hH.h L^`LhH.h ^`hH.h ^`hH.h PLP^P`LhH.^`OJPJQJ^Jo(^`OJQJ^Jo(hHopp^p`OJQJo(hH@ @ ^@ `OJQJo(hH^`OJQJ^Jo(hHo^`OJQJo(hH^`OJQJo(hH^`OJQJ^Jo(hHoPP^P`OJQJo(hHh ^`hH.h ^`hH.h pLp^p`LhH.h @ @ ^@ `hH.h ^`hH.h L^`LhH.h ^`hH.h ^`hH.h PLP^P`LhH.^`.^`.pp^p`.@ @ ^@ `.^`.^`.^`.^`.PP^P`.^`OJPJQJ^Jo(^`OJQJ^Jo(hHopp^p`OJQJo(hH@ @ ^@ `OJQJo(hH^`OJQJ^Jo(hHo^`OJQJo(hH^`OJQJo(hH^`OJQJ^Jo(hHoPP^P`OJQJo(hHh ^`o(hH.h^`OJQJ^Jo(hHohpp^p`OJQJo(hHh@ @ ^@ `OJQJo(hHh^`OJQJ^Jo(hHoh^`OJQJo(hHh^`OJQJo(hHh^`OJQJ^Jo(hHohPP^P`OJQJo(hH_j}`cn6..gy oeJ&LL?A6~qV@z'.A}VK~%aCW 8l ȅ>r$InH8pLx,!w^2 O%MptbInH(F,!wV1,!w8p%'$8,!wK,!wz$,!w1,!wf ,!w2 F@rh ,!wu ,!wF ,!w8 ,!w~rX,!w9,!wPm,!w:T,!w\R,!w,!w%,!w\,!w.,!wZ,!w=n,!wf,!wP-,!wf%X?u>,!wVt,!wxm",!w ",!w%'$:x.&,!wl&,!w'&,!ww',!w} (GF{I(('9DnA),!wIj*,!wT*,!w ;0 41@1,!w1 W1,!w1,!wb2,!wZ%2,!w9 3cP3,!w|3,!wPK4,!w 49L5,!wd6,!wL7,!wlWT7 Qo7,!wC9,!w('9EJ:,!wR;>Pe;,!w6"<`@>,!wX?u>L>,!wZv?,!w,?IZEV`@NnF@P~@P~@R;F@Hj@bA,!wxA,!wZB,!w.fNB,!w=D,!wehG,!wQ1H,!wsVH,!w^:K@#LI(lO,!wO,!w }P,!w>P.QajR,!we3-S,!wzT,!wnU,!wIZEV^:K:JV,!woV,!wW,X,!wY,!wGY,!w [,!wq\ 2M\,!w9wc],!wS]} (O.^,!wK X_,!wc`,!wGacZ]f,!wXWgSWgLWh,!w= uh,!wh,!wi,!wyc5i,!wHjajf% 5}m,!wNtp,!wMpt5x_t,!wylNv,!w,!w / x,!wB Qx,!w\xx,!w5xGa0^z,!wJ{,!wGF{6"<t|,!wC~#LZ.,!wy,!wD,f T: j A 9 Z? <` <UW(6PLzSKc k{/RLT~z.!#q# $;V$_&<'_(ha.,!0n3u3.,9h9:E<(=Z9=A>C?\"@+@bAtaBjCvEwFBIGJ"Kb(RRUqUxVjVmVnV&;W X]qXaZaZ(fZgZ*#\h\LU^_^J`c`'aob7c*Yd5esgiijGBjkkMmEo]ouo tBubxuwHwExdxzwzm{X{} ~ ~< dzQd7~2a <BXJ}k~xb}dDhY/l8JDZF tw|07_*S% tIO@t:9=K%32)Iz9_|)0 axxsK+^E2r^D %D~Fbi}P5I`%AIs_/_n=9BkzqJ''6uQ/:uk%$,euMhWsT6;]?k>c9 S9[Q/}.wur<4FMNTflmk@AA\AAk@@UnknownG: Times New Roman5Symbol3& : ArialG5  jMS Mincho-3 fgO  PLucida GrandeArial?5 :Cx Courier New71 Courier;Wingdings"q]gg't[7[7n24dkk 2qHX)?aZ2'LegalRuleML Inaugural Technical MeetingCirsfid - Universit di BolognaCirsfid - Universit di BolognaP            Oh+'00 Xd    (LegalRuleML Inaugural Technical Meeting Cirsfid - Universit di Bologna Normal.dot Cirsfid - Universit di Bologna8Microsoft Office Word@{4@>[@Ƒ(7j@_j[՜.+,0$ hp  Universit di Bologna7k' (LegalRuleML Inaugural Technical Meeting Titolo  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSUVWXYZ[]^_`abcdefghijklmnopqrstuvwxyz{|}~Root Entry F*;_jData T1Table\qWordDocument.SummaryInformation(DocumentSummaryInformation8CompObju  F#Documento di Microsoft Office Word MSWordDocWord.Document.89q