Re: [ontolog-forum] Axioms in Protege

[Patrick Cassidy <pcassidy@xxxxxxxxxxxxxxxx>]

I was able to improve the formatting of some of
the axioms which were incorporated into Protege
as :PAL-CONSTRAINTS.  The conversion had modified
the format of some of them.  The improved files
are:    (01)

      ftp://micra.com/ontolog/UBLinv018.pprj
      ftp://micra.com/ontolog/UBLinv018.pont
      ftp://micra.com/ontolog/UBLinv018.pins    (02)

   The ublinv017 versions have been deleted.    (03)

     Pat    (04)

=============================================
Patrick Cassidy    (05)

MICRA, Inc.                      || (908) 561-3416
735 Belvidere Ave.               || (908) 668-5252 (if no answer)
Plainfield, NJ 07062-2054        || (908) 668-5904 (fax)    (06)

internet:   cassidy@xxxxxxxxx
=============================================    (07)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Unsubscribe/Config: 
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (08)