Previous article
14 October 2010
Master Thesis Defense by Domenico Carbotta
Mr Domenico Carbotta defended his master thesis on 'A Practical Automata-Based Technique For Reasoning In Expressive Description Logics'.
Mr Domenico Carbotta defended his master thesis on 'A Practical Automata-Based Technique For Reasoning In Expressive Description Logics' at TUW on Thursday, 14 October 2010.
Abstract: The goal of this thesis is the design and implementation of a new automata-based procedure for reasoning over expressive Description Logics. In order to show the feasibility of the approach, we have realized a working prototype of a reasoner based upon these techniques. An experimental evaluation of this prototype shows encouraging results.