OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
Metadata is needed to facilitate data sharing among geospatial information communities. Geographic Metadata Standards are available but tend to be general and complex in nature an...
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
Gerald C. Gannod, John T. E. Timm, Raynette J. Bro...
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
We consider the problem of deciding query equivalence for a conjunctive language in which queries output complex objects composed from a mixture of nested, unordered collection ty...