Student Work
Scenarios for Description Logic
PubblicoDescription 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.
- This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.
- Creator
- Publisher
- Identifier
- E-project-043015-111746
- Advisor
- Year
- 2015
- Date created
- 2015-04-30
- Resource type
- Major
- Rights statement
Relazioni
- In Collection:
Articoli
Elementi
Thumbnail | Titolo | Visibilità | Embargo Release Date | Azioni |
---|---|---|---|---|
|
MQP_Paper.pdf | Pubblico | Scaricare | |
![]() |
README.txt | Pubblico | Scaricare | |
![]() |
OWLtoGL.jar | Pubblico | Scaricare |
Permanent link to this page: https://digital.wpi.edu/show/jh343t661