research
∙
10/13/2022
Soundness and Completeness of SPARQL Query Containment Solver SpeCS
Tool SPECS implements an efficient automated approach for reasoning abou...
research
∙
06/29/2012