----- Original Message -----
>
> JFS>> I discuss some of these
and other issues in the papers
> > included in the Guided Tour of
Ontology:
>
>
http://www.jfsowa.com/ontology/guided.htm>
> John
>
I just finished skimming through section
5.
KR Ontology.
As mentioned in previous emails, the tabula
rasa ontology
is a simpler representation of Peirce's basic
properties.
This simplification extends throughout the concepts
that
you have presented in section 5. I will
expand on this
theme in the near future.
Another issue closely related to mKR-to-IKL
translation
is the get_prop( ) function.
As part of my current work
on simplifying the mKR grammar, I have implemented
this function, using the Unicon
generator facility.
For any input stream, get_prop( )
returns the parse
of the next
syntactically-complete mKR
proposition.
This function can be
used to retrieve all the
propositions of a context.
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)