Path-Based Inference

• Assume

(define-path

class

(compose class

(kstar (compose

subclass- !

superclass)))

Previous slide

Next slide

Back to first slide

View graphic version