Ali Rezaei Divroodi

Learn More
We prove that any concept in any description logic that extends ALC with some features amongst I (inverse), Q k (quantified number restrictions with numbers bounded by a constant k), Self (local reflexivity of a role) can be learnt if the training information system is good enough. That is, there exists a learning algorithm such that, for every concept C of(More)
We study comparisons between interpretations in description logics with respect to " logical consequences " of the form of semi-positive concepts (like semi-positive concept assertions). Such comparisons are characterized by conditions similar to the ones of bisimulations. The simplest among the considered logics is a variant of PDL (propo-sitional dynamic(More)
  • 1