Topic Matching with PowerLoom
Express advertisements and requests as logical descriptions
Domain ontologies provide term definitions
Representation language is KIF (use XML-rendering to embed advertisements on Web pages)
Use standard PowerLoom inference and classification mechanism to support matchmaking
Use subsumption hierarchy and KILTER partial match technology to support relaxed matching