Research And Implementation Of Ontology Query And Reasoning

As a development of current Web, Semantic Web aims to enrich theWeb data with semantic format and make them machine-readable. Thus itwill be convenient for human to co-operate. Ontology reasoner is a keysupporting part for realizing semantic web. Due to its importance, theauthor research and develop DOOR(DL-based OntOlogy Reasoner). Ithas two major functions: 1, receive ontology query command from users,execute query and submit query results to users; 2, perform consistencycheck, classification and other functions for ontology. The thesis achievesnext results:Firstly, current ontology reasoner systems are completely analyzed,from the aspects of ontology reasoner's kind, ability, main implementingtechnology and general application system structure, etc. The thesis alsosummarizes the latest developing trend. All these could give the ontologyreasoner users and developers a useful reference;Secondly, DOOR has been designed and implemented. It can parseand execute ontology query commands as well as OWL-DL ontologyreasoning. Meanwhile, based on OWL-API and combining principle ofcurrent well-known ontology reasoners, a reasoner API is put forward.The API provides an uniform interface for interaction among differentontology reasoners and applications;Thirdly, a comprehensive test and comparison experimentapproaches for ontology reasoner have been proposed. The comparisontesting experiment for different ontology reasoners has been done fromview of functionality, user and developer. The result shows that theapproaches are feasible and effective;At the end of the thesis, the major theory and experiment researchachievements have been summarized. The future research proposals havebeen made. The theoretical and practical impact the achievements imposeon semantic web research and development is described.