{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T05:02:12Z","timestamp":1766466132651,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icse.2004.1317442","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T13:50:22Z","timestamp":1096379422000},"page":"201-210","source":"Crossref","is-referenced-by-count":13,"title":["Verifying DAML+OIL and beyond in Z\/EVES"],"prefix":"10.1109","author":[{"family":"Jing Song Dong","sequence":"first","affiliation":[]},{"family":"Chew Hung Lee","sequence":"additional","affiliation":[]},{"family":"Yuan Fang Li","sequence":"additional","affiliation":[]},{"family":"Hai Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027284"},{"journal-title":"Using Z Specification Refinement and Proof","year":"1996","author":"woodcock","key":"22"},{"journal-title":"Resource Description Framework (RDF) Model and Syntax Specification","year":"1999","author":"lassila","key":"17"},{"journal-title":"OWL Web Ontology Language Overview","year":"2003","key":"23"},{"journal-title":"Ontoweb Ontology-Based Information Deliverable 1 3 A Survey on Ontology Tools","year":"0","key":"18"},{"journal-title":"Web ontology language (owl) use cases and requirements","year":"2003","key":"24"},{"journal-title":"Phase I Report for Plan Ontology","year":"2002","author":"lee","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787.003"},{"journal-title":"Alloy A lightweight object modeling notation","year":"1999","author":"jackson","key":"13"},{"journal-title":"Description Logics Home Page","year":"0","author":"lambrix","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.3.239"},{"journal-title":"Jena Semantic Web Toolkit - Version 1","year":"0","key":"12"},{"key":"21","first-page":"796","article-title":"Checking and reasoning about semantic web through alloy","author":"wang","year":"2003","journal-title":"Proceedings of Formal Methods Europe FME'03 Volume 2805 of Lect Notes in Comput Sci"},{"journal-title":"Resource Description Framework (RDF) Schema Specification 1 0","year":"2000","author":"brickley","key":"3"},{"journal-title":"Reference Description of the DAML+OIL Ontology Markup Language","year":"2001","author":"van harmelen","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"1","first-page":"43","article-title":"Basic description logics","author":"baader","year":"2003","journal-title":"The Description Logic Handbook Theory Implementation and Applications"},{"key":"10","first-page":"4","article-title":"DAML+OIL: A description logic for the semantic web","volume":"25","author":"horrocks","year":"2002","journal-title":"IEEE Data Engineering Bulletin"},{"key":"7","first-page":"156","article-title":"Z approach to semantic web","author":"dong","year":"2002","journal-title":"International Conference on Formal Engineering Methods (ICFEM'02)"},{"journal-title":"OWL web ontology language 1 0 reference","year":"2002","author":"dean","key":"6"},{"journal-title":"DAML Services","year":"0","author":"burstein","key":"5"},{"key":"4","article-title":"Adding formal semantics to the web: Building on top of rdf schema","author":"broekstra","year":"2000","journal-title":"ECDL Workshop on the Semantic Web Models Architectures and Management"},{"key":"9","first-page":"307","article-title":"The FaCT system","volume":"1397","author":"horrocks","year":"1998","journal-title":"Tableaux'98 LNCS"},{"journal-title":"RACER User's Guide and Reference Manual Version 1 7 6","year":"2002","author":"haarslev","key":"8"}],"event":{"name":"Proceedings. 26th International Conference on Software Engineering","acronym":"ICSE-04","location":"Edinburgh, UK"},"container-title":["Proceedings. 26th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9201\/29176\/01317442.pdf?arnumber=1317442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T17:18:41Z","timestamp":1489511921000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1317442\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icse.2004.1317442","relation":{},"subject":[]}}