Rule Interchange Format
ರೂಲ್ ಇಂಟರ್ಚೇಂಜ್ ಫಾರ್ಮ್ಯಾಟ್ (ಆರ್ಐಎಫ್) ಒಂದು ಡಬ್ಲ್ಯು3ಸಿ ಶಿಫಾರಸು ಆಗಿದೆ. ಆರ್ಐಎಫ್ (ಮುಖ್ಯವಾಗಿ) ಎಸ್. ಪಿ. ಎ. ಆರ್. ಕ್ಯೂ. ಎಲ್., ಆರ್. ಡಿ. ಎಫ್. ಮತ್ತು ಒ. ಡಬ್ಲ್ಯೂ. ಎಲ್. ಜೊತೆಗೆ ಶಬ್ದಾರ್ಥದ ಜಾಲದ ಮೂಲಸೌಕರ್ಯದ ಭಾಗವಾಗಿದೆ. ಮೂಲತಃ ಶಬ್ದಾರ್ಥದ ಜಾಲಕ್ಕೆ "ನಿಯಮಗಳ ಪದರ" ಎಂದು ಅನೇಕರು ಕಲ್ಪಿಸಿಕೊಂಡಿದ್ದರೂ, ವಾಸ್ತವದಲ್ಲಿ ಆರ್ಐಎಫ್ನ ವಿನ್ಯಾಸವು ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ಅನೇಕ "ನಿಯಮಗಳ ಭಾಷೆಗಳು" ಇವೆ ಎಂಬ ಅವಲೋಕನವನ್ನು ಆಧರಿಸಿದೆ ಮತ್ತು ಅವುಗಳ ನಡುವೆ ನಿಯಮಗಳನ್ನು ವಿನಿಮಯ ಮಾಡಿಕೊಳ್ಳುವುದು ಅಗತ್ಯವಾಗಿದೆ. ಆರ್ಐಎಫ್ ಮೂರು ಉಪಭಾಷೆಗಳನ್ನು ಒಳಗೊಂಡಿದೆ, ಒಂದು ಕೋರ್ ಉಪಭಾಷೆಯನ್ನು ಬೇಸಿಕ್ ಲಾಜಿಕ್ ಡಯಲೆಕ್ಟ್ (ಬಿಎಲ್ಡಿ) ಮತ್ತು ಪ್ರೊಡಕ್ಷನ್ ರೂಲ್ ಡಯಲೆಕ್ಟ್ (ಪಿಆರ್ಡಿ) ಗೆ ವಿಸ್ತರಿಸಲಾಗಿದೆ. ಆರ್. ಐ. ಎಫ್. ಕಾರ್ಯನಿರತ ಗುಂಪನ್ನು 2005ರ ಕೊನೆಯಲ್ಲಿ ನೇಮಿಸಲಾಯಿತು. ಅದರ ಗುರಿಗಳಲ್ಲಿ ವಾಣಿಜ್ಯ ನಿಯಮಗಳ ಮಾರುಕಟ್ಟೆಯ ಸದಸ್ಯರನ್ನು ಸೆಳೆಯುವುದು ಸೇರಿತ್ತು. 50ಕ್ಕೂ ಹೆಚ್ಚು ಸದಸ್ಯರು ಮತ್ತು ಐ. ಎಲ್. ಓ. ಜಿ. ಯ ಕ್ರಿಶ್ಚಿಯನ್ ಡಿ ಸೈಂಟ್ ಮೇರಿ ಮತ್ತು ಐ. ಬಿ. ಎಂ. ನ ಕ್ರಿಸ್ ವೆಲ್ಟಿ ಅವರನ್ನೊಳಗೊಂಡ ಎರಡು ಪೀಠಗಳೊಂದಿಗೆ ಕಾರ್ಯನಿರತ ಗುಂಪು ಪ್ರಾರಂಭವಾಯಿತು. ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ನಿಯಮ ವ್ಯವಸ್ಥೆಗಳ ನಡುವೆ ವಿನಿಮಯ ಸ್ವರೂಪವನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸುವ ಚಾರ್ಟರ್ 2005 ರ ವಸಂತ ಋತುವಿನಲ್ಲಿ ನಡೆದ ಕಾರ್ಯಾಗಾರದಿಂದ ಪ್ರಭಾವಿತವಾಗಿತ್ತು, ಇದರಲ್ಲಿ ಒಂದು ನಿಯಮ ಭಾಷೆಯು ಎಲ್ಲಾ ಆಸಕ್ತ ಪಕ್ಷಗಳ ಅಗತ್ಯಗಳನ್ನು ಪೂರೈಸುವುದಿಲ್ಲ ಎಂಬುದು ಸ್ಪಷ್ಟವಾಗಿತ್ತು (ಡಾ. ವೆಲ್ಟಿ ಕಾರ್ಯಾಗಾರದ ಫಲಿತಾಂಶವನ್ನು ನ್ಯಾಶ್ ಈಕ್ವಿಲಿಬ್ರಿಯಮ್ ಎಂದು ವಿವರಿಸಿದ್ದಾರೆ). 2010ರ ಜೂನ್ 22ರಂದು ಆರ್ಐಎಫ್ ಡಬ್ಲ್ಯು3ಸಿ ಶಿಫಾರಸು ಆಯಿತು. ನಿಯಮಗಳು ಮತ್ತು ನಿಯಮ ವ್ಯವಸ್ಥೆಗಳು ಒಂದು ನಿಯಮವು ಬಹುಶಃ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದ ಸರಳ ಕಲ್ಪನೆಗಳಲ್ಲಿ ಒಂದಾಗಿದೆಃ ಇದು ಐಎಫ್-ಥೆನ್ ರಚನೆಯಾಗಿದೆ. ಕೆಲವು ಡೇಟಾಸೆಟ್ನಲ್ಲಿ ಪರಿಶೀಲಿಸಬಹುದಾದ ಕೆಲವು ಷರತ್ತು (ಐಎಫ್ ಭಾಗ) ಇದ್ದರೆ, ನಂತರ ತೀರ್ಮಾನವನ್ನು (ಥೆನ್ ಭಾಗ) ಪ್ರಕ್ರಿಯೆಗೊಳಿಸಲಾಗುತ್ತದೆ. ತರ್ಕದಲ್ಲಿ ಅದರ ಮೂಲಗಳಿಂದ ಸ್ವಲ್ಪಮಟ್ಟಿಗೆ ವ್ಯುತ್ಪನ್ನವಾದ ನಿಯಮ ವ್ಯವಸ್ಥೆಗಳು ಕೆಲವು ದತ್ತಾಂಶ ವಸ್ತು ಅಥವಾ ವಸ್ತುಗಳನ್ನು ಹಿಡಿದಿಟ್ಟುಕೊಳ್ಳುವ ಅಥವಾ ಹೊಂದಿರದ ಭವಿಷ್ಯವಾಣಿಯ ಕಲ್ಪನೆಯನ್ನು ಬಳಸುತ್ತವೆ. ಉದಾಹರಣೆಗೆ, ಇಬ್ಬರು ವ್ಯಕ್ತಿಗಳು ಮದುವೆಯಾಗಿದ್ದಾರೆ ಎಂಬ ಅಂಶವನ್ನು ಭವಿಷ್ಯವಾಣಿಯೊಂದಿಗೆ ಹೀಗೆ ಪ್ರತಿನಿಧಿಸಬಹುದುಃ ಮದುವೆ (ಲಿಸಾ, ಜಾನ್) ಮದುವೆ ಎಂಬುದು ಲಿಸಾ ಮತ್ತು ಜಾನ್ ನಡುವೆ ಇದೆ ಎಂದು ಹೇಳಬಹುದಾದ ಒಂದು ಭವಿಷ್ಯವಾಣಿಯಾಗಿದೆ. ಅಸ್ಥಿರಗಳ ಕಲ್ಪನೆಯನ್ನು ಸೇರಿಸಿದರೆ, ಒಂದು ನಿಯಮವು ಹೀಗಿರಬಹುದುಃ ಮದುವೆಯಾದರೆ (? x,? y) ನಂತರ ಪ್ರೀತಿಸುತ್ತಾರೆ (? x,? y) ನಾವು x ಮತ್ತು y (ಉದಾ. ಲಿಸಾ ಮತ್ತು ಜಾನ್) ಇದಕ್ಕೆ MARRIED ಪ್ರಿಡಿಕೇಟ್ ಅನ್ನು ಹೊಂದಿದೆ, ಈ ನಿಯಮವನ್ನು ಅರ್ಥಮಾಡಿಕೊಳ್ಳಬಲ್ಲ ಕೆಲವು ಕಂಪ್ಯೂಟರ್ ವ್ಯವಸ್ಥೆಯು ಲವ್ಸ್ ಪ್ರಿಡಿಕೇಟ್ ಆ ಜೋಡಿಗೂ ಸಹ ಅನ್ವಯಿಸುತ್ತದೆ ಎಂದು ತೀರ್ಮಾನಿಸುತ್ತದೆ. ನಿಯಮಗಳು ಜ್ಞಾನವನ್ನು ಎನ್ಕೋಡಿಂಗ್ ಮಾಡುವ ಸರಳ ಮಾರ್ಗವಾಗಿದೆ ಮತ್ತು ಮೊದಲ ಕ್ರಮಾಂಕದ ತರ್ಕದ ತೀವ್ರ ಸರಳೀಕರಣವಾಗಿದೆ, ಇದಕ್ಕಾಗಿ ಷರತ್ತುಗಳನ್ನು ಸಂಸ್ಕರಿಸುವ ಮತ್ತು ಸರಿಯಾದ ತೀರ್ಮಾನಗಳನ್ನು ತೆಗೆದುಕೊಳ್ಳುವ ತೀರ್ಮಾನದ ಎಂಜಿನ್ಗಳನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸುವುದು ತುಲನಾತ್ಮಕವಾಗಿ ಸುಲಭ. ನಿಯಮ ವ್ಯವಸ್ಥೆಯು ಒಂದು ನಿರ್ದಿಷ್ಟ ವಾಕ್ಯರಚನೆ ಮತ್ತು ನಿಯಮಗಳ ಶಬ್ದಾರ್ಥಗಳ ಅನುಷ್ಠಾನವಾಗಿದೆ, ಇದು ಅಸ್ತಿತ್ವವಾದದ ಪರಿಮಾಣ, ವಿಭಜನೆ, ತಾರ್ಕಿಕ ಸಂಯೋಗ, ನಿರಾಕರಣೆ, ಕಾರ್ಯಗಳು, ಏಕತಾನತೆ ಮತ್ತು ಇತರ ಅನೇಕ ವೈಶಿಷ್ಟ್ಯಗಳನ್ನು ಒಳಗೊಂಡಂತೆ ಮೇಲೆ ವಿವರಿಸಿದ ಸರಳ ಕಲ್ಪನೆಯನ್ನು ವಿಸ್ತರಿಸಬಹುದು. 1970 ರ ದಶಕದ ಮಧ್ಯಭಾಗದಿಂದ ನಿಯಮ ವ್ಯವಸ್ಥೆಗಳನ್ನು ಜಾರಿಗೆ ತರಲಾಗಿದೆ ಮತ್ತು ಅಧ್ಯಯನ ಮಾಡಲಾಗಿದೆ ಮತ್ತು 1980 ರ ದಶಕದಲ್ಲಿ ಎಕ್ಸ್ಪರ್ಟ್ ಸಿಸ್ಟಮ್ಸ್ ಎಂದು ಕರೆಯಲ್ಪಡುವ ಉತ್ತುಂಗದಲ್ಲಿ ಗಮನಾರ್ಹವಾದ ಬಳಕೆಯನ್ನು ಕಂಡಿದೆ. ಸ್ಟ್ಯಾಂಡರ್ಡ್ ಆರ್ಐಎಫ್ ಉಪಭಾಷೆಗಳು ಕೋರ್, ಬಿಎಲ್ಡಿ ಮತ್ತು ಪಿಆರ್ಡಿ ಸ್ಟ್ಯಾಂಡರ್ಡ್ ಆರ್ಐಎಫ್ ಉಪಭಾಷೆಗಳಾಗಿವೆ. ಈ ಉಪಭಾಷೆಗಳು ಅಂತರ್ನಿರ್ಮಿತ ಕಾರ್ಯಗಳನ್ನು ಹೊಂದಿರುವ ದತ್ತಾಂಶ ಪ್ರಕಾರಗಳ ವ್ಯಾಪಕ ಪಟ್ಟಿಯನ್ನು ಅವಲಂಬಿಸಿವೆ ಮತ್ತು ಆ ದತ್ತಾಂಶ ಪ್ರಕಾರಗಳ ಮೇಲೆ ಭವಿಷ್ಯ ನುಡಿಯುತ್ತವೆ. ವಿವಿಧ ಆರ್ಐಎಫ್ ಉಪಭಾಷೆಗಳ ಸಂಬಂಧಗಳನ್ನು ಈ ಕೆಳಗಿನ ವೆನ್ ರೇಖಾಚಿತ್ರದಲ್ಲಿ ತೋರಿಸಲಾಗಿದೆ. ಡಿಟಿಬಿ ಡೇಟಾಟೈಪ್ಸ್ ಮತ್ತು ಅಂತರ್ನಿರ್ಮಿತ ಇನ್ಗಳು (ಡಿಟಿಬಿ) ಆರ್ಐಎಫ್ ಉಪಭಾಷೆಗಳಿಂದ ಬೆಂಬಲಿತವಾಗುವ ನಿರೀಕ್ಷೆಯಿರುವ ಡೇಟಾಟೈಪ್ಸ್, ಅಂತರ್ನಿರ್ಮಿತ ಕಾರ್ಯಗಳು ಮತ್ತು ಅಂತರ್ನಿರ್ಮಿತ ಮುನ್ಸೂಚನೆಗಳ ಪಟ್ಟಿಯನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸುತ್ತದೆ. ಕೆಲವು ದತ್ತಾಂಶ ಪ್ರಕಾರಗಳನ್ನು XML ಸ್ಕೀಮಾ ದತ್ತಾಂಶ ಪ್ರಕಾರಗಳು, XPath ಕಾರ್ಯಗಳು ಮತ್ತು rdf: ಪ್ಲೈನ್ಲಿಟರಲ್ ಕಾರ್ಯಗಳಿಂದ ಅಳವಡಿಸಿಕೊಳ್ಳಲಾಗಿದೆ. ಕೋರ್ ಉಪಭಾಷೆಯು ಬಹುತೇಕ ಆಡಳಿತಾತ್ಮಕ ಉಪಭಾಷೆಗಳ ಸಾಮಾನ್ಯ ಉಪವಿಭಾಗವನ್ನು ಒಳಗೊಂಡಿದೆ. ಆರ್ಐಎಫ್-ಕೋರ್ ಎಂಬುದು ಆರ್ಐಎಫ್-ಬಿ. ಎಲ್. ಡಿ ಮತ್ತು ಆರ್ಐಎಫ್-ಪಿ. ಆರ್. ಡಿ ಎರಡರ ಉಪವಿಭಾಗವಾಗಿದೆ. ಎಫ್ಎಲ್ಡಿ ಫ್ರೇಮ್ವರ್ಕ್ ಫಾರ್ ಲಾಜಿಕ್ ಡಯಲೆಕ್ಟ್ಸ್ (ಎಫ್ಎಲ್ಡಿ) ತರ್ಕದ ಆರ್ಐಎಫ್ ಉಪಭಾಷೆಗಳ ವಾಕ್ಯರಚನೆ ಮತ್ತು ಶಬ್ದಾರ್ಥಗಳನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸುವ ಕಾರ್ಯವಿಧಾನಗಳನ್ನು ವಿವರಿಸುತ್ತದೆ, ಇದರಲ್ಲಿ ಆರ್ಐಎಫ್-ಬಿಎಲ್ಡಿ ಮತ್ತು ಆರ್ಐಎಫ್-ಕೋರ್ ಸೇರಿವೆ, ಆದರೆ ತರ್ಕ-ಆಧಾರಿತ ಆರ್ಐಎಫ್ ಉಪಭಾಷೆಯಲ್ಲದ ಆರ್ಐಎಫ್-ಪಿಆರ್ಡಿ ಅಲ್ಲ. ಬಿ. ಎಲ್. ಡಿ. ದಿ ಬೇಸಿಕ್ ಲಾಜಿಕ್ ಡಯಲೆಕ್ಟ್ (ಬಿ. ಎಲ್. ಡಿ.) ಕೋರ್ ಉಪಭಾಷೆಗೆ ನೇರವಾಗಿ ಲಭ್ಯವಿಲ್ಲದ ವೈಶಿಷ್ಟ್ಯಗಳನ್ನು ಸೇರಿಸುತ್ತದೆ, ಉದಾಹರಣೆಗೆಃ ತರ್ಕ ಕಾರ್ಯಗಳು, ಆಗಿನ ಭಾಗದಲ್ಲಿ ಸಮಾನತೆ ಮತ್ತು ಹೆಸರಿಸಲಾದ ವಾದಗಳು. ಆರ್. ಐ. ಎಫ್. ಬಿ. ಎಲ್. ಡಿ. ಧನಾತ್ಮಕ ದತ್ತಾಂಶಗಳಿಗೆ, ಅಂದರೆ ಕಾರ್ಯಗಳು ಅಥವಾ ನಿರಾಕರಣೆಗಳಿಲ್ಲದ ತರ್ಕ ಕಾರ್ಯಕ್ರಮಗಳಿಗೆ ಅನುರೂಪವಾಗಿದೆ. ಆರ್ಐಎಫ್-ಬಿ. ಎಲ್. ಡಿ. ಯು ಮಾದರಿ-ಸೈದ್ಧಾಂತಿಕ ಶಬ್ದಾರ್ಥವನ್ನು ಹೊಂದಿದೆ. ಆರ್. ಐ. ಎಫ್. ಬಿ. ಎಲ್. ಡಿ. ಯ ಚೌಕಟ್ಟಿನ ವಾಕ್ಯರಚನೆಯು ಎಫ್-ತರ್ಕವನ್ನು ಆಧರಿಸಿದೆ, ಆದರೆ ಆರ್. ಐ. ಎಫ್. ಬಿ. ಎಲ್. ಡಿ. ಯು ಎಫ್-ತರ್ಕದ ಏಕರೂಪವಲ್ಲದ ತಾರ್ಕಿಕ ಲಕ್ಷಣಗಳನ್ನು ಹೊಂದಿಲ್ಲ. ಪಿ. ಆರ್. ಡಿ. ಉತ್ಪಾದನಾ ನಿಯಮಗಳ ಉಪಭಾಷೆಯನ್ನು (ಪಿ. ಆರ್. ಡಿ.) ಮಾದರಿ ಉತ್ಪಾದನಾ ನಿಯಮಗಳಿಗೆ ಬಳಸಬಹುದು. ಗಮನಾರ್ಹವಾಗಿ ಪಿ. ಆರ್. ಡಿ. ನಲ್ಲಿರುವ ಆದರೆ ಬಿ. ಎಲ್. ಡಿ. ಅಲ್ಲದ ವೈಶಿಷ್ಟ್ಯಗಳು ವಾಸ್ತವಾಂಶಗಳ ನಿರಾಕರಣೆ ಮತ್ತು ಹಿಂತೆಗೆದುಕೊಳ್ಳುವಿಕೆಯನ್ನು ಒಳಗೊಂಡಿವೆ (ಹೀಗಾಗಿ, ಪಿ. ಆರ್. ಡಿ. ಏಕತಾನತೆಯಲ್ಲ). ಪಿಆರ್ಡಿ ನಿಯಮಗಳು ಕ್ರಮವನ್ನು ಅವಲಂಬಿಸಿವೆ, ಆದ್ದರಿಂದ ಅನೇಕ ನಿಯಮಗಳನ್ನು ಚಲಾಯಿಸಲು ಸಾಧ್ಯವಾದಾಗ ಸಂಘರ್ಷ ಪರಿಹಾರ ತಂತ್ರಗಳು ಬೇಕಾಗುತ್ತವೆ. ಪಿಆರ್ಡಿ ವಿವರಣೆಯು ಫಾರ್ವರ್ಡ್ ಚೈನಿಂಗ್ ತಾರ್ಕಿಕತೆಯ ಆಧಾರದ ಮೇಲೆ ಅಂತಹ ಒಂದು ರೆಸಲ್ಯೂಶನ್ ಕಾರ್ಯತಂತ್ರವನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತದೆ. ಆರ್ಐಎಫ್-ಪಿಆರ್ಡಿ ಕಾರ್ಯಾಚರಣೆಯ ಶಬ್ದಾರ್ಥವನ್ನು ಹೊಂದಿದೆ, ಆದರೆ ಷರತ್ತು ಸೂತ್ರಗಳು ಮಾದರಿ-ಸೈದ್ಧಾಂತಿಕ ಶಬ್ದಾರ್ಥವನ್ನು ಸಹ ಹೊಂದಿವೆ. ಉದಾಹರಣೆ (ಉದಾಹರಣೆ 1.2 ಇಂಚು) ಪೂರ್ವಪ್ರತ್ಯಯ (ಉದಾ <http://example.com/2008/prd1 #>) (* ಉದಾಃ ನಿಯಮ 1 *) ಎಲ್ಲಾ ಗ್ರಾಹಕ ಖರೀದಿಗಳು YTD (ಮತ್ತು (? customer#ex: ಗ್ರಾಹಕ ಗ್ರಾಹಕ [ಉದಾಃ ಖರೀದಿಗಳುYTD->? ಖರೀದಿಗಳುYTD] ಬಾಹ್ಯ (ಪೂರ್ವಃ ಸಂಖ್ಯಾ-ದೊಡ್ಡ-ಗಿಂತ (? ಖರೀದಿಗಳುYTD 5000))) ನಂತರ ಮಾಡಿ (ಗ್ರಾಹಕ [ಉದಾಃ ಸ್ಥಿತಿ-> "ಚಿನ್ನ")) ಪ್ರಮಾಣಿತವಲ್ಲದ RIF ಉಪಭಾಷೆಗಳು ಹಲವಾರು ಇತರ RIF ಉಪಭಾಷೆಗಳು ಅಸ್ತಿತ್ವದಲ್ಲಿವೆ. ಅವುಗಳಲ್ಲಿ ಯಾವುದನ್ನೂ ಡಬ್ಲ್ಯೂ3ಸಿ ಅಧಿಕೃತವಾಗಿ ಅನುಮೋದಿಸಿಲ್ಲ ಮತ್ತು ಅವು ಆರ್ಐಎಫ್ ವಿವರಣೆಯ ಭಾಗವಾಗಿಲ್ಲ. ಸಿಎಎಸ್ಪಿಡಿ ಕೋರ್ ಆನ್ಸರ್ ಸೆಟ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಡಯಲೆಕ್ಟ್ (ಸಿಎಎಸ್ಪಿಡಿ) ಉತ್ತರ ಸೆಟ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಅನ್ನು ಆಧರಿಸಿದೆ, ಅಂದರೆ, ಉತ್ತರ ಸೆಟ್ ಶಬ್ದಾರ್ಥವನ್ನು (ಸ್ಥಿರ ಮಾದರಿ ಶಬ್ದಾರ್ಥ) ಆಧರಿಸಿದ ಘೋಷಣಾತ್ಮಕ ತರ್ಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್. ಉದಾಹರಣೆಃ ಡಾಕ್ಯುಮೆಂಟ್ (ಪೂರ್ವಪ್ರತ್ಯಯ (ex <http://example.com/concepts #>) ಗ್ರೂಪ್ (ಫೋರಲ್ಲಾಸ್ (ex: fear (? S ex: math):-ಮತ್ತು (? S#ex: ವಿದ್ಯಾರ್ಥಿ (ನಾಫ್ ನೆಗ್ ex: fear (? S ex: math))) ಫೋರಲ್ಲಾಸ್ (ನೆಗ್ ex: fear (? S ex: math):-ಮತ್ತು (? S#ex: ವಿದ್ಯಾರ್ಥಿ ಎಸ್ [ex: ಮೇಜರ್ಗಳು-> ಎಕ್ಸ್ಃ ಮಠ])) ಯುಆರ್ಡಿ ಅನಿಶ್ಚಿತ ಜ್ಞಾನದ ನೇರ ಪ್ರಾತಿನಿಧ್ಯವನ್ನು ಅನಿಶ್ಚಿತ ನಿಯಮ ಡಯಲೆಕ್ಟ್ (ಯುಆರ್ಡಿ) ಬೆಂಬಲಿಸುತ್ತದೆ. ಉದಾಹರಣೆಃ ಡಾಕ್ಯುಮೆಂಟ್ (ಆಮದು (<http://example.org/fuzzy/membershipfunction>) ಗ್ರೂಪ್ (ಫೋರಾಲ್ xy (ಅಗ್ಗವಾದ ಬೆಳಕು (xy):-ಕೈಗೆಟುಕುವ ಬೆಳಕು (xy))/0.40 ಫೋರಾಲ್ xy (ಕೈಗೆಟುಕುವ ಬೆಳಕು (xy))/ಲೆಫ್ಟ್ _ ಶೋಲ್ಡರ್0k4k1k3k (y)))) SILK RIF-SILK ಅನ್ನು ಪೂರ್ವನಿಯೋಜಿತ ತರ್ಕವನ್ನು ರೂಪಿಸಲು ಬಳಸಬಹುದು. ಇದು ಸುಸ್ಥಾಪಿತ ಶಬ್ದಾರ್ಥಗಳೊಂದಿಗೆ ಘೋಷಣಾತ್ಮಕ ತರ್ಕದ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಅನ್ನು ಆಧರಿಸಿದೆ. ಆರ್ಐಎಫ್-ಸಿಲ್ಕ್, ಸಿಲ್ಕ್ನಂತಹ ಹೆಚ್ಚು ಅತ್ಯಾಧುನಿಕ ಘೋಷಣಾತ್ಮಕ ತರ್ಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳಲ್ಲಿ ಕಂಡುಬರುವ ಹಲವಾರು ಇತರ ವೈಶಿಷ್ಟ್ಯಗಳನ್ನು ಸಹ ಒಳಗೊಂಡಿದೆ. ಉದಾಹರಣೆ ಡಾಕ್ಯುಮೆಂಟ್ {ಪ್ರಿಫಿಕ್ಸ್ (ಫೋಫ್ http://xmlns.com/foaf/0.1) ಪ್ರಿಫಿಕ್ಸ್ (ಪಬ್ http://example.org/pub #) ಗ್ರೂಪ್ {(* r1 *) ಫಾರ್ ಆಲ್ a1? a2? ಪೇಪರ್ (? a1 [ಫೋಫ್ಃ ನೋಸ್-> a2]:-? ಪೇಪರ್ #ಪಬ್ಃ ಪಬ್ಲಿಕೇಷನ್ [ಪಬ್ಃ ಆಥರ್-> a1, ಪಬ್ಃ ಆಥರ್-> a2]) (* r2 *) ಫಾರ್ ಆಲ್ a1? a2 (ನೆಗ್ a1 [ಫೋಫ್ಃ ನೋಸ್->? a2]:-? a1 [ನೆವರ್ಮೆಟ್->? a2]) ಸಿಲ್ಕ್ಃ ಓವರ್ ರೈಡ್ಸ್ (r2, ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಆರ್ಐಎಫ್ ವರ್ಕಿಂಗ್ ಗ್ರೂಪ್ ಆರ್ಐಎಫ್ ಎಫ್ಎಕ್ಯೂ ಶಬ್ದಾರ್ಥದ ವೆಬ್ ಜ್ಞಾನ ಪ್ರಾತಿನಿಧ್ಯ ಭಾಷೆಗಳು