Reasoning about Semantic Web in Isabelle/HOL

• Main Authors: Tang, Y., Dong, J.S., Sun, J., Mahony, B.
• Other Authors: COMPUTER SCIENCE
• Format: Conference or Workshop Item
• Published: 2013
• Subjects: DAML+OIL; Isabelle/HOL; Semantic Web; Theorem proving
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/40072
• Institution: National University of Singapore

10.1109/APSEC.2004.82