Student Work

 

Scenarios for Description Logic Public

Downloadable Content

open in viewer

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.

Creator
Publisher
Identifier
  • E-project-043015-111746
Advisor
Year
  • 2015
Date created
  • 2015-04-30
Resource type
Major
Rights statement
License

Relationships

In Collection:

Items

Permanent link to this page: https://digital.wpi.edu/show/jh343t661