Correction of Exercise Sheet Description Logics
Correction of Exercise 9: Tableau algorithm for KB satisfiability ? Optimization. T = {A ? ?R.B, B ? ¬F, E ? G, A ? D ? E, D ? ?R.F, ?R.¬B ? G} ...Télécharger Correction of Exercise Sheet Description Logics pdf
