wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://ip-super.org/NexcomSIDExtension#"
, 
     dc _"http://purl.org/dc/elements/1.1#", 
     sid _"http://www.ip-super.org/ontologies/yatosp/sid.wsml#" }

ontology NexcomSIDExtension

     importsOntology
            _"http://www.ip-super.org/ontologies/yatosp/sid.wsml#SIDOntology"

concept ServicePrice subConceptOf { sid#ServiceSpecification, sid#ServiceCharacteristic}
     available ofType  (1 1) _boolean

concept ServiceQualityParameter subConceptOf { sid#ServiceSpecification, sid#KeyQualityIndicatorSLSParm}
     available ofType  (1 1) _boolean

concept ConfirmationLetter subConceptOf sid#Notification

concept Rejection subConceptOf sid#Response

concept BestMatchOffer subConceptOf Offer

concept Offer subConceptOf sid#Activity

concept Refusal subConceptOf sid#Response

concept CustomerStatus subConceptOf sid#CustomerProblem

concept Report subConceptOf sid#Response

concept TestRequest subConceptOf sid#ResourceOrder

concept ArrangeAvailableTimeslot subConceptOf sid#Activity

concept Approve subConceptOf sid#Activity

concept RatePlan subConceptOf sid#AppliedCustomerBillingProductUsageRate

concept DialingPlanPermission subConceptOf sid#Application

concept Autoreports subConceptOf sid#Application

concept ChangeServiceRequest subConceptOf sid#ServiceOrder

concept UseService subConceptOf sid#Activity

concept TrafficStatistics subConceptOf { sid#ServiceUsageSpec, sid#ResourceStatisticalInfo}
     period impliesType  (1 *) _string

concept MonitorProductionTraffic subConceptOf sid#Activity

concept EngineerAvailabilitySchedule subConceptOf sid#SimpleCalendar

concept ServiceActivatioRequest subConceptOf sid#ServiceOrder

concept ServiceDeactivationRequest subConceptOf sid#ServiceOrder

concept Send subConceptOf sid#Activity

concept Receive subConceptOf sid#Activity

concept CallDestination subConceptOf TrafficStatistics

concept CallCompletionRatio subConceptOf ServiceQualityParameter

concept AverageCallDuration subConceptOf ServiceQualityParameter

concept CallLineIDSupport subConceptOf ServiceQualityParameter

concept PostDialDelay subConceptOf ServiceQualityParameter

concept VolumeOfTraffic subConceptOf TrafficStatistics

concept ServiceDetailsRequest subConceptOf sid#ServiceOrder

concept FaultReportingRule subConceptOf sid#FaultInfo

concept EscalationProcedureRule subConceptOf sid#FaultInfo

concept CallDetailRecord subConceptOf sid#ServiceUsageSpec
     period impliesType  (1 *) _string

concept FirewallRules subConceptOf Application

concept PrepareContract subConceptOf sid#Activity

concept SignContract subConceptOf sid#Activity

concept NegotiateServicePrice subConceptOf sid#Activity

concept NegotiateServiceQualityParameter subConceptOf sid#Activity

concept Reply subConceptOf sid#Response

concept CheckCustomerStatus subConceptOf sid#Activity

concept SubmitActivationChangeDeactivation subConceptOf sid#Activity

concept FillInPIF subConceptOf sid#Activity

concept EvaluateResourceCompatibility subConceptOf sid#Activity

concept TestResource subConceptOf sid#Activity

concept TestResult subConceptOf sid#Response

concept CompareCDRecord subConceptOf sid#Activity

concept AnalyzeTestResult subConceptOf sid#Activity

concept TechnicalDetails subConceptOf sid#ServiceResourceSpecification

concept Acceptance subConceptOf sid#Response

concept CustomerStatusInquiry subConceptOf sid#CustomerInquiry

concept CDRecordsInquiryRequest subConceptOf sid#CustomerInquiry

concept Require subConceptOf sid#Activity

concept AverageSeizureRation subConceptOf ServiceQualityParameter

concept Query subConceptOf sid#Activity

concept PerformTest subConceptOf sid#Activity

concept RequiredServiceLevelSpecification subConceptOf sid#ServiceLevelSpecification

concept FindMatch subConceptOf sid#Activity

concept ServiceLevelAgreement subConceptOf sid#AgreementEntity_

concept ResourcePreTestCheck subConceptOf sid#Activity

concept ServiceLevelRequest subConceptOf sid#ServiceLevelEntity_
     status impliesType  (1 1) _string
     serviceName impliesType  (1 *) _string
     qualityParameter impliesType  (1 *) ServiceQualityParameter
     servicePrice impliesType ServicePrice

concept PIFForm subConceptOf sid#ResourceSpecification
     nonFunctionalProperties
          dc#description hasValue "Partner Interconnection Form"
     endNonFunctionalProperties

concept ConfigureResource subConceptOf sid#Activity

concept UpdateCustomerRecords subConceptOf sid#Activity

concept UpdateRatePlan subConceptOf sid#Activity

concept MakeTestCall subConceptOf sid#Activity

concept QueryServiceCatalogRequest subConceptOf sid#InquiryRequest

concept CustomerRecord

concept Unit subConceptOf sid#Party

relation troubleTicketState( impliesType sid#TroubleTicket,  impliesType _string)

instance QueryServiceCatalog memberOf Query

instance requireAcceptanceOfPartialTestCompliance memberOf Require

instance requireLegalAssistance memberOf Require

instance existingCustomer memberOf CustomerStatus

instance newCustomer memberOf CustomerStatus

instance sendRequest memberOf Send

instance receiveRequest memberOf Receive

instance reportOnAvailableServicePriceAndQuality memberOf Report

instance sendRefusal memberOf Send

instance receiveRefusal memberOf Receive

instance sendReport memberOf Send

instance receiveReport memberOf Receive

instance sendReply memberOf Send

instance receiveReply memberOf Receive

instance receiveVerificationExistingCustomer memberOf Receive

instance notificationForActivatedService memberOf sid#Notification

instance notificationForNewTest memberOf sid#Notification

instance notificationIncompatibleResource memberOf sid#Notification

instance notificationUnavailableServiceParameters memberOf sid#Notification

instance sendCustomerProfile memberOf Send

instance receiveCustomerProfile memberOf Receive

instance notificationEngineersAvailability memberOf sid#Notification

instance sendConfirmationLetter memberOf Send

instance receiveConfirmationLetter memberOf Receive

instance sendPIF memberOf Send

instance receivePIF memberOf Receive

instance NexcomCDRecord memberOf CallDetailRecord

instance customerCDRecord memberOf CallDetailRecord

instance reportOnCDRecordMatch memberOf Report

instance reportOnTestResult memberOf Report

instance Nexcom memberOf { sid#ServiceProvider, sid#Organization} 

instance serviceChangeProcess memberOf sid#Process

instance NexcomServiceCatalog memberOf sid#ProductCatalog

instance activateChangeDeactivateTroubleTicket memberOf sid#TroubleTicket

instance acceptBestMatchPriceAndQuality memberOf Acceptance

instance rejectBestMatchPriceAndQuality memberOf Rejection

instance acceptPartialTestCompliance memberOf Acceptance

instance rejectPartialTestCompliance memberOf Rejection

instance CEOAgreementApproval memberOf sid#AgreementApproval

instance reportOnCurrentServiceLevelsForCustomer memberOf Report

instance requireNewService memberOf Require

instance requireServiceQualityParameters memberOf Require

instance availableServiceQualityParameters memberOf Reply

instance acceptRejectOffer memberOf Reply

instance requireCustomerStatusVerification memberOf Require

instance notificationCustomerResponce memberOf sid#Notification

instance confirmationTestCompleted memberOf ConfirmationLetter

instance notificationTestCompleted memberOf sid#Notification

instance acceptTestResultsServiceAvailable memberOf Acceptance

instance rejectTestResultsServiceAvailable memberOf Rejection

instance sendContract memberOf Send

instance requireCEOApproval memberOf Require

instance notificationAvailableServiceParameters memberOf sid#Notification

instance notificationContractSigned memberOf sid#Notification

instance sendNotification memberOf Send

instance notificationServiceUnavailable memberOf sid#Notification

instance receiveNotification memberOf Receive

instance acceptArrangedTestTime memberOf Acceptance

instance rejectArrangedTestTime memberOf Rejection

instance requireFillInPIF memberOf Require

instance notificationAdditionalTestTraffic memberOf sid#Notification

instance confirmationTestTrafficAuthorized memberOf ConfirmationLetter

instance rejectAdditionalTestTraffic memberOf Rejection

instance dailyVolume memberOf sid#ServiceUsage

instance availableServiceLevelSpecification memberOf sid#NegotiatedServiceLevelSpec

instance queryCustomerRecord memberOf Query

instance NOC memberOf Unit

instance Sales memberOf Unit

instance legal memberOf Unit

instance CEO memberOf Unit

instance billing memberOf Unit