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: WD48

Dear LegalRuleML members,

please find in attachment:

  • the answers to the public review comments (LegalRuleML-24April2017v2-mp.xls)
  • the new version of the WD48 (legalruleml-core-spec-wd48.doc)
  • the related two metamodel diagram modified properly (defeasible.png, deontic.png)
  • the new amended examples (ex5-section29new-compact.lrml, ex5-section29new-normal.lrml).

Any comment is welcome.

The next LegalRuleML TC (tentative date 3rd May, 21.30 CEST) we will discuss the pending issues.

Best,
Monica

-- 
===================================
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 
====================================

Attachment: deontic.png
Description: PNG image

Attachment: defeasible.png
Description: PNG image

Attachment: legalruleml-core-spec-wd48.doc
Description: MS-Word document

Attachment: LegalRuleML-24April2017v2-mp.xls
Description: MS-Excel spreadsheet

<?xml version="1.0"?>
<!DOCTYPE RDF [
	<!ENTITY base "http://docs.oasis-open.org/legalruleml/examples/compactified/ex8-defeasible-compact";>
	<!ENTITY lrml "http://docs.oasis-open.org/legalruleml/ns/v1.0";>
	<!ENTITY lrmlv "http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab";>
	<!ENTITY rulemlmm "http://ruleml.org/1.0/metamodel";>
	<!ENTITY ruleml "http://ruleml.org/spec";>
	<!ENTITY xs "http://www.w3.org/2001/XMLSchema";>
	<!ENTITY defeasible-ontology "http://example.org/defeasible/vocab";>
	<!ENTITY deontic-ontology "http://example.org/deontic/vocab";>
]>
<?xml-model href="../../schemas/relaxng/lrml-compact.rnc" type="application/relax-ng-compact-syntax"?>
<lrml:LegalRuleML xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance";
  xsi:schemaLocation="http://docs.oasis-open.org/legalruleml/ns/v1.0/ ../../schemas/xsd/xsd-compact/lrml-compact.xsd"
  xmlns="&base;#" xmlns:lrml="&lrml;/" xmlns:ruleml="&ruleml;" xmlns:rulemlmm="&rulemlmm;#"
  xml:base="&base;">

  <lrml:LegalSources>
    <lrml:LegalSource key="ls1"
      sameAs="http://www.comlaw.gov.au/Details/C2009A00134/Html/Text#param43"/>
  </lrml:LegalSources>

  <lrml:Associations>
    <lrml:Association key="ascs0">
      <lrml:appliesSource keyref="#ls1"/>
      <lrml:toTarget keyref="#atom1"/>
      <lrml:toTarget keyref="#atom2"/>
      <lrml:toTarget keyref="#atom3"/>
    </lrml:Association>
    <lrml:Association key="ascs1">
      <lrml:appliesModality iri="&deontic-ontology;#ob1"/>
      <lrml:toTarget keyref="#oblig1"/>
    </lrml:Association>
    <lrml:Association key="ascs2">
      <lrml:appliesStrength iri="&defeasible-ontology;#defeasible"/>
      <lrml:toTarget keyref="#ps1"/>
    </lrml:Association>
  </lrml:Associations>
  <!--                    This Division applies on or after 1 July 2011, or a later day prescribed by the regulations.

-->
  <lrml:Context key="psInfo1">
    <lrml:appliesAssociation keyref="#ascs0"/>
    <lrml:appliesAssociation keyref="#ascs1"/>
    <lrml:appliesAssociation keyref="#ascs2"/>
    <lrml:inScope keyref="#ps1"/>
  </lrml:Context>
  <!--       (1)  A person must not engage in a credit activity if the person does not hold a licence authorising the person to engage in the credit activity.
-->
  <lrml:Statements key="textblock1">
    <!-- These forms of Override and Reparation are used if they arise implicitly. -->
    <lrml:hasQualification>
      <lrml:Override over="#ps2" under="#ps1"/>
    </lrml:hasQualification>
    <lrml:ReparationStatement>
      <lrml:Reparation keyref="#assoc1">
        <lrml:appliesPenalty keyref="#pen2"/>
        <lrml:toPrescriptiveStatement keyref="#ps1"/>
      </lrml:Reparation>
    </lrml:ReparationStatement>
    <!--     rule1   It is forbidden to engage credit activity  -->
    <lrml:PrescriptiveStatement key="ps1">
      <ruleml:Rule key=":rule1" closure="universal">
        <lrml:hasStrength>
          <lrml:DefeasibleStrength key="str1" iri="&defeasible-ontology;#defeasible1"/>
        </lrml:hasStrength>
        <ruleml:if>
          <ruleml:Atom>
            <ruleml:Rel iri=":person"/>
            <ruleml:Var>X</ruleml:Var>
          </ruleml:Atom>
        </ruleml:if>
        <ruleml:then>
          <lrml:SuborderList>
            <lrml:Prohibition>
              <ruleml:Atom>
                <ruleml:Rel iri=":engageCreditActivity"/>
                <ruleml:Var>X</ruleml:Var>
              </ruleml:Atom>
            </lrml:Prohibition>
          </lrml:SuborderList>
        </ruleml:then>
      </ruleml:Rule>
    </lrml:PrescriptiveStatement>
    <!--       rule2     A person can engage in a credit activity if the person hold a licence -->
    <lrml:PrescriptiveStatement key="ps2">
      <ruleml:Rule key=":rule2" closure="universal">
        <lrml:hasStrength>
          <lrml:DefeasibleStrength/>
        </lrml:hasStrength>
        <ruleml:if>
          <ruleml:Atom>
            <ruleml:Rel iri=":hasLicence"/>
            <ruleml:Var>X</ruleml:Var>
          </ruleml:Atom>
        </ruleml:if>
        <ruleml:then>
          <lrml:SuborderList>
            <lrml:Permission>
              <ruleml:Atom>
                <ruleml:Rel iri=":engageCreditActivity"/>
                <ruleml:Var>X</ruleml:Var>
              </ruleml:Atom>
            </lrml:Permission>
          </lrml:SuborderList>
        </ruleml:then>
      </ruleml:Rule>
    </lrml:PrescriptiveStatement>
    <!-- Penalty Statement block -->
    <lrml:PenaltyStatement key="pen1">
      <lrml:SuborderList>
        <lrml:Obligation>
          <ruleml:Atom>
            <ruleml:Rel iri=":payCivilUnits"/>
            <ruleml:Var>X</ruleml:Var>
            <ruleml:Ind>2000</ruleml:Ind>
          </ruleml:Atom>
        </lrml:Obligation>
      </lrml:SuborderList>
    </lrml:PenaltyStatement>
    <lrml:PenaltyStatement key="pen2">
      <lrml:SuborderList>
        <lrml:Obligation>
          <ruleml:Atom>
            <ruleml:Rel iri=":payPenalUnits"/>
            <ruleml:Var>X</ruleml:Var>
            <ruleml:Ind>200</ruleml:Ind>
          </ruleml:Atom>
        </lrml:Obligation>
        <lrml:Obligation>
          <ruleml:Atom>
            <ruleml:Rel iri=":imprisonment"/>
            <ruleml:Var>X</ruleml:Var>
            <ruleml:Ind>2 years</ruleml:Ind>
          </ruleml:Atom>
        </lrml:Obligation>
        <lrml:Obligation>
          <ruleml:Atom>
            <ruleml:Rel iri=":payPebnalUnitPlusImprisonment"/>
            <ruleml:Var>X</ruleml:Var>
            <ruleml:Ind>200</ruleml:Ind>
            <ruleml:Ind>2 years</ruleml:Ind>
          </ruleml:Atom>
        </lrml:Obligation>
      </lrml:SuborderList>
    </lrml:PenaltyStatement>
    <!-- Reparation Statement block -->
    <lrml:ReparationStatement key="rep1">
      <lrml:Reparation key="assoc1">
        <lrml:appliesPenalty keyref="#pen1"/>
        <lrml:toPrescriptiveStatement keyref="#ps1"/>
      </lrml:Reparation>
    </lrml:ReparationStatement>
    <!-- Alternate form of Override, if it is explicitly stated in the text. -->
    <lrml:OverrideStatement>
      <lrml:Override over="#ps2" under="#ps1"/>
    </lrml:OverrideStatement>

  </lrml:Statements>
</lrml:LegalRuleML>

<?xml version="1.0" encoding="UTF-8"?><?xml-model href="../../schemas/relaxng/lrml-normal.rnc" type="application/relax-ng-normal-syntax"?>
<lrml:LegalRuleML xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"; xmlns="http://docs.oasis-open.org/legalruleml/examples/compactified/ex8-defeasible-compact#"; xmlns:lrml="http://docs.oasis-open.org/legalruleml/ns/v1.0/"; xmlns:ruleml="http://ruleml.org/spec"; xmlns:rulemlmm="http://ruleml.org/1.0/metamodel#"; xsi:schemaLocation="http://docs.oasis-open.org/legalruleml/ns/v1.0/ ../../schemas/xsd/xsd-normal/lrml-normal.xsd" xml:base="http://docs.oasis-open.org/legalruleml/examples/compactified/ex8-defeasible-compact";>
  <lrml:hasLegalSources>
    <lrml:LegalSources>
      <lrml:hasLegalSource>
        <lrml:LegalSource key="ls1" sameAs="http://www.comlaw.gov.au/Details/C2009A00134/Html/Text#param43"/>
      </lrml:hasLegalSource>
    </lrml:LegalSources>
  </lrml:hasLegalSources>
  <lrml:hasAssociations>
    <lrml:Associations>
      <lrml:hasAssociation>
        <lrml:Association key="ascs0">
          <lrml:appliesSource keyref="#ls1"/>
          <lrml:toTarget keyref="#atom1"/>
          <lrml:toTarget keyref="#atom2"/>
          <lrml:toTarget keyref="#atom3"/>
        </lrml:Association>
      </lrml:hasAssociation>
      <lrml:hasAssociation>
        <lrml:Association key="ascs1">
          <lrml:appliesModality iri="http://example.org/deontic/vocab#ob1"/>
          <lrml:toTarget keyref="#oblig1"/>
        </lrml:Association>
      </lrml:hasAssociation>
      <lrml:hasAssociation>
        <lrml:Association key="ascs2">
          <lrml:appliesStrength iri="http://example.org/defeasible/vocab#defeasible"/>
          <lrml:toTarget keyref="#ps1"/>
        </lrml:Association>
      </lrml:hasAssociation>
    </lrml:Associations>
  </lrml:hasAssociations>
  <!--                    This Division applies on or after 1 July 2011, or a later day prescribed by the regulations.

-->
  <lrml:hasContext>
    <lrml:Context key="psInfo1">
      <lrml:appliesAssociation keyref="#ascs0"/>
      <lrml:appliesAssociation keyref="#ascs1"/>
      <lrml:appliesAssociation keyref="#ascs2"/>
      <lrml:inScope keyref="#ps1"/>
    </lrml:Context>
  </lrml:hasContext>
  <!--       (1)  A person must not engage in a credit activity if the person does not hold a licence authorising the person to engage in the credit activity.
-->
  <lrml:hasStatements>
    <lrml:Statements key="textblock1">
      <!-- These forms of Override and Reparation are used if they arise implicitly. -->
      <lrml:hasQualification>
        <lrml:Override over="#ps2" under="#ps1"/>
      </lrml:hasQualification>
      <lrml:hasStatement>
        <lrml:ReparationStatement>
          <lrml:hasTemplate>
            <lrml:Reparation keyref="#assoc1">
              <lrml:appliesPenalty keyref="#pen2"/>
              <lrml:toPrescriptiveStatement keyref="#ps1"/>
            </lrml:Reparation>
          </lrml:hasTemplate>
        </lrml:ReparationStatement>
      </lrml:hasStatement>
      <!--     rule1   It is forbidden to engage credit activity  -->
      <lrml:hasStatement>
        <lrml:PrescriptiveStatement key="ps1">
          <lrml:hasTemplate>
            <ruleml:Rule key=":rule1" closure="universal">
              <lrml:hasStrength>
                <lrml:DefeasibleStrength key="str1" iri="http://example.org/defeasible/vocab#defeasible1"/>
              </lrml:hasStrength>
              <ruleml:if>
                <ruleml:Atom>
                  <ruleml:op><ruleml:Rel iri=":person"/></ruleml:op>
                  <ruleml:arg index="1"><ruleml:Var>X</ruleml:Var></ruleml:arg>
                </ruleml:Atom>
              </ruleml:if>
              <ruleml:then>
                <lrml:SuborderList>
                  <ruleml:formula index="1">
                    <lrml:Prohibition>
                      <ruleml:formula>
                        <ruleml:Atom>
                          <ruleml:op><ruleml:Rel iri=":engageCreditActivity"/></ruleml:op>
                          <ruleml:arg index="1"><ruleml:Var>X</ruleml:Var></ruleml:arg>
                        </ruleml:Atom>
                      </ruleml:formula>
                    </lrml:Prohibition>
                  </ruleml:formula>
                </lrml:SuborderList>
              </ruleml:then>
            </ruleml:Rule>
          </lrml:hasTemplate>
        </lrml:PrescriptiveStatement>
      </lrml:hasStatement>
      <!--       rule2     A person can engage in a credit activity if the person hold a licence -->
      <lrml:hasStatement>
        <lrml:PrescriptiveStatement key="ps2">
          <lrml:hasTemplate>
            <ruleml:Rule key=":rule2" closure="universal">
              <lrml:hasStrength>
                <lrml:DefeasibleStrength/>
              </lrml:hasStrength>
              <ruleml:if>
                <ruleml:Atom>
                  <ruleml:op><ruleml:Rel iri=":hasLicence"/></ruleml:op>
                  <ruleml:arg index="1"><ruleml:Var>X</ruleml:Var></ruleml:arg>
                </ruleml:Atom>
              </ruleml:if>
              <ruleml:then>
                <lrml:SuborderList>
                  <ruleml:formula index="1">
                    <lrml:Permission>
                      <ruleml:formula>
                        <ruleml:Atom>
                          <ruleml:op><ruleml:Rel iri=":engageCreditActivity"/></ruleml:op>
                          <ruleml:arg index="1"><ruleml:Var>X</ruleml:Var></ruleml:arg>
                        </ruleml:Atom>
                      </ruleml:formula>
                    </lrml:Permission>
                  </ruleml:formula>
                </lrml:SuborderList>
              </ruleml:then>
            </ruleml:Rule>
          </lrml:hasTemplate>
        </lrml:PrescriptiveStatement>
      </lrml:hasStatement>
      <!-- Penalty Statement block -->
      <lrml:hasStatement>
        <lrml:PenaltyStatement key="pen1">
          <lrml:hasTemplate>
            <lrml:SuborderList>
              <ruleml:formula index="1">
                <lrml:Obligation>
                  <ruleml:formula>
                    <ruleml:Atom>
                      <ruleml:op><ruleml:Rel iri=":payCivilUnits"/></ruleml:op>
                      <ruleml:arg index="1"><ruleml:Var>X</ruleml:Var></ruleml:arg>
                      <ruleml:arg index="2"><ruleml:Ind>2000</ruleml:Ind></ruleml:arg>
                    </ruleml:Atom>
                  </ruleml:formula>
                </lrml:Obligation>
              </ruleml:formula>
            </lrml:SuborderList>
          </lrml:hasTemplate>
        </lrml:PenaltyStatement>
      </lrml:hasStatement>
      <lrml:hasStatement>
        <lrml:PenaltyStatement key="pen2">
          <lrml:hasTemplate>
            <lrml:SuborderList>
              <ruleml:formula index="1">
                <lrml:Obligation>
                  <ruleml:formula>
                    <ruleml:Atom>
                      <ruleml:op><ruleml:Rel iri=":payPenalUnits"/></ruleml:op>
                      <ruleml:arg index="1"><ruleml:Var>X</ruleml:Var></ruleml:arg>
                      <ruleml:arg index="2"><ruleml:Ind>200</ruleml:Ind></ruleml:arg>
                    </ruleml:Atom>
                  </ruleml:formula>
                </lrml:Obligation>
              </ruleml:formula>
              <ruleml:formula index="2">
                <lrml:Obligation>
                  <ruleml:formula>
                    <ruleml:Atom>
                      <ruleml:op><ruleml:Rel iri=":imprisonment"/></ruleml:op>
                      <ruleml:arg index="1"><ruleml:Var>X</ruleml:Var></ruleml:arg>
                      <ruleml:arg index="2"><ruleml:Ind>2 years</ruleml:Ind></ruleml:arg>
                    </ruleml:Atom>
                  </ruleml:formula>
                </lrml:Obligation>
              </ruleml:formula>
              <ruleml:formula index="3">
                <lrml:Obligation>
                  <ruleml:formula>
                    <ruleml:Atom>
                      <ruleml:op><ruleml:Rel iri=":payPebnalUnitPlusImprisonment"/></ruleml:op>
                      <ruleml:arg index="1"><ruleml:Var>X</ruleml:Var></ruleml:arg>
                      <ruleml:arg index="2"><ruleml:Ind>200</ruleml:Ind></ruleml:arg>
                      <ruleml:arg index="3"><ruleml:Ind>2 years</ruleml:Ind></ruleml:arg>
                    </ruleml:Atom>
                  </ruleml:formula>
                </lrml:Obligation>
              </ruleml:formula>
            </lrml:SuborderList>
          </lrml:hasTemplate>
        </lrml:PenaltyStatement>
      </lrml:hasStatement>
      <!-- Reparation Statement block -->
      <lrml:hasStatement>
        <lrml:ReparationStatement key="rep1">
          <lrml:hasTemplate>
            <lrml:Reparation key="assoc1">
              <lrml:appliesPenalty keyref="#pen1"/>
              <lrml:toPrescriptiveStatement keyref="#ps1"/>
            </lrml:Reparation>
          </lrml:hasTemplate>
        </lrml:ReparationStatement>
      </lrml:hasStatement>
      <!-- Alternate form of Override, if it is explicitly stated in the text. -->
      <lrml:hasStatement>
        <lrml:OverrideStatement>
          <lrml:hasTemplate>
            <lrml:Override over="#ps2" under="#ps1"/>
          </lrml:hasTemplate>
        </lrml:OverrideStatement>
      </lrml:hasStatement>
    </lrml:Statements>
  </lrml:hasStatements>
</lrml:LegalRuleML>

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