Consistency Verification of a Non-monotonic Deductive System based on OWL Lite.

Jaime Ramírez Angélica de Antonio Consistency Verification of a Non-monotonic Deductive System based on OWL Lite. 19-28 2005 conf/vveis/2005 MSVVEIS db/conf/vveis/msvveis2005.html#RamirezA05