Ontology ODA_D3_4_Examples

Tables of classes

Class nameDescription
Browse_ComplexIMService

Equivalent class:
    mc:InstantMessaging
    that te:hasNetworkConnectivity value ct:GSMConnectivity
    and simse:requiresDevice some (d:JavaTerminal
               and d:TextCommunicationTerminal)
    and te:hasNetworkConnectivity value ct:UMTSConnectivity
Browse_IMWirelessConnectivity

Equivalent class:
    mc:InstantMessaging
    that te:hasNetworkConnectivity some ct:ShortRangeConnectivityType
Browse_TextBluetoothIMService

Equivalent class:
    mc:InstantMessaging
    that simse:requiresDevice some (d:TextCommunicationTerminal
               and d:BluetoothTerminal)
    and te:hasNetworkConnectivity value ct:BluetoothConnectivity
Browse_TextGSMIMService

Equivalent class:
    mc:InstantMessaging
    that simse:requiresDevice some d:TextCommunicationTerminal
    and te:hasNetworkConnectivity value ct:GSMConnectivity
Component_MultimediaCall_3gp

Equivalent class:
    simse:Component
    that simse:canRealizeService some (cc:MultimediaCall
               that cc:containsStream some (do:hasDataType value dt:3GP
                     and do:hasDataType value dt:audio/Basic))
Component_VoiceCall_basicAudio

Equivalent class:
    simse:Component
    that simse:canRealizeService some (cc:VoiceCall
               that cc:containsStream some (do:hasDataType value dt:audio/Basic))
Ex

Equivalent class:
    mc:MessageDelivery
    that te:refersToData only (do:RingTone
              that do:hasDataType value dt:MP4)
    and te:refersToCommunication some (mc:OneWayMessageExchange
               and (te:hasNetworkConnectivity some ct:LongRangeConnectivityType)
               or (te:hasNetworkConnectivity value ct:GSMConnectivity))
FindComp2_c1

Equivalent class:
    te:Establishment
    that te:refersToCommunication some mc:InstantMessaging
    and te:refersToData value dt:audio/Basic
    and te:refersToData value dt:text/plain
FindComp2_c2

Equivalent class:
    te:Establishment
    that te:refersToCommunication some mc:Chat
    and te:refersToData value dt:text/plain
FindComp2_c3

Equivalent class:
    te:Invitation
    and te:Establishment
        that te:refersToCommunication some mc:InstantMessaging
    and te:refersToData value dt:text/plain
FindComp2_g

Equivalent class:
    te:Invitation
    and te:Establishment
        that te:refersToCommunication some mc:InstantMessaging
    and te:refersToData some dt:TextDataType
FindSIDual_si1

Equivalent class:
    simse:SemanticInterface
    that simse:achievesGoal some ((te:Establishment
               that te:refersToCommunication some cc:MultimediaCall)
               or (te:Termination
               that te:refersToCommunication some cc:MultimediaCall))
FindSIDual_si2

Equivalent class:
    simse:SemanticInterface
    that simse:achievesGoal some ((te:Establishment
               that te:refersToCommunication some cc:MultimediaCall)
               or (mc:MessageSending
               that te:refersToCommunication some mc:InstantMessaging)
               or (mc:MessageReceiving
               that te:refersToCommunication some mc:InstantMessaging)
               or (te:Termination
               that te:refersToCommunication some cc:MultimediaCall))
FindSIDual_si3

Equivalent class:
    simse:SemanticInterface
    that simse:achievesGoal some ((te:Termination
               that te:refersToCommunication some (te:MultipartyCommunication
                      or cc:MultimediaCall))
               or (te:Joining
               that te:refersToCommunication some (te:MultipartyCommunication
                      or mc:InstantMessaging))
               or (mc:MessageSending
               that te:refersToCommunication some (te:MultipartyCommunication
                      or mc:InstantMessaging))
               or (te:Acceptance
               that te:refersToCommunication some (te:MultipartyCommunication
                      or mc:InstantMessaging))
               or (te:Establishment
               that te:refersToCommunication some (te:MultipartyCommunication
                      or cc:MultimediaCall))
               or (te:Invitation
               that te:refersToCommunication some (te:MultipartyCommunication
                      or mc:InstantMessaging))
               or (te:Rejection
               that te:refersToCommunication some (te:MultipartyCommunication
                      or mc:InstantMessaging))
               or (mc:MessageReceiving
               that te:refersToCommunication some (te:MultipartyCommunication
                      or mc:InstantMessaging)))
GPRSChat

Equivalent class:
    mc:Chat
    that te:hasNetworkConnectivity some (te:ConnectivityType
               that ct:hasNetworkBearerService some (ct:NetworkBearerService
                      that ct:hasBearerType value ct:GPRS))
    and simse:requiresDevice some d:TextCommunicationTerminal
GSMChat

Equivalent class:
    mc:Chat
    that simse:requiresDevice some d:TextCommunicationTerminal
    and te:hasNetworkConnectivity value ct:GSMConnectivity
Component_MultimediaCall_mp4

Super class:
    Component
Equivalent class:
    simse:Component
    that simse:canRealizeService some (cc:MultimediaCall
               that cc:containsStream some (do:hasDataType value dt:3GP
                     and do:hasDataType value dt:MP4
                     and do:hasDataType value dt:audio/Basic))
SpecUSerPrefs_s1

Equivalent class:
    mc:InstantMessaging
    and mc:EMailExchange
        that mc:containsMessage some mc:VoiceMail
SpecUserPrefs_byGoal

Equivalent class:
    simse:UserPreferences
    that simse:hasPreferenceGoal some (te:Voting
               and te:Invitation
               and mc:MessageDelivery)
SpecUserPrefs_byService

Equivalent class:
    simse:UserPreferences
    that simse:hasPreferenceService some (mc:OneWayMessageExchange
               that mc:containsMessage some mc:VoiceMail)
SpecUserPrefs_s2

Equivalent class:
    cc:VoiceCall
    that te:hasNetworkConnectivity value ct:WiFiConnectivity
SpecUserPrefs_s3

Equivalent class:
    cc:MultimediaCall
    that te:hasNetworkConnectivity value ct:UMTSConnectivity
TestDeviceSymbian

Equivalent class:
    simse:Device
    that simso:isDescribedByDevComponent some (d:SoftwarePlatform
                that d:containElements value d:Symbian9.2)
_SymbianDevice

Equivalent class:
    simse:Device
    that simso:isDescribedByDevComponent some (d:SoftwarePlatform
                that d:containElements some (d:OperatingSystem
                      that d:hasName value "Symbian OS"^^string))
rangeOfHasPrefService_SpecSerPrefs_byService

Equivalent class:
    mc:OneWayMessageExchange
    that mc:containsMessage some mc:VoiceMail

Table of object properties

Property nameDescription

Table of datatype properties

Property nameDescription

Table of individuals

Individual nameDescription