{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T08:26:19Z","timestamp":1775031979899,"version":"3.50.1"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319067391","type":"print"},{"value":"9783319067407","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06740-7_38","type":"book-chapter","created":{"date-parts":[[2014,5,5]],"date-time":"2014-05-05T21:11:06Z","timestamp":1399324266000},"page":"455-465","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF"],"prefix":"10.1007","author":[{"given":"Alena","family":"Lukasov\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"\u017d\u00e1\u010dek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Vajgl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,6]]},"reference":[{"key":"38_CR1","isbn-type":"print","volume-title":"Logic for Mathematicians","author":"AG Hamilton","year":"1978","unstructured":"Hamilton, A.G.: Logic for Mathematicians. Cambridge University Press, Cambridge (1978). ISBN 0-521-21838-1","ISBN":"https:\/\/id.crossref.org\/isbn\/0521218381"},{"key":"38_CR2","isbn-type":"print","volume-title":"The Description Logic Handbook\u2014Theory, Implementation and Applications","author":"F Baader","year":"2003","unstructured":"Baader, F., et al.: The Description Logic Handbook\u2014Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003). ISBN 0-521-78176-0","ISBN":"https:\/\/id.crossref.org\/isbn\/0521781760"},{"key":"38_CR3","isbn-type":"print","volume-title":"Clausal form Logic: An Introduction to the Logic of Computer Programming","author":"T Richards","year":"1989","unstructured":"Richards, T., et al.: Clausal form Logic: An Introduction to the Logic of Computer Programming. Addison Wesley, Reading (1989). ISBN 978-0201129205","ISBN":"https:\/\/id.crossref.org\/isbn\/9780201129205"},{"key":"38_CR4","first-page":"27","volume-title":"Semantic Information Processing","author":"MR Quillian","year":"1968","unstructured":"Quillian, M.R.: Semantic memory. In: Minsky, M. (ed.) Semantic Information Processing, pp. 27\u201370. MIT Press, MA (1968)"},{"key":"38_CR5","unstructured":"Sowa, J. F.: Conceptual graph (Online), 2005 (Citation: 20.12.2013). http:\/\/www.jfsowa.com\/cg\/index.htm"},{"key":"38_CR6","first-page":"213","volume-title":"Conceptual Graphs, Handbook of Knowledge Representation","year":"2008","unstructured":"Harmelen, F., Lifschitz, V., Porter, B. (eds.): Conceptual Graphs, Handbook of Knowledge Representation, pp. 213\u2013237. Elsevier, Amsterdam (2008)"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Lukasov\u00e1, A., Vajgl, M., \u017d\u00e1\u010dek, M.: Reasoning in RDF graphic formal system with quantifiers. In: Proceedings of the International Multiconference on Computer Science and Information Technology, pp. 67\u201372 (2010)","DOI":"10.1109\/IMCSIT.2010.5679944"},{"key":"38_CR8","unstructured":"Hustadt, U.: Do we need the closed world assumption in knowledge representation? In: Proceedings of 1st Work-shop KRDB\u201994, Reasoning about Structured Objects: Knowledge Representation Meets Databases. Saarbr\u00fccken, Germany (1994)"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science. pp. 995\u20131072. Elsevier, Amsterdam (1995)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"38_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"38_CR11","unstructured":"Lukasov\u00e1, A., \u017d\u00e1\u010dek, M., Vajgl, M.: Reasoning in graph-based clausal form logic. IJCSI Int. J. Comput. Sci. Issues 9(Issue 1, No 3), 37\u201343 (2012). ISSN (Online) 1694-0814"}],"container-title":["Advances in Intelligent Systems and Computing","Modern Trends and Techniques in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06740-7_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T16:00:38Z","timestamp":1676390438000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06740-7_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319067391","9783319067407"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06740-7_38","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"value":"2194-5357","type":"print"},{"value":"2194-5365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 May 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}