To: | <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
Cc: | KR-language <KR-language@xxxxxxxxxxxxxxx> |
From: | "Richard H. McCullough" <rhm@xxxxxxxxxxxxx> |
Date: | Wed, 3 Sep 2008 07:56:09 -0700 |
Message-id: | <25C40CC4A4434399A529389B6AC50E9C@rhm8200> |
I just found this thread this
morning.
My remarks are most closely tied to John Sowa's
email of August 28, 2008.
I'm just learning about Common Logic, and the
many other interesting topics
discussed here at Ontolog, so my remarks should
be taken with a grain of salt.
mKR (http://mKRmKE.org/) is
a controlled language which is English-like.
I believe mKR is fully compatible with the
Common Logic standard.
I'll get back to ontologies in a minute. I
first wanted to show John's
Google example in mKR:
person_0057 has
name = John
Doe,
email =
jdoe@xxxx;
The mKE program which implements the mKR language
automatically
creates a unique identifier for this
person.
The mKR language is matched to the underlying
epistemological ontology
which I call tabula rasa. tabula rasa is a
foundation ontology.
existent
group
entity
characteristic
part
attribute
relation
action
interaction
proposition
The syntax of mKR propositions depends on the
type of characteristic
being expressed. The person_0057 example
above is an attribute
statement. Here's an example of an action
statement.
at time = 10pm { John Doe do
walk to the store
with purpose = buy food
done;
};
All propositions are filed in the tabula rasa
hierarchy,
along with inferences such as
John Doe do walk
done;
walk iss action; #
species
walk_0075 isu walk; #
instance
walk_0075 has
subject =
John Doe, # agent
to object =
the store,
with object
= [purpose = buy food],
time =
10pm;
Some other important features of mKR are
context,
genus-differentia definitions, methods,
relations.
Dick McCullough
Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify od existent done; knowledge haspart proposition list; http://mKRmKE.org/ _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01) |
<Prev in Thread] | Current Thread | [Next in Thread> |
---|---|---|
|
Previous by Date: | [ontolog-forum] RIF BLD hits last call, Chris Welty |
---|---|
Next by Date: | Re: [ontolog-forum] Foundation Ontology, John F. Sowa |
Previous by Thread: | [ontolog-forum] Thing and Class, Richard H. McCullough |
Next by Thread: | Re: [ontolog-forum] Foundation Ontology, John F. Sowa |
Indexes: | [Date] [Thread] [Top] [All Lists] |