Dr. Richard H. McCullough

Knowledge Engineer





What is Knowledge Explorer?

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.



The MKR language

Do you speak MKR?

MKR introduction

MKR theory

KR-lanugage email group

The MKE program

Can you use MKE?

Answering questions with MKE + TAP + OpenCyc + Google + Amazon

Making statements with MKE + TAP

MKE applications

MKR/MKE documentation

MKR/MKE tutorial

MKE input menu

MKR grammar

MKR tokens

MKR/MKE glossary

References



MKE Portable Application Description

MKE Installation Instructions


Download Knowledge Explorer 6.1 now
and create your own knowledge base

Download Unicon 10.0 if you want to create
your own customized Knowledge Explorer

Download other useful utilities if desired




Recent Improvements

MKE 4.1 new features: new syntax for actions & commands
MKE 4.2 new features: file system hierarchies
MKE 4.3 new features: use Unicon instead of Icon
MKE 4.4 new features: units & primitive concepts
MKE 4.5 new features: internet hierarchies; Semantic Web applications
MKE 4.6 new features: XML namespace lattice
MKE 4.7 new features: semicolon terminates sentence

MKE 5.0 new features: MKE changed from shareware to open source
MKE 5.1 new features: MKR/MKE glossary, MKR introduction
MKE 5.2 new features: Parlett XML parser
MKE 5.3 new features: new group definition syntax and MKR parser
MKE 5.4 new features: namespace stack
MKE 5.5 new features: RDF tabula rasa and triples
MKE 5.6 new features: Google search and OWL ontology
MKE 5.7 new features: redefined views: tabula rasa, rdf, rdfs, owl
MKE 5.8 new features: user-defined verbs for binary relations
MKE 5.9 new features: MKE interface to Stanford TAP KB

MKE 6.0 new features: new syntax for user-defined binary relation
MKE 6.1 new features: new syntax for pronouns


"The Semantic Web in Breadth"
Resource Description Framework (RDF)
Web Ontology Language (OWL)
Open Directory Project
Stanford TAP knowledge base
OpenCyc knowledge base

Unicon programming language
Jcon programming language
Icon programming language
Rebol internet messaging language
Sun Java2 programming language
GNU's Not Unix! - Free Software Foundation
Red Hat Linux
UnxUtils   UNX commands for Windows (GNU Open Source)
Microsoft SFU   UNIX commands for Windows
MKS Toolkit   UNIX commands for Windows
Cygwin   Linux-like environment for Windows
Personal Ancestral File   free genealogy program

CNET central
Simtel freeware & shareware for Windows
SourceForge.net Open Source software development website

The Objectivist Center
Ayn Rand Institute




The Objectivist Ring

[rand] [ring]

[prev site] [next site]
[skip prev site]

[show prev five]
[skip next site]

[show next five]
[edit site] [link site]

[list] [join]

rhm@cdepot.net is a silver member of The Objectivist Ring



Sign Guestbook

1166   Visitors from Jun/1/2003 to Aug/9/2003
Created by the CDepot MakePage Utility on Apr/20/1996.
Last updated by Richard H. McCullough on Aug/25/2003.

Mail suggestions and comments to: rhm@cdepot.net

© Copyright 1996-2003 Richard H. McCullough