3 papers
cs.DB2022
Efficient query evaluation techniques over large amount of distributed linked data
Eleftherios Kalogeros, Manolis Gergatsoulis, Matthew Damigos +1
As RDF becomes more widely established and the amount of linked data is rapidly increasing, the efficient querying of large amount of data becomes a significant challenge. In this…
cs.LO2022
Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
Logic Programs with Ordered Disjunction (LPODs) extend classical logic programs with the capability of expressing preferential disjunctions in the heads of program rules. The initi…
cs.PL2019
The Expressive Power of Higher-Order Datalog
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
A classical result in descriptive complexity theory states that Datalog expresses exactly the class of polynomially computable queries on ordered databases. In this paper we extend…