Ontology language
ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನ ಮತ್ತು ಕೃತಕ ಬುದ್ಧಿಮತ್ತೆಯಲ್ಲಿ, ಆಂಟಾಲಜಿ ಭಾಷೆಗಳು ಆಂಟಾಲಜಿಗಳನ್ನು ನಿರ್ಮಿಸಲು ಬಳಸುವ ಔಪಚಾರಿಕ ಭಾಷೆಗಳಾಗಿವೆ. ಅವು ನಿರ್ದಿಷ್ಟ ಕ್ಷೇತ್ರಗಳ ಬಗ್ಗೆ ಜ್ಞಾನದ ಎನ್ಕೋಡಿಂಗ್ ಅನ್ನು ಅನುಮತಿಸುತ್ತವೆ ಮತ್ತು ಆಗಾಗ್ಗೆ ಆ ಜ್ಞಾನದ ಪ್ರಕ್ರಿಯೆಯನ್ನು ಬೆಂಬಲಿಸುವ ತಾರ್ಕಿಕ ನಿಯಮಗಳನ್ನು ಒಳಗೊಂಡಿರುತ್ತವೆ. ಆಂಟಾಲಜಿ ಭಾಷೆಗಳು ಸಾಮಾನ್ಯವಾಗಿ ಘೋಷಣಾತ್ಮಕ ಭಾಷೆಗಳಾಗಿರುತ್ತವೆ, ಬಹುತೇಕ ಯಾವಾಗಲೂ ಚೌಕಟ್ಟಿನ ಭಾಷೆಗಳ ಸಾಮಾನ್ಯೀಕರಣಗಳಾಗಿರುತ್ತವೆ ಮತ್ತು ಸಾಮಾನ್ಯವಾಗಿ ಮೊದಲ-ಕ್ರಮಾಂಕದ ತರ್ಕ ಅಥವಾ ವಿವರಣಾತ್ಮಕ ತರ್ಕವನ್ನು ಆಧರಿಸಿವೆ. ಆಂಟಾಲಜಿ ಭಾಷೆಗಳ ವರ್ಗೀಕರಣ ವಾಕ್ಯರಚನೆಯ ಮೂಲಕ ವರ್ಗೀಕರಣ ಸಾಂಪ್ರದಾಯಿಕ ವಾಕ್ಯರಚನೆಯ ಆಂಟಾಲಜಿ ಭಾಷೆಗಳು ಸಾಮಾನ್ಯ ತರ್ಕ-ಮತ್ತು ಅದರ ಉಪಭಾಷೆಗಳು ಸೈಕ್ಲ ಡೊಗ್ಮಾ (ಆಂಟಾಲಜಿ-ಗ್ರೌಂಡೆಡ್ ವಿಧಾನಗಳು ಮತ್ತು ಅನ್ವಯಗಳನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸುವುದು) ಎಫ್-ಲಾಜಿಕ್ (ಫ್ರೇಮ್ ಲಾಜಿಕ್) ಎಫ್-ಡಾಟ್ (ಪ್ರಕಾರಗಳು, ಅಂಕಗಣಿತ, ಒಟ್ಟುಗೂಡಿಸುವಿಕೆಗಳು ಮತ್ತು ಪ್ರೇರಕ ವ್ಯಾಖ್ಯಾನಗಳೊಂದಿಗೆ ವಿಸ್ತರಿಸಲಾದ ಮೊದಲ-ಕ್ರಮಾಂಕದ ತರ್ಕ) ಕೆಐಎಫ್ (ಜ್ಞಾನ ವಿನಿಮಯ ಸ್ವರೂಪ) ಕೆಐಎಫ್ ಕೆಎಲ್-ಒನ್ ಕೆಎಂ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆ ಲೂಮ್ (ಆಂಟಾಲಜಿ) ಒಸಿಎಂಎಲ್ (ಆಪರೇಷನಲ್ ಕಾನ್ಸೆಪ್ಚುವಲ್ ಮಾಡೆಲಿಂಗ್ ಲಾಂಗ್ವೇಜ್) ಓಕೆಬಿಸಿ (ಓಪನ್ ನಾಲೆಡ್ಜ್ ಬೇಸ್ ಕನೆಕ್ಟಿವಿಟಿ) ಪಿಎಲ್ಐಬಿ (ಪಾರ್ಟ್ಸ್ ಲೈಬ್ರರಿ) ರೇಸರ್ ಮಾರ್ಕ್ಅಪ್ ಆಂಟಾಲಜಿ ಭಾಷೆಗಳು ಈ ಭಾಷೆಗಳು ಡಿಎಎಂಎಲ್ + ಆಯಿಲ್ ಆಂಟಾಲಜಿ ಇನ್ಫರೆನ್ಸ್ ಲೇಯರ್ (ಒಐಎಲ್) ವೆಬ್ ಆಂಟಾಲಜಿ ಲ್ಯಾಂಗ್ವೇಜ್ (ಒಡಬ್ಲ್ಯೂಎಲ್) ರಿಸೋರ್ಸ್ ಡಿಸ್ಕ್ರಿಪ್ಷನ್ ಫ್ರೇಮ್ವರ್ಕ್ (ಆರ್ಡಿಎಫ್) ಆರ್ಡಿಎಫ್ ಸ್ಕೀಮಾ (ಆರ್ಡಿಎಫ್ಎಸ್) ಎಸ್. ಎಚ್. ಇ. ನಿಯಂತ್ರಿತ ನೈಸರ್ಗಿಕ ಭಾಷೆಗಳು ನಿಯಂತ್ರಿತ ಇಂಗ್ಲಿಷ್ ಮುಕ್ತ ಶಬ್ದಕೋಶ ನೈಸರ್ಗಿಕ ಭಾಷೆಗಳು ಕಾರ್ಯಗತಗೊಳಿಸಬಹುದಾದ ಇಂಗ್ಲಿಷ್ ವರ್ಗೀಕರಣ ರಚನೆಯ ಪ್ರಕಾರ (ತರ್ಕ ಪ್ರಕಾರ) ಚೌಕಟ್ಟು ಆಧಾರಿತ ಮೂರು ಭಾಷೆಗಳು ಸಂಪೂರ್ಣವಾಗಿ ಅಥವಾ ಭಾಗಶಃ ಚೌಕಟ್ಟು ಆಧಾರಿತ ಭಾಷೆಗಳಾಗಿವೆ. ಎಫ್-ಲಾಜಿಕ್ ಓಕೆಬಿಸಿ ಕೆಎಂ ವಿವರಣೆ ತರ್ಕ-ಆಧಾರಿತ ವಿವರಣೆ ತರ್ಕವು ಫ್ರೇಮ್ ಭಾಷೆಗಳ ವಿಸ್ತರಣೆಯನ್ನು ಒದಗಿಸುತ್ತದೆ, ಮೊದಲ-ಕ್ರಮಾಂಕದ ತರ್ಕಕ್ಕೆ ಜಿಗಿತವನ್ನು ತೆಗೆದುಕೊಳ್ಳುವಷ್ಟು ದೂರ ಹೋಗದೆ ಮತ್ತು ಅನಿಯಂತ್ರಿತ ಭವಿಷ್ಯವಾಣಿಗಳಿಗೆ ಬೆಂಬಲವನ್ನು ನೀಡುತ್ತದೆ. ಕೆಎಲ್-ಒನ್ ರೇಸರ್ ಮಾಲೀಕ. ಜೆಲ್ಲಿಶ್ ಎಂಬುದು ವಿವರಣಾತ್ಮಕ ತರ್ಕವನ್ನು ಆಧರಿಸಿದ ಸಂಯೋಜಿತ ಆಂಟಾಲಜಿ ಭಾಷೆ ಮತ್ತು ಆಂಟಾಲಜಿಗೆ ಒಂದು ಉದಾಹರಣೆಯಾಗಿದೆ. ಇದು ಇತರರ ನಡುವಿನ ಶಬ್ದಾರ್ಥದ ವ್ಯತ್ಯಾಸಗಳ ನಡುವೆ ವ್ಯತ್ಯಾಸವನ್ನು ತೋರಿಸುತ್ತದೆಃ ಪರಿಕಲ್ಪನೆಗಳ (ವರ್ಗಗಳ) ನಡುವಿನ ಸಂಬಂಧಗಳಿಗೆ ಸಂಬಂಧದ ಪ್ರಕಾರಗಳು, ವ್ಯಕ್ತಿಗಳ ನಡುವಿನ ಸಂಬಂಧಗಳಿಗೆ ಸಂಬಂಧದ ಪ್ರಕಾರಗಳು, ವ್ಯಕ್ತಿಗಳು ಮತ್ತು ವರ್ಗಗಳ ನಡುವಿನ ಸಂಬಂಧಗಳಿಗೆ ಸಂಬಂಧದ ಪ್ರಕಾರಗಳು, ಇದು ಪ್ರಶ್ನೆಗಳನ್ನು ಮತ್ತು ಸಂವಹನ ಉದ್ದೇಶವನ್ನು ವ್ಯಕ್ತಪಡಿಸಲು ರಚನೆಗಳನ್ನು ಸಹ ಒಳಗೊಂಡಿದೆ. ಮೊದಲ-ಕ್ರಮಾಂಕದ ತರ್ಕ-ಆಧಾರಿತ ಹಲವಾರು ಆಂಟಾಲಜಿ ಭಾಷೆಗಳು ಮೊದಲ-ಕ್ರಮಾಂಕದ ತರ್ಕದಲ್ಲಿ ಅಭಿವ್ಯಕ್ತಿಗಳನ್ನು ಬೆಂಬಲಿಸುತ್ತವೆ ಮತ್ತು ಸಾಮಾನ್ಯ ಊಹೆಗಳನ್ನು ಅನುಮತಿಸುತ್ತವೆ. ಕಾಮನ್ ಲಾಜಿಕ್ ಸೈಕ್ಲೆ ಎಫ್ಒ-ಡಾಟ್ (ಪ್ರಕಾರಗಳು, ಅಂಕಗಣಿತ, ಸಮುಚ್ಚಯಗಳು ಮತ್ತು ಪ್ರೇರಕ ವ್ಯಾಖ್ಯಾನಗಳೊಂದಿಗೆ ವಿಸ್ತರಿಸಲಾದ ಮೊದಲ-ಕ್ರಮಾಂಕದ ತರ್ಕ) ಕೆಐಎಫ್ ಡೊಮೈನ್ ಸಿದ್ಧಾಂತವನ್ನು ಸಹ ನೋಡಿ ಔಪಚಾರಿಕ ಪರಿಕಲ್ಪನೆಯ ವಿಶ್ಲೇಷಣೆ ಗಾಲೋಯಿಸ್ ಸಂಪರ್ಕ ಲ್ಯಾಟಿಸ್ (ಕ್ರಮ) ಮಾಡೆಲಿಂಗ್ ಭಾಷೆ ಒನ್ಟೂಯುಎಂಎಲ್ ಟಿಪ್ಪಣಿಗಳು ಉಲ್ಲೇಖಗಳು ಆಸ್ಕರ್ ಕೊರ್ಚೊ, ಅಸನ್ಸಿಯನ್ ಗೊಮೆಜ್-ಪೆರೆಜ್, ಆಂಟಾಲಜಿ ನಿರ್ದಿಷ್ಟತೆ ಭಾಷೆಗಳ ಮಾರ್ಗಸೂಚಿ (2000) ವಿವರಣೆ ತರ್ಕಶಾಸ್ತ್ರದ ಪರಿಚಯ-ಎನ್ರಿಕೊ ಫ್ರಾಂಕೋನಿ, ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನ ವಿಭಾಗ, ಬೋಲ್ಜಾನೊ ಉಚಿತ ವಿಶ್ವವಿದ್ಯಾಲಯ, ಇಟಲಿ ಮಾಡೆಲಿಂಗ್ ಭಾಷೆಗಳ ಡಿಎಲ್ ಕೋರ್ಸ್