{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:05:27Z","timestamp":1725987927738},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999050"},{"type":"electronic","value":"9783319999067"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-99906-7_5","type":"book-chapter","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T06:45:38Z","timestamp":1535006738000},"page":"65-80","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Cardinality Restrictions Within Description Logic Connection Calculi"],"prefix":"10.1007","author":[{"given":"Fred","family":"Freitas","sequence":"first","affiliation":[]},{"given":"Ivan","family":"Varzinczak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,24]]},"reference":[{"key":"5_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"5_CR2","unstructured":"Bate, A., Motik, B., Cuenca Grau, B., Simancik, F., Horrocks, I.: Extending consequence-based reasoning to . In: Workshop on Description Logics (DL), CEUR, pp. 34\u201346 (2015)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1145\/182.183","volume":"26","author":"W Bibel","year":"1983","unstructured":"Bibel, W.: Matings in matrices. Commun. ACM 26, 844\u2013852 (1983)","journal-title":"Commun. ACM"},{"key":"5_CR4","volume-title":"Deduction \u2013 Automated Logic","author":"W Bibel","year":"1993","unstructured":"Bibel, W.: Deduction \u2013 Automated Logic. Academic Press, London (1993)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Digricoli, V., Harrison, M.: Equality-based Binary Resolution. J. ACM 33(2), 253\u2013289 (1986)","DOI":"10.1145\/5383.5389"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Freitas, F.: A connection calculus over the description logic . In: Canadian Conference on Artificial Intelligence (AI), Victoria, Canada (2016)","DOI":"10.1007\/978-3-319-34111-8_30"},{"key":"5_CR7","unstructured":"Freitas, F., Melo, D., Otten, J.: RACCOON: a connection reasoner for . In: Proceedings of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) (2017)"},{"issue":"3","key":"5_CR8","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","volume":"53","author":"B Glimm","year":"2014","unstructured":"Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: HermiT: an OWL 2 reasoner. J. Autom. Reason. 53(3), 245\u2013269 (2014)","journal-title":"J. Autom. Reason."},{"issue":"3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","volume":"9","author":"I Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J. Logic Comput. 9(3), 385\u2013410 (1999)","journal-title":"J. Logic Comput."},{"key":"5_CR10","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I.: Combining rewriting and incremental materialisation maintenance for datalog programs with equality. In: IJCAI, pp. 3127\u20133133 (2015)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Otten, J.: Restricting backtracking in connection calculi. AI Commun. 23(2\u20133), 159\u2013182 (2010)","DOI":"10.3233\/AIC-2010-0464"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Otten, J.: nanoCoP: natural non-clausal theorem proving. In: Proceedings of IJCAI, pp. 4924\u20134928 (2017)","DOI":"10.24963\/ijcai.2017\/695"},{"key":"5_CR13","first-page":"135","volume":"4","author":"G Robinson","year":"1969","unstructured":"Robinson, G., Wos, L.: Paramodulation and Theorem Proving in First-Order Theories with Equality. Mach. Intell. 4, 135\u2013150 (1969)","journal-title":"Mach. Intell."},{"key":"5_CR14","unstructured":"Schmidt, R., Tishkovsky, D.: Analysis of blocking mechanisms for description logics. In Proceedings of the Workshop on Automated Reasoning (2007)"},{"issue":"1","key":"5_CR15","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.websem.2014.06.003","volume":"27","author":"A Steigmiller","year":"2014","unstructured":"Steigmiller, A., Liebig, T., Glimm, B.: Konclude: system description. J. Web Semant. Sci. Serv. Agents World Wide Web 27(1), 78\u201385 (2014)","journal-title":"J. Web Semant. Sci. Serv. Agents World Wide Web"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292\u2013297. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11814771_26"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99906-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T23:43:31Z","timestamp":1604792611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99906-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999050","9783319999067"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99906-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}