{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:14:57Z","timestamp":1743120897594,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319065687"},{"type":"electronic","value":"9783319065694"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06569-4_22","type":"book-chapter","created":{"date-parts":[[2014,4,11]],"date-time":"2014-04-11T20:16:15Z","timestamp":1397247375000},"page":"297-312","source":"Crossref","is-referenced-by-count":1,"title":["A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics"],"prefix":"10.1007","author":[{"given":"Thanh-Luong","family":"Tran","sequence":"first","affiliation":[]},{"given":"Linh Anh","family":"Nguyen","sequence":"additional","affiliation":[]},{"given":"Thi-Lan-Giao","family":"Hoang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"key":"22_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":"22_CR3","unstructured":"Cattral, R., Oppacher, F., Deugo, D.: Evolutionary data mining with automatic rule generalization (2002)"},{"key":"22_CR4","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":"22_CR5","unstructured":"Divroodi, A., Nguyen, L.: On bisimulations for description logics. In: Proceedings of CS&P 2011, pp. 99\u2013110 (2011) (see also arXiv:1104.1964)"},{"key":"22_CR6","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":"22_CR7","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. In: Proceedings of the Third Symposium on Information and Communication Technology, SoICT 2012, pp. 241\u2013249. ACM (2012)","DOI":"10.1145\/2350716.2350753"},{"key":"22_CR8","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$. In: KR, pp. 57\u201367. AAAI Press (2006)"},{"issue":"2","key":"22_CR9","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. Applied Intelligence\u00a026(2), 139\u2013159 (2007)","journal-title":"Applied Intelligence"},{"key":"22_CR10","unstructured":"Lambrix, P., Larocchia, P.: Learning composite concepts. In: Proceedings of DL 1998 (1998)"},{"issue":"1-2","key":"22_CR11","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":"22_CR12","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}$. Fundam. Inform.\u00a093(1-3), 273\u2013288 (2009)","journal-title":"Fundam. Inform."},{"key":"22_CR13","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)"},{"issue":"3","key":"22_CR14","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1609\/aimag.v29i3.2157","volume":"29","author":"P. Sen","year":"2008","unstructured":"Sen, P., Namata, G.M., Bilgic, M., Getoor, L., Gallagher, B., Eliassi-Rad, T.: Collective classification in network data. AI Magazine\u00a029(3), 93\u2013106 (2008)","journal-title":"AI Magazine"},{"key":"22_CR15","unstructured":"Tran, T.-L., Ha, Q.-T., Hoang, T.-L.-G., Nguyen, L.A., Nguyen, H.S.: Bisimulation-based concept learning in description logics. In: Proceedings of CS&P 2013, pp. 421\u2013433. CEUR-WS.org (2013)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Tran, T.-L., Ha, Q.-T., Hoang, T.-L.-G., Nguyen, L.A., Nguyen, H.S., Szalas, A.: Concept learning for description logic-based information systems. In: Proceedings of the 2012 Fourth International Conference on Knowledge and Systems Engineering, KSE 2012, pp. 65\u201373. IEEE Computer Society (2012)","DOI":"10.1109\/KSE.2012.23"}],"container-title":["Advances in Intelligent Systems and Computing","Advanced Computational Methods for Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06569-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T01:50:22Z","timestamp":1676857822000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06569-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319065687","9783319065694"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06569-4_22","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014]]}}}