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

Please find the WD31 with the XML files for the examples validation.
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
====================================

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

<?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">
	<lrml:Comment> Examples </lrml:Comment>
	<!-- 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 10  -->
	<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 7 -->
	<lrml:Associations key="sourceBlock1">
		<lrml:Association>
			<lrml:appliesModality iri="ex:maintenanaceObligation"/>
			<lrml:toTarget keyref="#obl101"/>
		</lrml:Association>
	</lrml:Associations>
	<!-- Example 11 Alternatives -->
	<lrml:Alternatives key="alt1">
		<lrml:fromLegalSources keyref="#ls5"/>
		<lrml:hasAlternative keyref="#ps1"/>
		<lrml:hasAlternative keyref="#cs2"/>
	</lrml:Alternatives>
	<!-- Example 12 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="alt3">
			<lrml:fromLegalSources keyref="#ref1"/>
			<lrml:fromLegalSources keyref="#ref2"/>
		<lrml:hasAlternative keyref="#ss1"/>
		<lrml:hasAlternative keyref="#ss2"/>
	</lrml:Alternatives>
	<!-- Example 2-->
	<lrml:Context key="ruleInfo2">
		<lrml:appliesStrength iri="defvo:defeasibleType2"/>
		<lrml:inScope keyref="#cs1"/>
	</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 14Alternatives -->
	<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>

<?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">
	<lrml:hasComment>
		<lrml:Comment> Examples pag. 20 </lrml:Comment>
	</lrml:hasComment>
	<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 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 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 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="alt4">
		<lrml:Aternative>
			<lrml:fromLegalSources keyref="#ls6"/>
			<lrml:hasAlternative keyref="#ss1"/>
		</lrml:Aternative>
		<lrml:Aternative>
			<lrml:fromLegalSources keyref="#ls7"/>
			<lrml:hasAlternative keyref="#ss2"/>
		</lrml:Aternative>
	</lrml:Alternatives>
  </lrml:hasAlternatives>
	<!-- 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 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 -->
	<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 -->
	<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 -->
	<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>
</lrml:LegalRuleML>

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