Classification in the KL-ONE knowledge representation system-英文文献.pdf

Classificatio n i n th e KL-ON E Knowledge Representatio n Syste m Jame s G . Schmolz e Thoma s A . Lipki s Bolt Berane k an d N e w m a n Inc . U S C / l n f o r m a t i o n Science s Institut e 10 Moulto n Stree t 4 6 7 6 A d m i r a l t y Wa y C a m b r i d g e , MA 0 2 2 3 8 • USA Marin a De l Rey , CA 9 0 2 9 1 - USA Abstrac t We defin e a relatio n betwee n Concept s calle d subsumptio n suc h that Concept A subsume s Concep t B only if the set denote d KL-ONE lets one define and use a class of descriptive terms called by A necessarily include s th e set denote d by B . For example , if Concepts, where each Concept denotes a set of objects A subsumption one want s to represent that all dog s are necessarily mammal s relation between Concepts is defined whic h is related to set inclusion by the n on e specifies that the Concept denotin g mammals subsume s way of a semantics for Concepts . This subsumption relation defines a the Concep t denotin g dogs . I n a KL-ON E network.4 we