McCullough Knowledge Explorer (MKE) is an interactive tool
for organizing knowledge.
It helps the user to record, change and search knowledge, and provides
extensive error checking to ensure the internal consistency of the knowledge.
Interaction with MKE uses the MKR language.
MKR is a very-high-level knowledge representation language with
simple English-like statements, questions and commands,
plus UNIX-shell-like variables, methods and control structures.
Learning the MKR language is facilitated by
a syntax checker
and
a menu interface.
The syntax checker provides a fast check of input knowledge.
The menu interface prompts the user for all necessary
information, and automatically generates the correct input syntax.
What is Knowledge?
Knowledge is an identification of the facts of reality.
Propositional knowledge is knowledge expressed using words and sentences.
The principal internal knowledge structures of MKR/MKE are
entity-characteristic-proposition hierarchies
with space-time-dependent events.
The principal external knowledge structures are RDF files and
MKR text files
(transliterated English, hierarchy outlines, relational databases).
Semantic Web Applications
MKR is a general-purpose knowledge representation language
which is applicable to any domain.
It is ideally suited for Semantic Web applications.
MKE "services" include many consistency checks,
knowledge base queries, knowledge base statistics,
and commands to dynamically modify the instance-class hierarchy.
MKE is implemented using the Unicon and KornShell languages,
providing easy integration with
Unicon procedures, shell scripts, Linux/Windows commands,
web pages and standard databases.
The MKR language is more powerful and more user-friendly
than the OWL language. MKR extensions include
context, questions, commands and n-ary relations.
MKE/MKR provides no direct support for RDF model theory semantics --
it uses "natural language semantics"
of the real world that we live in,
not possible worlds.
MKE provides a user-friendly interface to the Open Directory Project
and Stanford TAP knowledge bases.
An interface to the OpenCyc knowledge base is under development.
KE 4.1 new features:
new syntax for actions & commands
KE 4.2 new features:
file system hierarchies
KE 4.3 new features:
use Unicon instead of Icon
KE 4.4 new features:
units & primitive concepts
KE 4.5 new features:
internet hierarchies; Semantic Web applications
KE 4.6 new features:
XML namespace lattice
KE 4.7 new features:
semicolon terminates sentence
KE 5.0 new features:
KE changed from shareware to open source
KE 5.1 new features:
MKR/MKE glossary, MKR introduction
KE 5.2 new features:
Parlett XML parser
KE 5.3 new features:
new group definition syntax and MKR parser
KE 5.4 new features:
namespace stack
KE 5.5 new features:
RDF tabula rasa and triples
KE 5.6 new features:
Google search and OWL ontology
KE 5.7 new features:
redefined views: tabula rasa, rdf, rdfs, owl
KE 5.8 new features:
user-defined verbs for binary relations