Advanced search
Start date
Betweenand

Improving efficiency of belief base change in description logics with modularity in ontologies

Grant number: 18/00087-2
Support type: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 abroad: Ulrike Melanie Sattler
Home 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)