skip to content
Logic in wiki
User Tools
Log In
Site Tools
Search
Tools
Show pagesource
Old revisions
Fold/unfold all
Backlinks
Recent Changes
Media Manager
Sitemap
Log In
>
Recent Changes
Media Manager
Sitemap
Trace:
•
rules
Sidebar
Hello!
Home
Who we are?
Papers
GEIST Research Group
Start here!
1.5h Tour through our tools
Demo installation
(currently closed due to spam bots)
Download
Download
Loki Semantic Wiki
About Loki
Tutorial
Tests/Examples
More docs...
Cases:
Bookstore case
Movies case
More cases...
BiFröST Framework
About BiFröST (
in progress…
)
Plugins:
PROV
revisionsrater
Semantic Business Platform
BPWiki
About BPwiki
Tutorial
Cases:
Order Fulfillment Process
Travel Booking Process
SBVRwiki
About SBVRwiki
Tutorial
Cases:
EU-rent
UServ Financial Services
Other Projects
RDF Editor
Try it here!
XTTviewer
rdfloki
eu-rent:rules
Create new SBVR project
Rental Rules
It is necessary that
each
rental
has
exactly
one
requested car group
.
It is necessary that
each
rental
includes
exactly
one
rental period
.
It is necessary that
each
rental
has
exactly
one
return branch
.
Charging / Billing / Payment Rules
It is permitted that
a
rental
is open
only if
an
estimated rental charge
is provisionally charged to
a
credit card
of
the
renter
that
is responsible for
the
rental
.
It is necessary that
the
rental charge
of
each
rental
is calculated in
the
business currency
of
the
rental
.
It is obligatory that
the
rental charge
of
the
rental
is converted to
the
non-local currency
.
It is necessary that
each
cash rental
honors
the
lowest rental price
of
the
rental
.
Driver Rules
It is permitted that
a
rental
is open
only if
each
driver
of
the
rental
is
not
a
barred driver
.
It is obligatory that
each
driver
of
a
rental
is qualified
.
Pick-up / Points Rental Rules
It is necessary that
the
renter
of
each
points rental
is
a
club member
.
Servicing Rules
It is obligatory that
each
rental car
that
is in need of service
has
a
scheduled service
.
It is obligatory that
the
service reading
of
a
rental car
is
at most
5500
miles
.
EU-Rent Advices
It is permitted that
the
rental car
that
is moved by
a
car transfer
is in need of service
.
It is permitted that
a
renter
has
more than
one
advance rental
.
It is permitted that
the
renter
of
a
rental
is
an
additional driver
of
a
rental
.
It is permitted that
the
drop-off branch
of
a
rental
is
not
the
return branch
of
the
rental
.
Graph No: 1
Graph No: 2
Graph No: 3
Graph No: 4
Graph No: 5
Graph No: 6
eu-rent/rules.txt
· Last modified: 2022/03/23 16:59 (external edit)
Page Tools
Show pagesource
Old revisions
Backlinks
Fold/unfold all
Back to top