Jon Lang wrote: > Meanwhile, I've been approaching this with the idea of ensuring that > OWL DL reasoners will be able to make use of the site. This means > that SMW has to restrict its semantic capabilities to something that > can be mapped to OWL DL. In turn, this means maintaining a strict > separation between class and individual. Separating classes and > individuals by namespace does this rather elegantly, and using the > Category namespace for this purpose has a lot to be said for it - as > long as it isn't done to the exclusion of more traditional uses of > Categories. In addition, doing this means that you don't need > separate properties to represent class membership and subclassing: if > the Class property is used outside of the Category namespace, it > defines a class/instance relation; if it is used in a Category page, > it defines a class/subclass relation.
Good points about the difference between OWL DL and OWL Full. So if you only want to export OWL DL, what would you do with a page like the President or Dog or Wine pages on Wikipedia, which are pages about a class. If this page has a category, then this would be an "is a" relation for a class which OWL DL forbids. Would you just not export such pages? (How would you know that a page is about a class and not about an instance such as George Washington?) If you do somehow assign the President page a URI and export it, what about the President category which has the George Washington URI as an instance? Does it have the same URI as the President page? - Jeff ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ Semediawiki-devel mailing list Semediawiki-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/semediawiki-devel
