Belief revision in description logics: a plug-in for Protégé
Improving efficiency of belief base change in description logics with modularity i...
FAPESP - DFG Joint Workshops 2017 - Ontologies, Uncertainty, and Inconsistency Han...
Advanced search
Belif revision in description logics - a Plug-in for Protégé
Full text
| |
| Author(s): |
Fillipe Manoel Xavier Resina
Total Authors: 1
|
| Document type: | Master's Dissertation |
| Press: | São Paulo. |
| Institution: | Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI) |
| Defense date: | 2014-04-07 |
| Examining board members: |
Renata Wassermann;
Eduardo Leopoldo Fermé;
Marcelo Finger
|
| Advisor: | Renata Wassermann |
| Abstract | |
Description Logics are the basis for OWL language, which is the standard to represent ontologies on the web. However, knowledge is usually not satic and its dynamics brings the importance of belief revision and its correct and proper application. In this work, we intend to develop a tool for revising ontologies as a plug-in for Protégé, the most used ontology editor nowadays. (AU) | |
| FAPESP's process: | 11/04477-0 - Belief revision in description logics: a plug-in for Protégé |
| Grantee: | Fillipe Manoel Xavier Resina |
| Support Opportunities: | Scholarships in Brazil - Master |