{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:09:28Z","timestamp":1759032568880},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,2,15]],"date-time":"2017-02-15T00:00:00Z","timestamp":1487116800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Polish National Science Center","award":["2011\/01\/B\/ST6\/02759"],"award-info":[{"award-number":["2011\/01\/B\/ST6\/02759"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Vietnam J Comput Sci"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s40595-017-0094-4","type":"journal-article","created":{"date-parts":[[2017,2,15]],"date-time":"2017-02-15T06:03:47Z","timestamp":1487138627000},"page":"3-14","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["On the possibility of correct concept learning in description logics"],"prefix":"10.1007","volume":"5","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","published-online":{"date-parts":[[2017,2,15]]},"reference":[{"key":"94_CR1","unstructured":"Alvarez, J.: A formal framework for theory learning using description logics. In: ILP\u20192000 Work-in-progress reports (2000)"},{"issue":"4","key":"94_CR2","first-page":"319","volume":"2","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Queries and concept learning. Mach. Learn. 2(4), 319\u2013342 (1987)","journal-title":"Mach. Learn."},{"key":"94_CR3","doi-asserted-by":"crossref","unstructured":"Badea, L., Nienhuys-Cheng, S.H.: A refinement operator for description logics. In: Proceedings of ILP\u20192000, vol.\u00a01866 of LNCS, pp. 40\u201359. Springer, New York (2000)","DOI":"10.1007\/3-540-44960-4_3"},{"issue":"4","key":"94_CR4","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1016\/j.jcss.2004.10.002","volume":"70","author":"N Bshouty","year":"2005","unstructured":"Bshouty, N., Jackson, J., Tamon, C.: Exploring learnability between exact and PAC. J. Comput. Syst. Sci. 70(4), 471\u2013484 (2005)","journal-title":"J. Comput. Syst. Sci."},{"key":"94_CR5","doi-asserted-by":"crossref","unstructured":"Cohen, 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":"94_CR6","doi-asserted-by":"crossref","unstructured":"Distel, F.: Learning Description Logic Knowledge Bases from Data Using Methods from Formal Concept Analysis. Ph.D. thesis, Dresden University of Technology (2011)","DOI":"10.1007\/978-3-642-11928-6_15"},{"key":"94_CR7","unstructured":"Divroodi, A.: Bisimulation Equivalence in Description Logics and Its Applications. Ph.D. thesis, University of Warsaw (2015). http:\/\/www.mimuw.edu.pl\/wiadomosci\/aktualnosci\/doktoraty\/pliki\/ali_rezaei_divroodi\/ad-dok.pdf"},{"key":"94_CR8","doi-asserted-by":"crossref","unstructured":"Divroodi, A., Ha, Q.-T., Nguyen, L., Nguyen, H.: On C-learnability in description logics. In: Proceedings of ICCCI\u20192012\u00a0(1), vol.\u00a07653 of LNCS, pp. 230\u2013238. Springer, New York (2012)","DOI":"10.1007\/978-3-642-34630-9_24"},{"key":"94_CR9","doi-asserted-by":"crossref","unstructured":"Divroodi, A., Nguyen, L.: On bisimulations for description logics (2011). arXiv:1104.1964 [abs]","DOI":"10.1007\/978-3-642-34630-9_24"},{"key":"94_CR10","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1016\/j.ins.2014.10.022","volume":"295","author":"A Divroodi","year":"2015","unstructured":"Divroodi, A., Nguyen, L.: On bisimulations for description logics. Inf. Sci. 295, 465\u2013493 (2015)","journal-title":"Inf. Sci."},{"key":"94_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, vol.\u00a05194 of LNCS, pp. 107\u2013121. Springer, New York (2008)","DOI":"10.1007\/978-3-540-85928-4_12"},{"issue":"2\u20133","key":"94_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":"94_CR13","doi-asserted-by":"crossref","unstructured":"Ha, Q.-T., Hoang, T.-L.-G., Nguyen, L., Nguyen, H., 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, New York (2012)","DOI":"10.1145\/2350716.2350753"},{"key":"94_CR14","unstructured":"Hellmann, S.: Comparison of concept learning algorithms (with emphasis on ontology engineering for the Semantic Web). Master\u2019s thesis, Leipzig University (2008)"},{"key":"94_CR15","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $$\\cal{SROIQ}$$ SROIQ . In: Proc. of KR\u20192006, pp. 57\u201367. AAAI Press, Menlo Park (2006)"},{"issue":"2","key":"94_CR16","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":"94_CR17","doi-asserted-by":"crossref","unstructured":"Kietz, J.: Learnability of description logic programs. In: Proceedings of ILP\u20192002, vol.\u00a02583 of LNCS, pp. 117\u2013132. Springer, New York (2002)","DOI":"10.1007\/3-540-36468-4_8"},{"key":"94_CR18","unstructured":"Konev, B., Lutz, C., Ozaki, A., Wolter, F.: Exact learning of lightweight description logic ontologies. In: Proceedings of KR\u20192014. AAAI Press, Menlo Park (2014)"},{"key":"94_CR19","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. \u00a01\u20137 (2010)","DOI":"10.1109\/FUZZY.2010.5584417"},{"key":"94_CR20","unstructured":"Lambrix, P., Larocchia, P.: Learning composite concepts. In: Proceedings of DL (1998)"},{"key":"94_CR21","doi-asserted-by":"crossref","unstructured":"Lehmann, J., Hitzler, P.: Concept learning in description logics using refinement operators. Mach. Learn. 78(1\u20132), 203\u2013250 (2010)","DOI":"10.1007\/s10994-009-5146-2"},{"key":"94_CR22","unstructured":"Lisi, F.: A formal characterization of concept learning in description logics. In: Proceedings of DL\u20192012, vol.\u00a0846 of CEUR Workshop Proceedings. CEUR-WS.org (2012)"},{"key":"94_CR23","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.\u00a07094 of LNCS, pp.\u00a028\u201339. Springer, New York (2011)","DOI":"10.1007\/978-3-642-25324-9_3"},{"key":"94_CR24","doi-asserted-by":"crossref","unstructured":"Nguyen, L.: An efficient tableau prover using global caching for the description logic $${\\cal{ALC}}$$ ALC . Fundam. Inf. 93(1\u20133), 273\u2013288 (2009)","DOI":"10.3233\/FI-2009-0102"},{"key":"94_CR25","doi-asserted-by":"crossref","unstructured":"Nguyen, L.: A tableau method with optimal complexity for deciding the description logic SHIQ. In: Advanced Computational Methods for Knowledge Engineering, vol.\u00a0479 of Studies in Computational Intelligence, pp.\u00a0331\u2013342. Springer, New York (2013)","DOI":"10.1007\/978-3-319-00293-4_25"},{"key":"94_CR26","doi-asserted-by":"crossref","unstructured":"Nguyen, L., Sza\u0142as, A.: Logic-based roughification. In: Skowron, A., Suraj, Z. (eds) Rough Sets and Intelligent Systems (to the Memory of Professor Zdzis\u0142aw Pawlak), vol.\u00a01, pp. 529\u2013556. Springer, New York (2012)","DOI":"10.1007\/978-3-642-30344-9_19"},{"key":"94_CR27","volume-title":"Rough Sets. Theoretical Aspects of Reasoning about Data","author":"Z Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)"},{"issue":"1\u20132","key":"94_CR28","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/0004-3702(94)90112-0","volume":"70","author":"LD Raedt","year":"1994","unstructured":"Raedt, L.D., Dzeroski, S.: First-order jk-clausal theories are PAC-learnable. Artif. Intell. 70(1\u20132), 375\u2013392 (1994)","journal-title":"Artif. Intell."},{"issue":"3","key":"94_CR29","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s40595-015-0040-2","volume":"2","author":"T Tran","year":"2015","unstructured":"Tran, T., Nguyen, L., Hoang, T.: Bisimulation-based concept learning for information systems in description logics. Vietnam J. Comput. Sci. 2(3), 149\u2013167 (2015)","journal-title":"Vietnam J. Comput. Sci."},{"issue":"2\u20133","key":"94_CR30","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., Nguyen, H.: Bisimulation-based concept learning in description logics. Fundam. Inform. 133(2\u20133), 287\u2013303 (2014)","journal-title":"Fundam. Inform."},{"key":"94_CR31","doi-asserted-by":"crossref","unstructured":"Tran, T.-L., Ha, Q.-T., Hoang, T.-L.-G., Nguyen, L., Nguyen, H., Sza\u0142as, A.: Concept learning for description logic-based information systems. In: Proceedings of KSE\u20192012, pp.\u00a065\u201373. IEEE Computer Society, Washington (2012)","DOI":"10.1109\/KSE.2012.23"},{"issue":"11","key":"94_CR32","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"LG Valiant","year":"1984","unstructured":"Valiant, L.G.: A theory of the learnable. Commun. ACM 27(11), 1134\u20131142 (1984)","journal-title":"Commun. ACM"}],"container-title":["Vietnam Journal of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40595-017-0094-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40595-017-0094-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40595-017-0094-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,24]],"date-time":"2022-07-24T04:34:57Z","timestamp":1658637297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40595-017-0094-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,15]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["94"],"URL":"https:\/\/doi.org\/10.1007\/s40595-017-0094-4","relation":{},"ISSN":["2196-8888","2196-8896"],"issn-type":[{"value":"2196-8888","type":"print"},{"value":"2196-8896","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,2,15]]}}}