Monday, February 13, 2006

Now for my Tax Return

Sudoku in OWL "The OWL Ontology to represent the grid and rules of the puzzle is modeled as follows:

(a). Create OWL Individuals Vg_ij (1 <= g <= n, 1 <= i , j <= sqroot(n), here n = 4, g = sub-grid index, i = row index, j = column index) to represent specific values in various cells of the grid. For example, create individuals (V1_11, V1_12, V1_21, V1_22) to represent values in the cells of the first sub-grid.

(b). Create OWL Individuals 1, 2, 3, 4 to represent possible values for cells in the grid. Make all four individuals mutually distinct using owl:AllDifferent.

(c). Make all the individuals in a particular row (/column) of the entire grid mutually distinct using owl:AllDifferent, e.g., make the set of individuals corresponding to the values in the first row -- (V1_11, V1_12, V2_11, V2_12) mutually distinct.

(d). Also, make all the individuals in a particular sub-grid mutually distinct using owl:AllDifferent, e.g., make the set of individuals corresponding to the values in the first sub-grid (V1_11, V1_12, V1_21, V1_22) mutually distinct.

(e). Make the top concept, owl:Thing, a rdfs:subclassOf the OWL Enumeration {1,2,3,4} using owl:oneOf. This implies that each individual Vg_ij in the ontology is forced to be owl:sameAs one of the individuals (1,2,3,4)."

How simple and sensible?

Also, Open IRIS - Semantic Desktop PIM Released!. It does come with Calendar, Mail, Browser, Chat, Text Analyzer etc but at 130MB plus it makes the Semantic Web look like the ultimate form of bloat.
Post a Comment