Name
Abstract | ||
|---|---|---|
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 [C. Matheus et al., 2006], 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 [L. Kagal and T. Berners-Lee, 2005] and a formal ontology that we have extended/developed based on concepts from REIN and Ismeme [P. McDaniel and A. Prakash, 2006]. We will demonstrate the system's application to some existing scenarios taken from the body of work described in [L. Kagal and T. Berners-Lee, 2005] and [P. McDaniel and A. Prakash, 2006]. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1109/POLICY.2008.34 | Palisades, NY |
Keywords | Field | DocType |
policy reconciliation,policy reasoning,policy invocation,rdf triple,formal ontology,commonpolicy processing scenario,practical application,automated reasoning,formal policy reasoning,extended version,inference engine,formal reasoning engine,cognition,security,resource description framework,owl,knowledge based systems,semantic web,logic,engines,ontologies | Ontology (information science),Forward chaining,Automated reasoning,Programming language,Computer science,Semantic Web,Knowledge-based systems,Formal ontology,Inference engine,Database,Semantics | Conference |
ISBN | Citations | PageRank |
978-0-7695-3133-5 | 2 | 0.46 |
References | Authors | |
2 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Christopher J. Matheus | 1 | 1071 | 333.53 |
| Mieczyslaw M. Kokar | 2 | 498 | 148.01 |
| Robert Dionne | 3 | 2 | 0.46 |