Unique name assumption
ವಿಶಿಷ್ಟವಾದ ಹೆಸರಿನ ಊಹೆಯು ಕೆಲವು ಆಂಟಾಲಜಿ ಭಾಷೆಗಳು ಮತ್ತು ವಿವರಣೆಯ ತರ್ಕಗಳಲ್ಲಿ ಮಾಡಲಾದ ಸರಳಗೊಳಿಸುವ ಊಹೆಯಾಗಿದೆ. ಅನನ್ಯ ಹೆಸರಿನ ಊಹೆಯೊಂದಿಗೆ ತರ್ಕಶಾಸ್ತ್ರದಲ್ಲಿ, ವಿಭಿನ್ನ ಹೆಸರುಗಳು ಯಾವಾಗಲೂ ಪ್ರಪಂಚದ ವಿಭಿನ್ನ ಘಟಕಗಳನ್ನು ಉಲ್ಲೇಖಿಸುತ್ತವೆ. ಡೇಟಾಬೇಸ್ ಮ್ಯಾನೇಜ್ಮೆಂಟ್ ಸಿಸ್ಟಮ್ಸ್ನಲ್ಲಿ (ಉದಾ. ಎಸ್. ಕ್ಯೂ. ಎಲ್.) ತನ್ನ 1984ರ ಲೇಖನ "ಟುವರ್ಡ್ಸ್ ಎ ಲಾಜಿಕಲ್ ರೀಕನ್ಸ್ಟ್ರಕ್ಷನ್ ಆಫ್ ರಿಲೇಷನಲ್ ಡೇಟಾಬೇಸ್ ಥಿಯರಿ" ಯಲ್ಲಿ (ಎಂ. ಎಲ್. ಬ್ರಾಡಿ, ಜೆ. ಮೈಲೋಪೌಲೋಸ್, ಜೆ. ಡಬ್ಲ್ಯೂ. ಸ್ಮಿತ್ (ಸಂಪಾದಕರು), ಡೇಟಾ ಮಾಡೆಲಿಂಗ್ ಇನ್ ಆರ್ಟಿಫಿಶಿಯಲ್ ಇಂಟೆಲಿಜೆನ್ಸ್, ಡೇಟಾಬೇಸ್ ಅಂಡ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಲಾಂಗ್ವೇಜಸ್, ಸ್ಪ್ರಿಂಗರ್, 1984, ಪುಟಗಳು 191-233). ಸ್ಟ್ಯಾಂಡರ್ಡ್ ಆಂಟಾಲಜಿ ಭಾಷೆ OWL ಈ ಊಹೆಯನ್ನು ಮಾಡುವುದಿಲ್ಲ, ಆದರೆ ಎರಡು ಹೆಸರುಗಳು ಒಂದೇ ಅಥವಾ ವಿಭಿನ್ನ ಘಟಕಗಳನ್ನು ಸೂಚಿಸುತ್ತವೆಯೇ ಎಂಬುದನ್ನು ವ್ಯಕ್ತಪಡಿಸಲು ಸ್ಪಷ್ಟವಾದ ರಚನೆಗಳನ್ನು ಒದಗಿಸುತ್ತದೆ. ಗೂಬೆಃ ಅದೇಆ ಎಂಬುದು ಒಡಬ್ಲ್ಯೂಎಲ್ ಆಸ್ತಿಯಾಗಿದ್ದು, ಎರಡು ನಿರ್ದಿಷ್ಟ ಹೆಸರುಗಳು ಅಥವಾ ಗುರುತಿಸುವಿಕೆಗಳು (ಉದಾಹರಣೆಗೆ, ಯುಆರ್ಐಗಳು) ಒಂದೇ ವ್ಯಕ್ತಿ ಅಥವಾ ಅಸ್ತಿತ್ವವನ್ನು ಉಲ್ಲೇಖಿಸುತ್ತವೆ ಎಂದು ಪ್ರತಿಪಾದಿಸುತ್ತದೆ. ಗೂಬೆಃ ಎರಡು ನಿರ್ದಿಷ್ಟ ಹೆಸರುಗಳು ಅಥವಾ ಗುರುತಿಸುವಿಕೆಗಳು (ಉದಾಹರಣೆಗೆ, ಯು. ಆರ್. ಐ. ಗಳು) ವಿಭಿನ್ನ ವ್ಯಕ್ತಿಗಳು ಅಥವಾ ಘಟಕಗಳನ್ನು ಉಲ್ಲೇಖಿಸುತ್ತವೆ ಎಂದು ಪ್ರತಿಪಾದಿಸುವ ಒ. ಡಬ್ಲ್ಯೂ. ಎಲ್ ಆಸ್ತಿಯಿಂದ ಭಿನ್ನವಾಗಿದೆ. ಕ್ಲೋಸ್ಡ್-ವರ್ಲ್ಡ್ ಊಹೆಯನ್ನು ಸಹ ನೋಡಿ ಕೋರೆಫೆರೆನ್ಸ್ ಉಲ್ಲೇಖಗಳು ಜ್ಞಾನದ ಪ್ರಾತಿನಿಧ್ಯ ಆಂಟಾಲಜಿ (ಮಾಹಿತಿ ವಿಜ್ಞಾನ)