Belief revision in description logics: a plug-in for Protégé
Advances and new perspectives on paraconsistent belief revision
| Grant number: | 18/00087-2 |
| Support Opportunities: | Scholarships abroad - Research Internship - Doctorate (Direct) |
| Effective date (Start): | April 15, 2018 |
| Effective date (End): | January 14, 2019 |
| Field of knowledge: | Physical Sciences and Mathematics - Computer Science - Computer Systems |
| Principal Investigator: | Renata Wassermann |
| Grantee: | Ricardo Ferreira Guimarães |
| Supervisor: | Ulrike Melanie Sattler |
| Host Institution: | Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil |
| Research place: | University of Manchester, England |
| Associated to the scholarship: | 17/04410-0 - Modularity in ontology change, BP.DD |
Abstract According to the W3C, ontologies in OWL (or OWL 2) are the standard way to share information in the Semantic Web. Among the many views of ontologies, we adopt here the definition of ontologies as documents describing the conceptualization of a domain, in a computer-processable language. Specifically, we address the problem of repairing and evolving large-scale ontologies efficiently. Since OWL and OWL 2 are founded in the family of the description logics, we can handle the codification of ontologies in such languages as finite sets of logical axioms. This view allows us to combine the theory of Belief Change, which formalizes rational change in logical objects, and strategies of modularization which can reduce the computational costs associated with the change operations. (AU) | |
| News published in Agência FAPESP Newsletter about the scholarship: | |
| TITULO | |
| Articles published in other media outlets (0 total): | |
| More itemsLess items | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |