[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: New example: section 29
Dear all,Guido and I have made the example "Section 29" with the deontic operators (penalty, reparation) that you can see in attachment for the discussion of today.
Yours, 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 ====================================
<?xml version="1.0"?> <!DOCTYPE RDF [ <!ENTITY base "http://docs.oasis-open.org/legalruleml/examples/approved/ex2.1.8-defeasible"> <!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 deontic-ontology "http://example.org/deontic/vocab"> ]> <?xml-model href="../../schemas/relaxng/lrml-ordered-all.rnc" type="application/relax-ng-compact-syntax"?> <lrml:LegalRuleML xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="&lrml;/ ../../schemas/rsd/lrml4xsd.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> <!-- This Division applies on or after 1 July 2011, or a later day prescribed by the regulations. --> <lrml:Context key="psInfo1"> <lrml:appliesAssociation> <lrml:Association> <lrml:appliesSource keyref="#ls1"/> <lrml:toTarget keyref=":atom1"/> <lrml:toTarget keyref=":atom2"/> <lrml:toTarget keyref=":atom3"/> </lrml:Association> <lrml:Association> <lrml:appliesModality iri="&deontic-ontology;#ob1"/> <lrml:toTarget keyref="#oblig1"/> </lrml:Association> <lrml:Association> <lrml:appliesStrength iri="&defeasible-ontology;#defeasible"/> <lrml:toStatement keyref="#ps1"/> </lrml:Association> </lrml:appliesAssociation> <lrml:toStatement keyref="#ps1"/> </lrml:Context> <lrml:hasStatements> <!-- (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"> <lrml:hasQualification> <lrml:Overrides over="#ps2" under="#ps1"/> </lrml:hasQualification> <lrml:hasStatement> <!-- rule1 It is forbidden to engage credit activity --> <lrml:PrescriptiveStatement key="ps1"> <lrml:hasTemplate> <ruleml:Rule key=":rule1" closure="universal" strenght="defeasible"> <ruleml:if> <ruleml:Atom> <ruleml:Rel iri="#person"/> <ruleml:Var>X</ruleml:Var> </ruleml:Atom> </ruleml:if> <ruleml:then> <lrml:Suborder> <lrml:Prohibition> <ruleml:Atom> <ruleml:Rel iri="#engageCreditActivity"/> <ruleml:Var>X</ruleml:Var> </ruleml:Atom> </lrml:Prohibition> </lrml:Suborder> </ruleml:then> </ruleml:Rule> </lrml:hasTemplate> </lrml:PrescriptiveStatement> </lrml:hasStatement> <lrml:hasStatement> <!-- rule2 A person can engage in a credit activity if the person hold a licence --> <lrml:PrescriptiveStatement key="ps2"> <lrml:hasTemplate> <ruleml:Rule key=":rule2" closure="universal" strenght="defeasible"> <ruleml:if> <ruleml:Atom> <ruleml:Rel iri="#hasLicence"/> <ruleml:Var>X</ruleml:Var> </ruleml:Atom> </ruleml:if> <ruleml:then> <lrml:Suborder> <lrml:Permission> <ruleml:Atom> <ruleml:Rel iri="#engageCreditActivity"/> <ruleml:Var>X</ruleml:Var> </ruleml:Atom> </lrml:Permission> </lrml:Suborder> </ruleml:then> </ruleml:Rule> </lrml:hasTemplate> </lrml:PrescriptiveStatement> </lrml:hasStatement> <!-- Penalty block LRML-Normlized Version --> <lrml:Penalty key="pen1"> <lrml:Suborder> <lrml:Obligation> <ruleml:Rel iri="#payCivilUnits"/> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>2000</ruleml:Ind> </lrml:Obligation> </lrml:Suborder> </lrml:Penalty> <lrml:Penalty key="pen2"> <lrml:Suborder> <lrml:Obligation> <ruleml:Rel iri="#payPenalUnits"/> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>200</ruleml:Ind> </lrml:Obligation> <lrml:Obligation> <ruleml:Rel iri="#imprisonment"/> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>2 months</ruleml:Ind> </lrml:Obligation> <lrml:Obligation> <ruleml:Rel iri="#payPebnalUnitPlusImprisonment"/> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>200</ruleml:Ind> <ruleml:Ind>2 months</ruleml:Ind> </lrml:Obligation> </lrml:Suborder> </lrml:Penalty> <!-- Reparation block LRML-Normlized Version --> <lrml:hasStatement> <lrml:Reparation key="rep1"> <lrml:appliesAssociation> <lrml:Association key="assoc1"> <lrml:appliesPenalty keyref="#pen1"/> <lrml:toTarget keyref="#ps1"/> </lrml:Association> </lrml:appliesAssociation> </lrml:Reparation> </lrml:hasStatement> <lrml:hasStatement> <lrml:Reparation key="rep2"> <lrml:appliesAssociation> <lrml:Association key="assoc1"> <lrml:appliesPenalty keyref="#pen2"/> <lrml:toTarget keyref="#ps1"/> </lrml:Association> </lrml:appliesAssociation> </lrml:Reparation> </lrml:hasStatement> </lrml:Statements> </lrml:hasStatements> </lrml:LegalRuleML>
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]