Page 24
17 June 2002
operations on descriptions
•subsumption and satisfiability checking
•subsumption (resp. satisfiability ) can be reduced to satisfiability (subsumption)
•matchmaking and negotiation require subsumption or satisfiability checking for reasoning services