Adrian Walker (HM)
I work on a browser-based system that supports self-explaining applications written in open vocabulary, open syntax English. The system reasons about ontologies and networked relational databases. The system works as a kind of Wiki for open vocabulary, _executable_ English. {nid SQ6} It also works as a semantic reasoning SOA endpoint on the Web. (173Z)
The underlying design goes beyond the usual (meta)data semantics, combining it with a model theoretic logical semantics, and with a semantics for the real world meaning of English concepts. (SQ7)
The system is live online at http://www.reengineeringllc.com , with many examples that you can view, run and change using a browser. As befits a Wiki, shared use is free. (SQ8)
There are ontology and other examples that you can view, run and change, using browser -- such as "MedMine2", which adds executable English knowledge to otherwise semantically opaque medical data. (SQG)
You are cordially invited to write and run your own examples. There is nothing to install -- just point your browser to www.reengineeringllc.com . (SQ9)
The system accepts business rules in English, and small numbers of facts, typed or copy-pasted directly into a browser. You can then run the rules, again using a browser. For larger amounts of data, the system uses information in the rules to automatically generate and run SQL over networked databases. From a few highly declarative rules, the system typically generates SQL that would be too complicated to write reliably by hand. However, the system can explain its results in step-by-step hypertexted English, at the business or scientific level (SQA)
Since the knowledge for the system is written in (executable) English, it can be searched on the World Wide Web using Google. (SQE)
(I hold a Ph.D in Computer Science, and my experience includes research at Bell Labs and IBM Yorktown). (HQ)
- Recommended readings: (HS)
- http://www.astd.org/Publications/Magazines/The-Public-Manager/Archives/2013/Fall/Social-Knowledge-Transfer-Using-Executable-English (3ZY4)
- http://www.semantic-conference.com/program/sessions/S2.html (SQC)
- http://www.reengineeringllc.com/A_Wiki_for_Business_Rules_in_Open_Vocabulary_Executable_English.pdf (SQB)
- http://www.reengineeringllc.com/Oil_Industry_Supply_Chain_by_Kowalski_and_Walker.pdf (SQD)
- Backchain Iteration: Towards a Practical Inference Method that is Simple Enough to be Proved Terminating, Sound and Complete. Journal of Automated Reasoning, 11:1-22 . (SQF)
- http://www.reengineeringllc.com/demo_agents "Business rule examples in English that can be run in the Wiki. Google indexes these examples." (HU)
- http://www.reengineeringllc.com/WikiSOA.pdf "A Wiki and SOA Endpoint for Rules in Open Vocabulary, Executable English". Background Slides for a Demo at the International RuleML Symposium on Rule Interchange and Applications October 2007 (1740)
- http://www.reengineeringllc.com/ibldrugdbdemo1.htm A short Flash video about the Internet Business Logic System and its use to add semantics to a database of 30,000 drugs and their interactions. (1741)