"Validation"@en . . "Forward Chaining"@en . "Knowledge base validation"@en . "Knowledge representation"@en . "Rules"@fr . "Salvat" . "Graphe conceptuel"@en . . "Intelligence artificielle"@en . "First-order logic"@en . "Eric" . "Decidability"@en . "Backward Chaining"@en . "Chase"@en . "Graphs"@en . "Conceptual graphs"@fr . "Description Logics"@fr . "Rule Dependency"@en . . "Informatique"@en . "Eric Salvat" . "6335d09c5c0398c0894aaad9e9b0fc5f" . "TGD"@en .