%------------------------------------------------------------------------------
dlf(owl_defn,    definition, owl     := 'http://www.w3.org/2002/07/owl' ).
dlf(rdf_defn,    definition, rdf     := 'http://www.w3.org/1999/02/22-rdf-syntax-ns' ).
dlf(xml_defn,    definition, xml     := 'http://www.w3.org/XML/1998/namespace' ).
dlf(xsd_defn,    definition, xsd     := 'http://www.w3.org/2001/XMLSchema' ).
dlf(rdfs_defn,   definition, rdfs    := 'http://www.w3.org/2000/01/rdf-schema' ).

dlf(class_defn,  definition, class   := $tType ).
dlf(thing_defn,  definition, thing   := &owl#Thing ).
dlf(nothing_defn,definition, nothing := &owl#Nothing ).
%------------------------------------------------------------------------------