Ontology
comment: Ontology contains classes which represent ontology description artefact(ODA). Uses SIMSOntology and contains some test ODAs which allow testing reasoning of built ODA, specify requirements for Artefact Wizard tool, allow to verify ontology for SIMS use cases. Ontology DO NOT contain classes which extend SIMSOntology.
imports: SIMSOntology.owl
version info: Version 2.0 (2007-11-31), second phase.

ODA BarcDemo Component ConferenceServer
type: Class
equivalent class: Class
  intersection of: Component
  intersection of: Restriction
    on property: canRealizeService
    some values from: Class
      intersection of: Restriction
        on property: hasParticipant
        some values from: Class
      intersection of: Restriction
        on property: hasNetworkConnectivity
        some values from: Class
      intersection of: InstantMessaging
      intersection of: Restriction
        on property: hasParticipant
        some values from: Class
subclass of: Thing
comment: Defines component which is able to run instant messaging service beetwen controler (has special rights) and simple participants. Service use connectivity which support bearer service capable to transefer data.

ODA BarcDemo Component Controler
type: Class
equivalent class: Class
  intersection of: Class
    intersection of: Component
    intersection of: Restriction
      on property: canRealizeService
      some values from: Class
        union of: Class
  intersection of: Restriction
    on property: isAbleToAchieve
    some values from: Class
      union of: Rejection
      union of: Acceptance
      union of: MessageSending
      union of: MessageReceiving
      union of: Invitation
      union of: Termination
      union of: Initiation
subclass of: Thing
comment: Defines component which is able to run instant messaging service beetwen controler (has special rights) and simple participants. Service use connectivity which support bearer service capable to transefer data. Component can also realize communication between internet participants through connectivity with IPv4 address type. Component can achieve goals like acceptance, rejection, message sending or receiving, initiation, invitation or termination.

ODA BarcDemo Component Participant
type: Class
equivalent class: Class
  intersection of: Class
    intersection of: Component
    intersection of: Restriction
      on property: canRealizeService
      some values from: Class
        union of: Class
  intersection of: Restriction
    on property: isAbleToAchieve
    some values from: Class
      union of: Acceptance
      union of: MessageSending
      union of: MessageReceiving
      union of: Rejection
subclass of: Thing
comment: Defines component which is able to run instant messaging service beetwen controler (has special rights) and simple participants. Service use connectivity which support bearer service capable to transefer data. Component can also realize communication between internet participants through connectivity with IPv4 address type. Component can achieve goals like acceptance, rejection, message sending or receiving.

ODA BarcDemo Component PortalServer
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: canRealizeService
    some values from: Class
      intersection of: Class
        intersection of: Restriction
        intersection of: Communication
      intersection of: Restriction
        on property: hasParticipant
        some values from: InternetParticipant
  intersection of: Component
subclass of: Thing
comment: Defines component who can handle comunication through connectivity which has bearer service with IP4 address type. In service can participate internet users.

ODA BarcDemo Service VMP Conference
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: hasParticipant
    some values from: Class
      intersection of: CommunicationResponder
      intersection of: Restriction
        on property: hasProfile
        some values from: Class
  intersection of: Restriction
    on property: hasParticipant
    some values from: Class
      intersection of: CommunicationInitiator
      intersection of: Restriction
        on property: hasProfile
        some values from: Class
  intersection of: Restriction
    on property: hasNetworkConnectivity
    has value: GSMConnectivity
  intersection of: InstantMessaging
subclass of: Thing
comment: Defines instant messaging conference in virtual meering place service. In service participate initiator who has right to invite, establish or terminate communication (controller) and participants can't do such actions (simple participants). Service works through gsm connectivity.

ODA BarcDemo Service VMP Portal
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: hasParticipant
    some values from: InternetParticipant
  intersection of: Class
    intersection of: Communication
    intersection of: Restriction
      on property: hasNetworkConnectivity
      some values from: Class
        intersection of: ConnectivityType
        intersection of: Restriction
subclass of: Thing
comment: Defines communication between internet participants through GPRS in GSM network. In meeting place service scenario it corresponds to portal through which participants can find other participants .

ODA VMP Component1
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: canRealizeService
    some values from: Class
      union of: SMSExchange
      union of: Class
        intersection of: Class
        intersection of: Restriction
      union of: Class
        intersection of: Class
        intersection of: Restriction
  intersection of: Restriction
    on property: requiresDevice
    some values from: Class
      intersection of: SMSCommunicationTerminal
      intersection of: TextCommunicationTerminal
      intersection of: Restriction
        on property: isDescribedBy
        some values from: Class
      intersection of: Class
        intersection of: UserTerminal
        intersection of: Restriction
      intersection of: Restriction
        on property: isDescribedBy
        some values from: Class
      intersection of: JavaTerminal
  intersection of: Class
    intersection of: Component
    intersection of: Restriction
      on property: isAbleToAchieve
      some values from: Class
        union of: Class
subclass of: Thing
comment: Defines component capable to handle text communications SMS, IM, Chat between two participants. Component require text communication terminal.

ODA VMP Component2
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: requiresDevice
    some values from: Class
      intersection of: TextCommunicationTerminal
      intersection of: JavaTerminal
      intersection of: Class
        intersection of: Restriction
        intersection of: UserTerminal
      intersection of: Restriction
        on property: isDescribedBy
        some values from: Class
      intersection of: Restriction
        on property: isDescribedBy
        some values from: Class
      intersection of: VoiceCommunicationTerminal
      intersection of: SMSCommunicationTerminal
  intersection of: Restriction
    on property: canRealizeService
    some values from: Class
      union of: SMSExchange
      union of: Class
        intersection of: Class
        intersection of: Restriction
      union of: Class
        intersection of: Class
        intersection of: Restriction
      union of: Class
        intersection of: Restriction
        intersection of: VoiceCall
  intersection of: Class
    intersection of: Component
    intersection of: Restriction
      on property: isAbleToAchieve
      some values from: Class
        union of: Class
subclass of: Thing
comment: Defines component capable to handle text communications SMS, IM, Chat and voice between max 10 participants. Component require text and voice communication terminal.

Class
intersection of: Restriction
  on property: hasParticipant
  max cardinality: 2
intersection of: InstantMessaging

Class
intersection of: Chat
intersection of: Restriction
  on property: hasParticipant
  max cardinality: 2

Class
intersection of: Restriction
  on property: hasParticipant
  max cardinality: 10
intersection of: InstantMessaging

Class
intersection of: Chat
intersection of: Restriction
  on property: hasParticipant
  max cardinality: 10

Restriction
on property: hasParticipant
max cardinality: 10

Class
intersection of: Class
  union of: VoiceCall
  union of: SMSExchange
  union of: MultimediaCall
  union of: Class
    intersection of: Class
      intersection of: InstantMessaging
      intersection of: Restriction
        on property: hasParticipant
        max cardinality: 20
    intersection of: Restriction
      on property: containsMessage
      some values from: Class
        intersection of: Restriction
        intersection of: Message
  union of: Class
    intersection of: Restriction
      on property: containsMessage
      some values from: Class
        intersection of: Restriction
        intersection of: Message
    intersection of: Class
      intersection of: Restriction
        on property: hasParticipant
        max cardinality: 20
      intersection of: Chat
intersection of: Class
  union of: Restriction
    on property: hasNetworkConnectivity
    has value: GSMConnectivity
  union of: Restriction
    on property: hasNetworkConnectivity
    has value: UMTSConnectivity