OWL-based reasoning with retractable inference. - Carlo Jelmini; Stéphane Marchand-Maillet (RIAO, 2004)