# 8.5.3.14 IfcWorkTime

## 8.5.3.14.1 Semantic definition

IfcWorkTime defines time periods that are used by IfcWorkCalendar for either describing working times or non-working exception times. Besides start and finish dates, a set of time periods can be given by various types of recurrence patterns.

A work time should have a meaningful name that describes the time periods (for example, working week, holiday name). Non-recurring time periods should have a start date (IfcWorkTime.Start) and a finish date (IfcWorkTime.Finish). In that case it is assumed that the time period begins at 0:00 on the start date and ends at 24:00 on the finish date.

The start and finish date is optional if a recurrence pattern is given (IfcWorkTime.RecurrencePattern). They then restrict never-ending recurrence patterns.

## 8.5.3.14.4 Formal representation

ENTITY IfcWorkTime
SUBTYPE OF (IfcSchedulingTime);
RecurrencePattern : OPTIONAL IfcRecurrencePattern;
StartDate : OPTIONAL IfcDate;
FinishDate : OPTIONAL IfcDate;
END_ENTITY;