Archive for the ‘sudoku’ Category
Sudoku in OWL
Tuesday, January 10th, 2006> To demonstrate how a Sudoku Puzzle can be represented in OWL and then solved using an OWL-DL reasoner, we consider a simple example. The Sudoku grid below is of dimensions 4 X 4, and has four sub-grids each of dimension 2 X 2. The numbers in bold are known beforehand (i.e., represent inputs) to the puzzle.