| A92-1032 | system ( Guarino , 1991 ) , where | semantic validation | reduces to order-sorted unification |
| C04-1117 | shifted our attention to automatic | semantic validation | techniques . 3.3 Automatic Semantic |
| C04-1117 | validation techniques . 3.3 Automatic | Semantic Validation | In order to automatically validate |
| C04-1117 | Spanish corpus , at all . 3.2 Manual | Semantic Validation | One of the authors evaluated |
