[Top] [All Lists]

Re: [ontolog-forum] Last Call: OWL 2 and rdf:text primitive datatype

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: Clinton Jeffery <clint.jeffery@xxxxxxxxx>, KR-language <KR-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Sat, 2 May 2009 01:26:52 -0700
Message-id: <B6BBF21DBFEE4FB590333608809956D2@rhm8200>
----- Original Message -----
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
> JFS>> I discuss some of these and other issues in the papers
> > included in the Guided Tour of Ontology:
> 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.
Dick McCullough

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)

<Prev in Thread] Current Thread [Next in Thread>