Home // COMPUTATION TOOLS 2011, The Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking // View article

JClassic+ DE: A Description logic Reasoning tool: Application to dynamic access control

Authors:
Narhimene Boustia
Aicha Mokhtari

Keywords: Description Logic; Defaults and Exceptions; Reasoner; disjunction; access control.

Abstract:
This paper presents JClassic+ DE, a description logic with default and exception that is expressive enough to be of practical use, which can reason on default knowledge and handle a "weakened kind of disjunction", allowing a tractable subsumption computation. JClassic+ DE is an extension of JClassic+ DE, with the connective lcs, which has the same properties as the LCS external operation to compute the least common subsumer of two concepts. JClassic+ DE is defined with an intensional semantics. We developp this reasoner to define an access control model, where default and exception connectives are used in representation of context to allow authorization. Consideration of context in access control allows definition of dynamic permissions, for example, permissions given to a doctor in a normal context are not the same that we are in an emergency context.

Pages: 25 to 30

Copyright: Copyright (c) IARIA, 2011

Publication date: September 25, 2011

Published in: conference

ISSN: 2308-4170

ISBN: 978-1-61208-159-5

Location: Rome, Italy

Dates: from September 25, 2011 to September 30, 2011