{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T04:17:45Z","timestamp":1745381865665,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642346293"},{"type":"electronic","value":"9783642346309"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34630-9_24","type":"book-chapter","created":{"date-parts":[[2012,11,23]],"date-time":"2012-11-23T14:56:23Z","timestamp":1353682583000},"page":"230-238","source":"Crossref","is-referenced-by-count":3,"title":["On C-Learnability in Description Logics"],"prefix":"10.1007","author":[{"given":"Ali Rezaei","family":"Divroodi","sequence":"first","affiliation":[]},{"given":"Quang-Thuy","family":"Ha","sequence":"additional","affiliation":[]},{"given":"Linh Anh","family":"Nguyen","sequence":"additional","affiliation":[]},{"given":"Hung Son","family":"Nguyen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): Description Logic Handbook. Cambridge University Press (2002)"},{"key":"24_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-44960-4_3","volume-title":"Inductive Logic Programming","author":"L. Badea","year":"2000","unstructured":"Badea, L., Nienhuys-Cheng, S.-H.: A Refinement Operator for Description Logics. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 40\u201359. Springer, Heidelberg (2000)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Cohen, W.W., Hirsh, H.: Learning the Classic description logic: Theoretical and experimental results. In: Proceedings of KR 1994, pp. 121\u2013133 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50108-1"},{"key":"#cr-split#-24_CR4.1","unstructured":"Divroodi, A.R., Nguyen, L.A.: On bisimulations for description logics. CoRR, abs\/1104.1964 (2011)"},{"key":"#cr-split#-24_CR4.2","doi-asserted-by":"crossref","unstructured":"appeared also in Proceedings of CS&P 2011, pp. 99-110 (2011)","DOI":"10.5771\/9780810874909-99"},{"key":"24_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-85928-4_12","volume-title":"Inductive Logic Programming","author":"N. Fanizzi","year":"2008","unstructured":"Fanizzi, N., d\u2019Amato, C., Esposito, F.: DL-FOIL Concept Learning in Description Logics. In: \u017delezn\u00fd, F., Lavra\u010d, N. (eds.) ILP 2008. LNCS (LNAI), vol.\u00a05194, pp. 107\u2013121. Springer, Heidelberg (2008)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Ha, Q.-T., Hoang, T.-L.-G., Nguyen, L.A., Nguyen, H.S., Sza\u0142as, A., Tran, T.-L.: A bisimulation-based method of concept learning for knowledge bases in description logics. Accepted for SoICT 2012 (2012)","DOI":"10.1145\/2350716.2350753"},{"issue":"2","key":"24_CR7","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10489-006-0011-5","volume":"26","author":"L. Iannone","year":"2007","unstructured":"Iannone, L., Palmisano, I., Fanizzi, N.: An algorithm based on counterfactuals for concept learning in the Semantic Web. Appl. Intell.\u00a026(2), 139\u2013159 (2007)","journal-title":"Appl. Intell."},{"issue":"1-2","key":"24_CR8","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10994-009-5146-2","volume":"78","author":"J. Lehmann","year":"2010","unstructured":"Lehmann, J., Hitzler, P.: Concept learning in description logics using refinement operators. Machine Learning\u00a078(1-2), 203\u2013250 (2010)","journal-title":"Machine Learning"},{"issue":"1-3","key":"24_CR9","doi-asserted-by":"crossref","first-page":"273","DOI":"10.3233\/FI-2009-0102","volume":"93","author":"L.A. Nguyen","year":"2009","unstructured":"Nguyen, L.A.: An efficient tableau prover using global caching for the description logic $\\mathcal{ALC}$ . Fundamenta Informaticae\u00a093(1-3), 273\u2013288 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"24_CR10","series-title":"ISRL","first-page":"517","volume-title":"Rough Sets and Intelligent Systems","author":"L.A. Nguyen","year":"2013","unstructured":"Nguyen, L.A., Sza\u0142as, A.: Logic-Based Roughification. In: Skowron, A., Suraj, Z. (eds.) Rough Sets and Intelligent Systems. ISRL, vol.\u00a042, pp. 517\u2013543. Springer, Heidelberg (2013)"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Tran, T.-L., Ha, Q.-T., Hoang, T.-L.-G., Nguyen, L.A., Nguyen, H.S., Sza\u0142as, A.: Concept learning for description logic-based information systems. Accepted for KSE 2012 (2012)","DOI":"10.1109\/KSE.2012.23"},{"issue":"11","key":"24_CR12","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L.G. Valiant","year":"1984","unstructured":"Valiant, L.G.: A theory of the learnable. Commun. ACM\u00a027(11), 1134\u20131142 (1984)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Computational Collective Intelligence. Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34630-9_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T16:54:55Z","timestamp":1745340895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34630-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346293","9783642346309"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34630-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}