Reasoning about Semantic Web in Isabelle/HOL

• Main Authors: Tang, Y., Dong, J.S., Sun, J., Mahony, B.
• 其他作者: COMPUTER SCIENCE
• 格式: Conference or Workshop Item
• 出版: 2013
• 主題: DAML+OIL; Isabelle/HOL; Semantic Web; Theorem proving
• 在線閱讀: http://scholarbank.nus.edu.sg/handle/10635/40072
• 機構: National University of Singapore

10.1109/APSEC.2004.82