# KEHOME/knowledge/theory/Sowa/krsearch.html # Jan/23/2003 #========================================# # book hierarchy search example # # find all concepts named *lattice* # # and display their ancestors # # excerpt from Knowledge Explorer output # #========================================# $ ke ... <myview:.=existent> do read from kr.ho done; # command <do read from kr.ho done> ... <myview:.=existent> topiclist := do find od *lattice* done; # production <topiclist := do find od *lattice* done> # command <do find od *lattice* done> *lattice* LATTICE lattice lattice of categories lattice operations navigating the lattice of theories ... <myview:.=existent> every x in $topiclist {$x isa* ?;}; # every <every x in $topiclist { $x isa* ? ; } ;> # question <*lattice* isa* ?> unit:*lattice* \ pattern \\ variable \\\ attribute \\\\ characteristic \\\\\ existent # question <LATTICE isa* ?> LATTICE \ group \\ OBJECT \\\ entity \\\\ existent # question <lattice isa* ?> lattice \ LATTICE \\ group \\\ OBJECT \\\\ entity \\\\\ existent # question <lattice of categories isa* ?> lattice of categories \ 2.3. Top-Level Categories \\ 2. Ontology \\\ unit:Knowledge Representation \\\\ book # question <lattice operations isa* ?> lattice operations \ 2.5. Defining Abstractions \\ 2. Ontology \\\ unit:Knowledge Representation \\\\ book # question <navigating the lattice of theories isa* ?> navigating the lattice of theories \ 6.5. Theories , Models , and the World \\ 6. Knowledge Soup \\\ unit:Knowledge Representation \\\\ book <myview:.=existent> exit; ... $