BOR: a Pragmatic DAML+OIL Reasoner
暂无分享,去创建一个
[1] Ian Horrocks,et al. Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.
[2] Ian Horrocks,et al. Metamodeling Architecture of Web Ontology Languages , 2001, SWWS.
[3] Volker Haarslev,et al. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics , 2001, IJCAR.
[4] I. G. BONNER CLAPPISON. Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.
[5] Atanas Kiryakov,et al. Ontology Middleware: Analysis and Design , 2002 .