Checking and Reasoning about Semantic Web through Alloy
暂无分享,去创建一个
Jin Song Dong | Hai H. Wang | Jing Sun | J. Dong | Jing Sun | Hai H. Wang
[1] Daniel Jackson,et al. Alcoa: the Alloy constraint analyzer , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[2] Daniel Jackson,et al. Micromodels of software: lightweight modelling and analysis with Alloy , 2002 .
[3] Ian Horrocks. The FaCT System , 1998, TABLEAUX.
[4] Cecilia Mascolo,et al. XML technologies and software engineering , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[5] Dan Brickley,et al. Resource Description Framework (RDF) Model and Syntax Specification , 2002 .
[6] Jin Song Dong,et al. Semantic Web for Extending and Linking Formalisms , 2002, FME.
[7] James A. Hendler,et al. The Semantic Web" in Scientific American , 2001 .
[8] Jun Sun,et al. Analysing Web Ontology in Alloy: A Military Case Study , 2003, SEKE.
[9] Ian Horrocks,et al. Adding formal semantics to the Web: building on top of RDF Schema. , 2000 .
[10] Jin Song Dong,et al. Z Approach to Semantic Web , 2002, ICFEM.
[11] Dan Brickley,et al. Resource description framework (RDF) schema specification , 1998 .