PAW (Project)
From Tetherless World Wiki
| Policy Aware Web | |
| type | Sponsored Project |
| status | active |
| Management | |
| sponsor | NSF |
| award number | 0427275 |
| team | Tetherless World Constellation |
| investigator | James A. Hendler,Tim Berners-Lee,Daniel J. Weitzner |
| Tags | |
| tag | Policy Language,Semantic Web,Logics |
| Internal | |
In this project, we explored the motivations for, and development of, a rule-based policy management system that can be deployed in the open and distributed milieu of the World Wide Web. We demonstrated the necessary features of such a system in creating a “Policy Aware” infrastructure for the Web, and argued for the necessity of such infrastructure. We then showed how the integration of a Semantic Web rules language (N3) with a theorem prover designed for the Web (Cwm) made it possible to use the Hypertext Transport Protocol (HTTP) to provide a mechanism for the exchange of rules and proofs for access control on the Web. Work also included exploring the use of formal reasoning mechanisms to support policy reasoning, scalable (incremental)reasoning and the formalization of the rules and logic models used. We also explored the future research needed to make the widespread deployment of accountability mechanisms on the Web a reality.
Contents |
Publications from this grant
- Danny Weitzner,Hal Abelson,Tim Berners-Lee,Joan Feigenbaum,James A. Hendler,Gerald Sussman. (2008) Information Accountability. In CACM, 51(6):82-86, June, 2008. (Download)
- Christian Halaschek-Wiener,James A. Hendler. (2007) Toward expressive syndication on the web. In WWW, pp. 727-736, 2007. (Download)
- Vladimir Kolovski,James A. Hendler,Bijan Parsia. (2007) Analyzing web access control policies. In WWW, pp. 677-686, 2007. (Download)
- Jennifer Golbeck,James A. Hendler. (2008) A Semantic Web approach to the provenance challenge. In Concurrency and Computation: Practice and Experience, 20(5):431-439, 2008.
- Christian Halaschek-Wiener,Bijan Parsia,Evren Sirin,Aditya Kalyanpur. (2006) Description Logic Reasoning for Dynamic ABoxes. In Description Logics, , 2006.
- Christian Halaschek-Wiener,Bijan Parsia,Evren Sirin. (2006) Description Logic Reasoning with Syntactic Updates. In OTM Conferences (1), pp. 722-737, 2006.
- Vladimir Kolovski,Bijan Parsia. (2006) Ws-policy and beyond: application of owl defaults to web service policies. In 2nd international semantic web policy workshop (swpw'06), , 2006. (Download)
- Vladimir Kolovski,Bijan Parsia,Yarden Katz. (2006) Implementing owl defaults. In Owl: experiences and directions workshop, , 2006. (Download)
- Yarden Katz,Kendall Clark,Bijan Parsia. (2005) Pychinko: a native python rule engine. In International python conference 05, , 2005. (Download)
- Lalana Kagal,Chris Hanson,Daniel J. Weitzner. (2008) Using Dependency Tracking to Provide Explanations for Policy Management. In POLICY, pp. 54-61, 2008.
- Tim Berners-Lee,Dan Connolly,Lalana Kagal,Yosi Scharf,James A. Hendler. (2008) N3Logic: A logical framework for the World Wide Web. In TPLP, 8(3):249-269, 2008.
- Danny Weitzner,Hal Abelson,Tim Berners-Lee,Joan Feigenbaum,James A. Hendler,Gerald Sussman. (2007) Information Accountability. In MIT CSAIL Technical Report, (MIT-CSAIL-TR-2007), June, 2007. (Download)
- Tim Berners-Lee,Wendy Hall,James A. Hendler,Nigel Shadbolt,Danny Weitzner. (2006) Creating a Science of the Web. In Science, 313(5788):769--771, 2006. (Download)
- Gireesh Shrimali. (2008) Surplus extraction by network providers: Implications for net neutrality and innovation. In Telecommun. Policy, 32(8):545--558, Tarrytown, NY, USA, 2008.
- Lalana Kagal,Tim Berners-Lee,Dan Connolly,Daniel J. Weitzner. (2006) Using Semantic Web Technologies for Policy Management on the Web. In AAAI, , 2006. (Download)
- Lalana Kagal,Tim Berners-Lee,Dan Connolly,Daniel J. Weitzner. (2006) Self-Describing Delegation Networks for the Web. In POLICY, pp. 205-214, 2006. (Download)
- Daniel J. Weitzner and Harold Abelson and Tim Berners-Lee and Chris Hanson and James A. Hendler and Lalana Kagal and Deborah L. McGuinness and Gerald Jay Sussman and K. Krasnow Waterman. (2006) Transparent Accountable Data Mining: New Strategies for Privacy Protection. In Proceedings of AAAI Spring Symposium on The Semantic Web meets eGovernment., 2006.
Students completing doctorates (funded wholly or in part by this grant)
- Vladimir Kolovski Thesis: A Logic-Based Framework for Web Access Control Policies, 4/08. (University of Maryland, J. Hendler, J. Golbeck, cochairs)
- Christian Halaschek-Wiener Thesis: Expressive Syndication on the Web Using a Description Logic Approach, 11/07. (University of Maryland, J. Hendler, J. Golbeck, cochairs)
- Bernardo Cuenca Grau Thesis: Combinacion e Integracion de Ontologias en la Web Semantica, (awarded by the University of Valencia, Valencia, Spain), 11/05 (work performed at University of Maryland, J. Hendler, cochair)
Other Students (funded wholly or in part by this grant)
- Gregory Todd Williams
- Ian Jacobi (RPI, BS 2008; now a graduate student at MIT)
- Yarden Katz (UMD, BA 2007; now a graduate student at MIT)
- Yosi Scarf (MIT - MEng, 2008)
Other Personnel (funded wholly or in part by this grant)
- Jennifer Golbeck (Post doctorate fellow Univ of Md; now a faculty member at the University of Maryland)
- Bijan Parsia (Research Scientist at Univ of Md; now a faculty member at University of Manchester)
- Lalana Kagal (Research Scientist MIT)
- Dan Connolly (Research Scientist MIT)
Related Web Sites
- Pre-wiki PAW project internal page: http://www.policyawareweb.org/
- TAMI The TAMI Project
| Award number | 0427275 + |
| Dc:description | In this project, we explored the motivatio … In this project, we explored the motivations for, and development of, a rule-based policy management system that can be deployed in the open and distributed milieu of the World Wide Web. We demonstrated the necessary features of such a system in creating a “Policy Aware” infrastructure for the Web, and argued for the necessity of such infrastructure. We then showed how the integration of a Semantic Web rules language (N3) with a theorem prover designed for the Web (Cwm) made it possible to use the Hypertext Transport Protocol (HTTP) to provide a mechanism for the exchange of rules and proofs for access control on the Web. Work also included exploring the use of formal reasoning mechanisms to support policy reasoning, scalable (incremental)reasoning and the formalization of the rules and logic models used. We also explored the future research needed to make the widespread deployment of accountability mechanisms on the Web a reality. ntability mechanisms on the Web a reality. |
| Investigator | James A. Hendler +, Tim Berners-Lee +, and Daniel J. Weitzner + |
| Participant | Vladimir Kolovski +, Christian Halaschek-Wiener +, Bernardo Cuenca Grau +, Gregory Todd Williams +, Ian Jacobi +, Yarden Katz +, Yosi Scarf +, Jennifer Golbeck +, Bijan Parsia +, Lalana Kagal +, and Dan Connolly + |
| Sponsor | NSF + |
| Status | active + |
| Tag | Policy Language +, Semantic Web +, and Logics + |
| Team | Tetherless World Constellation + |
