{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:01:35Z","timestamp":1743130895440,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223082"},{"type":"electronic","value":"9783642223099"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22309-9_6","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T02:10:00Z","timestamp":1309227000000},"page":"44-53","source":"Crossref","is-referenced-by-count":0,"title":["Semantic Verification in an Open Collaboration Scenario"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Coelho","sequence":"first","affiliation":[]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"6_CR1","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1002\/stvr.401","volume":"19","author":"M.H. Alalfi","year":"2009","unstructured":"Alalfi, M.H., Cordy, J.R., Dean, T.R.: Modelling methods for web application verification and testing: state of the art. Softw. Test., Verif. Reliab.\u00a019(4), 265\u2013296 (2009)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"6_CR2","first-page":"41","volume-title":"ENTCS","author":"M. Alpuente","year":"2005","unstructured":"Alpuente, M., Ballis, D., Falaschi, M.: A Rewriting-based Framework for Web Sites Verification. In: ENTCS, pp. 41\u201361. Elsevier Science, Amsterdam (2005)"},{"issue":"6","key":"6_CR3","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/s10009-006-0009-7","volume":"8","author":"M. Alpuente","year":"2006","unstructured":"Alpuente, M., Ballis, D., Falaschi, M.: Rule-based verification of web sites. STTT\u00a08(6), 565\u2013585 (2006)","journal-title":"STTT"},{"key":"6_CR4","series-title":"LNCS","volume-title":"2nd Annual International Workshop Web and Databases","author":"F. Bry","year":"2002","unstructured":"Bry, F., Schaffert, S.: The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. In: 2nd Annual International Workshop Web and Databases. LNCS, Springer, Heidelberg (2002)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/3-540-45619-8_18","volume-title":"Logic Programming","author":"F. Bry","year":"2002","unstructured":"Bry, F., Schaffert, S.: Towards a declarative query and transformation language for XML and semistructured data: Simulation unification. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, p. 255. Springer, Heidelberg (2002)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1007\/978-3-540-30469-2_17","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"J. Coelho","year":"2004","unstructured":"Coelho, J., Florido, M.: CLP(Flex): Constraint logic programming applied to XML processing. In: Chung, S. (ed.) OTM 2004. LNCS, vol.\u00a03291, pp. 1098\u20131112. Springer, Heidelberg (2004)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11610496_20","volume-title":"Advanced Web and Network Technologies, and Applications","author":"J. Coelho","year":"2006","unstructured":"Coelho, J., Florido, M.: VeriFLog: A constraint logic programming approach to verification of website content. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds.) APWeb Workshops 2006. LNCS, vol.\u00a03842, pp. 148\u2013156. Springer, Heidelberg (2006)"},{"key":"6_CR8","volume-title":"The Second International Conference on Internet and Web Applications and Services","author":"J. Coelho","year":"2007","unstructured":"Coelho, J., Florido, M.: Type-based static and dynamic website verification. In: The Second International Conference on Internet and Web Applications and Services, IEEE Computer Society, Los Alamitos (2007)"},{"doi-asserted-by":"crossref","unstructured":"Coelho, J., Florido, M.: Xcentric: A logic-programming language for xml processing. In: Grust, T. (ed.) ACM SIGPLAN Workshop on Programming Language Technologies for XML, PLAN-X (2007)","key":"6_CR9","DOI":"10.1145\/1316902.1316904"},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1145\/988672.988766","volume-title":"WWW","author":"T. Despeyroux","year":"2004","unstructured":"Despeyroux, T.: Practical semantic analysis of web sites and documents. In: Feldman, S.I., Uretsky, M., Najork, M., Wills, C.E. (eds.) WWW, pp. 685\u2013693. ACM, New York (2004)"},{"unstructured":"Wikimedia Foundation. Wikipedia: Multilingual, web-based, free content encyclopedia project. World Wide Web (2010), http:\/\/www.wikipedia.org\/","key":"6_CR11"},{"doi-asserted-by":"crossref","unstructured":"Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: FOCS, pp. 453\u2013462 (1995)","key":"6_CR12","DOI":"10.1109\/SFCS.1995.492576"},{"unstructured":"Kutsia, T.: Context sequence matching for xml. In: Proceedings of the 1th Int. Workshop on Automated Specification and Verification of Web Sites (2005)","key":"6_CR13"},{"key":"6_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"issue":"6","key":"6_CR15","first-page":"691","volume":"9","author":"P. Mancarella","year":"2009","unstructured":"Mancarella, P., Terreni, G., Sadri, F., Toni, F., Endriss, U.: The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. TPLP\u00a09(6), 691\u2013750 (2009)","journal-title":"TPLP"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.entcs.2009.03.009","volume":"235","author":"P. Mancarella","year":"2009","unstructured":"Mancarella, P., Terreni, G., Toni, F.: Web sites repairing through abduction. Electr. Notes Theor. Comput. Sci.\u00a0235, 137\u2013152 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-48054-4_6","volume-title":"Conceptual Modeling ER\u201999","author":"E. Mayol","year":"1999","unstructured":"Mayol, E., Teniente, E.: A survey of current methods for integrity constraint maintenance and view updating. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., M\u00e9tais, E. (eds.) ER 1999. LNCS, vol.\u00a01728, pp. 62\u201373. Springer, Heidelberg (1999)"},{"key":"6_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-48765-4_29","volume-title":"Multiple Approaches to Intelligent Systems","author":"F. Harmelen van","year":"1999","unstructured":"van Harmelen, F., van der Meer, J.: Webmaster: Knowledge-based verification of web-pages. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds.) IEA\/AIE 1999. LNCS (LNAI), vol.\u00a01611, pp. 256\u2013265. Springer, Heidelberg (1999)"}],"container-title":["Communications in Computer and Information Science","Future Information Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22309-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T20:53:41Z","timestamp":1686171221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22309-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223082","9783642223099"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22309-9_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}