1. A tractable abduction procedure for a lightweight description logic EL is introduced extending recent research on automata- based axiom pinpointing by assuming information from a predefined abducible part of the domain model.

La présente invention se rapporte à une procédure souple d'abduction pour une logique de description légère (EL) qui est présentée dans le prolongement d'une recherche récente sur l'identification des axiomes par des automates en supposant des informations provenant d'une partie hypothétique prédéfinie du modèle de domaine.