Consistency Verification of a Non-monotonic Deductive System based on OWL Lite | Publicación