1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<!--Converted with LaTeX2HTML 98.1p1 release (March 2nd, 1998)
originally by Nikos Drakos (nikos@cbl.leeds.ac.uk), CBLU, University of Leeds
* revised and updated by: Marcus Hennecke, Ross Moore, Herb Swan
* with significant contributions from:
Jens Lippmann, Marek Rouchal, Martin Wilck and others -->
<HTML>
<HEAD>
<TITLE>What is in a Name?</TITLE>
<META NAME="description" CONTENT="What is in a Name?">
<META NAME="keywords" CONTENT="tpman">
<META NAME="resource-type" CONTENT="document">
<META NAME="distribution" CONTENT="global">
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<LINK REL="STYLESHEET" HREF="tpman.css">
<LINK REL="next" HREF="node39.html">
<LINK REL="previous" HREF="node37.html">
<LINK REL="up" HREF="node36.html">
<LINK REL="next" HREF="node39.html">
</HEAD>
<BODY >
<!--Navigation Panel-->
<A NAME="tex2html596"
HREF="node39.html">
<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
SRC="/usr/share/latex2html/icons/next.png"></A>
<A NAME="tex2html592"
HREF="node36.html">
<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
SRC="/usr/share/latex2html/icons/up.png"></A>
<A NAME="tex2html586"
HREF="node37.html">
<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
SRC="/usr/share/latex2html/icons/prev.png"></A>
<A NAME="tex2html594"
HREF="node4.html">
<IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents"
SRC="/usr/share/latex2html/icons/contents.png"></A>
<A NAME="tex2html595"
HREF="node58.html">
<IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index"
SRC="/usr/share/latex2html/icons/index.png"></A>
<BR>
<B> Next:</B> <A NAME="tex2html597"
HREF="node39.html">What is the Place</A>
<B> Up:</B> <A NAME="tex2html593"
HREF="node36.html">Design Considerations for Kimwitu</A>
<B> Previous:</B> <A NAME="tex2html587"
HREF="node37.html">Why a Type per</A>
<BR>
<BR>
<!--End of Navigation Panel-->
<H2><A NAME="SECTION000102000000000000000">
What is in a Name?</A>
</H2>
How are the various objects generated by the system named?
The problem is that for each input name (e.g. of a phylum or operator) a
number of identifiers in the output are generated (e.g. for an operator a
name is generated to distinguish it from other operators, and a name for
creating a term with that operator etc.).
The basic idea is that related concepts have related names.
In natural languages a comparable situation exists.
For example, in English the words norm,
normal,
normalcy,
normality,
normalization,
normalize,
normalized,
normalizes,
normalizeth,
normalizing,
normally, and
normalness,
denote different but related forms of one word.
These other words are called inflections, and are constructed, in most
western languages, by changing suffixes.
In other languages, e.g. Swahili<A NAME="1202"> </A>, prefix changing is also used.
In Swahili, the word
<EM>witu</EM>
means tree, its plural, meaning forest or jungle, is
<EM>mwitu</EM> .
The prefix
<EM>ki-</EM>
indicates a likeness of being, so that the name of our system reads as
tree-s-ish. (This may not sound like English to you. Well, Swahili speakers don't count
<EM>Kimwitu</EM>
as a legal word either...)
<P>
The same scheme is employed in programming languages.
For example, in Algol-68 and C, `proc()' denotes the result of calling a
parameterless function and `proc' denotes the function itself.
An example from the term processor:
the function to rewrite a phylum
<I>foo</I>
is called
<I>rewrite_foo</I>.
<P>
<HR>
<!--Navigation Panel-->
<A NAME="tex2html596"
HREF="node39.html">
<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
SRC="/usr/share/latex2html/icons/next.png"></A>
<A NAME="tex2html592"
HREF="node36.html">
<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
SRC="/usr/share/latex2html/icons/up.png"></A>
<A NAME="tex2html586"
HREF="node37.html">
<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
SRC="/usr/share/latex2html/icons/prev.png"></A>
<A NAME="tex2html594"
HREF="node4.html">
<IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents"
SRC="/usr/share/latex2html/icons/contents.png"></A>
<A NAME="tex2html595"
HREF="node58.html">
<IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index"
SRC="/usr/share/latex2html/icons/index.png"></A>
<BR>
<B> Next:</B> <A NAME="tex2html597"
HREF="node39.html">What is the Place</A>
<B> Up:</B> <A NAME="tex2html593"
HREF="node36.html">Design Considerations for Kimwitu</A>
<B> Previous:</B> <A NAME="tex2html587"
HREF="node37.html">Why a Type per</A>
<!--End of Navigation Panel-->
<ADDRESS>
<I></I>
<BR><I>2000-04-17</I>
</ADDRESS>
</BODY>
</HTML>
|
