RAS
Regulation Assistance System
Version 0.5

The RAS system is a logic-based compliance-assistance system designed to help users work with environmental regulations and related documents.  This system is part of a larger project, the RegNet project, which aims to develop a formal, practical infrastructure to enhance access to government regulations.  The RAS prototype available through this website is a limited implementation that covers two sections of Part 279 from the Code of Federal Regulations, Title 40:  Protection of the Environment (40 CFR).  Part 279 covers the standards for the management of used oil and defines standards for a variety of parties: used oil generators, used oil collection centers and aggregation points, used oil transporter and transfer facilities, used oil processors and re-refiners, used oil burners who burn off-specification used oil for energy recovery, used oil fuel marketers, and entities disposing of used oil

Read the RAS tutorial

Start the RAS system

Start the regGuide demo

Acknowledgements and Disclaimer

This research project is sponsored by the National Science Foundation, Grant Numbers EIA-998368 and EIA-0085998.  The RAS system uses Otter, an automated-deduction program developed by William McCune at Argonne National Laboratory, to do logical inferences for the compliance checking procedure.  

The prototype implemented herein is solely for demonstration and research purpose and is not intended to be used for any other purposes. Any opinions, findings, conclusions or recommendations expressed in this material are those of the prototype developers and do not necessarily reflect the views of the National Science Foundation, Stanford University and any other agencies.  No approval or endorsement of any commercial product by Stanford University is intended or implied.

CLASSIFICATION STRUCTURES DISCLAIMER: These classification structures, and the classification rules they contain, are works-in-progress as part of an academic research effort at Stanford University. Further, the text version of 40 CFR that is searchable on this site was downloaded in January of 2001 for research purposes only. **THIS SITE DOES NOT CONTAIN **THE CURRENT VERSION OF 40 CFR. For counsel regarding environmental compliance, consult an attorney. 40 CFR INDEX OF TERMS (An alphabetical index of terms in 40 CFR) Index to the National Primary Drinking Water Regulations (An alphabetical index of terms in 40 CFR 141) Index for Drinking Water Information (An alphabetical index of terms in a corpus of material dealing with drinking water) The Periodic Table of Elements (A classification of terms in 40 CFR according to the Periodic Table of the Elements) On the Topics of Regulation, Pollution, and Waste (A classification of terms in 40 CFR on the topics of regulation, pollution, and waste) The Fifty U.S. States (A classification of 40 CFR according to state names. Use this hierarchy to find locations in 40 CFR where a specific state is discussed. N.B. - this is being applied to Federal Regulations, you will not find State Regulations through this classification hierarchy.)