Service
term status: stable
type: Thing
disjoint with: Nothing
subclass of: Thing
type: Class

Message Part
term status: stable
type: Thing
disjoint with: Nothing
subclass of: Thing
type: Class

has Operation
term status: stable
type: Thing
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
type: Property
domain: Service
range: Operation

Ontology
disjoint with: Nothing
subclass of: Ontology
subclass of: Thing
type: Class
description: information model ontology (deprecated)
deprecated: true

Operation
term status: stable
type: Thing
disjoint with: Nothing
subclass of: Thing
type: Class

has Output Fault
term status: archaic
type: Thing
sub property of: topObjectProperty
sub property of: has Fault
property disjoint with: bottomObjectProperty
type: ObjectProperty
domain: Operation
range: Message Content

has Part Transitive
term status: stable
type: Thing
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: TransitiveProperty
type: ObjectProperty
domain: Message Part
range: Message Part

WSMO-Lite
created: 2009-04-22
creator: me
creator: vitvar.com
description: This is a lightweight ontology for semantic annotations of services, intended for use with SAWSDL and the Minimal Service Model.
issued: 2009-04-22
modified: 2013-05-30
type: Thing
imports: Minimal Service Model
version info: 2013-05-30
type: Ontology
imports: sawsdl#

uses Ontology
type: Property
type: Thing
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
description: pointer from a semantic description to an ontology that it uses (deprecated)
domain: Service
sub property of: seeAlso
deprecated: true

Minimal Service Model
type: Thing
issued: 2010-03-10
modified: 2012-03-14
modified: 2013-11-21
modified: 2011-12-03
creator: carlos-pedrinaci
description: This is a simple ontology that provides the core vocabulary for capturing service properties
creator: luca-panziera
creator: kmi.open.ac.uk
created: 2010-03-10
creator: me
modified: 2013-05-03
modified: 2014-09-03
imports: wsmo-lite
type: Ontology
version info: 1.3
imports: sawsdl

Message Content
term status: stable
type: Thing
disjoint with: Nothing
subclass of: Message Part
subclass of: Thing
type: Class

has Input
term status: stable
type: Thing
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
type: Property
domain: Operation
range: Message Content

has Input Fault
term status: archaic
type: Thing
sub property of: topObjectProperty
sub property of: has Fault
property disjoint with: bottomObjectProperty
type: ObjectProperty
domain: Operation
range: Message Content

has Optional Part
term status: stable
sub property of: has Part Transitive
type: ObjectProperty
sub property of: topObjectProperty
sub property of: has Part
type: Thing
property disjoint with: bottomObjectProperty
type: Property

has Part
term status: stable
type: Thing
sub property of: topObjectProperty
sub property of: has Part Transitive
property disjoint with: bottomObjectProperty
type: ObjectProperty
type: Property

has Mandatory Part
type: ObjectProperty
term status: stable
property disjoint with: bottomObjectProperty
sub property of: has Part Transitive
sub property of: has Part
type: Thing
sub property of: topObjectProperty
type: Property

Functional Classification Root
disjoint with: Nothing
subclass of: Class
subclass of: Thing
type: Class
description: instances of this class are roots of functionality classification hierarchies

has Fault
term status: stable
type: Thing
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
type: Property
domain: Operation
range: Message Content

has Output
term status: stable
type: Thing
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
type: Property
domain: Operation
range: Message Content

Condition
disjoint with: Nothing
subclass of: Thing
type: Class
description: preconditions of services and operations

is grounded in
term status: testing
type: Thing
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: ObjectProperty
type: Property
domain: Service
domain: Operation
domain: Message Part

Effect
disjoint with: Nothing
subclass of: Thing
type: Class
description: effects (postconditions) of services and operations

has Name
term status: stable
type: Thing
sub property of: topDataProperty
property disjoint with: bottomDataProperty
type: DatatypeProperty
type: Property
domain: Message Part
range: Literal

Nonfunctional Parameter
disjoint with: Nothing
subclass of: Thing
type: Class
description: instances of this class are concrete nonfunctional properties of services