DVI
E1008096
DVI (DeVice Independent) is a page description file format used by TeX systems to represent typeset documents in a device-agnostic way before conversion to formats like PostScript or PDF.
All labels observed (2)
How this entity was disambiguated
This entity first appeared as the object of triple T12899169 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: DVI Context triple: [pdfTeX, primaryOutputFormat, DVI]
-
A.
DVI
DVI (Digital Visual Interface) is a video display interface standard used to connect a video source to a display device, commonly found on older monitors and graphics cards.
-
B.
DisplayPort
DisplayPort is a digital display interface standard used to transmit high-definition video and audio from a source device to a monitor or other display.
-
C.
VGA
VGA (Video Graphics Array) is a widely adopted computer display standard introduced by IBM in 1987, known for its 640×480 resolution and 15-pin analog connector that became a long-lasting industry baseline.
-
D.
HDMI
HDMI (High-Definition Multimedia Interface) is a widely used digital standard for transmitting high-definition audio and video between devices such as media players, computers, and displays over a single cable.
-
E.
D.V.I.
D.V.I. is the standard abbreviation for the District Court of the Virgin Islands, a federal court with jurisdiction over the U.S. Virgin Islands.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: DVI Target entity description: DVI (DeVice Independent) is a page description file format used by TeX systems to represent typeset documents in a device-agnostic way before conversion to formats like PostScript or PDF.
-
A.
DVI
DVI (Digital Visual Interface) is a video display interface standard used to connect a video source to a display device, commonly found on older monitors and graphics cards.
-
B.
DisplayPort
DisplayPort is a digital display interface standard used to transmit high-definition video and audio from a source device to a monitor or other display.
-
C.
VGA
VGA (Video Graphics Array) is a widely adopted computer display standard introduced by IBM in 1987, known for its 640×480 resolution and 15-pin analog connector that became a long-lasting industry baseline.
-
D.
HDMI
HDMI (High-Definition Multimedia Interface) is a widely used digital standard for transmitting high-definition audio and video between devices such as media players, computers, and displays over a single cable.
-
E.
D.V.I.
D.V.I. is the standard abbreviation for the District Court of the Virgin Islands, a federal court with jurisdiction over the U.S. Virgin Islands.
- F. None of above. chosen
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
TeX output format
ⓘ
file format ⓘ page description language ⓘ |
| abbreviationOf | DeVice Independent ⓘ |
| associatedWith |
Donald E. Knuth
ⓘ
TeX typesetting system ⓘ |
| createdBy |
Knuth TeX
ⓘ
linked to:
Knuthian TeX
LuaTeX (in DVI mode) ⓘ
linked to:
LuaTeX
TeX engine ⓘ
linked to:
TeX typesetting system
XeTeX (in DVI/XDV mode) ⓘ
linked to:
XeTeX
pdfTeX (in DVI mode) ⓘ
linked to:
pdfTeX
|
| designedFor | device-independent typesetting output ⓘ |
| designGoal |
compact binary representation
ⓘ
independence from output device resolution ⓘ |
| doesNotStore |
device-specific rasterization details
ⓘ
font glyph shapes ⓘ |
| encoding | binary ⓘ |
| fileExtension | .dvi ⓘ |
| fullName | DeVice Independent file format ⓘ |
| introducedBy | Donald E. Knuth ⓘ |
| mimeType | application/x-dvi ⓘ |
| primaryUse |
input to printer drivers and converters
ⓘ
intermediate representation of typeset documents ⓘ |
| processedBy |
YAP (Yet Another Previewer)
ⓘ
dvipdfm ⓘ dvipdfmx ⓘ
linked to:
dvipdfm
dvips ⓘ other DVI previewers and drivers ⓘ xdvi ⓘ |
| relatedFormat |
PDF
ⓘ
PostScript ⓘ XDV ⓘ |
| requires |
DVI driver for rendering or printing
ⓘ
external font metric files ⓘ |
| specificationStatus | de facto standard in TeX community ⓘ |
| stores |
font selection commands
ⓘ
page structure information ⓘ positions of characters ⓘ positions of rules (lines and boxes) ⓘ |
| supports |
multiple pages per file
ⓘ
random access to pages via page offsets ⓘ |
| typicallyConvertedTo |
PDF
ⓘ
PostScript ⓘ bitmap formats ⓘ printer-specific formats ⓘ |
| usedBy |
AMSTeX
ⓘ
LaTeX ⓘ TeX ⓘ other TeX macro packages ⓘ plain TeX ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: DVI Description of subject: DVI (DeVice Independent) is a page description file format used by TeX systems to represent typeset documents in a device-agnostic way before conversion to formats like PostScript or PDF.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.