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

["Richard H. McCullough" <rhm@xxxxxxxxxxxxx>]

----- 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:
>
>    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.

 

Dick McCullough
http://mkrmke.org

 

_________________________________________________________________
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)