Verifying DAML+OIL and beyond in Z/EVES
暂无分享,去创建一个
Jin Song Dong | Hai H. Wang | Yuan-Fang Li | Chew Hung Lee | J. Dong | Yuan-Fang Li | Hai H. Wang | Chew-Hung Lee
[1] Dan Brickley,et al. Resource Description Framework (RDF) Model and Syntax Specification , 2002 .
[2] Ian Horrocks,et al. Adding formal semantics to the Web: building on top of RDF Schema. , 2000 .
[3] James A. Hendler,et al. The Semantic Web" in Scientific American , 2001 .
[4] Daniel Jackson,et al. Alloy: a lightweight object modelling notation , 2002, TSEM.
[5] Ian Horrocks,et al. Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.
[6] Deborah L. McGuinness,et al. OWL Web ontology language overview , 2004 .
[7] Mark Saaltink. The Z/EVES System , 1997, ZUM.
[8] Anni-Yasmin Turhan,et al. RACE User's Guide and Reference Manual Version 1.1 , 1999 .
[9] Asunción Gómez Pérez,et al. Deliverable 1 . 3 : A survey on ontology tools , 2002 .
[10] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[11] James A. Hendler,et al. Owl web ontology language 1 , 2002 .
[12] Jim Woodcock,et al. Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.
[13] Jin Song Dong,et al. Checking and Reasoning about Semantic Web through Alloy , 2003, FME.
[14] Werner Nutt,et al. Basic Description Logics , 2003, Description Logic Handbook.
[15] Daniele Nardi,et al. An Introduction to Description Logics , 2003, Description Logic Handbook.
[16] Ian Horrocks. The FaCT System , 1998, TABLEAUX.
[17] Dan Brickley,et al. Resource description framework (RDF) schema specification , 1998 .
[18] Jin Song Dong,et al. Z Approach to Semantic Web , 2002, ICFEM.