Search Mailing List Archives
[p4-feedback] How to use DatatypeDefinition in P4?
sielists at gmail.com
Fri Apr 17 09:20:14 PDT 2009
I would like to use the DatatypeDefinition axiom that has been recently
added to the OWL 2 syntax (
http://www.w3.org/2007/OWL/wiki/Syntax#Datatype_Definitions ) . How can I do
this using the latest P4 build?
If it is not possible to do that at this time, when will this be available
and what options do I have to create named user defined data types at this
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the p4-feedback