A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics

  • Thanh-Luong Tran
  • Linh Anh Nguyen
  • Thi-Lan-Giao Hoang
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 282)


We have implemented a bisimulation-based concept learning method for description logics-based information systems using information gain. In this paper, we present our domain partitioning method that was used for the implementation. Apart from basic selectors, we also used a new kind of selectors, called extended selectors. Our evaluation results show that the concept learning method is valuable and extended selectors support it significantly.


description logic concept learning bisimulation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    Badea, L., Nienhuys-Cheng, S.-H.: A refinement operator for description logics. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol. 1866, pp. 40–59. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  3. 3.
    Cattral, R., Oppacher, F., Deugo, D.: Evolutionary data mining with automatic rule generalization (2002)Google Scholar
  4. 4.
    Cohen, W.W., Hirsh, H.: Learning the CLASSIC description logic: Theoretical and experimental results. In: Proceedings of KR 1994, pp. 121–133 (1994)Google Scholar
  5. 5.
    Divroodi, A., Nguyen, L.: On bisimulations for description logics. In: Proceedings of CS&P 2011, pp. 99–110 (2011) (see also arXiv:1104.1964)Google Scholar
  6. 6.
    Fanizzi, N., d’Amato, C., Esposito, F.: DL-FOIL concept learning in description logics. In: Železný, F., Lavrač, N. (eds.) ILP 2008. LNCS (LNAI), vol. 5194, pp. 107–121. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Ha, Q.-T., Hoang, T.-L.-G., Nguyen, L.A., Nguyen, H.S., Szałas, 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–249. ACM (2012)Google Scholar
  8. 8.
    Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: KR, pp. 57–67. AAAI Press (2006)Google Scholar
  9. 9.
    Iannone, L., Palmisano, I., Fanizzi, N.: An algorithm based on counterfactuals for concept learning in the semantic web. Applied Intelligence 26(2), 139–159 (2007)CrossRefGoogle Scholar
  10. 10.
    Lambrix, P., Larocchia, P.: Learning composite concepts. In: Proceedings of DL 1998 (1998)Google Scholar
  11. 11.
    Lehmann, J., Hitzler, P.: Concept learning in description logics using refinement operators. Machine Learning 78(1-2), 203–250 (2010)CrossRefMathSciNetGoogle Scholar
  12. 12.
    Nguyen, L.A.: An efficient tableau prover using global caching for the description logic \(\mathcal{ALC}\). Fundam. Inform. 93(1-3), 273–288 (2009)MATHGoogle Scholar
  13. 13.
    Nguyen, L.A., Szałas, A.: Logic-based roughification. In: Skowron, A., Suraj, Z. (eds.) Rough Sets and Intelligent Systems. ISRL, vol. 42, pp. 517–543. Springer, Heidelberg (2013)Google Scholar
  14. 14.
    Sen, P., Namata, G.M., Bilgic, M., Getoor, L., Gallagher, B., Eliassi-Rad, T.: Collective classification in network data. AI Magazine 29(3), 93–106 (2008)Google Scholar
  15. 15.
    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–433. (2013)Google Scholar
  16. 16.
    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–73. IEEE Computer Society (2012)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Thanh-Luong Tran
    • 1
  • Linh Anh Nguyen
    • 2
    • 3
  • Thi-Lan-Giao Hoang
    • 1
  1. 1.Faculty of Information TechnologyHue University of SciencesHue cityVietnam
  2. 2.Institute of InformaticsUniversity of WarsawWarsawPoland
  3. 3.Faculty of Information TechnologyVNU University of Engineering and TechnologyHanoiVietnam

Personalised recommendations