{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:56:33Z","timestamp":1742943393457,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319544298"},{"type":"electronic","value":"9783319544304"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-54430-4_36","type":"book-chapter","created":{"date-parts":[[2017,2,25]],"date-time":"2017-02-25T08:23:30Z","timestamp":1488011010000},"page":"371-381","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Reasoning in Formal Systems of Extended RDF Networks"],"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":[[2017,2,26]]},"reference":[{"key":"36_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-23032-5_1","volume-title":"Reasoning Web. Semantic Technologies for the Web of Data","author":"S Auer","year":"2011","unstructured":"Auer, S., Lehmann, J., Ngonga Ngomo, A.-C.: Introduction to linked data and its lifecycle on the web. In: Polleres, A., d\u2019Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 1\u201375. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-23032-5_1"},{"key":"36_CR2","unstructured":"Tim, B.L.: Giant Global Graph. MIT, Cambridge (2007). CSail: http:\/\/dig.csail.mit.edu\/breadcrumbs\/node\/215"},{"key":"36_CR3","unstructured":"Lukasov\u00e1, A.: Reprezentace znalost\u00ed v asociativn\u00edch s\u00edt\u00edch. In: Proceedings of Znalosti (2001). (in Czech)"},{"key":"36_CR4","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, Mragowo, Poland. pp. 67\u201372. IEEE Computer Society (2010). ISBN 978-1-4244-6432-6"},{"key":"36_CR5","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-319-06740-7_38","volume-title":"Modern Trends and Techniques in Computer Science","author":"A Lukasov\u00e1","year":"2014","unstructured":"Lukasov\u00e1, A., \u017d\u00e1\u010dek, M., Vajgl, M.: Building a non-monotonic default theory in GCFL graph-version of RDF. In: Silhavy, R., Senkerik, R., Oplatkova, Z.K., Silhavy, P., Prokopova, Z. (eds.) CSOC 2014. AISC, vol. 285, pp. 455\u2013465. Springer, Heidelberg (2014). doi:10.1007\/978-3-319-06740-7_38"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"Lukasov\u00e1, A., Vajgl, M., \u017d\u00e1\u010dek, M.: Knowledge represented using RDF semantic network in the concept of semantic web. In: Proceedings of the International Conference of Numerical Analysis and Applied Mathematics 2015, (ICNAAM 2015). American Institute of Physics, USA (2016)","DOI":"10.1063\/1.4951895"},{"key":"36_CR7","unstructured":"Lukasov\u00e1, A., Vajg, M., \u017d\u00e1\u010dek, M.: Reasoning in graph-based clausal form logic. IJCSI-Int. J. Comput. Sci. 9 (1(3)) 37\u201343 (2012). ISSN 1694-0814"},{"key":"36_CR8","unstructured":"Lukasov\u00e1, A.: Formal Logics in Artificial Intelligence (Form\u00e1ln\u00ed logika v um\u011bl\u00e9 inteligenci) Computer Press (2003). (in Czech)"},{"key":"36_CR9","unstructured":"Lukasov\u00e1, A., Vajgl, M.: Genzen-like proofs in description logic DL1. In: Proceedings of the Tenth International Conference on Informatics 2009, Ko\u0161ice (2009)"},{"key":"36_CR10","volume-title":"Clausal Form Logic an Introduction to the Logic of Computer Reasoning","author":"T Richards","year":"1989","unstructured":"Richards, T.: Clausal Form Logic an Introduction to the Logic of Computer Reasoning. Addison-Wesley, Boston (1989)"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"\u017d\u00e1\u010dek, M., Lukasov\u00e1, A., Miarka, R. Modeling knowledge base and derivation without predefined structure by graph-based clausal form logic. In: Proceedings of the 2013 International Conference on Advanced ICT and Education, pp. s.546\u2013s.549. Atlantis Press: AISR, France (2013). ISBN 978-90786-77-79-6","DOI":"10.2991\/icaicte.2013.108"},{"key":"36_CR12","first-page":"4009","volume":"19","author":"M \u017d\u00e1\u010dek","year":"2016","unstructured":"\u017d\u00e1\u010dek, M., Lukasov\u00e1, A.: English grammatical rules representation by a meta-language based on RDF model and predicate clausal form. Inf.-Int. Interdisc. J. 19, 4009\u20134015 (2016). ISSN 1343-4500","journal-title":"Inf.-Int. Interdisc. J."}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-54430-4_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T12:17:39Z","timestamp":1710245859000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-54430-4_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319544298","9783319544304"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-54430-4_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"26 February 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ACIIDS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Conference on Intelligent Information and Database Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kanazawa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aciids2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/aciids.pwr.edu.pl\/2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}