A combined approach to checking web ontologies
暂无分享,去创建一个
Jin Song Dong | Hai H. Wang | Yuan-Fang Li | Chew Hung Lee | Hian Beng Lee | J. Dong | Yuan-Fang Li | Hai H. Wang | H. Lee | Chew-Hung Lee
[1] Volker Haarslev,et al. Practical Reasoning in RACER with a Concrete Domain for Linear Inequations , 2002, Description Logics.
[2] Natarajan Shankar,et al. PVS: A Prototype Verification System , 1992, CADE.
[3] Jin Song Dong,et al. Checking and Reasoning about Semantic Web through Alloy , 2003, FME.
[4] Daniel Jackson,et al. Alloy: a lightweight object modelling notation , 2002, TSEM.
[5] Anni-Yasmin Turhan,et al. RACE User's Guide and Reference Manual Version 1.1 , 1999 .
[6] Mark Saaltink. The Z/EVES System , 1997, ZUM.
[7] James A. Hendler,et al. The Semantic Web" in Scientific American , 2001 .
[8] Ian Horrocks,et al. Adding formal semantics to the Web: building on top of RDF Schema. , 2000 .
[9] Deborah L. McGuinness,et al. OWL Web ontology language overview , 2004 .
[10] James A. Hendler,et al. Owl web ontology language 1 , 2002 .
[11] Daniel Jackson,et al. Micromodels of software: lightweight modelling and analysis with Alloy , 2002 .
[12] Ian Horrocks,et al. OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.
[13] Joseph A. Goguen,et al. Institutions: abstract model theory for specification and programming , 1992, JACM.
[14] Stefan Decker,et al. TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web , 2002, SEMWEB.
[15] Dan Brickley,et al. Resource description framework (RDF) schema specification , 1998 .
[16] Ian Horrocks. The FaCT System , 1998, TABLEAUX.
[17] Daniel Jackson,et al. Alcoa: the Alloy constraint analyzer , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[18] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[19] Jin Song Dong,et al. Verifying DAML+OIL and beyond in Z/EVES , 2004, Proceedings. 26th International Conference on Software Engineering.
[20] Jim Woodcock,et al. Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.
[21] Dan Brickley,et al. Resource Description Framework (RDF) Model and Syntax Specification , 2002 .
[22] James Clark,et al. XSL Transformations (XSLT) Version 1.0 , 1999 .