Ontologies, Agents, and Services

Web services are the backbone of the SW, as well as the .NET and ONE initiatives.
The SW will create machine-readable ontologies that describe services.
These descriptions will be used by "capable" agents. They will be able to find matches up and down the class hierarchy and follow other type of semantic links.
A machine-readable description of the service and logic describing the consequences of its use can also be included.
We could also use DAML+OIL to define an ontology of the terms needed to describe the invocation of services. This could be done by describing them as FSMs.