Semantic reasoning for autonomic IT systems
Alina Patelli, Radu Călinescu, Hai H. Wang · 2014
Autonomic systems are required to adapt continually to changing environments and user goals. This process involves the real-time update of the system's knowledge base, which should therefore be stored in a machine-readable format and automatically checked for consistency. OWL ontologies meet both requirements, as they represent collections of knowledge expressed in first order logic, and feature embedded reasoners. To take advantage of these OWL ontology characteristics, this PhD project will devise a framework comprising a theoretical foundation, tools and methods for developing \textit{knowledge-centric} autonomic systems. Within this framework, the knowledge storage and maintenance roles will be fulfilled by a specialised class of OWL ontologies.