A Bisimulation-based Method of Concept Learning for Knowledge Bases in Description Logics
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Intergrated Computer systems
Linköping University, The Institute of Technology
Conference paper (Refereed)
SoICT 2012 - 3rd International Symposium on Information and Communication Technology
SoICT 2012 - 3rd International Symposium on Information and Communication Technology, Ha Long Bay, Vietnam, August 23-24, 2012
Computer and Information Science
We develop the first bisimulation-based method of concept learning, called BBCL, for knowledge bases in description logics (DLs). Our method is formulated for a large class of useful DLs, with well-known DLs like ALC, SHIQ, SHOIQ, SROIQ. As bisimulation is the notion for characterizing indis-cernibility of objects in DLs, our method is natural and very promising.