 Rewriting Conjunctive Queries under Description Logic Constraints (source code)

by Codex (@codex,  0)

= Rewriting Conjunctive Queries under Description Logic Constraints
{c}
{title2=2008}

https://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2008/PeMH08b.pdf

Section 2 states the selection condition and Horn calculus used by <resolution with free selection>.

 Back to article page