[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: WD32
Dear LegalRuleML TC members, please find the last version of WD32 with the XML examples in attachment. The meeting will be tomorrow, 5th April 11.00-12.00 CET. All the 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 ==================================== 5x1000 AI GIOVANI RICERCATORI DELL'UNIVERSITÀ DI BOLOGNA Codice Fiscale: 80007010376
Attachment:
legalruleml-core-spec-wd32.doc
Description: MS-Word document
<?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/approved/ex2.1.8-defeasible#"; xmlns:lrml="http://docs.oasis-open.org/legalruleml/ns/v1.0/"; xmlns:ruleml="http://ruleml.org/spec"; xsi:schemaLocation="http://docs.oasis-open.org/legalruleml/ns/v1.0/ ./schemas/xsd/xsd-normal/lrml-normal.xsd" xmlns:xs="http://www.w3.org/2001/XMLSchema";>
<!-- Example 15 -->
<lrml:hasLegalReferences>
<lrml:LegalReferences xmlns:appex="http://docs.oasis-open.org/legalruleml/examples/approved/"; refType="http://example.legalruleml.org/lrml#LegalSource";>
<lrml:hasLegalReference>
<lrml:LegalReference refersTo="ref1" refID="/au/2012-05-30/C628:2012/eng@/main#sec2.2" refIDSystemName="AkomaNtoso3.0-2016-03"/>
</lrml:hasLegalReference>
<lrml:hasLegalReference>
<lrml:LegalReference refersTo="ref6" refID="ECLI:country:court:year:number" refIDSystemName="European Case Law Identifier" refIDSystemSource="OJ:C:2011:127:0001:0007:EN:PDF"/>
</lrml:hasLegalReference>
</lrml:LegalReferences>
</lrml:hasLegalReferences>
<!-- Example 10 -->
<lrml:hasLegalSources>
<lrml:LegalSources>
<lrml:hasLegalSource>
<lrml:LegalSource key="ls1" sameAs="http://example.org/external-legal-statement"/>
</lrml:hasLegalSource>
</lrml:LegalSources>
</lrml:hasLegalSources>
<!-- Example 12 Alternatives -->
<lrml:hasLegalSources>
<lrml:LegalSources key="ls6">
<lrml:hasLegalSource>
<lrml:LegalSource keyref="#ls1"/>
</lrml:hasLegalSource>
<lrml:hasLegalSource>
<lrml:LegalSource keyref="#ls2"/>
</lrml:hasLegalSource>
</lrml:LegalSources>
</lrml:hasLegalSources>
<lrml:hasLegalSources>
<lrml:LegalSources key="ls7">
<lrml:hasLegalSource>
<lrml:LegalSource keyref="#ls2"/>
</lrml:hasLegalSource>
<lrml:hasLegalSource>
<lrml:LegalSource keyref="#ls3"/>
</lrml:hasLegalSource>
</lrml:LegalSources>
</lrml:hasLegalSources>
<!-- Example 16 -->
<lrml:hasLegalSources>
<lrml:LegalSources>
<lrml:hasLegalSource>
<lrml:LegalSource key="ref2" sameAs="http://www.law.cornell.edu/uscode/text/17/504#psection-1"/>
</lrml:hasLegalSource>
</lrml:LegalSources>
</lrml:hasLegalSources>
<!-- Example 4 -->
<lrml:hasSources>
<lrml:Sources>
<lrml:hasSource>
<lrml:Source key="pen1-v1" sameAs="http://original-version-of-this-document#pen1"/>
</lrml:hasSource>
<lrml:hasSource>
<lrml:Source key="ps2-v1" sameAs="http://original-version-of-this-document#ps2"/>
</lrml:hasSource>
</lrml:Sources>
</lrml:hasSources>
<!-- Example 17 -->
<lrml:hasSources>
<lrml:Sources>
<lrml:hasSource>
<lrml:Source key="ex-rule_1b" sameAs="http://example.com/ex2.1.1-references-b#rule_1b"/>
</lrml:hasSource>
<lrml:hasSource>
<lrml:Source key="oasis-rule_1b" sameAs="http://docs.oasis-open.org/legalruleml/examples/approved/ex2.1.1-references-b#rule_1b"/>
</lrml:hasSource>
</lrml:Sources>
</lrml:hasSources>
<!-- Example 26 -->
<lrml:hasTimes>
<lrml:Times>
<lrml:hasTime>
<ruleml:Time key=":t1">
<ruleml:arg index="1">
<ruleml:Data xsi:type="xs:dateTime">1978-01-01T00:00:00</ruleml:Data>
</ruleml:arg>
</ruleml:Time>
</lrml:hasTime>
</lrml:Times>
</lrml:hasTimes>
<!-- Example 27 -->
<lrml:hasTemporalCharacteristics>
<lrml:TemporalCharacteristics key="tblock1">
<lrml:hasTemporalCharacteristic>
<lrml:TemporalCharacteristic key="nev1">
<lrml:forStatus iri="http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab#Efficacious"/>
<lrml:hasStatusDevelopment iri="http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab#Starts"/>
<lrml:atTime keyref="#t1"/>
</lrml:TemporalCharacteristic>
</lrml:hasTemporalCharacteristic>
<lrml:hasTemporalCharacteristic>
<lrml:TemporalCharacteristic key="nev2">
<lrml:forStatus iri="http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab#InForce"/>
<lrml:hasStatusDevelopment iri="http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab#Starts"/>
<lrml:atTime keyref="#t2"/>
</lrml:TemporalCharacteristic>
</lrml:hasTemporalCharacteristic>
</lrml:TemporalCharacteristics>
</lrml:hasTemporalCharacteristics>
<!-- Example 20 -->
<lrml:hasAgents>
<lrml:Agents>
<lrml:hasAgent>
<lrml:Agent key="mp" sameAs="http:example.org/agents#MonicaPalmirani">
<lrml:hasType iri="http://example.org/types#Person"/>
</lrml:Agent>
</lrml:hasAgent>
<lrml:hasAgent>
<lrml:Agent key="ta" sameAs="http://example.org/agents#TaraAthan"/>
</lrml:hasAgent>
</lrml:Agents>
</lrml:hasAgents>
<!-- Example 21 -->
<lrml:hasFigures>
<lrml:Figures>
<lrml:hasMemberType iri="http://example.org/figure-types#LegislativeFigure"/>
<lrml:hasFigure>
<lrml:Figure key="fs">
<lrml:hasFunction iri="http://example.org/functions#Senator"/>
<lrml:hasActor keyref="#ta"/>
</lrml:Figure>
</lrml:hasFigure>
</lrml:Figures>
</lrml:hasFigures>
<!-- Example 22 -->
<lrml:hasRoles>
<lrml:Roles>
<lrml:hasRole>
<lrml:Role key="role1" iri="http://example.org/roles#author";>
<lrml:filledBy keyref="#mp"/>
<lrml:filledBy keyref="#ta"/>
<lrml:forExpression keyref="#rule1a"/>
</lrml:Role>
</lrml:hasRole>
<lrml:hasRole>
<lrml:Role key="role2" iri="http://example.org/roles#author";>
<lrml:filledBy keyref="#mp"/>
<lrml:forExpression keyref="#atom2a"/>
<lrml:forExpression keyref="#atom2b"/>
</lrml:Role>
</lrml:hasRole>
</lrml:Roles>
</lrml:hasRoles>
<!-- Example 25 -->
<lrml:hasAuthorities>
<lrml:Authorities>
<lrml:hasAuthority>
<lrml:Authority key="house" sameAs="http://example.org/authority#house-of-representatives"/>
</lrml:hasAuthority>
</lrml:Authorities>
</lrml:hasAuthorities>
<!-- Example 23 -->
<lrml:hasJurisdictions>
<lrml:Jurisdictions>
<lrml:hasJurisdiction>
<lrml:Jurisdiction key="us" sameAs="http://example.org/jurisdiction#unitedStatesOfAmerica"/>
</lrml:hasJurisdiction>
</lrml:Jurisdictions>
</lrml:hasJurisdictions>
<!-- Example 24 -->
<lrml:hasJurisdictions>
<lrml:Jurisdictions>
<lrml:hasJurisdiction>
<lrml:Jurisdiction key="exd" sameAs="http://example.org/jurisdiction#executiveDepartments"/>
</lrml:hasJurisdiction>
</lrml:Jurisdictions>
</lrml:hasJurisdictions>
<!-- Example 7 -->
<lrml:hasAssociations>
<lrml:Associations key="sourceBlock1">
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesModality iri="ex:maintenanaceObligation"/>
<lrml:toTarget keyref="#obl101"/>
</lrml:Association>
</lrml:hasAssociation>
</lrml:Associations>
</lrml:hasAssociations>
<!-- Example 12 -->
<lrml:hasAssociations>
<lrml:Associations key="s1">
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesSource keyref="#ref1"/>
<lrml:appliesSource keyref="#ref2"/>
<lrml:toTarget keyref="#rule1"/>
</lrml:Association>
</lrml:hasAssociation>
</lrml:Associations>
</lrml:hasAssociations>
<lrml:hasAssociations>
<lrml:Associations key="s2">
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesSource keyref="#ref3"/>
<lrml:appliesSource keyref="#ref2"/>
<lrml:toTarget keyref="#rule2"/>
</lrml:Association>
</lrml:hasAssociation>
</lrml:Associations>
</lrml:hasAssociations>
<!-- Example 14 -->
<lrml:hasAssociations>
<lrml:Associations key="s1">
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesSource keyref="#ref1"/>
<lrml:appliesSource keyref="#ref2"/>
<lrml:toTarget keyref="#rule1"/>
<lrml:toTarget keyref="#rule2"/>
</lrml:Association>
</lrml:hasAssociation>
</lrml:Associations>
</lrml:hasAssociations>
<lrml:hasAssociations>
<lrml:Associations key="s2">
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesSource keyref="#ref1"/>
<lrml:appliesSource keyref="#ref2"/>
<lrml:toTarget keyref="#rule2"/>
<lrml:toTarget keyref="#rule3"/>
</lrml:Association>
</lrml:hasAssociation>
</lrml:Associations>
</lrml:hasAssociations>
<!-- Example 18 -->
<lrml:hasAssociations>
<lrml:Associations key="sourceBlock2">
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesSource keyref="#ref1"/>
<lrml:toTarget keyref="#rule1"/>
<lrml:toTarget keyref="#rule2"/>
</lrml:Association>
</lrml:hasAssociation>
</lrml:Associations>
</lrml:hasAssociations>
<!-- Example 19 -->
<lrml:hasAssociations>
<lrml:Associations key="sourceBlock3">
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesSource keyref="#ref1"/>
<lrml:appliesSource keyref="#ref2"/>
<lrml:toTarget keyref="#rule1"/>
</lrml:Association>
</lrml:hasAssociation>
</lrml:Associations>
</lrml:hasAssociations>
<!-- Example 28 Alternatives -->
<lrml:hasAssociations>
<lrml:Associations>
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesSource keyref="#ref1"/>
<lrml:toTarget keyref="#nev1"/>
<lrml:toTarget keyref="#nev2"/>
</lrml:Association>
</lrml:hasAssociation>
</lrml:Associations>
</lrml:hasAssociations>
<!-- Example 29 Alternatives -->
<lrml:hasAssociations>
<lrml:Associations key="ascs1">
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesTemporalCharacteristics keyref="#tblock1"/>
<lrml:toTarget keyref="#rule1"/>
<lrml:toTarget keyref="#atom1"/>
<lrml:toTarget keyref="#body1"/>
</lrml:Association>
</lrml:hasAssociation>
</lrml:Associations>
</lrml:hasAssociations>
<!-- Example 30 Alternatives -->
<lrml:hasAssociations>
<lrml:Associations key="sourceBlock1">
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesTemporalCharacteristics keyref="#tblock1"/>
<lrml:toTarget keyref="#ps1"/>
<lrml:toTarget keyref="#ps2"/>
</lrml:Association>
</lrml:hasAssociation>
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesAuthority keyref="#congress"/>
<lrml:appliesJurisdiction keyref="#us"/>
<lrml:toTarget keyref="#ps1"/>
<lrml:toTarget keyref="#ps3"/>
</lrml:Association>
</lrml:hasAssociation>
</lrml:Associations>
</lrml:hasAssociations>
<!-- Example 31-36 Alternatives -->
<lrml:hasAssociations>
<lrml:Associations key="sourceBlock1">
<lrml:hasAssociation>
<lrml:Association>
<lrml:appliesSource keyref="#sec504-clsc-pnt1"/>
<lrml:appliesTemporalCharacteristics keyref="#tblock1"/>
<lrml:appliesModality iri="/ontology/deontic/"/>
<lrml:appliesStrength iri="/ontology/defeasible"/>
<lrml:appliesAuthority keyref="#congress"/>
<lrml:appliesJurisdiction keyref="#us"/>
<lrml:toTarget keyref="#ps1"/>
</lrml:Association>
</lrml:hasAssociation>
</lrml:Associations>
</lrml:hasAssociations>
<!-- Example 11 Alternatives -->
<lrml:hasAlternatives>
<lrml:Alternatives key="alt1">
<lrml:fromLegalSources keyref="#ls5"/>
<lrml:hasAlternative keyref="#ps1"/>
<lrml:hasAlternative keyref="#cs2"/>
</lrml:Alternatives>
</lrml:hasAlternatives>
<!-- Example 12 Alternatives -->
<lrml:hasAlternatives>
<lrml:Alternatives key="alt1">
<lrml:hasAlternative keyref="#s1"/>
<lrml:hasAlternative keyref="#s2"/>
</lrml:Alternatives>
</lrml:hasAlternatives>
<!-- Example 13 Alternatives -->
<lrml:hasAlternatives>
<lrml:Alternatives key="alt3">
<lrml:fromLegalSources keyref="#ref1"/>
<lrml:hasAlternative keyref="#ss1"/>
<lrml:hasAlternative keyref="#ss2"/>
</lrml:Alternatives>
</lrml:hasAlternatives>
<!-- Example 14 Alternatives -->
<lrml:hasAlternatives>
<lrml:Alternatives key="alt4">
<lrml:hasAlternative keyref="#s1"/>
<lrml:hasAlternative keyref="#s2"/>
</lrml:Alternatives>
</lrml:hasAlternatives>
<!-- Example 2-->
<lrml:hasContext>
<lrml:Context key="ruleInfo2">
<lrml:appliesStrength iri="defvo:defeasibleType2"/>
<lrml:inScope keyref="#cs1"/>
</lrml:Context>
</lrml:hasContext>
<!-- Example 3-->
<lrml:hasContext>
<lrml:Context key="ruleInfo1">
<lrml:appliesStrength iri="http://www.w3.org/2001/XMLSchema#defeasible2"/>
<lrml:inScope keyref="#cs1"/>
</lrml:Context>
</lrml:hasContext>
<!-- Example 29 -->
<lrml:hasContext>
<lrml:Context key="ruleContext1">
<lrml:appliesAssociations keyref="#ascs1"/>
<lrml:inScope keyref="#stmt1"/>
</lrml:Context>
</lrml:hasContext>
<!-- Example 37 -->
<lrml:hasContext>
<lrml:Context key="Context1">
<lrml:appliesAssociations keyref="#assoc1"/>
<lrml:appliesAlternatives keyref="#alt2"/>
<lrml:inScope keyref="#ps1"/>
</lrml:Context>
</lrml:hasContext>
<!-- Example 38 -->
<lrml:hasContext>
<lrml:Context key="ruleInfo4" hasCreationDate="#t1">
<lrml:appliesSource keyref="#sec504-clsc-pnt2"/>
<lrml:appliesTemporalCharacteristics keyref="#tblock1"/>
<lrml:appliesStrength iri="/ontology/defeater"/>
<lrml:appliesAuthority keyref="#congress"/>
<lrml:appliesJurisdiction keyref="#us"/>
<lrml:appliesAssociations keyref="#assoc1"/>
<lrml:appliesAlternatives keyref="#alt2"/>
<lrml:inScope keyref="#rule1"/>
<lrml:inScope keyref="#rule4"/>
</lrml:Context>
</lrml:hasContext>
<!-- Example 1-->
<lrml:hasStatements>
<lrml:Statements key="textblock1">
<lrml:hasStatement>
<lrml:OverrideStatement>
<lrml:hasTemplate>
<lrml:Override over="#cs1" under="#cs2"/>
</lrml:hasTemplate>
</lrml:OverrideStatement>
</lrml:hasStatement>
</lrml:Statements>
</lrml:hasStatements>
<!-- Example 3-->
<lrml:hasStatements>
<lrml:Statements key="textblock2">
<lrml:hasStatement>
<lrml:ConstitutiveStatement key="cs1">
<lrml:hasTemplate>
<ruleml:Rule key=":ruletemplate1" closure="universal">
<lrml:hasStrength>
<lrml:DefeasibleStrength key="str1" iri="http://example.org/legalruleml/ontology#defeasible1"/>
</lrml:hasStrength>
</ruleml:Rule>
</lrml:hasTemplate>
</lrml:ConstitutiveStatement>
</lrml:hasStatement>
</lrml:Statements>
</lrml:hasStatements>
<!-- Example 4 Prescriptive -->
<lrml:hasStatements>
<lrml:Statements key="textblock2">
<lrml:hasStatement>
<lrml:PrescriptiveStatement key="ps1">
<lrml:hasTemplate>
<ruleml:Rule key="ex:key1">
<lrml:hasStrength>
<lrml:StrictStrength key="str3" iri="http://www.w3.org/2001/XMLSchema#strict1"/>
</lrml:hasStrength>
<ruleml:if>
<ruleml:Atom key=":atom1"/>
</ruleml:if>
<ruleml:then>
<lrml:SuborderList/>
</ruleml:then>
</ruleml:Rule>
</lrml:hasTemplate>
</lrml:PrescriptiveStatement>
</lrml:hasStatement>
</lrml:Statements>
</lrml:hasStatements>
<!-- Example 5 ConstitutiveStatement -->
<lrml:hasStatements>
<lrml:Statements key="textblock2">
<lrml:hasStatement>
<lrml:ConstitutiveStatement key="ps1">
<lrml:hasTemplate>
<ruleml:Rule key="ruleml:key1">
<lrml:hasStrength>
<lrml:DefeasibleStrength key="str1" iri="http://www.w3.org/2001/XMLSchema#defeasible1"/>
</lrml:hasStrength>
<ruleml:if>
<ruleml:Atom key=":atom1">
</ruleml:Atom>
</ruleml:if>
<ruleml:then>
<ruleml:Atom key=":atom1">
</ruleml:Atom>
</ruleml:then>
</ruleml:Rule>
</lrml:hasTemplate>
</lrml:ConstitutiveStatement>
</lrml:hasStatement>
</lrml:Statements>
</lrml:hasStatements>
<!-- Example 6-8 Obbligation -->
<lrml:hasStatements>
<lrml:Statements>
<lrml:hasStatement>
<lrml:ConstitutiveStatement key="ps1">
<lrml:hasTemplate>
<ruleml:Rule key="ruleml:key1">
<lrml:hasStrength>
<lrml:Defeater key="str4"/>
</lrml:hasStrength>
<ruleml:if>
<ruleml:And>
<!-- Example 6 Obbligation -->
<ruleml:formula index="1">
<lrml:Obligation key="oblig1" iri="ex:achievementObligation">
</lrml:Obligation>
</ruleml:formula>
<!-- Example 8 Obbligation -->
<ruleml:formula index="1">
<lrml:Obligation key="oblig1" iri="ex:obl1">
<ruleml:formula>
<ruleml:Atom/>
</ruleml:formula>
</lrml:Obligation>
</ruleml:formula>
<ruleml:formula index="1">
<lrml:Obligation key="oblig2" iri="ex:obl1">
<ruleml:slot>
<lrml:Bearer iri="ex:oblBearer"/>
<ruleml:Ind>Y</ruleml:Ind>
</ruleml:slot>
<ruleml:formula>
<ruleml:Atom key="ex:atom2">
<ruleml:op>
<ruleml:Rel iri="ex:rel2"/>
</ruleml:op>
<ruleml:arg index="1">
<ruleml:Ind>X</ruleml:Ind>
</ruleml:arg>
</ruleml:Atom>
</ruleml:formula>
</lrml:Obligation>
</ruleml:formula>
</ruleml:And>
</ruleml:if>
</ruleml:Rule>
</lrml:hasTemplate>
</lrml:ConstitutiveStatement>
</lrml:hasStatement>
</lrml:Statements>
</lrml:hasStatements>
<!-- Example 9 Penalty -->
<lrml:hasStatements>
<lrml:Statements>
<lrml:hasStatement>
<lrml:PenaltyStatement key="pen1">
<lrml:hasTemplate>
<lrml:SuborderList> </lrml:SuborderList>
</lrml:hasTemplate>
</lrml:PenaltyStatement>
</lrml:hasStatement>
</lrml:Statements>
</lrml:hasStatements>
<!-- Example 10 ReparationStatement -->
<lrml:hasStatements>
<lrml:Statements>
<lrml:hasStatement>
<lrml:ReparationStatement key="reps1">
<lrml:hasTemplate>
<lrml:Reparation key="rep1">
<lrml:appliesPenalty keyref="#pen1"/>
<lrml:toPrescriptiveStatement keyref="#ps1"/>
</lrml:Reparation>
</lrml:hasTemplate>
</lrml:ReparationStatement>
</lrml:hasStatement>
</lrml:Statements>
</lrml:hasStatements>
<!-- Example 13 Alternatives -->
<lrml:hasStatements>
<lrml:Statements key="ss1">
<lrml:hasStatement>
<lrml:ConstitutiveStatement keyref="#ps1"/>
</lrml:hasStatement>
<lrml:hasStatement>
<lrml:ConstitutiveStatement keyref="#ps2"/>
</lrml:hasStatement>
</lrml:Statements>
</lrml:hasStatements>
<lrml:hasStatements>
<lrml:Statements key="ss2">
<lrml:hasStatement>
<lrml:ConstitutiveStatement keyref="#ps3"/>
</lrml:hasStatement>
</lrml:Statements>
</lrml:hasStatements>
<!-- Example 14 Alternatives -->
<lrml:hasStatements>
<lrml:Statements key="ss1">
<lrml:hasStatement>
<lrml:ConstitutiveStatement keyref="#ps1"/>
</lrml:hasStatement>
<lrml:hasStatement>
<lrml:ConstitutiveStatement keyref="#ps2"/>
</lrml:hasStatement>
</lrml:Statements>
</lrml:hasStatements>
<lrml:hasStatements>
<lrml:Statements key="ss2">
<lrml:hasStatement>
<lrml:ConstitutiveStatement keyref="#ps1"/>
</lrml:hasStatement>
<lrml:hasStatement>
<lrml:ConstitutiveStatement keyref="#ps3"/>
</lrml:hasStatement>
</lrml:Statements>
</lrml:hasStatements>
</lrml:LegalRuleML>
<?xml version="1.0" encoding="UTF-8"?> <?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"; xmlns="http://docs.oasis-open.org/legalruleml/examples/approved/ex2.1.8-defeasible#"; xmlns:lrml="http://docs.oasis-open.org/legalruleml/ns/v1.0/"; xmlns:ruleml="http://ruleml.org/spec"; xsi:schemaLocation="http://docs.oasis-open.org/legalruleml/ns/v1.0/ ./schemas/xsd/xsd-compact/lrml-compact.xsd" xmlns:xs="http://www.w3.org/2001/XMLSchema";> <lrml:Comment> Examples </lrml:Comment> <!-- Example 15 --> <lrml:LegalReferences xmlns:appex="http://docs.oasis-open.org/legalruleml/examples/approved/"; refType="http://example.legalruleml.org/lrml#LegalSource";> <lrml:LegalReference refersTo="ref1" refID="/au/2012-05-30/C628:2012/eng@/main#sec2.2" refIDSystemName="AkomaNtoso3.0-2016-03"/> <lrml:LegalReference refersTo="ref6" refID="ECLI:country:court:year:number" refIDSystemName="European Case Law Identifier" refIDSystemSource="OJ:C:2011:127:0001:0007:EN:PDF"/> </lrml:LegalReferences> <!-- Example 10 --> <lrml:LegalSources> <lrml:LegalSource key="ls1" sameAs="http://example.org/external-legal-statement"/> </lrml:LegalSources> <!-- Example 12 Alternatives --> <lrml:LegalSources key="ls6"> <lrml:LegalSource keyref="#ls1"/> <lrml:LegalSource keyref="#ls2"/> </lrml:LegalSources> <lrml:LegalSources key="ls7"> <lrml:LegalSource keyref="#ls2"/> <lrml:LegalSource keyref="#ls3"/> </lrml:LegalSources> <!-- Example 16 --> <lrml:LegalSources> <lrml:LegalSource key="ref2" sameAs="http://www.law.cornell.edu/uscode/text/17/504#psection-1"/> </lrml:LegalSources> <!-- Example 4 --> <lrml:Sources> <lrml:Source key="pen1-v1" sameAs="http://original-version-of-this-document#pen1"/> <lrml:Source key="ps2-v1" sameAs="http://original-version-of-this-document#ps2"/> </lrml:Sources> <!-- Example 26 --> <lrml:Times> <ruleml:Time key=":t1"> <ruleml:Data xsi:type="xs:dateTime">1978-01-01T00:00:00</ruleml:Data> </ruleml:Time> </lrml:Times> <!-- Example 27 --> <lrml:TemporalCharacteristics key="tblock1"> <lrml:TemporalCharacteristic key="nev1"> <lrml:forStatus iri="http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab#Efficacious"/> <lrml:hasStatusDevelopment iri="http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab#Starts"/> <lrml:atTime keyref="#t1"/> </lrml:TemporalCharacteristic> <lrml:TemporalCharacteristic key="nev2"> <lrml:forStatus iri="http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab#InForce"/> <lrml:hasStatusDevelopment iri="http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab#Starts"/> <lrml:atTime keyref="#t2"/> </lrml:TemporalCharacteristic> </lrml:TemporalCharacteristics> <!-- Example 20 --> <lrml:Agents> <lrml:Agent key="mp" sameAs="http:example.org/agents#MonicaPalmirani"> <lrml:hasType iri="http://example.org/types#Person"/> </lrml:Agent> <lrml:Agent key="ta" sameAs="http://example.org/agents#TaraAthan"/> </lrml:Agents> <!-- Example 21 --> <lrml:Figures> <lrml:hasMemberType iri="http://example.org/figure-types#LegislativeFigure"/> <lrml:Figure key="fs"> <lrml:hasFunction iri="http://example.org/functions#Senator"/> <lrml:hasActor keyref="#ta"/> </lrml:Figure> </lrml:Figures> <!-- Example 22 --> <lrml:Roles> <lrml:Role key="role1" iri="http://example.org/roles#author";> <lrml:filledBy keyref="#mp"/> <lrml:filledBy keyref="#ta"/> <lrml:forExpression keyref="#rule1a"/> </lrml:Role> <lrml:Role key="role2" iri="http://example.org/roles#author";> <lrml:filledBy keyref="#mp"/> <lrml:forExpression keyref="#atom2a"/> <lrml:forExpression keyref="#atom2b"/> </lrml:Role> </lrml:Roles> <!-- Example 25 --> <lrml:Authorities> <lrml:Authority key="house" sameAs="http://example.org/authority#house-of-representatives"/> </lrml:Authorities> <!-- Example 23 --> <lrml:Jurisdictions> <lrml:Jurisdiction key="us" sameAs="http://example.org/jurisdiction#unitedStatesOfAmerica"/> </lrml:Jurisdictions> <!-- Example 24 --> <lrml:Jurisdictions> <lrml:Jurisdiction key="exd" sameAs="http://example.org/jurisdiction#executiveDepartments"/> </lrml:Jurisdictions> <!-- Example 7 --> <lrml:Associations key="sourceBlock1"> <lrml:Association> <lrml:appliesModality iri="ex:maintenanaceObligation"/> <lrml:toTarget keyref="#obl101"/> </lrml:Association> </lrml:Associations> <!-- Example 12 --> <lrml:Associations key="s1"> <lrml:Association> <lrml:appliesSource keyref="#ref1"/> <lrml:appliesSource keyref="#ref2"/> <lrml:toTarget keyref="#rule1"/> </lrml:Association> </lrml:Associations> <lrml:Associations key="s2"> <lrml:Association> <lrml:appliesSource keyref="#ref3"/> <lrml:appliesSource keyref="#ref2"/> <lrml:toTarget keyref="#rule2"/> </lrml:Association> </lrml:Associations> <!-- Example 14 --> <lrml:Associations key="s1"> <lrml:Association> <lrml:appliesSource keyref="#ref1"/> <lrml:appliesSource keyref="#ref2"/> <lrml:toTarget keyref="#rule1"/> <lrml:toTarget keyref="#rule2"/> </lrml:Association> </lrml:Associations> <lrml:Associations key="s2"> <lrml:Association> <lrml:appliesSource keyref="#ref1"/> <lrml:appliesSource keyref="#ref2"/> <lrml:toTarget keyref="#rule2"/> <lrml:toTarget keyref="#rule3"/> </lrml:Association> </lrml:Associations> <!-- Example 18 --> <lrml:Associations key="sourceBlock2"> <lrml:Association> <lrml:appliesSource keyref="#ref1"/> <lrml:toTarget keyref="#rule1"/> <lrml:toTarget keyref="#rule2"/> </lrml:Association> </lrml:Associations> <!-- Example 19 --> <lrml:Associations key="sourceBlock3"> <lrml:Association> <lrml:appliesSource keyref="#ref1"/> <lrml:appliesSource keyref="#ref2"/> <lrml:toTarget keyref="#rule1"/> </lrml:Association> </lrml:Associations> <!-- Example 28 --> <lrml:Associations> <lrml:Association> <lrml:appliesSource keyref="#ref1"/> <lrml:toTarget keyref="#nev1"/> <lrml:toTarget keyref="#nev2"/> </lrml:Association> </lrml:Associations> <!-- Example 29 --> <lrml:Associations key="ascs1"> <lrml:Association> <lrml:appliesTemporalCharacteristics keyref="#tblock1"/> <lrml:toTarget keyref="#rule1"/> <lrml:toTarget keyref="#atom1"/> <lrml:toTarget keyref="#body1"/> </lrml:Association> </lrml:Associations> <!-- Example 30 --> <lrml:Associations key="sourceBlock1"> <lrml:Association> <lrml:appliesTemporalCharacteristics keyref="#tblock1"/> <lrml:toTarget keyref="#ps1"/> <lrml:toTarget keyref="#ps2"/> </lrml:Association> <lrml:Association> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="#us"/> <lrml:toTarget keyref="#ps1"/> <lrml:toTarget keyref="#ps3"/> </lrml:Association> </lrml:Associations> <!-- Example 31-36 --> <lrml:Associations key="sourceBlock1"> <lrml:Association> <lrml:appliesSource keyref="#sec504-clsc-pnt1"/> <lrml:appliesTemporalCharacteristics keyref="#tblock1"/> <lrml:appliesModality iri="/ontology/deontic/"/> <lrml:appliesStrength iri="/ontology/defeasible"/> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="#us"/> <lrml:toTarget keyref="#ps1"/> </lrml:Association> </lrml:Associations> <!-- Example 11 Alternatives --> <lrml:Alternatives key="alt1"> <lrml:fromLegalSources keyref="#t1"/> <lrml:hasAlternative keyref="#rule1"/> <lrml:hasAlternative keyref="#rule2"/> </lrml:Alternatives> <!-- Example 12 Alternatives --> <lrml:Alternatives key="alt1"> <lrml:hasAlternative keyref="#s1"/> <lrml:hasAlternative keyref="#s2"/> </lrml:Alternatives> <!-- Example 13 Alternatives --> <lrml:Alternatives key="alt3"> <lrml:fromLegalSources keyref="#ref1"/> <lrml:hasAlternative keyref="#ss1"/> <lrml:hasAlternative keyref="#ss2"/> </lrml:Alternatives> <!-- Example 14 Alternatives --> <lrml:Alternatives key="alt4"> <lrml:hasAlternative keyref="#s1"/> <lrml:hasAlternative keyref="#s2"/> </lrml:Alternatives> <!-- Example 2 --> <lrml:Context key="ruleInfo2"> <lrml:appliesStrength iri="defvo:defeasibleType2"/> <lrml:inScope keyref="#cs1"/> </lrml:Context> <!-- Example 3 --> <lrml:Context key="ruleInfo1"> <lrml:appliesStrength iri="http://www.w3.org/2001/XMLSchema#defeasible2"/> <lrml:inScope keyref="#cs1"/> </lrml:Context> <!-- Example 29 --> <lrml:Context key="ruleContext1"> <lrml:appliesAssociations keyref="#ascs1"/> <lrml:inScope keyref="#stmt1"/> </lrml:Context> <!-- Example 37 --> <lrml:Context key="Context1"> <lrml:appliesAssociations keyref="#assoc1"/> <lrml:appliesAlternatives keyref="#alt2"/> <lrml:inScope keyref="#ps1"/> </lrml:Context> <!-- Example 38 --> <lrml:Context key="ruleInfo4" hasCreationDate="#t1"> <lrml:appliesSource keyref="#sec504-clsc-pnt2"/> <lrml:appliesTemporalCharacteristics keyref="#tblock1"/> <lrml:appliesStrength iri="/ontology/defeater"/> <lrml:appliesAuthority keyref="#congress"/> <lrml:appliesJurisdiction keyref="#us"/> <lrml:appliesAssociations keyref="#assoc1"/> <lrml:appliesAlternatives keyref="#alt2"/> <lrml:inScope keyref="#rule1"/> <lrml:inScope keyref="#rule4"/> </lrml:Context> <!-- Example 1--> <lrml:Statements key="textblock1"> <lrml:OverrideStatement> <lrml:Override over="#cs2" under="#cs1"/> </lrml:OverrideStatement> </lrml:Statements> <!-- Example 3 --> <lrml:Statements key="textblock2"> <lrml:ConstitutiveStatement key="cs1"> <ruleml:Rule key=":ruletemplate1" closure="universal"> <lrml:hasStrength> <lrml:DefeasibleStrength key="str1" iri="http://example.org/legalruleml/ontology#defeasible1"/> </lrml:hasStrength> </ruleml:Rule> </lrml:ConstitutiveStatement> </lrml:Statements> <!-- Example 4 Prescriptive --> <lrml:Statements> <lrml:PrescriptiveStatement key="ps2"> <ruleml:Rule key=":ruletemplate3" keyref=":ruletemplate2"> <lrml:hasStrength> <lrml:Defeater key="str4"/> </lrml:hasStrength> <ruleml:then> <ruleml:Atom key=":atom26"> <ruleml:Rel iri=":rel3"/> <ruleml:Ind>X</ruleml:Ind> </ruleml:Atom> </ruleml:then> </ruleml:Rule> </lrml:PrescriptiveStatement> </lrml:Statements> <!-- Example 5 ConstitutiveStatement --> <lrml:Statements> <lrml:ConstitutiveStatement key="ps1"> <ruleml:Rule key="ruleml:key1"> <lrml:hasStrength> <lrml:DefeasibleStrength key="str1" iri="http://www.w3.org/2001/XMLSchema#defeasible1"/> </lrml:hasStrength> <ruleml:if> <ruleml:Atom key=":atom1"> </ruleml:Atom> </ruleml:if> <ruleml:then> <ruleml:Atom key=":atom1"> </ruleml:Atom> </ruleml:then> </ruleml:Rule> </lrml:ConstitutiveStatement> </lrml:Statements> <!-- Example 6-8 Obbligation --> <lrml:Statements> <lrml:ConstitutiveStatement key="ps1"> <ruleml:Rule key="ruleml:key1"> <lrml:hasStrength> <lrml:Defeater key="str4"/> </lrml:hasStrength> <ruleml:if> <ruleml:And> <!-- Example 6 Obbligation --> <lrml:Obligation key="oblig1" iri="ex:achievementObligation"> </lrml:Obligation> <!-- Example 8 Obbligation --> <lrml:Obligation iri="ex:obl1"> <ruleml:slot> <lrml:Bearer iri="ex:oblBearer"/> <ruleml:Ind>Y</ruleml:Ind> </ruleml:slot> <ruleml:Atom key="ex:atom2"> <ruleml:Rel iri="ex:rel2"/> <ruleml:Ind>X</ruleml:Ind> </ruleml:Atom> </lrml:Obligation> </ruleml:And> </ruleml:if> </ruleml:Rule> </lrml:ConstitutiveStatement> </lrml:Statements> <!-- Example 9 Penalty --> <lrml:Statements> <lrml:PenaltyStatement key="pen1"> <lrml:SuborderList> </lrml:SuborderList> </lrml:PenaltyStatement> </lrml:Statements> <!-- Example 10 Reparation --> <lrml:Statements> <lrml:ReparationStatement> <lrml:Reparation key="rep1"> <lrml:appliesPenalty keyref="#pen1"/> <lrml:toPrescriptiveStatement keyref="#ps1"/> </lrml:Reparation> </lrml:ReparationStatement> </lrml:Statements> <!-- Example 13 Alternatives --> <lrml:Statements key="ss1"> <lrml:ConstitutiveStatement keyref="#ps1"/> <lrml:ConstitutiveStatement keyref="#ps2"/> </lrml:Statements> <lrml:Statements key="ss2"> <lrml:ConstitutiveStatement keyref="#ps3"/> </lrml:Statements> <!-- Example 14 Alternatives --> <lrml:Statements key="ss1"> <lrml:ConstitutiveStatement keyref="#ps1"/> <lrml:ConstitutiveStatement keyref="#ps2"/> </lrml:Statements> <lrml:Statements key="ss2"> <lrml:ConstitutiveStatement keyref="#ps1"/> <lrml:ConstitutiveStatement keyref="#ps3"/> </lrml:Statements> </lrml:LegalRuleML>
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]