Ontology
version info: $Id: Service.owl,v 1.25 2005/05/18 21:45:19 martin Exp $
comment: Top level of OWL ontology for services. Part of the OWL-S ontology; see http://www.daml.org/services/.

Service
type: Class
comment: See comments above
comment: A service has 0 or 1 models. (But note that a service with 0 models does not provide automated online access; it exists only for discovery purposes; that is, it exists so as to provide a Profile.)
subclass of:
  restriction:
    max cardinality: 1
    on property: describedBy

ServiceProfile
type: Class
comment: See comments above

ServiceModel
type: Class
comment: See comments above

ServiceGrounding
type: Class
comment: See comments above
comment: A Grounding must be associated with exactly one service. (Also, that service must have a model - but that constraint isn't expressed here.)
subclass of:
  restriction:
    cardinality: 1
    on property: supportedBy

presents
type: ObjectProperty
comment: There are no cardinality restrictions on this property.
domain: Service
range: ServiceProfile
inverse of: presentedBy

presentedBy
type: ObjectProperty
comment: There are no cardinality restrictions on this property.
domain: ServiceProfile
range: Service
inverse of: presents

describes
type: ObjectProperty
comment: There are no cardinality restrictions on this property. That is, the same service model can be used by many different services.
domain: ServiceModel
range: Service
inverse of: describedBy

provides
type: ObjectProperty
comment: OWL-S is completely agnostic at present about what kind of thing provides a service (hence, no domain declared here).
range: Service
inverse of: providedBy