Faculty Advisor

Dougherty, Daniel J.

Abstract

Description logics form a family of knowledge representation languages for modeling ontologies. Model-finding is a technique for analyzing a first-order theory T by constructing and querying the models of T. This project develops a translation from description logic theories to first-order theories, enabling the use of the Razor model-finder. We provide an implementation of the translation algorithm, and a proof of correctness of the algorithm. As a case study, we explore a sample role-based access control policy formalized in description logic and show how to reason about using Razor.

Publisher

Worcester Polytechnic Institute

Date Accepted

April 2015

Major

Computer Science

Major

Mathematical Sciences

Project Type

Major Qualifying Project

Accessibility

Unrestricted

Advisor Department

Computer Science

Share

COinS