Design and implementation of ontology inference system
LI Shou-li · Jisuanji gongcheng yu sheji · 2008
SHOQ(D) description logic can be used for reasoning of concepts,roles,individuals and data types,and it can overcome the shortcomings of OIL language that can not handle named individuals and concrete data types.A SHOQ(D) description logic ontology inference system is designed and implemented.On the basis of the SHIQ Tableau algorithms,through the revision and adding relevant rules of individuals and data types,SHOQ(D) Tableau algorithm is achieved.This system is based on FACT system,which provides functions and macros to terminology knowledgebase,including adding axioms,reasoning and answering enquiries.Experimental results show the ability of SHOQ(D) system is better than FACT system.