> 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.
The Tag Ontology contains
> The goal of this ontology is to model the relationship between an agent, an arbitrary resource, and one or more tags. This relationship is embodied in one or more taggings, which are temporal events associating the actors.
OWLIM is a high-performance semantic repository, packaged as a Storage and Inference Layer (SAIL) for the Sesame RDF database. OWLIM uses the IRRE engine to perform OWL DLP reasoning. The reasoning and query evaluation are performed in-memory, while a reliable persistence strategy assures data preservation, consistency and integrity.
– From the OWLIM Page.
ActiveOntology is a library, written in Ruby, for easy manipulation of RDF and RDF-Schema models, thru a dynamic DSL based on Ruby idiom.
example = RDF::Resource.new "http://www.example.org/index.html"
example.namespaces < < :dc => “http://purl.org/dc/elements/1.1/”
example.dc_creator = RDF::Resource.new “http://www.example.org/staffid/85740″