1. CarSellingService Input: Car Output: Price Input Constraints: Output Constraint: Atr: geo = US Car Selling Services VehicleSellingService Input: vehicle Output: Price Input Constraints: Output Constraint: Atr: geo = US SedanSellingService Input: Sedan Output: Price Input Constraints: Output Constraint: Atr: geo = US BusSellingService Input: Bus Output: Price Input Constraints: Output Constraint: Atr: geo = US GingerSellingService Input: Ginger Output: Price Input Constraints: Output Constraint: Atr: geo = US DogSellingService Input: Dog Output: Price Input Constraints: Output Constraint: Atr: geo = US CarSellingServiceInJA Input: Car Output: Price Input Constraints: Output Constraint: Atr: geo = JA CarSellingServiceWithGM Input: Car Output: Price Input Constraints: ManufacturerOf(Car, GM) Output Constraint: Atr: geo = US CarSellingServiceWithIsuzu Input: Car Output: Price Input Constraints: ManufacturerOf(Car, Isuzu) Output Constraint: Atr: geo = US Check for I/O Subsumption Check for Attributes Check for Constraints For example, if CarSellingServiceWithGM is a request, the results are CarSellingService and VehicleSellingService.

2. Vehicle Car Sedan Bus Ginger Animal Dog US Location (Terms inside circle mean instances) VehicleAnimal Related Ontologies GM Isuzu Car Maker JA Country Afghanistan

3. Adv. A Input: Screw, Num Output: lead times Input Constraints: ManufacturerOf(Screw, Toshiba) Num > 100 Output Constraint: if Num < 1000, then lead times < 7 days Atr: geo = US Adv. B Input: Assemble, Num Output: lead times Input Constraints: ManufacturerOf(Assemble, Toshiba) Num > 50 Output Constraint: if Num < 1000, then lead times < 5 days Atr: geo = US Adv. D Input: Buhin, Num Output: lead times, price Input Constraints: ManufacturerOf(Buhin, IBM) Num > 80 Output Constraint: if Num < 1500, then lead times < 5 days Atr: geo = US Adv. C Input: Parts, Num Output: lead times, price Input Constraints: ManufacturerOf(Parts, Toshiba TEC) Num > 30 Output Constraint: if Num < 1000, then lead times < 7 days Atr: geo = JA Adv. E Input: Neji Output: lead times Input Constraints: ManufacturerOf(Neji, IBM) Output Constraint: lead times < 10 days Atr: geo = US Req. 1 Input: Neji, Num Output: lead times Input Constraints: ManufacturerOf(Neji, Toshiba TEC) Num > 50 Output Constraint: if Num < 1000, then lead times < 7 days Atr: geo = US. Req. 2 Input: Screw, Num Output: lead times Input Constraints: ManufacturerOf(Screw, TIBCO) Num > 100 Output Constraint: if Num < 1000, then lead times < 7 days Atr: geo = US Parts Ordering Services... should have B with Plug-In match.... should have D with Plug-In match.

4. Parts Assemble ScrewBoltNut Buhin NejiBisu USJP Toshiba Toshiba TEC IBM Products Parts Maker sameAs TIBCO Related Ontologies US Location (Terms inside circle mean instances) JA Country Afghanistan

5. Communicator & Protocol Handler DAMLS UDDI Translator DAMLS Matchmaking Engine UDDI Registry UDDI API Internet DAML+OIL Ontology DAMLS UDDI Semantic Matchmaking System Web Application Server HTTP+SOAP+UDDI/XML Back End DAMLS includes: DAML+OIL Ontology RuleML Rules DAMLS Parsers UDDI-compliant program HTTP+SOAP+{UDDI/XML | DAMLS}HTTP+ACL+DAMLS Client UserClient Program Web Browser Service Provider & Requester Service Provider & Requester

6. Ontology DB Ontology Reasoner TF/IDF Calculator Namespace filter Text filter Similarity filter IO Type filter Constraint filter DAMLS Matchmaking Engine Word Freq. DB Internet Advertisement DB DAML+OIL Ontology Selectable Filters Ontology Server

7. DAMLS Parsers DAMLS API RuleML APIDAML+OIL API DAMLS Profile Description Internal Text form Internal Ontology objectsInternal Rule objects DAMLS Profile Object