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)
Aware of legal responsibility I hereby declare that I have written this dissertation myself and all its contents have been obtained by legal means. The dissertation is ready to be reviewed. Abstract In this dissertation, we study bisimulations and bisimulation-based comparisons in a uniform way for a large class of description logics that extend ALC reg (a(More)
This work studies the expressiveness of the description logics that extend ALCreg (a variant of PDL) with any combination of the features: inverse roles, nominals, quantified number restrictions, the universal role, the concept constructor for expressing the local reflexivity of a role. We compare the expressiveness of these description logics w.r.t.(More)
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 $$\mathcal {ALC}$$ ALC with some features amongst I (inverse roles), $$Q_k$$ Q(More)
Description logics (DLs) are variants of modal logic. They are of particular importance in providing a logical formalism for ontologies and the Semantic Web. DLs represent the domain of interest in terms of concepts, individuals, and roles. A concept is interpreted as a set of individuals, while a role is interpreted as a binary relation among individuals.(More)
  • 1