{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:30:41Z","timestamp":1725564641475},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203612"},{"type":"electronic","value":"9783540397151"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39715-1_10","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T00:33:00Z","timestamp":1283560380000},"page":"136-149","source":"Crossref","is-referenced-by-count":3,"title":["Combining an Inference Engine with Databases: A Rule Server"],"prefix":"10.1007","author":[{"given":"Tanel","family":"Tammet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vello","family":"Kadarpik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Berners-Lee, T., Connolly, D., Hawke, S.: Semantic Web tutorial using N3 (2003), \n                  \n                    http:\/\/www.w3.org\/2000\/10\/swap\/doc\/tutorial-1.pdf"},{"volume-title":"Handbook of Automated Reasoning","year":"2001","key":"10_CR2","unstructured":"Robinson, A.J., Voronkov, A. (eds.): Handbook of Automated Reasoning. MIT Press, Cambridge (2001)"},{"volume-title":"The Description Logic Handbook","year":"2003","key":"10_CR3","unstructured":"Baader, F., Calvanese, V., McGuinness, V., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"issue":"2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1005887414560","volume":"18","author":"T. Tammet","year":"1997","unstructured":"Tammet, T.G.: Journal of Automated Reasoning\u00a018(2), 199\u2013204 (1997)","journal-title":"Journal of Automated Reasoning"},{"key":"10_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/BFb0054276","volume-title":"Automated Deduction - CADE-15","author":"T. Tammet","year":"1998","unstructured":"Tammet, T.: Towards Efficient Subsumption. In: Kirchner, C., Kirchner, H. (eds.) CADE 1998. LNCS (LNAI), vol.\u00a01421, pp. 427\u2013441. Springer, Heidelberg (1998)"},{"key":"10_CR6","unstructured":"Tammet, T.G.: Tallinn Technical University, \n                  \n                    http:\/\/www.ttu.ee\/it\/gandalf\/"},{"key":"10_CR7","unstructured":"Tammet, T.: Extending classical theorem proving for the Semantic Web. Draft paper"},{"key":"10_CR8","unstructured":"Simple Common Logic. Mailing list archive of the working group, \n                  \n                    http:\/\/philebus.tamu.edu\/mailman\/listinfo\/scl"},{"key":"10_CR9","unstructured":"RDF Semantics. In: Hayes, P. (ed.) W3C Working Draft, W3C (January 23, 2003), \n                  \n                    http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"key":"10_CR10","unstructured":"OWL Web Ontology Language. In: Patel-Schneider, P.F, Hayes, P., Horrocks, I., (eds.) Semantics and Abstract Syntax. W3C Working Draft, W3C (March 31, 2003), \n                  \n                    http:\/\/www.w3.org\/TR\/owl-semantics\/"}],"container-title":["Lecture Notes in Computer Science","Rules and Rule Markup Languages for the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39715-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T18:57:08Z","timestamp":1553021828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39715-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203612","9783540397151"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39715-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}