The Suggested Upper Merged Ontology (SUMO) is a collection of logical
axioms, expressed in a Lispish notation (SUO-KIF). The axioms are
readable, but rather repetitive and verbose. For example, this axiom:
(=>
(instance ?COMPANY Coffeeshop)
(exists (?SERVICE ?BEVERAGE)
(and
(instance ?SERVICE CommercialService)
(agent ?SERVICE ?COMPANY)
(instance ?SERVICE Selling)
(patient ?SERVICE ?BEVERAGE)
(instance ?BEVERAGE Coffee)
) ) )
-- http://sigmakee.cvs.sourceforge.net/viewvc/sigmakee/KBs/Dining.kif
says something like:
If ?COMPANY is a Coffeeshop, it performs the CommercialService
of Selling Coffee.
I'd like to find or create a template-processing tool that would let me
express these axioms in a form that is more compact, yet readable, eg:
(im/vendor Coffeeshop Coffee)
I would like to be able to write axioms in either SUO-KIF or the compact
form, then use the tool to turn everything into SUO-KIF. I have thought
of assorted approaches to this (eg, using Clojure macros), but I'd like
to get some suggestions and feedback before writing any code. Help?
-r
--
http://www.cfcl.com/rdm Rich Morin
http://www.cfcl.com/rdm/resume [email protected]
http://www.cfcl.com/rdm/weblog +1 650-873-7841
Software system design, development, and documentation
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
