Datatype support implementation matrix

Mike Smith and I have started gathering information about existing  
datatype (i.e., unary datapredicate) support in reasoners. We're  
soliciting reasoner authors to fill in the following matrix:
	http://spreadsheets.google.com/pub?key=pTmcCXR-dV6RpTEPxB0O-DQ

One thing we might consider is making some of the odder datatype  
optional, e.g., Name and NCName. Similarly, we might be more explicit  
about what facets are applicable, or, again, make some facets optional.

This matrix could help drive test case generation as well.

We don't collect inline vs. external datatype support. AFAIK, only  
Pellet supports pointers into XML Schema documents. I'd welcome  
correction on this point!

I don't think it's as interesting to gather data about editors  
because it's much more trivial and it's pretty uninteresting to  
enumerate the builtin types "supported" by an editor.

Cheers,
Bijan.

P.S. We used a Google spreadsheet since 1) it's a heck of a lot  
easier to manage than wikisyntax table and 2) we want reasoner  
authors who aren't WG members to enter their own data :) We can  
always export and script transform.

P.P.S. I hope at some point to gather data on in the wild usage and  
expressed user desire via some surveys.

P.P.P.S if you know of a reasoner that should be in there, or want  
edit access, drop me a note.

Received on Wednesday, 14 November 2007 14:40:23 UTC