{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T00:59:47Z","timestamp":1777424387379,"version":"3.51.4"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Vietnam J Comput Sci"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s40595-015-0040-2","type":"journal-article","created":{"date-parts":[[2015,2,28]],"date-time":"2015-02-28T12:09:29Z","timestamp":1425125369000},"page":"149-167","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Bisimulation-based concept learning for information systems in description logics"],"prefix":"10.1007","volume":"2","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","published-online":{"date-parts":[[2015,3,1]]},"reference":[{"key":"40_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading, MA (1995)"},{"key":"40_CR2","unstructured":"Alvarez, J.: A formal framework for theory learning using description logics. In: ILP Work-in-progress reports, vol. 35. CEUR-WS.org (2000)"},{"key":"40_CR3","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: Description Logic Handbook, pp. 43\u201395. Cambridge University Press (2003)"},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Badea, L., Nienhuys-Cheng, S.H.: A refinement operator for description logics. In: Proceedings of the 10th International Conference on Inductive Logic Programming, ILP\u20192000, pp. 40\u201359. Springer, New York (2000)","DOI":"10.1007\/3-540-44960-4_3"},{"key":"40_CR5","unstructured":"Cattral, R., Oppacher, F., Deugo, D.: Evolutionary data mining with automatic rule generalization (2002)"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"Cohen, W.W., Hirsh, H.: Learning the classic description logic: theoretical and experimental results. In: Proceedings of KR\u20191994, pp. 121\u2013133 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50108-1"},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"Distel, F.: Learning description logic knowledge bases from data using methods from formal concept analysis. PhD thesis, Dresden University of Technology (2011)","DOI":"10.1007\/978-3-642-11928-6_15"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Divroodi, A., Ha, Q.-T., Nguyen, L. A., Nguyen, H.S.: On C-learnability in description logics. In: Proceedings of ICCCI\u20192012 (1), vol. 7653 of LNCS, pp. 230\u2013238. Springer (2012)","DOI":"10.1007\/978-3-642-34630-9_24"},{"key":"40_CR9","unstructured":"Divroodi, A.R., Nguyen, L.A.:. On bisimulations for description logics. CoRR, abs\/1104.1964 (2011)"},{"key":"40_CR10","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1016\/j.ins.2014.10.022","volume":"295","author":"AR Divroodi","year":"2015","unstructured":"Divroodi, A.R., Nguyen, L.A.: On bisimulations for description logics. Inf. Sci. 295, 465\u2013493 (2015)","journal-title":"Inf. Sci."},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"Fanizzi, N., d\u2019Amato, C., Esposito, F.: DL-FOIL concept learning in description logics. In: Proceedings of ILP\u20192008, LNCS, pp. 107\u2013121. Springer (2008)","DOI":"10.1007\/978-3-540-85928-4_12"},{"issue":"2\u20133","key":"40_CR12","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1026443024002","volume":"25","author":"M Frazier","year":"1996","unstructured":"Frazier, M., Pitt, L.: Classic learning. Mach. Learn. 25(2\u20133), 151\u2013193 (1996)","journal-title":"Mach. Learn."},{"key":"40_CR13","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 SoICT\u20192012, pp. 241\u2013249. ACM (2012)","DOI":"10.1145\/2350716.2350753"},{"key":"40_CR14","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $$\\updownarrow {\\cal SROIQ}$$ \u2195 SROIQ . In: KR, pp. 57\u201367. AAAI Press (2006)"},{"issue":"2","key":"40_CR15","doi-asserted-by":"crossref","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. 26(2), 139\u2013159 (2007)","journal-title":"Appl. Intell."},{"key":"40_CR16","doi-asserted-by":"crossref","unstructured":"Kietz, J.: Learnability of description logic programs. In: Proceedings of ILP\u20192002, vol. 2583 of LNCS, pp. 117\u2013132. Springer (2002)","DOI":"10.1007\/3-540-36468-4_8"},{"key":"40_CR17","doi-asserted-by":"crossref","unstructured":"Konstantopoulos, S., Charalambidis, A.: Formulating description logic learning as an inductive logic programming task. In: Proceedings of FUZZ-IEEE, pp. 1\u20137 (2010)","DOI":"10.1109\/FUZZY.2010.5584417"},{"key":"40_CR18","unstructured":"Lambrix, P., Larocchia, P.: Learning composite concepts. In: Proceedings of DL\u20191998 (1998)"},{"issue":"1\u20132","key":"40_CR19","doi-asserted-by":"crossref","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. Mach. Learn. 78(1\u20132), 203\u2013250 (2010)","journal-title":"Mach. Learn."},{"key":"40_CR20","doi-asserted-by":"crossref","unstructured":"Luna, J., Revoredo, K., Cozman, F.: Learning probabilistic description logics: a framework and algorithms. In: Proceedings of MICAI\u20192011, vol. 7094 of LNCS, pp. 28\u201339. Springer (2011)","DOI":"10.1007\/978-3-642-25324-9_3"},{"issue":"1\u20133","key":"40_CR21","doi-asserted-by":"crossref","first-page":"273","DOI":"10.3233\/FI-2009-0102","volume":"93","author":"LA Nguyen","year":"2009","unstructured":"Nguyen, L.A.: An efficient tableau prover using global caching for the description logic $${\\cal ALC}$$ ALC . Fundam. Inform. 93(1\u20133), 273\u2013288 (2009)","journal-title":"Fundam. Inform."},{"key":"40_CR22","doi-asserted-by":"crossref","unstructured":"Nguyen, L.A., Sza\u0142as, A.: Logic-based roughification. In: Rough Sets and Intelligent Systems, vol. 1, pp. 517\u2013543. Springer (2013)","DOI":"10.1007\/978-3-642-30344-9_19"},{"key":"40_CR23","doi-asserted-by":"crossref","unstructured":"Pawlak, Z.: Rough sets: theoretical aspects of reasoning about data. Kluwer Academic Publishers (1992)","DOI":"10.1007\/978-94-011-3534-4_7"},{"issue":"1","key":"40_CR24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.ins.2006.06.003","volume":"177","author":"Z Pawlak","year":"2007","unstructured":"Pawlak, Z., Skowron, A.: Rudiments of rough sets. Inf. Sci. 177(1), 3\u201327 (2007)","journal-title":"Inf. Sci."},{"issue":"1","key":"40_CR25","first-page":"81","volume":"1","author":"JR Quinlan","year":"1986","unstructured":"Quinlan, J.R.: Induction of decision trees. Mach. Learn. 1(1), 81\u2013106 (1986)","journal-title":"Mach. Learn."},{"key":"40_CR26","unstructured":"Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI\u201991, vol. 1, pp. 466\u2013471. Morgan Kaufmann Publishers Inc. (1991)"},{"issue":"1","key":"40_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M Schmidt-Schaub\u00df","year":"1991","unstructured":"Schmidt-Schaub\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"issue":"3","key":"40_CR28","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 Mag. 29(3), 93\u2013106 (2008)","journal-title":"AI Mag."},{"issue":"2\u20133","key":"40_CR29","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-2014-1077","volume":"133","author":"T-L Tran","year":"2014","unstructured":"Tran, T.-L., Ha, Q.-T., Hoang, T.-L.-G., Nguyen, L.A., Nguyen, H.S.: Bisimulation-based concept learning in description logics. Fundam. Inform. 133(2\u20133), 287\u2013303 (2014)","journal-title":"Fundam. Inform."},{"key":"40_CR30","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. In: Proceedings of KSE\u20192012, pp. 65\u201373. IEEE Computer Society (2012)","DOI":"10.1109\/KSE.2012.23"},{"key":"40_CR31","doi-asserted-by":"crossref","unstructured":"Tran, T.-L., Nguyen, L.A., Hoang, T.-L.-G.: A domain partitioning method for bisimulation-based concept learning in description logics. In: Proceedings of ICCSAMA\u20192014, vol. 282 of Advances in Intelligent Systems and Computing, pp. 297\u2013312. Springer (2014)","DOI":"10.1007\/978-3-319-06569-4_22"},{"key":"40_CR32","volume-title":"Modal Logic and Classical Logic","author":"J Benthem van","year":"1983","unstructured":"van Benthem, J.: Modal Logic and Classical Logic. Bibliopolis, Indices. Monographs in philosophical logic and formal linguistics (1983)"},{"key":"40_CR33","series-title":"Synthese Library","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic","author":"J Benthem van","year":"1984","unstructured":"van Benthem, J.: Correspondence theory. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic. Synthese Library, vol. 165, pp. 167\u2013247. Springer, Netherlands (1984)"}],"container-title":["Vietnam Journal of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40595-015-0040-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40595-015-0040-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40595-015-0040-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,30]],"date-time":"2020-08-30T11:19:28Z","timestamp":1598786368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40595-015-0040-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,1]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["40"],"URL":"https:\/\/doi.org\/10.1007\/s40595-015-0040-2","relation":{},"ISSN":["2196-8888","2196-8896"],"issn-type":[{"value":"2196-8888","type":"print"},{"value":"2196-8896","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,1]]}}}