WSMO descriptions of application 1 - DIP - Semantic Web

WSMO descriptions of application.postcondition: Monthly payment of mortgage that has openingnamespace {_"http://users.isoco.net/~slosada/ontologies/bankinter/GoalMontlyPayments.wsml#",dc _"http://purl.org/dc/elements/11#",foaf _"http://xmlns.com/foaf/01/",xsd _"http://www.w3c.org/2001/XMLSchema#",wsml _"http://www.wsmo.org/2004/wsml#",fin _"http://users.isoco.net/~slosada/ontologies/bankinter/FinancialOntology.wsml#"}goal _"http://users.isoco.net/~slosada/ontologies/bankinter/ GoalMontlyPayments.wsml"nfpdc#title hasValue "Goal to find mortgage simulator with value restrictions"dc#type hasValue _"http://www.wsmo.org/2004/d2#goals"dc#description hasValue ""dc#subject hasValue { "Simulator", "Mortgage", "Financial", "Product"}dc#date hasValue _date("2005-03-07")dc#format hasValue "text/html"dc#language hasValue "en-US"dc#rights hasValue _"http://www.isoco.com/privacy.html"wsml#version hasValue "$Revision: 10 $"endnfpimportsOntology { _"http://users.isoco.net/~slosada/ontologies/bankinter/FinancialOntology.wsml#"}capabilitysharedVariables ?mortgageLoanpreconditionnfpdc#description hasValue "The input has number of payments, type of interest andmortgage amount to simulate morgage result is a monthly payment."endnfpdefinedBy?mortgageLoan memberOf fin#MortgageLoan[ loanCapital hasValue ?capital,term hasValue ?term,interestRateType hasValue ?interest]and ?capital < 200000and ?term[ totalTerm hasValue ?totalTerm,typeTerm hasValue MONTH ]and ?totalTerm < 300and ?interest memberOf productRateApplicationVariable[interestRateValue hasValue 0.5,referenceType hasValue _# ].postconditionnfpdc#description hasValue "Result of webService is a list of mortgage. The person who wantscontract this mortgage must have life insurance. "endnfpdefinedBy?mortgageLoan memberOf fin#MortgageLoanand ?mortgageLoan [intitalQuota hasValue _#,openingCommission hasValue ?opCommission,lifeInsurance hasValue true,homeInsurance hasValue false ]and ?opCommission < 0.7.Listing 7. Concrete goal exampe to find mortgage simulator knowing the monthly payment, theinterest rate type and the number of payments.- 27 -