Petrova, Iliana Mineva (2017) OPTIMIZATION OF NONSTANDARD REASONING SERVICES. [Tesi di dottorato]
Anteprima |
Testo
tesi-petrova.pdf Download (1MB) | Anteprima |
Tipologia del documento: | Tesi di dottorato |
---|---|
Lingua: | English |
Titolo: | OPTIMIZATION OF NONSTANDARD REASONING SERVICES |
Autori: | Autore Email Petrova, Iliana Mineva ilianamineva.petrova@unina.it |
Data: | 1 Ottobre 2017 |
Numero di pagine: | 195 |
Istituzione: | Università degli Studi di Napoli Federico II |
Dipartimento: | Ingegneria Elettrica e delle Tecnologie dell'Informazione |
Dottorato: | Information technology and electrical engineering |
Ciclo di dottorato: | 29 |
Coordinatore del Corso di dottorato: | nome email Riccio, Daniele dariccio@unina.it |
Tutor: | nome email Bonatti, Piero Andrea [non definito] |
Data: | 1 Ottobre 2017 |
Numero di pagine: | 195 |
Parole chiave: | non monotonic reasoning, access controll, optimizations |
Settori scientifico-disciplinari del MIUR: | Area 01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Depositato il: | 22 Nov 2017 11:43 |
Ultima modifica: | 08 Mar 2018 13:33 |
URI: | http://www.fedoa.unina.it/id/eprint/11873 |
DOI: | 10.6093/UNINA/FEDOA/11873 |
Abstract
The increasing adoption of semantic technologies and the corresponding increasing complexity of application requirements are motivating extensions to the standard reasoning paradigms and services supported by such technologies. This thesis focuses on two of such extensions: nonmonotonic reasoning and inference-proof access control. Expressing knowledge via general rules that admit exceptions is an approach that has been commonly adopted for centuries in areas such as law and science, and more recently in object-oriented programming and computer security. The experiences in developing complex biomedical knowledge bases reported in the literature show that a direct support to defeasible properties and exceptions would be of great help. On the other hand, there is ample evidence of the need for knowledge confidentiality measures. Ontology languages and Linked Open Data are increasingly being used to encode the private knowledge of companies and public organizations. Semantic Web techniques facilitate merging different sources of knowledge and extract implicit information, thereby putting at risk security and the privacy of individuals. But the same reasoning capabilities can be exploited to protect the confidentiality of knowledge. Both nonmonotonic inference and secure knowledge base access rely on nonstandard reasoning procedures. The design and realization of these algorithms in a scalable way (appropriate to the ever-increasing size of ontologies and knowledge bases) is carried out by means of a diversified range of optimization techniques such as appropriate module extraction and incremental reasoning. Extensive experimental evaluation shows the efficiency of the developed optimization techniques: (i) for the first time performance compatible with real-time reasoning is obtained for large nonmonotonic ontologies, while (ii) the secure ontology access control proves to be already compatible with practical use in the e-health application scenario. �
Downloads
Downloads per month over past year
Actions (login required)
![]() |
Modifica documento |