]>
$Id: MortageService.owl,v 1.00 2007/06/08$
OWL-S UNIPI and UMA repository: MortageService OWL-S Process Model
- it computes the total repaid and the monthly payment of a mortage
This is the choice between computing the total repaid and the monthly payment of a mortage
true
&bankOntology;#NumberOfYears
&bankOntology;#Interest
&bankOntology;#LoanAmount
&bankOntology;#AnnualTax
&bankOntology;#AnnualInsurance
&bankOntology;#MortageAmountRepaid
&bankOntology;#MonthlyPayment
Computes the total amount repaid of a mortage
&bankOntology;#NumberOfYears
&bankOntology;#Interest
&bankOntology;#LoanAmount
&bankOntology;#AnnualTax
&bankOntology;#AnnualInsurance
&bankOntology;#MortageAmountRepaid
Computes the total amount repaid of a mortage
&bankOntology;#NumberOfYears
&bankOntology;#Interest
&bankOntology;#LoanAmount
&bankOntology;#AnnualTax
&bankOntology;#AnnualInsurance
&bankOntology;#MonthlyPayment
Always True
An empty AtomList always evaluates to true. Note that this is not equivalent to specifiying no
precondition. Due to open-world semantics of OWL, it would not be possible to distinguish
having no precondition from not knowing the precondition. We would need to specify a
cardinality 0 restriction on precondition property to indicate that there is no precondition
which would be also valid.