<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "On the possibility of correct concept learning in description logics"^^ . "It is well known that any Boolean function in classical propositional calculus can be learned correctly if the training information system is good enough. In this paper, we extend that result for description logics. We prove that any concept in any description logic that extends ALC with some features amongst I (inverse roles), Qk (qualified number restrictions with numbers bounded by a constant k), and Self (local reflexivity of a role) can be learned correctly if the training information system (specified as a finite interpretation) is good enough. That is, there exists a learning algorithm such that, for every concept C of those logics, there exists a training information system such that applying the learning algorithm to it results in a concept equivalent to C. For this result, we introduce universal interpretations and bounded bisimulation in description logics and develop an appropriate learning algorithm. We also generalize common types of queries for description logics, introduce interpretation queries, and present some consequences."^^ . "2018-02" . . "5" . "1" . . "Vietnam Journal of Computer Science"^^ . . . "Vietnam Journal of Computer Science"^^ . . . "21968888" . . . . . . . . . . . . . . . . "Ali Rezaei"^^ . "Divroodi"^^ . "Ali Rezaei Divroodi"^^ . . "Quang Thuy"^^ . "Ha"^^ . "Quang Thuy Ha"^^ . . "Linh Anh"^^ . "Nguyen"^^ . "Linh Anh Nguyen"^^ . . "Hung Son"^^ . "Nguyen"^^ . "Hung Son Nguyen"^^ . . "Education DepartmentNoshahrIran"^^ . . . "Faculty of Information TechnologyVNU University of Engineering and TechnologyHanoiVietnam"^^ . . . "Division of Knowledge and System Engineering for ICTTon Duc Thang UniversityHo Chi Minh CityVietnam"^^ . . . "Institute of InformaticsUniversity of WarsawWarsawPoland"^^ . . . . . . . "On the possibility of correct concept learning in description logics (PDF)"^^ . . . "18_06_On the possibility of correct concept learning in description logics_10.1007%2Fs40595-017-0094-4.pdf"^^ . . "HTML Summary of #3154 \n\nOn the possibility of correct concept learning in description logics\n\n" . "text/html" . . . "Information Technology (IT)"@en . .