Search Mailing List Archives
[p4-feedback] How to use DatatypeDefinition in P4?
nick.drummond at cs.manchester.ac.uk
Mon Apr 20 07:34:54 PDT 2009
This functionality is not yet supported by p4.
We are working on the port to the current OWL specs as a background task and
as such these language features will become available where time permits.
2009/4/17 S E <sielists at gmail.com>
> 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
> Thank you,
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the p4-feedback