OWL 2 Functional Style operators from HOL point of view

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

OWL 2 Functional Style operators from HOL point of view

Alex Shkotin
Hi All,

It would be great to get feedback from Protege users on these definitions of OWL2 operators.
Thank you.

Alex

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user