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: Material for the telecon of today


Dear all,
please find the material for the telecon 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
====================================

Attachment: LegalRuleML-palmirani2012 -RuleML2012.ppt
Description: MS-Powerpoint presentation

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE Document [
	<!ENTITY xs "http://www.w3.org/2001/XMLSchema";>
	<!ENTITY ruleml "http://ruleml.org/";>
	<!ENTITY dfs "http://ruleml.org/dfs/";>
	<!ENTITY legalruleml "http://legalruleml.org/legalruleml/";>
	<!ENTITY dfsont "/ontology/defeasible.owl#">
	<!ENTITY lkif "http://legalruleml.example.org/legalOntology/lkif-core/";>
	<!ENTITY jurisdictions "http://example.org/jurisdictions.owl#";>
	<!ENTITY authorities "http://example.org/authorities.owl#";>
	<!ENTITY UScode "http://akomantoso.org/us/codes;us/";>
	<!ENTITY unibo "http://www.cirsfid.unibo.it/ontology/";>
]>
<?xml-model href="../../WP1/schema/nrc_mirror/1.0/relaxng/legalruleml_ordered.rnc" type="application/relax-ng-compact-syntax"?>
<RuleML xmlns="http://ruleml.org/spec"; xmlns:dfs="&dfs;" xmlns:xsi="&xs;-instance" xmlns:xs="&xs;" xmlns:lrml="&legalruleml;" xmlns:dc="&dc;" xmlns:dcterms="&dcterms;" xmlns:unibo="&unibo;" xml:base="http://legalruleml.example.org/example/";>
	<!-- US Code sec. 504 in three different versions, URI are works with t parameters 
	 This is a legalruleml-look-like modelling not the official syntax released by the LegalDocML TC -->
	<Assert>
		<lrml:metadata xmlns="http://legalruleml.example.org/copyrightUS/";>
			<lrml:identifications>
				<lrml:identification id="aut1" iri="&unibo;/person.owl#m.palmirani" as="co-author"/>
				<lrml:identification id="congress" iri="&unibo;/organization.owl#congress" as="legislator"/>
				<lrml:identification id="mad" iri="&unibo;/organization.owl#mad" as="cour"/>
			</lrml:identifications>
			<lrml:references id="referenceBlock1">
				<lrml:reference id="sec504-clsc-pnt2-sb1" iri="&UScode;eng@/main#title17-chp5-sec504-clsc-lst1-pnt2-subpar1" refType="&lkif;#Code"/>
				<lrml:reference id="sec504-clsc-pnt2-sb2" iri="&UScode;eng@/main#title17-chp5-sec504-clsc-lst1-pnt2-subpar2" refType="&lkif;#Code"/>
				<lrml:reference id="sec504-clsc-pnt2-sb3" iri="&UScode;eng@/main#title17-chp5-sec504-clsc-lst1-pnt2-subpar3" refType="&lkif;#Code"/>
<lrml:reference id="sec504-clsc-pnt2-sb1-v1" iri="&UScode;eng@1989-03-01/main#title17-chp5-sec504-clsc-lst1-pnt2-subpar1" refType="&lkif;#Code"/>
				<lrml:reference id="sec504-clsc-pnt2-sb2-v1" iri="&UScode;eng@1989-03-01/main#title17-chp5-sec504-clsc-lst1-pnt2-subpar2" refType="&lkif;#Code"/>
				<lrml:reference id="sec504-clsc-pnt2-sb3-v1" iri="&UScode;eng@1989-03-01/main#title17-chp5-sec504-clsc-lst1-pnt2-subpar3" refType="&lkif;#Code"/>
<lrml:reference id="sec504-clsc-pnt2-sb1-v2" iri="&UScode;eng@1999-12-09/main#title17-chp5-sec504-clsc-lst1-pnt2-subpar1" refType="&lkif;#Code"/>
				<lrml:reference id="sec504-clsc-pnt2-sb2-v2" iri="&UScode;eng@1999-12-09/main#title17-chp5-sec504-clsc-lst1-pnt2-subpar2" refType="&lkif;#Code"/>
				<lrml:reference id="sec504-clsc-pnt2-sb3-v2" iri="&UScode;eng@1999-12-09/main#title17-chp5-sec504-clsc-lst1-pnt2-subpar3" refType="&lkif;#Code"/>
				</lrml:references>
			<lrml:events>
				<!-- events related to the rules included in sec504 and modified over time-->
				<lrml:event id="e1" value="1976-10-19T01:01:00.0Z"/>
				<lrml:event id="e2" value="1978-01-01T01:01:00.0Z"/>
				<lrml:event id="e3" value="1988-10-31T01:01:00.0Z"/>
				<lrml:event id="e4" value="1989-03-01T01:01:00.0Z"/>
				<lrml:event id="e5" value="1999-12-09T01:01:00.0Z"/>
				<lrml:event id="e6" value="2012-08-15T01:01:00.0Z"/>
			</lrml:events>
			<lrml:timesInfo>
				<lrml:times id="t1">
					<!-- 250-10,000  -->
					<lrml:time start="#e1" end="e3" refType="&lkif;#inforce"/>
					<lrml:time start="#e2" end="e4" refType="&lkif;#efficacy"/>
				</lrml:times>
				<lrml:times id="t2">
					<!-- 500-20,000 -->
					<lrml:time start="#e3" end="e5" refType="&lkif;#inforce"/>
					<lrml:time start="#e4" end="e5" refType="&lkif;#efficacy"/>
				</lrml:times>
				<lrml:times id="t3">
					<!-- 750-30,000-->
					<lrml:time start="#e5" refType="&lkif;#efficacy"/>
					<lrml:time start="#e5" refType="&lkif;#efficacy"/>
				</lrml:times>
				<!-- time of the case-law -->
			</lrml:timesInfo>
			<lrml:ruleInfo id="ruleInfo1" appliesTo="#rule1">
				<lrml:sources id="sourceBlock1">
					<lrml:source element="#rule1-atom1" idRef="#sec504-clsc-pnt1-sb1"/>
					<lrml:source element="#rule1-atom2" idRef="#sec504-clsc-pnt2-sb2"/>
					<lrml:source element="#rule1-atom3" idRef="#sec504-clsc-pnt2-sb3"/>
				</lrml:sources>
				<lrml:strength iri="&dfsont;defeasible"/>
				<lrml:jurisdiction iri="&jurisdictions;us"/>
				<lrml:author idRef="#aut1"/>
				<lrml:times idRef="#t1"/>
				<lrml:creationDateTime idRef="#e6"/>
				<lrml:authority idRef="#congress"/>
			</lrml:ruleInfo>
			<lrml:ruleInfo id="ruleInfo2" appliesTo="#rule2">
				<lrml:sources id="sourceBlock2">
					<lrml:source element="#rule2-atom1" idRef="#sec504-clsc-pnt1-sb1-v1"/>
					<lrml:source element="#rule2-atom2" idRef="#sec504-clsc-pnt2-sb2-v1"/>
					<lrml:source element="#rule2-atom3" idRef="#sec504-clsc-pnt2-sb3-v1"/>
				</lrml:sources>
				<lrml:strength iri="&dfsont;defeasible"/>
				<lrml:jurisdiction iri="&jurisdictions;us"/>
				<lrml:author idRef="#aut1"/>
				<lrml:times idRef="#t2"/>
				<lrml:creationDateTime idRef="#e6"/>
				<lrml:authority idRef="#congress"/>
			</lrml:ruleInfo>
			<lrml:ruleInfo id="ruleInfo3" appliesTo="#rule3">
				<lrml:sources id="sourceBlock3">
					<lrml:source element="#rule3-atom1" idRef="#sec504-clsc-pnt1-sb1-v2"/>
					<lrml:source element="#rule3-atom2" idRef="#sec504-clsc-pnt2-sb2-v2"/>
					<lrml:source element="#rule3-atom3" idRef="#sec504-clsc-pnt2-sb3-v2"/>
				</lrml:sources>
				<lrml:strength iri="&dfsont;defeater"/>
				<lrml:jurisdiction iri="&jurisdictions;us"/>
				<lrml:author idRef="#aut1"/>
				<lrml:times idRef="#t3"/>
				<lrml:creationDateTime idRef="#e6"/>
				<lrml:authority idRef="#congress"/>
			</lrml:ruleInfo>
		</lrml:metadata>
		<Rulebase node="#rulebase1" mapClosure="universal">
			<!-- rules from the version 1 -->
			<Implies id="rule1" timesBlock="#t1">
				<then>
					<Atom id="rule1-atom1">
						<Rel iri="&lkif;#payFee">pay a fee</Rel>
						<Var type="&lkif;#infranger">X</Var>
						<Var type="&lkif;#fee">not less than $250</Var>
						<Var type="&lkif;#fee">not more than $10,000</Var>
					</Atom>
				</then>
				<if>
					<And>
						<Atom id="rule1-atom2">
							<Rel iri="&lkif;#Infringement">infranges copyright</Rel>
							<Var type="&lkif;#infranger">X</Var>
						</Atom>
						<Atom id="rule1-atom3">
							<Rel iri="&lkif;#electStatutoryDamages">elect an award of statutory damages</Rel>
							<Var type="&lkif;#copyrightOwner">Y</Var>
						</Atom>
					</And>
				</if>
			</Implies>
			<!-- rules derived from the version 2 -->
			<Implies id="rule2" timesBlock="#t2">
				<then>
					<Atom id="rule2-atom1">
						<Rel iri="&lkif;#payFee">pay a fee</Rel>
						<Var type="&lkif;#infranger">X</Var>
						<Var type="&lkif;#fee">not less than $500</Var>
						<Var type="&lkif;#fee">not more than $20,000</Var>
					</Atom>
				</then>
				<if>
					<And>
						<Atom id="rule2-atom2">
							<Rel iri="&lkif;#Infringement">infranges copyright</Rel>
							<Var type="&lkif;#infranger">X</Var>
						</Atom>
						<Atom id="rule2-atom3">
							<Rel iri="&lkif;#electStatutoryDamages">elect an award of statutory damages</Rel>
							<Var type="&lkif;#copyrightOwner">Y</Var>
						</Atom>
					</And>
				</if>
			</Implies>
			<!-- rules derived from the version 3 -->
			<Implies id="rule3" timesBlock="#t3">
				<then>
					<Atom id="rule3-atom1">
						<Rel iri="&lkif;#payFee">pay a fee</Rel>
						<Var type="&lkif;#infranger">X</Var>
						<Var type="&lkif;#fee">not less than $750</Var>
						<Var type="&lkif;#fee">not more than $30,000</Var>
					</Atom>
				</then>
				<if>
					<And>
						<Atom id="rule3-atom2">
							<Rel iri="&lkif;#Infringement">infranges copyright</Rel>
							<Var type="&lkif;#infranger">X</Var>
						</Atom>
						<Atom id="rule3-atom3">
							<Rel iri="&lkif;#electStatutoryDamages">elect an award of statutory damages</Rel>
							<Var type="&lkif;#copyrightOwner">Y</Var>
						</Atom>
					</And>
				</if>
			</Implies>
		</Rulebase>
	</Assert>
</RuleML>


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