document: A system for principled matchmaking in an electronic marketplace More and more resources are becoming available on the Web , and there is a growing need for infrastructures that , based on advertised descriptions , are able to semantically match demands with supplies . We formalize general properties a matchmaker should have , then we present a matchmaking facilitator , compliant with desired properties . The system embeds a NeoClassic reasoner , whose structural subsumption algorithm has been modified to allow match categorization into potential and partial , and ranking of matches within categories . Experiments carried out show the good correspondence between users and system rankings .
doc_bio_tags: O O O O B O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O B O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O