(François Goasdoué, Ioana Manolescu and Alexandra Roatis) We introduce the database fragment of RDF, which extends the popular Description Logic fragment, in particular with support for incomplete information. We then provide novel sound and complete saturation- and reformulation-based techniques fo
Read More - Register for Free Membership
