[CL] OWL -> CL

Fabian Neuhaus fneuhaus at web.de
Fri Oct 1 15:48:34 CDT 2010

Next message: [CL] OWL -> CL
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear All 
Does anybody have a CL file that axiomatizes the OWL 2 primitives? 
Thanks
Fabian

Next message: [CL] OWL -> CL
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the CL mailing list