The VT-DOMAIN theory describes the declarative knowledge used by the elevator designer to configure an elevator. It consists of descriptions of components, which have attributes subparts, which are other components. The theory also specifies constraints on the possible subparts and attribute values of these components.This theory uses the configuration-design ontology as it is specialized in the vt-design ontology.
The contents of this domain theory were produced by translating from the DIDS knowledge base for VT, which was developed by Jay Runkel. Tom Gruber, Jay Runkel, Greg Olsen, and others designed the minimal ontology that could account for that domain theory. As a result, this ontology does not make many of the distinctions that one might make about elevator parts and constraints.
The current version includes changes that correct bugs in the constraints on compensation cables and the constraint deflector_sheave_diameter_cst (December 15, 1993)
Vt-Design
Configuration-Design
Frame-Ontology
Kif-Relations
Kif-Sets
Kif-Lists
Kif-Numbers
Kif-Meta
Kif-Sets
Kif-Lists ...
Scalar-Quantities
Physical-Quantities
Frame-Ontology ...
Abstract-Algebra
Frame-Ontology ...
Standard-Units
Physical-Quantities ...
Frame-Ontology ...
Vt-Example
Car
Car1
Carbuffer
Carbuffer_Oh1
Carbuffer_Om14
Carguiderail
Carguiderail_1
Carguiderail_2
Carguiderail_3
Carguiderail_4
Carguiderail_5
Compensationcable
Compensationcable1_2chain
Compensationcable1_4chain
Compensationcable3_16chain
Compensationcable3_8chain
Compensationcable5_16chain
Compensationcable7_16chain
Compensationcable_Nr
Controlcable
Controlcable1
Controlcable2
Controlcable3
Counterweightbg
Counterweightbg_1
Counterweightbg_2
Counterweightbg_3
Counterwtbuffer
Counterwtbuffer_Oh1
Counterwtbuffer_Om14
Counterwtguard
Counterwtguard_Model0
Counterwtguard_Model1
Counterwtguiderail
Counterwtguiderail_1
Counterwtguiderail_2
Counterwtguiderail_3
Counterwtguiderail_4
Crosshead
Crosshead_C10x153
Crosshead_C13x1655
Crosshead_C8x115
Crosshead_W8x18
Crosshead_W8x21
Deflectorsheave
Ds_20
Ds_25
Door
Door_2sco
Door_2sso_Lh
Door_2sso_Rh
Door_Ssco
Door_Ssso_Lh
Door_Ssso_Rh
Elevator
Governor
Governor_B5b
Governorcable
Govcable1
Hoistcable
Hoistcable3_5
Hoistcable3_625
Hoistcable4_5
Hoistcable4_625
Hoistcable5_5
Hoistcable5_625
Hoistcable6_5
Hoistcable6_625
Intercom
Intercom0
Intercom1
Lantern
Lantern0
Lantern1
Machine
Machine18
Machine28
Machine38
Machine58
Mbeam
Mbeam_S10x25_4
Mbeam_S10x35_0
Mbeam_S12x31_8
Mbeam_S12x35_0
Motgenerator
Motgen_286_230v
Motgen_3609_5a_240v
Motgen_46_230v
Motgen_64_260v
Motor
Motor10hp
Motor15hp
Motor20hp
Motor25hp
Motor30hp
Motor40hp
Msheavegroove
Msheavegroove_K3140
Msheavegroove_K3269
Phone
Phone0
Phone1
Platform
Platform_25b
Platform_4b
Platform_6b
Positionind
Positionind0
Positionind1
Safety
Safety_B1
Safety_B4
Safety_B6
Sling
Sling_25b_18
Sling_25b_21
Sling_4b_Gp
Sling_4b_Hosp
Sling_6c
The following constants were used from included theories:
All constants that were mentioned were defined.
pg 26. The car supplement weight can be at most 500 pounds
Slots Of Instances:
pg 15. The elevator car. The attributes describe the various weights of the elevator components, which do not have to be selected.
Slots Of Instances:
Slots Of Instances:
pg 15. The characteristis of a carbuffer from Table 3. carfooth is the car footing channel height.
Slots Of Instances:
pg 15. The characteristis of a carbuffer from Table 3. carfooth is the car footing channel height.
Slots Of Instances:
Slots Of Instances:
pg 15. car guiderails that weight 8 pounds per foot.
Slots Of Instances:
pg 15. car guiderails that weight 11 pounds per foot.
Slots Of Instances:
pg 15. car guiderails that weight 16 pounds per foot.
Slots Of Instances:
pg 15. car guiderails that weight 18.5 pounds per foot.
Slots Of Instances:
pg 15. car guiderails that weight 32 pounds per foot.
Slots Of Instances:
pg 18.
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
pg 17.
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
pg 8. - figure 4 the counterwieght (bg stands for between guiderails).Attributes: (1) stackheight - the height of the plates in the counterweight.
(2) frameheight - total height of the counterweight
(3) a - the thickness of the top portion of the frame
(4) b - the thickness of bottom portion of the frame
(5) framethickness - the sum of a and b
(6) noofplates - the number of plates forming the counterweight
(7) totalweight - the total weight of the counterweight assembly.
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
pg 16. The null part corresponding to not needing a counterwt guard.
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
pg 14.Attributes of Parts:
height: the hieght of the crosshead.
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
pg 18.
Slots Of Instances:
pg. 11. The elevator doors and its attributes.Attributes:
(1) doorspace (pg 8) - the spaced occupied by the doors.
(2) dooroperheaderwt - the weight of the door header, computed by
multiplying a constaint times the width of the door opening. (see
constraint door4 (3) openingtype - Does the door open from the center or from one side.
(4) openingside - If openingtype is side, then records which side
(5) doorspeed - the speed in which the door opens
(6) doorspace - ???
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances:
Slots Of Instances: