A Logical Semantics for Description Logic Programs | Publicación