160:
36:
often tacitly included in
Database Management Systems (e.g. SQL) in his 1984 article "Towards a logical reconstruction of relational database theory" (in M. L. Brodie, J. Mylopoulos, J. W. Schmidt (editors), Data Modelling in Artificial Intelligence, Database and Programming Languages, Springer,
104:
44:
does not make this assumption, but provides explicit constructs to express whether two names denote the same or distinct entities.
225:
28:. In logics with the unique name assumption, different names always refer to different entities in the world. It was included in
60:
is the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to different individuals or entities.
201:
54:
is the OWL property that asserts that two given names or identifiers (e.g., URIs) refer to the same individual or entity.
113:
220:
21:
194:
70:
33:
175:
130:
41:
230:
8:
187:
109:
95:
25:
171:
214:
99:
75:
29:
129:
Tao, Jiao; Sirin, Evren; Bao, Jie; McGuinness, Deborah L. (2010).
145:
159:
50:
167:
128:
212:
195:
94:
108:(2nd ed.). Prentice Hall. p. 333.
202:
188:
105:Artificial Intelligence: A Modern Approach
20:is a simplifying assumption made in some
213:
154:
146:OWL Web Ontology Language Reference
13:
14:
242:
158:
40:The standard ontology language
226:Ontology (information science)
139:
122:
88:
1:
81:
174:. You can help Knowledge by
132:Integrity constraints in OWL
7:
64:
10:
247:
153:
221:Knowledge representation
71:Closed-world assumption
37:1984, pages 191–233).
34:closed-world assumption
170:-related article is a
18:unique name assumption
32:'s discussion of the
26:description logics
183:
182:
58:owl:differentFrom
238:
204:
197:
190:
162:
155:
148:
143:
137:
136:
126:
120:
119:
92:
59:
53:
246:
245:
241:
240:
239:
237:
236:
235:
211:
210:
209:
208:
152:
151:
144:
140:
127:
123:
116:
96:Russell, Stuart
93:
89:
84:
67:
57:
48:
12:
11:
5:
244:
234:
233:
228:
223:
207:
206:
199:
192:
184:
181:
180:
163:
150:
149:
138:
121:
115:978-0137903955
114:
86:
85:
83:
80:
79:
78:
73:
66:
63:
62:
61:
55:
24:languages and
9:
6:
4:
3:
2:
243:
232:
229:
227:
224:
222:
219:
218:
216:
205:
200:
198:
193:
191:
186:
185:
179:
177:
173:
169:
164:
161:
157:
156:
147:
142:
135:. Proc. AAAI.
134:
133:
125:
117:
111:
107:
106:
101:
100:Norvig, Peter
97:
91:
87:
77:
74:
72:
69:
68:
56:
52:
47:
46:
45:
43:
38:
35:
31:
27:
23:
19:
176:expanding it
165:
141:
131:
124:
103:
90:
39:
17:
15:
231:Logic stubs
76:Coreference
215:Categories
82:References
30:Ray Reiter
102:(2003) .
65:See also
22:ontology
112:
51:sameAs
168:logic
166:This
172:stub
110:ISBN
49:owl:
16:The
42:OWL
217::
98:;
203:e
196:t
189:v
178:.
118:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.