Discussion
What is the unique names assumption?
Answer: C
Under this assumption two constants that differ syntactically are taken to refer to different things, which databases assume and description logics generally do not. Without it, discovering that two names refer to the same individual is a legitimate inference. Naming conventions and uniqueness of identifiers are different matters. Whether identity must be asserted or may be assumed changes what a reasoner can conclude about counts and about distinctness, which matters more often than it appears.
No comment is present. Be the first to comment.
Loading…
Post your comment
Please log in or register to post a comment.
Examination Categories
- SSC Exams
- Banking Exams
- Teaching Exams
- Civil Services Exams
- Railways Exams
- Engineering Recruitment Exams
- Defence Exams
- State Government Exams
- Police Exams
- Insurance Exams
- Nursing Exams
- Other Government Exams
- NRA CET
- PG Entrance Exams
- Campus Placement
- MBA Entrance Exams
- CUET and UG Entrance
- Judiciary Exams
- Regulatory Body Exams
- Software Development