Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[p4-feedback] How to use DatatypeDefinition in P4?

S E sielists at gmail.com
Fri Apr 17 09:20:14 PDT 2009


Hello,

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
time?

Thank you,
Shahim
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20090417/c7e6dbc2/attachment.html>


More information about the p4-feedback mailing list