3I.Horrocks,U.Sattler,Ontology reasoning in the SHOQ(D) description logic [J].In Proc of the 17th Int.Joint Conf.on Artificial Intelligence(IJCAI-01).
4I.Horrocks,FaCT and iFaCT [J].In Proceedings of the International Workshop on Description Logics (DL'99).
5V.Haarslev and R.Moller,'RACER system description'[J],in Proc.of IJCAR-01,number 2083 of LNAI,Springer-Verlag,(2001).
6Guus Schreiber et al.Knowledge Engineering and Management:The CommonKADS Mehtodology[M].China Machine Press,2003
7D T Pham,N S Gourash.Knowledge-Based Configuration Design[C].In:Industrial Informatics,INDIN 2003 Proceedings,IEEE International Conference,2003:248～254
8S M Deen,C A Johnson.Formalizing an engineering approach to cooperating knowledge-based systems[J].Knowledge and Data Engineering,IEEE Transactions on,2003; 15 (1):103～117
9Hamid R Nemati,David M Steiger,Lakshmi SIyer et al.Knowledge warehouse:an architectural integration of knowledge management,decision support,artif icial intelligence and data warehousing[J].Decision Support Systems,2002;33(2):143～161
