[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Idiomatic LegalRuleML samples for the GitHub repository
Dear LegalRuleMLs, As agreed on the Skype chat, we have worked on a corpus for regulating smoking in public in Scotland (the "smoking corpus"). Livio tagged one file from this corpus in idiomatic LegalRuleML, and we discussed it. The result is the file "IDIOMATIC - asp_20160003_en_EO_AF_AW_AA (1).xml", attached.
Since this file is not linked to any logic or ontology, Livio basically "invented" the predicates. The list of all predicates used is in the file "predicates.txt", likewise attached. Some of them are of
course rather weird, as they would need to be decomposed into smaller predicates; predicates would also need to be related of one another; this is a problem that goes all the way back to the first studies of the British Nationality Act. However, these are
the same problems as would arise with the RuleML part of the XML format, so are not LegalRuleML problems per se. Here, we focus on the LegalRuleML tags that are concerned with legal/deontic reasoning. The file "IDIOMATIC - asp_20160003_en_EO_AF_AW_AA (1).xml" includes 52 norms. Since these are too many, we made a selection. We selected only the following sections of the file, which includes all main kinds
of norm we can find in legal text. The selection has been copied into the file "SELECTED EXAMPLES FROM IDIOMATIC - asp_20160003_en_EO_AF_AW_AA (1).xml". For the time being, we propose to first address these main LegalRuleML tags: Obligation, Permission, Prohibition, ConstitutiveStatement, Overriding, Right, PenaltyStatement, ReparationStatement
(other than Right, this is the same set as were analysed in the initial smoking corpus). Note that there are lot of additional LegalRuleML tags that are not in this document, but we should better work on these separately, as it is not easy to find sample occurrences
in existing legislation (in fact, we didn't find any in the smoking corpus). In the future, we can try to find other real-world occurrences, from other legislative documents, to exemplify the missing tags. ========================================================================================== stmts1 1 Permission 1 Prohibition 1 Overriding stmts2 1 PenaltyStatement 1 ReparationStatement stmts12 1 Permission 2 Obligations 1 ConstitutiveStatement stmts14 1 ConstitutiveStatement stmts16 1 Right => WE DON'T KNOW HOW TO REPRESENT IT!!! 1 Permission ========================================================================================== So, these should be the real-world examples that we should upload on the GitHub and try to formalize in other logical frameworks (DDL, I/O logic, etc.). There are three problems that we would like to discuss in the next Skype meeting or in this mailing list. The first two are about these tags and the selected examples. The third is about the previous representation:
Looking forward to discussion. Thanks, Livio & Adam |
Attachment:
SELECTED EXAMPLES FROM IDIOMATIC - asp_20160003_en_EO_AF_AW_AA (1).xml
Description: SELECTED EXAMPLES FROM IDIOMATIC - asp_20160003_en_EO_AF_AW_AA (1).xml
Attachment:
IDIOMATIC - asp_20160003_en_EO_AF_AW_AA (1).xml
Description: IDIOMATIC - asp_20160003_en_EO_AF_AW_AA (1).xml
ActingOnBehalfOf AdaptedForUseAsLivingAccommodation AdaptedForUseOnRoads Adult AllowToDischargeLiabilityViaFixexPenaltyFor Apply AuthorisedOfficer AvailableToPublic BelieveHasBeenCommittedBy CanMakeRegulationUnderThisAct CanMakeIncidentalProvisions CanMakeSupplementaryProvisions CanMakeConsequentialProvisions CanMakeTransitionalProvisions CanMakeTransitoryProvisions CanMakeSavingProvisions Car CertificatePurportingToBeSignedBy CertificateStatingPaymentStatusOf Child ComplyWithDefinitionAt ConsiderRepresentationsBy Constable DayInWhichPenaltyIsGiven DecideToWithdraw DeclareItHasBeenPaid DeclareAHearingForHasBeenRequested DeclareAHearingForHasBeenHeld DeclareIsEnforceable DeliveredTo DesignedForUseAsLivingAccommodation ExtendPeriodOfPenalty FixedPenaltyNotice Give GiveNoticeWithdrawing GoodsVehicle HasBeenPaid HasInformationAboutCommittedBy HasPublicAccess HoldHearing Identify Inspect IntendedForUseOnRoads IsAct IsEffective IsEnforceableAsExtractRegisteredDecree IsIn IsInWriting isPeriodOfPaymentForPenaltyEnded IsPrivate IsRegulationUnder IsSentByPost IsShortNameFor IsSubjectToAffirmativeProcedure IsSubjectToNegativeProcedure IsUnpaidAfterExpiringDateForPayment IsWithdrawn JurisdictionAreaOf LocalAuthority MakeRegulationsAbout MakeRegulationsAboutKeepingOfAccountsRelatedTo MaximalAgeOf MechanicallyPropelledVehicle MinimalAgeOf Modify MotorCycle MotorVehicle NotExceed Notice NotifyProcuratorFiscal OffenceUnderSection1 OffenceUnderSubsection2 Offer Own PayOfAnyAmountRelatedToPenalty PaymentOfPenaltyAcceptedBy PenaltyFor PeriodOfPenaltyLast PeriodOfPenaltyStart Person PersonToWhomItMayBePaid PrivateHireCar ProceedingsForOffenceContinue ProceedingsForOffenceStart ProvideEvidence PublicTransportationVehicle ProvideDetailsOfTheCircumstancesAbout ProvideHisPersonalInformationTo PublicSpace RequestHearingVia ResponsibleForAreaOf ResponsibleForFinancialAffairsOf ScottishMinister Sheriff Smoke SpecifiedAt SpecifyAmount SpecifyPeriodInWhichItMayBePaid SpecifyContactDetailsOfPersonToWhomItMayBePaid SpecifyPaymentMethod SpecifyContactDetailsOfPersonToWhomRepresentationsRelatedToTheNoticeMayBeMade SpecifyConsequencesOfNotMakingPayment SteeredByMeansOfHandlebarsAttachedToTheFrontWheel Taxi TookPlaceBeforeWhatHasBeenPrescribedByRegulationsMadeByScottishMinisters UsedForPrivatePurposesOf ValueOf Vehicle VehicleOfTypeNotCommonlyUsedAsPrivateVehicleAndUnsuitableToBeSoUsed
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]