1 paper · 1 filter
Spencer Killen, Jia-Huai You
Description logic programs are a powerful formalism for combining rules with ontologies. The well-supported semantics for description logic programs ensures that no answer sets rel…