loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 IEEE Workshop on Policies for Distributed Systems and Networks
A Demonstration of Formal Policy Reasoning Using an Extended Version of??BaseVISor
June 02-June 04
ISBN: 978-0-7695-3133-5
ASCII Text
x 
 
Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne, "A Demonstration of Formal Policy Reasoning Using an Extended Version of??BaseVISor," Policies for Distributed Systems and Networks, IEEE International Workshop on, pp. 225-227, 2008 IEEE Workshop on Policies for Distributed Systems and Networks, 2008.
 
 
BibTex
x
 
@article{ 10.1109/POLICY.2008.34,
author = {Christopher J. Matheus and Mieczyslaw M. Kokar and Robert Dionne},
title = {A Demonstration of Formal Policy Reasoning Using an Extended Version of??BaseVISor},
journal ={Policies for Distributed Systems and Networks, IEEE International Workshop on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3133-5},
pages = {225-227},
doi = {http://doi.ieeecomputersociety.org/10.1109/POLICY.2008.34},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Policies for Distributed Systems and Networks, IEEE International Workshop on
TI - A Demonstration of Formal Policy Reasoning Using an Extended Version of??BaseVISor
SN - 978-0-7695-3133-5
SP225
EP227
A1 - Christopher J. Matheus,
A1 - Mieczyslaw M. Kokar,
A1 - Robert Dionne,
PY - 2008
KW - formal policy processing
KW - ontologies
KW - automated reasoning
VL - 0
JA - Policies for Distributed Systems and Networks, IEEE International Workshop on
ER -
 
This demonstration will show the practical application of a formal reasoning engine for both policy invocation and policy reconciliation. The primary features of this demonstration include the use of formal ontologies, context based policy reasoning, and support for both policy invocation and reconciliation.??BaseVISor, a forward chaining inference engine optimized for reasoning about RDF triples, is the formal reasoning engine that we have extended to support automated reasoning about policies through the addition of context-based semantics introduced by cwm/REIN and a formal ontology that we have extended/developed based on concepts from REIN and Ismeme. We will demonstrate the system’s application to some commonpolicy processing scenarios.
Index Terms:
formal policy processing, ontologies, automated reasoning
Citation:
Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne, "A Demonstration of Formal Policy Reasoning Using an Extended Version of??BaseVISor," policy, pp.225-227, 2008 IEEE Workshop on Policies for Distributed Systems and Networks, 2008
Usage of this product signifies your acceptance of the Terms of Use.