REGNET Gloria Lau, Shawn Kerrigan, Haoyi Wang, Kincho Law, Gio Wiederhold Stanford University May...

12
REGNET REGNET Gloria Lau, Shawn Kerrigan, Haoyi Wang, Kincho Law, Gio Wiederhold Stanford University May 14th, 2004 A Software Infrastructure for A Software Infrastructure for Government Regulation Analysis Government Regulation Analysis and Compliance Assistance and Compliance Assistance
  • date post

    20-Dec-2015
  • Category

    Documents

  • view

    222
  • download

    4

Transcript of REGNET Gloria Lau, Shawn Kerrigan, Haoyi Wang, Kincho Law, Gio Wiederhold Stanford University May...

REGNETREGNET

Gloria Lau, Shawn Kerrigan, Haoyi Wang, Kincho Law, Gio WiederholdStanford UniversityMay 14th, 2004

A Software Infrastructure for A Software Infrastructure for Government Regulation Analysis Government Regulation Analysis and Compliance Assistanceand Compliance Assistance

MotivationMotivation

Multiple sources of regulations Multiple jurisdictions: federal, state, local, etc. Different formats, terminologies, contexts

UK DDA in HTMLADAAG in HTML

Amending rules, conflicting ideas

IBC in PDF

Complexity and Diversity of RegulationsComplexity and Diversity of Regulations

ADAAG 4.7.2Slope. …Transitions from ramps to walks, gutters, or streets shall be flush and free of abrupt changes…

CBC 1127B.5.5Beveled lip. The lower end of each curb ramp shall have a ½ inch (13mm) lip beveled at 45 degrees as a detectable way-finding edge for persons with visual impairments.

Conflict due to differences in the intent of regulations: ADAAG focuses on wheelchair traversal; CBC focuses on the visually impaired when using a cane.

Compliance assistance and relatedness Compliance assistance and relatedness analysis based on a regulatory repositoryanalysis based on a regulatory repository XML regulatory repository with features extracted

Shallow parser to consolidate regulations HTML, PDF, plain text XML regulations Features, references, etc.

Analysis tools to help understanding of regulations and the relationships between them Compliance checking session

Regulation Assistance System (RAS) Relatedness analysis

Application on e-rulemaking

Development of a Regulatory RepositoryDevelopment of a Regulatory Repository

generic features

domain-specific features

shallow parser

regulations in HTML, PDF,plain text, etc

feature extractor

Ontology

XML regulations

measurements exceptions definitions

Semio

concepts

author-prescribed

indicesglossary termsrefined XML regulations

DomainExpert

chemicals

effective dates

PART 279—Standards For The Management Of Used Oil

Subpart B – Applicability

…§ 279.12 Prohibitions.(a) Surface impoundment prohibition. Used oil shall not be managed in surface impoundments or waste piles unless the units are subject to regulation under parts 264 or 265 of this chapter. (b) Use as a dust suppressant. The use of used oil as a dust suppressant is prohibited, except when such activity takes place in one of the states listed in § 279.82(c).(c) Burning in particular units. Off-specification used oil fuel may be burned for energy recovery in only the following devices:

(1) Industrial furnaces identified in § 260.10 of this chapter;

(2) Boilers, as defined in § 260.10 of this chapter, that are identified as follows:

(i) Industrial boilers located on the site of a facility engaged in a manufacturing process where substances are transformed into new products, including the component parts of products, by mechanical or chemical processes;….

Subsection(a)

Subsection(b)

Subsection(c)

40 CFR 279

Subpart A Subpart B Subpart I

Section 279.10 Section 279.11 Section 279.12

… …

contains

Subsection(a)

Subsection(b)

Subsection(c)

40 CFR 279

Subpart A Subpart B Subpart I

Section 279.10 Section 279.11 Section 279.12

… …

containscontains

(a) Surface impoundment prohibition. Used oil shall not be managed in surface impoundments or waste piles unless the units are subject to regulation under parts 264 or 265 of this chapter.

(a) Surface impoundment prohibition. Used oil shall not be managed in surface impoundments or waste piles unless the units …

Example:

(a) Surface impoundment prohibition. Used oil shall not be managed in surface impoundments or waste piles unless the units are subject to regulation under parts 264 or 265 of this chapter.

(a) Surface impoundment prohibition. Used oil shall not be managed in surface impoundments or waste piles unless the units are subject to regulation under parts 264 or 265 of this chapter.

(a) Surface impoundment prohibition. Used oil shall not be managed in surface impoundments or waste piles unless the units …

Example:

(a) Surface impoundment prohibition. Used oil shall not be managed in surface impoundments or waste piles unless the units …

Example:

reference parse tree

Feature Extraction in XMLFeature Extraction in XML<regulation id="ibc" name="international building code" type="private">

<regElement id="ibc.1107" name="special occupancies"> …

<regElement id="ibc.1107.2" name=“assembly area seating">

<reference id="ibc.1107.2.4.1" times="1" />

<concept name="assembl area" times="1" /> …

<regText>Assembly areas with fixed seating shall comply … </regText>

<regElement id="ibc.1107.2.1" name="services">...</regElement>

<regElement id="ibc.1107.2.2" name=“wheelchair …">...</regElement>

</regElement>

</regElement>

</regulation>

generic features

domain-specific features

shallow parser

regulations in HTML, PDF,plain text, etc

feature extractor

Ontology

XML regulations

measurements exceptions definitions

Semio

concepts

author-prescribed

indicesglossary termsrefined XML regulations

DomainExpert

chemicals

effective dates

REF

ASSUME_LEV0 LEV2’

SUBPART UL’

UL

BACKREFKEY LEV1r’

LEV1p

LEV1r CONN’ LEV1a’

LEV1a

LEV1s

INT

CONN

PART INT CONL2

e

Subpart

O

part

of

265

264

or

40.cfr

Regulation Assistance System (RAS)Regulation Assistance System (RAS)

XML-based Regulations

Additional Input Files

Interactive User Input

Regulation Compliance

Decision

Logic input file Found proof / no proof found

RASweb•Provides web interface

•Displays regulation information

RCCsession•Implements compliance checking procedure

RCCsession•Implements compliance checking procedure

User input Results / requested information

* Otter is an automated-deduction program developed by William McCune at Argonne National Laboratory

Otter*

•Attempts to find proof by contradiction from input file

Otter*

•Attempts to find proof by contradiction from input file

Section 40.cfr.279.20.b.3 from 40CFR

Generators who burn off-specification used oil for energy recovery, except under the on-site space heater provisions of §279.23, must also comply with subpart G of this part.

Regulation logic metadata in XML format <logicSentence>

all _client _oil ((generator(_client) & usedOil(_oil) & burnsForEnergy(_client, _oil) & -satisfied(40_cfr_279_23)) -> provApplies(40_cfr_279_G)).

</logicSentence>

User interface metadata in XML format <logicOption>

<question> Is the used oil used as a dust suppressant?

</question> <logicOpt answer = "yes">

<logicAns> (usedOil(oil1) AND dustSuppressant(oil1)).

</logicAns> </logicOpt> <logicOpt answer = "no">

<logicAns> (usedOil(oil1) AND (-(dustSuppressant(oil1)))).

</logicAns> </logicOpt>

</logicOption>

RAS Compliance Checking SessionRAS Compliance Checking Session

Search Terms/ Concepts

Definitions

References

Search by Concept

Compliance Check

Linking Specific Compliance Assistance Domain to RAS

Regulations, Supplementary Document and Compliance Results

Letter of Interpretation

Similarity Analysis Core

domain knowledge

score refinements

feature matching

measurements

concepts

effective dates

drinking watercontaminants

base score

neighbor inclusion

reference distribution

refined score

discard belowthreshold pairs

related pairs

author-prescribed

indices

ontology (synonymicinformation) . . .

refined XMLregulations

. . .

domain-specificscoring algorithm

+

Structural comparisons

Related elements: door and entrance

Relatedness analysisRelatedness analysis

ADAAG

4.1.6(3)(d) Doors

(i) Where it is technically infeasible to comply with clear opening width requirements of 4.13.5, a projection ...

 

UFAS

4.14.1 Minimum Number

Entrances required to be accessible by 4.1 shall be part of an accessible route and shall comply with ...

A U

ADAAG UFAS

psc(A) psc(U) ref(U)

Application on E-RulemakingApplication on E-Rulemaking

Drafted regulations compared with public comments

Content ofSection 1105.4

6 Related Public Comments

1105.4 [6]

Results from E-Rulemaking ApplicationResults from E-Rulemaking ApplicationADAAG Chapter 11 Rights-of-way Draft 1105.4.1 Length Where signal timing is inadequate for full crossing of all traffic lanes or where the crossing is not signalized, cut-through medians and pedestrian refuge islands shall be 72 inches (1830 mm) minimum in length in the direction of pedestrian travel.

Public Comment I am a member of The American Council of the Blind. I am writing to express my desire for the use of audible pedestrian traffic signals to become common practice. Traffic is becoming more and more complex, and many traffic signals are set up for the benefit of drivers rather than of pedestrians. This often means walk lights that are so short in duration that by ...

ADAAG Chapter 11 Rights-of-way Draft [None Retrieved] No relevant provision identified

Public Comment If you become blind, no amount of electronics on your body or in the environment will make you safe and give back to you your freedom of movement. You have to learn modern blindness skills from a good teacher. You have to practice your new skills. Poor teaching cannot be solved by adding beeping lights to every big Street corner! I am blind myself. I travel to work in downtown Baltimore and ...