[protege-discussion] making clause in algernon tab

[Micheal Hewett]

You can use the :INSTANCE command:

  http://algernon-j.sourceforge.net/doc/commands/instance.html

(:INSTANCE PDrug Biopsy)

Mike

-------------------------------
Micheal Hewett, PhD
CEO, Hewett Research
mike at hewettresearch.com



Hello there,
my question is about algernon tab for making clause
I want to know how can I specify
that a value is kind of an instance in a clause?
for example if "biopsy" would be an instance
of "Drug" class in my project and "Pdrug" would
be a slot of "Patient" class how can
I mention that "biopsy" is an
instance of "Drug" in below clause?

(PDrug ?patient Biopsy)

if I enter this clause there would be this error:
whether Biopsy is of type [drug] is unknown
in (PDrug ?patient Biopsy)

Thanks in advance
Rose
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20090521/94916cde/attachment.html>