| An example of name resolution for e-commerce, using three namespaces: retailer, manufacturer, and shared. | | A retailer orders computers from a manufacturer. | | However, in the retailer's terminology, a computer is called a PC for Gamers, | while in the manufacturer's terminology, it is called a Prof Desktop. | | Fortunately, the retailer and the manufacturer can agree that both belong to the class Workstations/Desktops | | Then, we find out to what extent a Prof Desktop has the required memory, CPU and so forth for a PC for Gamers. | | This example is based on the paper 'Semantic Resolution for E-Commerce' by | Yun Peng, Youyong Zou, and Xiaocheng Luan ( UMBC ) and Nenad Ivezic, Michael Gruninger and Albert Jones ( NIST ) for the retailer the term PC for Gamers has super-class this-class in the this-ns namespace ============================================================================================= Computers to order retailer Workstations/Desktops shared Computers shared for the manufacturer the term Prof Desktop has super-class this-class in the this-ns namespace ==================================================================================================== Desktop manufacturer Workstations/Desktops shared Computer Systems manufacturer Computers shared for the retailer the term PC for Gamers has part this-comp with property this-prop this-rel this-val in the this-ns namespace ================================================================================================================================== Graphics Card Size >= 1000 shared Sound Card Size >= 24 shared CPU Size >= 1000 shared Memory Size >= 256 shared for the manufacturer the term Prof Desktop has part this-comp with property this-prop this-rel this-val in the this-ns namespace ===================================================================================================================================== Product Name xxx4 -- -- manufacturer Product Number yyy4 -- -- manufacturer Sound Card Size = 24 shared Memory Size = 512 shared CPU Size = 1800 shared Price 2300 -- -- shared Color Monitor Size = 19 manufacturer for the retailer the term some-item1 has super-class some-class in the some-ns namespace for the manufacturer the term some-item2 has super-class that-class in the that-ns namespace ------------------------------------------------------------------------------------------------------ the retailer term that-item1 and the manufacturer term that-item2 agree - they are of type that-class the retailer term some-item1 and the manufacturer term some-item2 agree - they are of type some-class for the retailer the term that-item1 has part some-comp with property some-prop some-rel1 some-val1 in the some-ns namespace for the manufacturer the term that-item2 has part that-comp with property that-prop some-rel2 some-val2 in the that-ns namespace that-rel2 that-val2 meets the requirement that-rel1 that-val1 -------------------------------------------------------------------------------------------------------------------------------- retailer that-item1 is matched by manufacturer that-item2 on the property that-prop for part that-comp the retailer term some-item1 and the manufacturer term some-item2 agree - they are of type some-class for the retailer the term that-item1 has part some-comp with property some-prop some-rel1 some-val1 in the some-ns namespace not : retailer that-item1 is matched by manufacturer that-item2 on the property that-prop for part that-comp -------------------------------------------------------------------------------------------------------------------- retailer that-item1 is not matched by any manufacturer item on the property that-prop for part that-comp retailer some-item1 is matched by manufacturer some-item2 on the property some-prop for part some-comp ------------------------------------------------------------------------------------------------------ OK : retailer that-item1 is matched by manufacturer that-item2 on the property that-prop for part that-comp retailer some-item1 is not matched by any manufacturer item on the property some-prop for part some-comp ----------------------------------------------------------------------------------------------------------------- NEED : retailer that-item1 is matched by manufacturer *missing-item* on the property that-prop for part that-comp some-val1 is greater than or equal some-val2 ------------------------------------------- = that-val1 meets the requirement >= that-val2 some-val1 is equal some-val2 ---------------------------------------------- = that-val1 meets the requirement = that-val2 some-result : retailer that-item1 is matched by manufacturer that-item2 on the property that-prop for part that-comp ==================================================================================================================