A demonstration of formal policy reasoning using an extended version of BaseVISor

Proceedings - 2008 IEEE Workshop on Policies for Distributed Systems and Networks, POLICY 2008

Volumn , Issue , 2008, Pages 225-227

  Matheus, Christopher J ^a   Kokar, Mieczyslaw M ^b   Dionne, Robert ^a  

^a VISTOLOGY INC   (United States)

^b NORTHEASTERN UNIVERSITY

Author keywords

[No Author keywords available]

Indexed keywords

EID: 51849165065     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/POLICY.2008.34     Document Type: Conference Paper

References (11)

1. C. Matheus, K. Baclawski and M.. Kokar. BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules. In Proceedings of the 2nd International Conference on Rules and Rule Languages for the Semantic Web, Athens, GA, Nov. 2006.
2. L. Kagal and T. Berners-Lee. Rein : Where policies meet rules in the semantic web. Technical report, MIT, 2005.
3. P. McDaniel and A. Prakash. Methods and Limitations of Security Policy Reconciliation. ACM Transactions on Information and System Security (TISSEC), Association for Computing Machinery, 9(3):259-291, August 2006.
4. S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, L. A. Stein. OWL Web Ontology Language Reference, W3C Recommendation 10 February 2004. http://www.w3.org/TR/owl-ref/.
5. W3C: RDF/XML Syntax Specification (Revised). http://www.w3.org/TR/rdf- syntax-grammar/ (2004).
6. W3C: RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation, http://www.w3.org/TR/rdfschema/(2002).
7. CWM: Closed World Machine. http://infomesh.net/2001/cwm/ 2001.
8. C. L. Forgy, "Rete: a fast algorithm for the many pattern/many object pattern match problem," Artificial Intelligence, 1982, pp. 17-37.
9. H. ter Horst. Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity. In Proc. of the Fourth Int'l Semantic Web Conference. Y. Gil et al. (Eds.): ISWC 2005, LNCS 3729, pp. 668-684, 2005.
10. T. Berners-Lee, Notation 3. http://www.w3.org/DesignIssues/Notation3.html (1.998).
11. http://di.g.csail.mi.t.edu/Rein