    # KEHOME/knowledge/theory/OWL/owlextension.html
    # May/19/2003

    # from Richard H. McCullough email
    # to www-rdf-logic@w3.org
    # March 18, 2003

    Yes, MKR is an "extension" of OWL Full,
    but I designed MKR from first principles
    without any knowledge of OWL.

    The MKR extensions include
    	context
    	definitions
    	questions (a simple query language)
    	methods (procedural capability)
    	n-ary relations
    	conditionals
    	iteration
    	concept formation commands which
    	  dynamically change instance-class hierarchies

    MKR is English-like, for easy reading & writing by humans.

    I can implement a complete project in MKR, from Ontology
    definition to knowledge input to output reports.