[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Lrml examples and RDF first extraction
Dear all,please find in attachment the first conversion file from LegalRuleML (Context) into simplified RDF using RAWE.
It is valid using http://www.w3.org/RDF/Validator/ and it is possible to visualize with graph.
I would be happy to have your feedbacks. Secondly I have refined the attached examples, useful for the tutorial: - 504US - section 29 - complaintFor sure we need to polish them, especially under the logic formalization, but for now they are valid using the last lrml schema.
Finally please find the last version of the html documentation (only the part of the schema) in this link:
http://sinatra.cirsfid.unibo.it/lrml4_and_ruleml.zip This time the ruleml is separated by lrml. 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" encoding="UTF-8"?> <!DOCTYPE RDF [ <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns"> <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema"> <!ENTITY xs "http://www.w3.org/2001/XMLSchema"> <!ENTITY lrmlmm "http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel"> <!ENTITY akn "http://docs.oasis-open.org/legaldocml/ns/akn/3.0/CSD03"> <!ENTITY jurisdictions "http://example.org/jurisdictions.owl#"> <!ENTITY lrmlv "http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab"> <!ENTITY authorities "http://example.org/authorities.owl#"> <!ENTITY rulemlmm "http://ruleml.org/1.0/metamodel"> ]> <rdf:RDF xmlns:rdf="&rdf;#" xmlns:rdfs="&rdfs;#" xmlns:xs="&xs;" xmlns:rulemlmm="&rulemlmm;#" xmlns:lrmlmm="&lrmlmm;#" xml:base="&lrmlmm;"> <rdf:Description rdf:about="www.example.2.1.1.xml#rule1"> <lrmlmm:appliesTemporalCharacteristics> <lrmlmm:TemporalCharacteristic> <lrmlmm:forRuleStatus rdf:resource="&lrmlv;#Efficacious"/> <lrmlmm:hasStatusDevelopment rdf:resource="&lrmlv;#Starts"/> <lrmlmm:atTimeInstant>2012-07-21T00:00:00Z</lrmlmm:atTimeInstant> </lrmlmm:TemporalCharacteristic> </lrmlmm:appliesTemporalCharacteristics> <lrmlmm:appliesRole> <lrmlmm:Role rdf:about="&lrmlv;#Author"> <lrmlmm:filledBy rdf:resource="http://monica.palmirani.cirsfid.unibo.it"/> </lrmlmm:Role> </lrmlmm:appliesRole> <lrmlmm:appliesSource rdf:resource="&akn;#sec504-clsc-pnt1"/> <lrmlmm:appliesSource rdf:resource="&akn;#sec504-clsc-pnt1"/> <lrmlmm:appliesStrength rdf:resource="&lrmlv;defeasible"/> <lrmlmm:appliesJurisdiction rdf:resource="&jurisdictions;us"/> <lrmlmm:appliesAuthority rdf:resource="&authorities;congress"/> </rdf:Description> </rdf:RDF>
Attachment:
servlet_2826147009843450965.png
Description: PNG image
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE Document [ <!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 rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns"> <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema"> <!ENTITY rulemlmm "http://ruleml.org/1.0/metamodel"> <!ENTITY ruleml "http://ruleml.org/spec"> <!ENTITY xs "http://www.w3.org/2001/XMLSchema"> <!ENTITY xsi "&xs;-instance"> <!ENTITY lkruleml:if "http://www.estruleml:Rellaproject.org/lkruleml:if-core"> <!ENTITY lkruleml:if-time-mod "&lkruleml:if;/time-modruleml:ification.owl"> <!ENTITY jurisdictions "http://example.org/jurisdictions.owl#"> <!ENTITY authorities "http://example.org/authorities.owl#"> <!ENTITY UScode "http://akomantoso.org/us/codes;us/main"> <!ENTITY unibo "http://www.cirsfid.unibo.it/ontology/"> ]> <lrml:LegalRuleML xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://docs.oasis-open.org/legalruleml/ns/v1.0/ ../../schemas/xsd-compact/lrml4xsd-compact.xsd" xmlns="&base;#" xmlns:lrml="&lrml;/" xmlns:ruleml="&ruleml;" xmlns:rulemlmm="&rulemlmm;#" xml:base="&base;" xmlns:xs="&xs;" xmlns:unibo="&unibo;"> <!-- US Code sec. 504 in three druleml:ifferent versions, URI are works with t parameters --> <lrml:LegalSources> <lrml:LegalSource key="sec504-clsa-pnt1" sameAs="&UScode;#title17-chp5-sec504-clsa-lst1-pnt1"/> <lrml:LegalSource key="sec504-clsa-pnt2" sameAs="&UScode;#title17-chp5-sec504-clsa-lst1-pnt2"/> <lrml:LegalSource key="sec504-clsb" sameAs="&UScode;#title17-chp5-sec504-clsb"/> <lrml:LegalSource key="sec504-clsc-pnt1" sameAs="&UScode;#title17-chp5-sec504-clsc-lst1-pnt1"/> <lrml:LegalSource key="sec504-clsc-pnt2-sb1" sameAs="&UScode;#title17-chp5-sec504-clsc-lst1-pnt2-subpar1"/> <lrml:LegalSource key="sec504-clsc-pnt2-sb2" sameAs="&UScode;#title17-chp5-sec504-clsc-lst1-pnt2-subpar2"/> <lrml:LegalSource key="sec504-clsc-pnt2-sb3" sameAs="&UScode;#title17-chp5-sec504-clsc-lst1-pnt2-subpar3"/> </lrml:LegalSources> <lrml:TimeInstants> <ruleml:Time key="t1"> <ruleml:Data xsi:type="xs:dateTime">1978-01-01T01:01:00.0Z</ruleml:Data> </ruleml:Time> <ruleml:Time key="t2"> <ruleml:Data xsi:type="xs:dateTime">1989-03-01T01:01:00.0Z</ruleml:Data> </ruleml:Time> <ruleml:Time key="t5"> <ruleml:Data xsi:type="xs:dateTime">1999-12-09T01:01:00.0Z</ruleml:Data> </ruleml:Time> <ruleml:Time key="t6"> <ruleml:Data xsi:type="xs:dateTime">2012-07-20T01:01:00.0Z</ruleml:Data> </ruleml:Time> </lrml:TimeInstants> <lrml:TemporalCharacteristics key="tblock1"> <lrml:TemporalCharacteristic key="e1-b"> <lrml:forRuleStatus iri="&lrmlv;#Efficacious"/> <lrml:hasStatusDevelopment iri="&lrmlv;#Starts"/> <lrml:atTimeInstant keyref="#t1"/> </lrml:TemporalCharacteristic> <lrml:TemporalCharacteristic key="e1-e"> <lrml:forRuleStatus iri="&lrmlv;#Efficacious"/> <lrml:hasStatusDevelopment iri="&lrmlv;#end"/> <lrml:atTimeInstant keyref="#t2"/> </lrml:TemporalCharacteristic> </lrml:TemporalCharacteristics> <lrml:TemporalCharacteristics key="tblock2"> <lrml:TemporalCharacteristic key="e2-b"> <lrml:forRuleStatus iri="&lrmlv;#Efficacious"/> <lrml:hasStatusDevelopment iri="&lrmlv;#Starts"/> <lrml:atTimeInstant keyref="#t2"/> </lrml:TemporalCharacteristic> <lrml:TemporalCharacteristic key="e2-e"> <lrml:forRuleStatus iri="&lrmlv;#Efficacious"/> <lrml:hasStatusDevelopment iri="&lrmlv;#Ends"/> <lrml:atTimeInstant keyref="#t5"/> </lrml:TemporalCharacteristic> </lrml:TemporalCharacteristics> <lrml:TemporalCharacteristics key="tblock3"> <lrml:TemporalCharacteristic key="e5-b"> <lrml:forRuleStatus iri="&lrmlv;#Efficacious"/> <lrml:hasStatusDevelopment iri="&lrmlv;#Starts"/> <lrml:atTimeInstant keyref="#t5"/> </lrml:TemporalCharacteristic> </lrml:TemporalCharacteristics> <lrml:Agents> <!-- type="&lrmlv;Co-Author" --> <lrml:Agent key="aut1" sameAs="&unibo;/person.owl#m.palmirani"/> </lrml:Agents> <lrml:Authorities> <lrml:Authority key="congress" sameAs="&unibo;/organization.owl#congress"> <lrml:type iri="&lrmlv;Legislature"/> </lrml:Authority> </lrml:Authorities> <lrml:Context key="ruleInfo1" hasCreationDate="#t6"> <lrml:appliesTemporalCharacteristics keyref="#tblock1"/> <lrml:appliesStrength iri="&lrmlv;defeasible"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:appliesAssociations> <lrml:Associations key="sourceBlock1"> <lrml:Association> <lrml:appliesSource keyref="#sec504-clsc-pnt1"/> <lrml:toTarget keyref="#rule1-penalty1"/> </lrml:Association> <lrml:Association> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sb1"/> <lrml:toTarget keyref="#rule1-penalty2"/> </lrml:Association> <lrml:Association> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sb2"/> <lrml:toTarget keyref="#rule1-penalty3"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:toStatement keyref="#rule1"/> </lrml:Context> <lrml:Context key="ruleInfo2" hasCreationDate="#t6"> <lrml:appliesTemporalCharacteristics keyref="#tblock2"/> <lrml:appliesStrength iri="&lrmlv;defeasible"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:appliesAssociations> <lrml:Associations key="sourceBlock2"> <lrml:Association> <lrml:appliesSource keyref="#sec504-clsc-pnt1"/> <lrml:toTarget keyref="#rule2-penalty1"/> </lrml:Association> <lrml:Association> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sb1"/> <lrml:toTarget keyref="#rule2-penalty2"/> </lrml:Association> <lrml:Association> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sb2"/> <lrml:toTarget keyref="#rule2-penalty3"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:toStatement keyref="#rule2"/> </lrml:Context> <lrml:Context key="ruleInfo3" hasCreationDate="#t6"> <lrml:appliesTemporalCharacteristics keyref="#tblock3"/> <lrml:appliesStrength iri="&lrmlv;defeater"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:appliesAssociations> <lrml:Associations key="sourceBlock3"> <lrml:Association> <lrml:appliesSource keyref="#sec504-clsc-pnt1"/> <lrml:toTarget keyref="#rule1-penalty1"/> </lrml:Association> <lrml:Association> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sb1"/> <lrml:toTarget keyref="#rule1-penalty1"/> </lrml:Association> <lrml:Association> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sb2"/> <lrml:toTarget keyref="#rule1-penalty3"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:toStatement keyref="#rule3"/> </lrml:Context> <lrml:Context key="ruleInfo4" hasCreationDate="#t6"> <lrml:appliesSource keyref="#sec504-clsc-pnt2"/> <lrml:appliesTemporalCharacteristics keyref="#tblock1"/> <lrml:appliesStrength iri="&lrmlv;defeater"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:toStatement keyref="#rule4"/> </lrml:Context> <lrml:Context key="ruleInfo5" hasCreationDate="#t6"> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sp1"/> <lrml:appliesTemporalCharacteristics keyref="#tblock1"/> <lrml:appliesStrength iri="&lrmlv;defeater"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:toStatement keyref="#rule5"/> </lrml:Context> <lrml:Context key="ruleInfo6" hasCreationDate="#t6"> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sp2"/> <lrml:appliesTemporalCharacteristics keyref="#tblock1"/> <lrml:appliesStrength iri="&lrmlv;defeater"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:toStatement keyref="#rule6"/> </lrml:Context> <lrml:Context key="ruleInfo7" hasCreationDate="#t6"> <lrml:appliesSource keyref="#sec504-clsc-pnt1"/> <lrml:appliesTemporalCharacteristics keyref="#tblock2"/> <lrml:appliesStrength iri="&lrmlv;defeater"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:toStatement keyref="#rule7"/> </lrml:Context> <lrml:Context key="ruleInfo8" hasCreationDate="#t6"> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sp1"/> <lrml:appliesTemporalCharacteristics keyref="#tblock2"/> <lrml:appliesStrength iri="&lrmlv;defeater"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:toStatement keyref="#rule8"/> </lrml:Context> <lrml:Context key="ruleInfo9" hasCreationDate="#t6"> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sp2"/> <lrml:appliesTemporalCharacteristics keyref="#tblock2"/> <lrml:appliesStrength iri="&lrmlv;defeater"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:toStatement keyref="#rule9"/> </lrml:Context> <lrml:Context key="ruleInfo10" hasCreationDate="#t6"> <lrml:appliesSource keyref="#sec504-clsc-pnt1"/> <lrml:appliesTemporalCharacteristics keyref="#tblock3"/> <lrml:appliesStrength iri="&lrmlv;defeater"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:toStatement keyref="#rule10"/> </lrml:Context> <lrml:Context key="ruleInfo11" hasCreationDate="#t6"> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sp1"/> <lrml:appliesTemporalCharacteristics keyref="#tblock3"/> <lrml:appliesStrength iri="&lrmlv;defeater"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:toStatement keyref="#rule11"/> </lrml:Context> <lrml:Context key="ruleInfo12" hasCreationDate="#t6"> <lrml:appliesSource keyref="#sec504-clsc-pnt2-sp2"/> <lrml:appliesTemporalCharacteristics keyref="#tblock3"/> <lrml:appliesStrength iri="&lrmlv;defeater"/> <lrml:appliesRole> <lrml:Role iri="&lrmlv;#Author"> <lrml:filledBy keyref="#aut1"/> </lrml:Role> </lrml:appliesRole> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="&jurisdictions;us"/> <lrml:toStatement keyref="#rule12"/> </lrml:Context> <lrml:Statements key="rulebase1"> <lrml:Penalty key="rule1-penalty1"> <lrml:Obligation key="rule1-penalty1-obl1"> <ruleml:And> <ruleml:Atom key="rule1-penalty1-obl1-axm1"> <ruleml:Rel iri="&lrmlv;payFine"> Pay min </ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>250 </ruleml:Ind> </ruleml:Atom> <ruleml:Atom key="rule1-penalty1-obl1-axm2"> <ruleml:Rel iri="&lrmlv;payFine"> Pay max </ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>10,000 </ruleml:Ind> </ruleml:Atom> </ruleml:And> </lrml:Obligation> </lrml:Penalty> <lrml:Penalty key="rule1-penalty2"> <lrml:Obligation key="rule1-penalty2-obl1"> <ruleml:Atom key="rule1-penalty2-obl1-atom1"> <ruleml:Rel iri="&lrmlv;payFine"> Pay max</ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>50,000</ruleml:Ind> </ruleml:Atom> </lrml:Obligation> </lrml:Penalty> <lrml:Penalty key="rule1-penalty3"> <lrml:Obligation key="rule1-penalty3-obl1"> <ruleml:Atom key="rule1-penalty3-obl1-atom1"> <ruleml:Rel iri="&lrmlv;payFine">Pay min</ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>100</ruleml:Ind> </ruleml:Atom> </lrml:Obligation> </lrml:Penalty> <lrml:Penalty key="rule2-penalty1"> <lrml:Obligation key="obl1"> <ruleml:And> <ruleml:Atom key="rule2-penalty1-axm1"> <ruleml:Rel iri="&lrmlv;payFine"> min Pay </ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>500 </ruleml:Ind> </ruleml:Atom> <ruleml:Atom key="rule2-penalty1-axm2"> <ruleml:Rel iri="&lrmlv;payFine"> Pay max </ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>20,000 </ruleml:Ind> </ruleml:Atom> </ruleml:And> </lrml:Obligation> </lrml:Penalty> <lrml:Penalty key="rule2-penalty2"> <lrml:Obligation key="rule2-penalty2-obl1"> <ruleml:Atom key="rule2-penalty2-obl1-axm1"> <ruleml:Rel iri="&lrmlv;payFine"> Pay max</ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>100,000</ruleml:Ind> </ruleml:Atom> </lrml:Obligation> </lrml:Penalty> <lrml:Penalty key="rule2-penalty3"> <lrml:Obligation key="rule2-penalty3-obl1"> <ruleml:Atom key="rule2-penalty3-obl1-axm1"> <ruleml:Rel iri="&lrmlv;payFine">Pay min </ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>200</ruleml:Ind> </ruleml:Atom> </lrml:Obligation> </lrml:Penalty> <lrml:Penalty key="rule3-penalty1"> <lrml:Obligation key="rule3-penalty1-obl1"> <ruleml:And> <ruleml:Atom key="rule3-penalty1-obl1-axm1"> <ruleml:Rel iri="&lrmlv;payFine"> min Pay </ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>750 </ruleml:Ind> </ruleml:Atom> <ruleml:Atom key="rule3-penalty1-obl1-axm1"> <ruleml:Rel iri="&lrmlv;payFine"> Pay max </ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>30,000 </ruleml:Ind> </ruleml:Atom> </ruleml:And> </lrml:Obligation> </lrml:Penalty> <lrml:Penalty key="rule3-penalty2"> <lrml:Obligation key="rule3-penalty2-obl1"> <ruleml:Atom key="rule3-penalty2-obl1-axm1"> <ruleml:Rel iri="&lrmlv;payFine"> Pay max</ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>150,000</ruleml:Ind> <ruleml:Ind>30,000 </ruleml:Ind> </ruleml:Atom> </lrml:Obligation> </lrml:Penalty> <lrml:Penalty key="rule3-penalty3"> <lrml:Obligation key="rule3-penalty3-obl1"> <ruleml:Atom key="rule3-penalty3-obl1-axm1"> <ruleml:Rel iri="&lrmlv;payFine">Pay </ruleml:Rel> <ruleml:Var>X</ruleml:Var> <ruleml:Ind>200</ruleml:Ind> </ruleml:Atom> </lrml:Obligation> </lrml:Penalty> <!-- rules --> <lrml:PrescriptiveStatement key="ps1"> <ruleml:Rule key="rule1" closure="universal"> <ruleml:if> <ruleml:And> <ruleml:Atom key="rule1-ruleml:Atom2"> <ruleml:Rel iri="&lkruleml:if;#Infringement">Copyright Infringement</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#infranger">X</ruleml:Var> </ruleml:Atom> <ruleml:Atom key="rule1-ruleml:Atom3"> <ruleml:Rel iri="&lkruleml:if;#notBurdenProving">Not burden of proving</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#copyrightOwner">Y</ruleml:Var> </ruleml:Atom> <ruleml:Atom key="rule1-ruleml:Atom4"> <ruleml:Rel iri="&lkruleml:if;#beforuleml:ruleml:RelinalJudgment">may elect any time before final judgment</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#copyrightOwner">Y</ruleml:Var> </ruleml:Atom> </ruleml:And> </ruleml:if> <ruleml:then> <ruleml:Atom key="rule1-ruleml:Atom1"> <ruleml:Rel iri="&lkruleml:if;#reparation">reparation</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#phisicalPerson">X</ruleml:Var> <ruleml:Ind iri="#rule1-penalty1"/> </ruleml:Atom> </ruleml:then> </ruleml:Rule> </lrml:PrescriptiveStatement> <lrml:PrescriptiveStatement key="ps2"> <ruleml:Rule key="rule2" closure="universal"> <ruleml:if> <ruleml:And> <ruleml:Atom key="rule2-ruleml:Atom2"> <ruleml:Rel iri="&lkruleml:if;#Infringement">Copyright Infringement</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#infranger">X</ruleml:Var> </ruleml:Atom> <ruleml:Atom key="rule2-ruleml:Atom3"> <ruleml:Rel iri="&lkruleml:if;#BurdenProving">Burden of proving</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#copyrightOwner">Y</ruleml:Var> </ruleml:Atom> <ruleml:Atom key="rule2-ruleml:Atom3"> <ruleml:Rel iri="&lkruleml:if;#willfully">Willfully</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#infranger">X</ruleml:Var> </ruleml:Atom> </ruleml:And> </ruleml:if> <ruleml:then> <ruleml:Atom key="rule2-ruleml:Atom1"> <ruleml:Rel iri="&lkruleml:if;#reparation">reparation</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#infranger">X</ruleml:Var> <ruleml:Ind iri="#rule1-penalty2"/> </ruleml:Atom> </ruleml:then> </ruleml:Rule> </lrml:PrescriptiveStatement> <lrml:PrescriptiveStatement key="ps3"> <ruleml:Rule key="rule3" closure="universal"> <ruleml:if> <ruleml:And> <ruleml:Atom key="rule3-ruleml:Atom2"> <ruleml:Rel iri="&lkruleml:if;#Infringement">Copyright Infringement</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#infranger">X</ruleml:Var> </ruleml:Atom> <ruleml:Atom key="rule3-ruleml:Atom3"> <ruleml:Rel iri="&lkruleml:if;#burdenProving">Burden of proving</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#infranger">X</ruleml:Var> </ruleml:Atom> <ruleml:Atom key="rule3-ruleml:Atom3"> <ruleml:Rel iri="&lkruleml:if;#notAware">not aware</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#infranger">X</ruleml:Var> </ruleml:Atom> </ruleml:And> </ruleml:if> <ruleml:then> <ruleml:Atom key="rule3-ruleml:Atom1"> <ruleml:Rel iri="&lkruleml:if;#reparation">reparation</ruleml:Rel> <ruleml:Var type="&lkruleml:if;#infranger">X</ruleml:Var> <ruleml:Ind iri="#rule1-penalty3"/> </ruleml:Atom> </ruleml:then> </ruleml:Rule> </lrml:PrescriptiveStatement> </lrml:Statements> <lrml:Statements key="rulebase2"> <lrml:hasQualification> <lrml:Overrides over="#rule2" under="#rule1"/> </lrml:hasQualification> <lrml:hasQualification> <lrml:Overrides over="#rule3" under="#rule2"/> </lrml:hasQualification> </lrml:Statements> </lrml:LegalRuleML>
<?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 defeasible-ontology "http://example.org/defeasible/vocab"> <!ENTITY deontic-ontology "http://example.org/deontic/vocab"> ]> <lrml:LegalRuleML xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://docs.oasis-open.org/legalruleml/ns/v1.0/ ../../schemas/xsd-compact/lrml4xsd-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> <!-- 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:appliesAssociation> <lrml:appliesAssociation> <lrml:Association> <lrml:appliesModality iri="&deontic-ontology;#ob1"/> <lrml:toTarget keyref="#oblig1"/> </lrml:Association> </lrml:appliesAssociation> <lrml:appliesAssociation> <lrml:Association> <lrml:appliesStrength iri="&defeasible-ontology;#defeasible"/> <lrml:toTarget keyref="#ps1"/> </lrml:Association> </lrml:appliesAssociation> <lrml:toStatement 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"> <lrml:hasQualification> <lrml:Overrides over="#ps2" under="#ps1"/> </lrml:hasQualification> <!-- rule1 It is forbidden to engage credit activity --> <lrml:PrescriptiveStatement key="ps1"> <ruleml:Rule key=":rule1" closure="universal"> <lrml:Defeasible key="str1" iri="&defeasible-ontology;#defeasible1"/> <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:Defeasible/> <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 block LRML-Normlized Version --> <lrml:Penalty 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:Penalty> <lrml:Penalty 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 months</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 months</ruleml:Ind> </ruleml:Atom> </lrml:Obligation> </lrml:SuborderList> </lrml:Penalty> <!-- Reparation block LRML-Normlized Version --> <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:Reparation key="rep2"> <lrml:appliesAssociation> <lrml:Association keyref="assoc1"> <lrml:appliesPenalty keyref="#pen2"/> <lrml:toTarget keyref="#ps1"/> </lrml:Association> </lrml:appliesAssociation> </lrml:Reparation> </lrml:Statements> </lrml:LegalRuleML>
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE LegalRuleML [ <!ENTITY ruleml "http://ruleml.org/spec"> <!ENTITY xs "http://www.w3.org/2001/XMLSchema"> <!ENTITY lrmlv "http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab"> <!ENTITY lrml "http://docs.oasis-open.org/legalruleml/ns/v1.0"> <!ENTITY anx "/au/2007-09-10/C628/eng@2012-09-01#"> <!ENTITY tmp "http://www.w3.org/2006/time"> ]> <lrml:LegalRuleML xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://docs.oasis-open.org/legalruleml/ns/v1.0/ ../../schemas/xsd-compact/lrml4xsd-compact.xsd" xmlns:lrml="http://docs.oasis-open.org/legalruleml/ns/v1.0/" key="doc" xmlns:ruleml="&ruleml;" xml:base=" http://docs.oasis-open.org/legalruleml/1.0/examples/approved/ex2.1.1-complaint" xmlns:xs="&xs;"> <lrml:References refType="&lrmlv;#IndustryCode" refIDSystemName="AkomaNtoso2.0-2011-10"> <lrml:Reference refersTo="sec2.1-v2" refID="&anx;sec2.1-v2"/> <lrml:Reference refersTo="sec2.1-list1-v2" refID="&anx;sec2.1-list1-v2"/> <lrml:Reference refersTo="sec2.1-list1-itm31-v2" refID="&anx;sec2.1-list1-itm31-v2"/> <lrml:Reference refersTo="sec2.1-list1-itm31-par1-v2" refID="&anx;sec2.1-list1-itm31-par1-v2"/> <lrml:Reference refersTo="defn-complaint-v2" refID="&anx;defn-complaint"/> <lrml:Reference refersTo="sec2.1-list1-itm31-par2-v2" refID="&anx;sec2.1-list1-itm31-par2-v2"/> <lrml:Reference refersTo="sec2.1-list1-itm31-par2-snt1-v2" refID="&anx;sec2.1-list1-itm31-par2-snt1-v2"/> <lrml:Reference refersTo="sec2.1-list1-itm31-par2-snt2-v2" refID="&anx;sec2.1-list1-itm31-par2-snt2-v2"/> <lrml:Reference refersTo="sec2.1-list1-itm31-par2-snt3-v2" refID="&anx;sec2.1-list1-itm31-par2-snt3-v2"/> <lrml:Reference refersTo="ra1" refID="&anx;ra1"/> </lrml:References> <lrml:References refType="&lrmlv;#TLCConcept" refIDSystemName="AkomaNtoso2.0-2011-10"> <lrml:Reference refersTo="complaint-v2" refID="/ontology/concepts/complaint/complaint-v2"> <lrml:hasComment>the original AN refers to a concept with identifier "/ontology/concepts/complaint". Here we specialize this concept to the specific complaint concept that is defined in this second version of the telecommunications code.</lrml:hasComment> </lrml:Reference> </lrml:References> <lrml:TimeInstants> <ruleml:Time key="time2"> <ruleml:Data xsi:type="xs:dateTime">2012-07-11T00:00:00Z</ruleml:Data> </ruleml:Time> <ruleml:Time key="time3"> <ruleml:Data xsi:type="xs:dateTime">2012-09-01T00:00:00Z</ruleml:Data> </ruleml:Time> </lrml:TimeInstants> <lrml:TemporalCharacteristics key="tblock2"> <lrml:TemporalCharacteristic key="tchar3"> <lrml:forRuleStatus iri="&lrmlv;#Efficacious"/> <lrml:hasStatusDevelopment iri="&lrmlv;#Ends"/> <lrml:atTimeInstant keyref="#time2"/> </lrml:TemporalCharacteristic> <lrml:TemporalCharacteristic key="tchar4"> <lrml:forRuleStatus iri="&lrmlv;#InForce"/> <lrml:hasStatusDevelopment iri="&lrmlv;#Ends"/> <lrml:atTimeInstant keyref="#time3"/> </lrml:TemporalCharacteristic> </lrml:TemporalCharacteristics> <lrml:TemporalCharacteristics key="tblock3"> <lrml:TemporalCharacteristic key="tchar5"> <lrml:forRuleStatus iri="&lrmlv;#Efficacious"/> <lrml:hasStatusDevelopment iri="&lrmlv;#Starts"/> <lrml:atTimeInstant keyref="#time2"/> </lrml:TemporalCharacteristic> <lrml:TemporalCharacteristic key="tchar6"> <lrml:forRuleStatus iri="&lrmlv;#InForce"/> <lrml:hasStatusDevelopment iri="&lrmlv;#Starts"/> <lrml:atTimeInstant keyref="#time3"/> </lrml:TemporalCharacteristic> </lrml:TemporalCharacteristics> <lrml:Associations key="sourceBlock0-v2"> <lrml:Association> <lrml:appliesSource keyref="#ra1"/> <lrml:toTarget keyref="#tchar3"/> <lrml:toTarget keyref="#tchar4"/> <lrml:toTarget keyref="#tchar5"/> <lrml:toTarget keyref="#tchar6"/> </lrml:Association> </lrml:Associations> <lrml:Context key="ruleInfo2-v1"> <lrml:appliesAssociations> <lrml:Associations key="sourceBlock1-v2"/> </lrml:appliesAssociations> <lrml:appliesAssociations> <lrml:Associations> <lrml:Association> <lrml:appliesTemporalCharacteristics keyref="#tblock2"/> <lrml:toTarget keyref="#rule1a_v1"/> <lrml:toTarget keyref="#rule1b_v1"/> <lrml:toTarget keyref="#rule1-atom1-v1"/> <lrml:toTarget keyref="#rule1-atom2-v1"/> <lrml:toTarget keyref="#rule1-atom3-v1"/> <lrml:toTarget keyref="#rule1-atom4-v1"/> <lrml:toTarget keyref="#rule1-atom5-v1"/> <lrml:toTarget keyref="#rule1-atom6-v1"/> <lrml:toTarget keyref="#rule1-atom7-v1"/> <lrml:toTarget keyref="#rule1-atom8-v1"/> <lrml:toTarget keyref="#rule1-atom9-v1"/> <lrml:toTarget keyref="#rule1-atom10-v1"/> <lrml:toTarget keyref="#rule1-atom11-v1"/> <lrml:toTarget keyref="#rule1-atom12-v1"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:toStatement keyref="#rule1a_v1"/> <lrml:toStatement keyref="#rule1b_v1"/> </lrml:Context> <lrml:Context key="ruleInfo1-v2"> <lrml:appliesStrength iri="&lrmlv;#defeasible"/> <lrml:appliesAssociations> <lrml:Associations key="sourceBlock2-v2"> <!-- rulebases --> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par1-v2"/> <lrml:toTarget keyref="#rulebase1-v2"/> </lrml:Association> <!-- rules --> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par1-v2"/> <lrml:toTarget keyref="#rule1a-v2"/> <lrml:toTarget keyref="#rule1b-v2"/> </lrml:Association> <!-- atoms --> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par1-v2"/> <lrml:toTarget keyref="#rule1-atom1-v2"/> <lrml:toTarget keyref="#rule1-atom2-v2"/> <lrml:toTarget keyref="#rule1-atom3-v2"/> <lrml:toTarget keyref="#rule1-atom4-v2"/> </lrml:Association> <!-- relations --> <lrml:Association> <lrml:appliesSource keyref="#defn-complaint-v2"/> <lrml:toTarget keyref="#rule1-rel2-v2"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:appliesAssociations> <lrml:Associations> <lrml:Association> <lrml:appliesTemporalCharacteristics keyref="#tblock3"/> <lrml:toTarget keyref="#rule1a_v2"/> <lrml:toTarget keyref="#rule1b_v2"/> <lrml:toTarget keyref="#rule1-atom1-v2"/> <lrml:toTarget keyref="#rule1-atom2-v2"/> <lrml:toTarget keyref="#rule1-atom3-v2"/> <lrml:toTarget keyref="#rule1-atom4-v2"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:toStatement keyref="#rule1a-v2"/> <lrml:toStatement keyref="#rule1b-v2"/> </lrml:Context> <lrml:Context key="ruleInfo2-v2"> <lrml:appliesStrength iri="&lrmlv;#defeater"/> <lrml:appliesAssociations> <lrml:Associations key="sourceBlock3-v2"/> </lrml:appliesAssociations> <lrml:appliesAssociations> <lrml:Associations key="sourceBlock4-v2"> <!-- rulebases --> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par2-v2"/> <lrml:toTarget keyref="#rulebase2-v2"/> </lrml:Association> <!-- rules --> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par2-snt1-v2"/> <lrml:toTarget keyref="#rule2-v2"/> </lrml:Association> <!-- relations --> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par2-snt1-v2"/> <lrml:toTarget keyref="#rule2-rel1-v2"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:appliesAssociations> <lrml:Associations> <lrml:Association> <lrml:appliesTemporalCharacteristics keyref="#tblock3"/> <lrml:toTarget keyref="#rule2-v2"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:toStatement keyref="#rule2-v2"/> </lrml:Context> <lrml:Context key="ruleInfo3-v2"> <lrml:appliesStrength iri="&lrmlv;#defeasible"/> <lrml:appliesAssociations> <lrml:Associations key="sourceBlock5-v2"> <!-- rulebases --> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par2-v2"/> <lrml:toTarget keyref="#rulebase2-v2"/> </lrml:Association> <!-- rules --> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par2-snt2-v2"/> <lrml:toTarget keyref="#rule3-v2"/> </lrml:Association> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par2-snt3-v2"/> <lrml:toTarget keyref="#rule4-v2"/> </lrml:Association> <!-- relations --> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par2-snt2-v2"/> <lrml:toTarget keyref="#rule3-rel1-v2"/> </lrml:Association> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par2-snt3-v2"/> <lrml:toTarget keyref="#rule4-rel1-v2"/> <lrml:toTarget keyref="#rule4-rel2-v2"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:appliesAssociations> <lrml:Associations> <lrml:Association> <lrml:appliesTemporalCharacteristics keyref="#tblock3"/> <lrml:toTarget keyref="#rule3-v2"/> <lrml:toTarget keyref="#rule4-v2"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:toStatement keyref="#rule3-v2"/> <lrml:toStatement keyref="#rule4-v2"/> </lrml:Context> <lrml:Context key="ruleInfo4-v2"> <lrml:appliesStrength iri="&lrmlv;#defeasible"/> <lrml:appliesAssociations> <lrml:Associations key="sourceBlock6-v2"> <!-- rulebases --> <lrml:Association> <lrml:appliesSource keyref="#sec2.1-list1-itm31-par3-v2"/> <lrml:toTarget keyref="#rulebase3-v2"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:appliesAssociations> <lrml:Associations> <lrml:Association> <lrml:appliesModality iri="&lrmlv;obligation"/> <lrml:toTarget keyref="#rule5-v2"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:appliesAssociations> <lrml:Associations> <lrml:Association> <lrml:appliesTemporalCharacteristics keyref="#tblock3"/> <lrml:toTarget keyref="#rule5-v2"/> <lrml:toTarget keyref="#rule6-v2"/> </lrml:Association> </lrml:Associations> </lrml:appliesAssociations> <lrml:toStatement keyref="#rule5-v2"/> </lrml:Context> <lrml:Statements key="overrides1"> <lrml:hasQualification> <lrml:Overrides over="#rule2-v2" under="#rule1b-v2"> <lrml:hasComment> Issues: The entities referenced here are non-ground rules with different free variables. The rules are implicitly determined to be in conflict if the logical closure of their consequents is inconsistent. </lrml:hasComment> </lrml:Overrides> </lrml:hasQualification> <lrml:hasQualification> <lrml:Overrides over="#rule3-v2" under="#rule1b-v2"/> </lrml:hasQualification> <lrml:hasQualification> <lrml:Overrides over="#rule4-v2" under="#rule3-v2"/> </lrml:hasQualification> <lrml:hasQualification> <lrml:Overrides over="#rule6-v2" under="#rule3-v2"/> </lrml:hasQualification> </lrml:Statements> <lrml:Statements key="textblock1"> <lrml:ConstitutiveStatement key="cs1"> <lrml:hasComment>To be stated as defeasible rules, we must have the representation as two defeasible rules, because one rule may be defeated while the other holds. Isomorphism is not lost because there is still a fixed set of two rules that are affected by changes in the text of the first sentence.</lrml:hasComment> <ruleml:Rule key="rule1a-v2"> <lrml:hasParaphrase> If X is a Complaint, then X <span>is an expression of dissatisfaction made to a Supplier in relation to its Telecommunications Products or the complaints handling process itself, where a response or Resolution is explicitly or implicitly expected by the Consumer</span>. </lrml:hasParaphrase> <ruleml:if> <ruleml:Atom key="rule1-atom1-v2"> <ruleml:Rel iri="#complaint-v2"/> <ruleml:Var>X</ruleml:Var> </ruleml:Atom> </ruleml:if> <ruleml:then> <ruleml:Atom key="rule1-atom2-v2"> <ruleml:Rel iri="#rule1-rel2-v2">is an expression of dissatisfaction made to a Supplier in relation to its Telecommunications Products or the complaints handling process itself, where a response or Resolution is explicitly or implicitly expected by the Consumer</ruleml:Rel> <ruleml:Var>X</ruleml:Var> </ruleml:Atom> </ruleml:then> </ruleml:Rule> </lrml:ConstitutiveStatement> <lrml:ConstitutiveStatement key="cs2"> <ruleml:Rule key="rule1b-v2"> <lrml:hasParaphrase> If Y is an expression of dissatisfaction made to a Supplier in relation to its Telecommunications Products or the complaints handling process itself, where a response or Resolution is explicitly or implicitly expected by the Consumer, then Y is a Complaint. </lrml:hasParaphrase> <ruleml:if> <ruleml:Atom key="rule1-atom3-v2"> <ruleml:Rel iri="#rule1-rel2-v2"/> <ruleml:Var>Y</ruleml:Var> </ruleml:Atom> </ruleml:if> <ruleml:then> <ruleml:Atom key="rule1-atom4-v2"> <ruleml:Rel iri="#complaint-v2"/> <ruleml:Var>Y</ruleml:Var> </ruleml:Atom> </ruleml:then> </ruleml:Rule> </lrml:ConstitutiveStatement> <lrml:ConstitutiveStatement key="cs3"> <lrml:hasComment>While <Neg> would normally be stated in controlled English as "is not the case that", which is stronger than the original phrase " is not necessarily", the sense of the original is captured by weakening the rule to a defeater.</lrml:hasComment> <ruleml:Rule key="rule2-v2"> <lrml:hasParaphrase>If Y is an initial call to a provider to request a service or information or to request support, then it is not necessarily the case that Y is a complaint.</lrml:hasParaphrase> <ruleml:if> <ruleml:Atom key="rule2-atom1-v2"> <ruleml:Rel iri="#rule2-rel1-v2">is an initial call to a provider to request a service or information or to request support</ruleml:Rel> <ruleml:Var>Y</ruleml:Var> </ruleml:Atom> </ruleml:if> <ruleml:then> <ruleml:Neg> <ruleml:Atom key="rule2-atom2-v2"> <ruleml:Rel iri="#complaint-v2"/> <ruleml:Var>Y</ruleml:Var> </ruleml:Atom> </ruleml:Neg> </ruleml:then> </ruleml:Rule> </lrml:ConstitutiveStatement> <lrml:ConstitutiveStatement key="cs4"> <ruleml:Rule key="rule3-v2"> <lrml:hasParaphrase>If W is an initial call to report a fault or service difficulty, then it is not the case that W is a complaint.</lrml:hasParaphrase> <ruleml:if> <ruleml:Atom key="rule3-atom1-v2"> <ruleml:Rel iri="#rule3-rel1-v2">is an initial call to report a fault or service difficulty</ruleml:Rel> <ruleml:Var>W</ruleml:Var> </ruleml:Atom> </ruleml:if> <ruleml:then> <ruleml:Neg> <ruleml:Atom key="rule3-atom2-v2"> <ruleml:Rel iri="#complaint-v2"/> <ruleml:Var>W</ruleml:Var> </ruleml:Atom> </ruleml:Neg> </ruleml:then> </ruleml:Rule> </lrml:ConstitutiveStatement> <lrml:ConstitutiveStatement key="cs5"> <lrml:hasComment> The original phrasing "the Supplier will also treat this initial call as a" has a deontic flavor which is not fully captured by the conversion to "Z is a". However, the legal effect of the paraphrase is completely equivalent to the original. </lrml:hasComment> <ruleml:Rule key="rule4-v2"> <lrml:hasParaphrase>If Z is an initial call to a provider and Z is something that the Customer advises they want treated as a Complaint, then Z is a Complaint. </lrml:hasParaphrase> <ruleml:if> <ruleml:And> <ruleml:Atom key="rule4-atom1-v2"> <ruleml:Rel iri="#rule4-rel1-v2">is an initial call to a provider</ruleml:Rel> <ruleml:Var>Z</ruleml:Var> </ruleml:Atom> <ruleml:Atom key="rule4-atom2-v2"> <ruleml:Rel iri="#rule4-rel2-v2">is something that the Customer advises they want treated as a Complaint</ruleml:Rel> <ruleml:Var>Z</ruleml:Var> </ruleml:Atom> </ruleml:And> </ruleml:if> <ruleml:then> <ruleml:Atom key="rule4-atom1-v2"> <ruleml:Rel iri="#complaint-v2"/> <ruleml:Var>Z</ruleml:Var> </ruleml:Atom> </ruleml:then> </ruleml:Rule> </lrml:ConstitutiveStatement> <lrml:ConstitutiveStatement key="cs6"> <lrml:hasComment>Original: "If a Supplier is uncertain, a Supplier must ask a Customer if they wish to make a Complaint and must rely on the Customerâ??s response." The word "must" indicates this is an obligation rule.</lrml:hasComment> <ruleml:Rule key="rule5-v2"> <lrml:hasParaphrase>If S is a supplier and C is a Customer and S is uncertain if C wishes to make a Complaint, then it is obligatory that S ask C if they wish to make a complaint.</lrml:hasParaphrase> <ruleml:if> <ruleml:And> <ruleml:Atom> <ruleml:Rel iri="#call">is a call from/to</ruleml:Rel> <ruleml:Var>Z</ruleml:Var> <ruleml:Var type="#supplier-v2">S</ruleml:Var> <ruleml:Var type="#customer-v2">C</ruleml:Var> </ruleml:Atom> <ruleml:Atom key="rule5-atom1-v2"> <ruleml:Rel iri="rule5-rel1-v2">is uncertain if/wishes to make a Complaint</ruleml:Rel> <ruleml:Var>S</ruleml:Var> <ruleml:Var>C</ruleml:Var> </ruleml:Atom> </ruleml:And> </ruleml:if> <ruleml:then> <ruleml:Atom key="rule5-atom2-v2"> <ruleml:Rel iri="rule5-rel2-v2">asks/if they wish to make a Complaint</ruleml:Rel> <ruleml:Var>S</ruleml:Var> <ruleml:Var>C</ruleml:Var> </ruleml:Atom> </ruleml:then> </ruleml:Rule> </lrml:ConstitutiveStatement> <lrml:PrescriptiveStatement key="cs7"> <ruleml:Rule key="rule6-v2"> <lrml:hasParaphrase>If S is a supplier and C is a Customer and S asks C if they wish to make a Complaint and C responds to S that they wish to make a Complaint, then the call is a Complaint.</lrml:hasParaphrase> <ruleml:if> <ruleml:And key="rule6-and1-v2"> <ruleml:Atom key="rule6-atom1-v2"> <ruleml:Rel iri="#call">is a call to/from</ruleml:Rel> <ruleml:Var>Z</ruleml:Var> <ruleml:Var type="#supplier-v2">S</ruleml:Var> <ruleml:Var type="#customer-v2">C</ruleml:Var> </ruleml:Atom> <ruleml:Atom key="rule6-atom2-v2"> <ruleml:Rel iri="rule6-rel1-v2">asks/if they wish to make a Complaint</ruleml:Rel> <ruleml:Var>S</ruleml:Var> <ruleml:Var>C</ruleml:Var> </ruleml:Atom> <ruleml:Atom key="rule6-atom3-v2"> <ruleml:Rel iri="rule6-rel2-v2">responds to/that they wish to make a Complaint</ruleml:Rel> <ruleml:Var>C</ruleml:Var> <ruleml:Var>S</ruleml:Var> </ruleml:Atom> </ruleml:And> </ruleml:if> <ruleml:then> <ruleml:Atom key="rule6-atom4-v2"> <ruleml:Rel iri="#complaint-v2"/> <ruleml:Var>Z</ruleml:Var> </ruleml:Atom> </ruleml:then> </ruleml:Rule> </lrml:PrescriptiveStatement> </lrml:Statements> </lrml:LegalRuleML>
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]