{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:35Z","timestamp":1725566315623},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236641"},{"type":"electronic","value":"9783540304708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30470-8_76","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T21:42:15Z","timestamp":1285278135000},"page":"652-661","source":"Crossref","is-referenced-by-count":8,"title":["Modeling the Tax Code"],"prefix":"10.1007","author":[{"given":"Eric","family":"Melz","sequence":"first","affiliation":[]},{"given":"Andre","family":"Valente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"76_CR1","unstructured":"The Internal Revenue Code (2004), \n                    \n                      http:\/\/www.fourmilab.ch\/ustax\/ustax.html"},{"key":"76_CR2","unstructured":"GAO-02-711R IRS Budget Justification Options. General Accounting Office Washington, DC (2002), \n                    \n                      www.unclefed.com\/GAOReports\/d02711r.pdf"},{"key":"76_CR3","unstructured":"TurboTax, \n                    \n                      www.intuit.com"},{"key":"76_CR4","unstructured":"Genesereth, M.: Knowledge Interchange Format specification (1995), \n                    \n                      http:\/\/logic.stanford.edu\/kif\/specification.html"},{"key":"76_CR5","unstructured":"PowerLoom Knowledge Representation System (2004), \n                    \n                      http:\/\/www.isi.edu\/isd\/LOOM\/PowerLoom\/"},{"key":"76_CR6","unstructured":"FrameNet (2004), \n                    \n                      http:\/\/www.icsi.berkeley.edu\/~framenet\/"},{"key":"76_CR7","unstructured":"Cyc (2004), \n                    \n                      http:\/\/www.cyc.com"},{"key":"76_CR8","unstructured":"OpenMind (2004), \n                    \n                      http:\/\/www.openmind.org\/"},{"key":"76_CR9","unstructured":"Chalupsky, H.: WhyNot: debugging failed queries in large knowledge bases. In: Proceedings of the Eighteenth national conference on Artificial Intelligence (2002)"},{"key":"76_CR10","unstructured":"Mommers, L.: Applied legal epistemology: building a knowledge-based ontology of the legal domain, Ph.D. thesis (2002)"},{"issue":"1","key":"76_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/5254.747903","volume":"14","author":"A. Valente","year":"1999","unstructured":"Valente, A., Russ, T., MacGregor, R., Swartout, W.: Building, Using and Reusing an Ontology of Air Campaign Planning. IEEE Intelligent Systems\u00a014(1), 27\u201336 (1999)","journal-title":"IEEE Intelligent Systems"},{"issue":"6","key":"76_CR12","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.1006\/ijhc.1999.0298","volume":"51","author":"A. Valente","year":"1999","unstructured":"Valente, A., Breuker, J.: Legal Modelling and Automated Reasoning with ON-LINE. International Journal of Human-Computer Studies\u00a051(6), 1079\u20131125 (1999)","journal-title":"International Journal of Human-Computer Studies"},{"key":"76_CR13","unstructured":"Valente, A., Breuker, J.: Towards Principled Core Ontologies. In: Gaines, B., Musen, M. (eds.) Proceedings of the Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW 1996), Banff, pp. 33\/1\u201333\/20 (1996)"},{"key":"76_CR14","first-page":"180","volume-title":"Proc. of the Second International Conference on AI and Law","author":"T. McCarty","year":"1989","unstructured":"McCarty, T.: A language for legal discourse I. basic structures. In: Proc. of the Second International Conference on AI and Law, Vancouver, pp. 180\u2013189. ACM, New York (1989)"},{"key":"76_CR15","volume-title":"Law and the Semantic Web","author":"A. Valente","year":"2004","unstructured":"Valente, A.: Roles and Uses of Ontologies in AI and Law. In: Law and the Semantic Web, Springer, Heidelberg (2004) (in press)"},{"key":"76_CR16","unstructured":"Benjamins, V.R., Contreras, J., Casanovas, P., Ayuso, M.: Ontologies of Professional Legal Knowledge as the Basis for Intelligent IT Support for Judges. In: Proceedings of the ICAIL 2003 Workshop on Legal Ontologies & Web based legal information management (2003)"},{"key":"76_CR17","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1008251913710","volume":"6","author":"P.S. Visser","year":"1998","unstructured":"Visser, P.S., Bench-Capon, T.M.: A Comparison of Four Ontologies for the Design of Legal Knowledge Systems. Artificial Intelligence and Law\u00a06, 25\u201357 (1998)","journal-title":"Artificial Intelligence and Law"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30470-8_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:02:21Z","timestamp":1620014541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30470-8_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236641","9783540304708"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30470-8_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}