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?

Nick Drummond nick.drummond at cs.manchester.ac.uk
Mon Apr 20 07:34:54 PDT 2009


Hi Shahim,

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.

Nick


2009/4/17 S E <sielists at gmail.com>

>
>
> 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
>
>
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20090420/ed335958/attachment.html>


More information about the p4-feedback mailing list