Datalog and description logics: Expressive power [chapter]

Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini
1998 Lecture Notes in Computer Science  
This paper investigates the possibility of exploiting formal analysis tools developed in the database eld for the purpose of studying the expressive power of description logics augmented with rule-based query languages. We report a preliminary analysis on the expressive power of such hybrid languages. Two speci c languages coupling a terminological component with Horn rules are considered. It is shown that: (1) the former language de nes all database collections expressed by skolemized
more » ... ly quanti ed second order formulae where quanti ed predicates are monadic, and (2) the latter language de nes all database collections expressed by skolemized universally quanti ed second order formulae where quantied predicates are dyadic or monadic.
doi:10.1007/3-540-64823-2_16 fatcat:52exjirv4fevzjajms6jivmghy