�@�{�����́C���{�ɂ����� RDF ����� RDFS �̕��y��ړI�ɁC http://www.w3.org/TR/2004/REC-rdf-mt-20040210/����{������̂ł���D
�@�����Ȃ�g�D�C�l�ł��C���������W3C�� Copyright �ɏ]������ɂ����āC�{����ǂ̂悤�Ɏg�p���Ă��悢���C����ɂ���Đ����錋�ʂɂ��āC
�|��҂͈�̐ӔC��Ȃ��D
�@���Ӑ[��������ł��邪�C��肪���蓾�邱�Ƃ͔ے�ł��Ȃ��D���̎w�E��傢�Ɋ��}����D�R�����g���̑����|����܂ő���ꂽ���D
���o ����@�@2012�N 6��1������
���o ����@�@2008�N12��1������
�{����������\ ���Q�Ƃ̂��ƁD����ɂ͋K�͂̒������܂܂꓾��D
�|�����Q�Ƃ��ꂽ���D
Copyright © 2004 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
�{������ Resource Description Framework (RDF) �� RDF Schema (RDFS) �ɑ��鐸���ȈӖ��_�ƁC����Ɉ�v���鐄�_���[���̊��S�ȃV�X�e���̎d�l�ł���D
�{������ W3C �����o�[�Ƃ��̑��̊W�c�̂ɂ���ĐR������C�f�B���N�^�[�ɂ��W3C �����Ƃ��Đ��F���ꂽ. �������쐬����ɂ������Ă� W3C �̖����́C�d�l�ɒ��ӂ����������C���̍L�͂ȓW�J�𑣐i���邱�Ƃł���D����̓E�F�u�̋@�\�Ƒ��ݍ�p������ɍ��߂���̂ł���D
�{�����͍ŏ��� RDF �d�l�CRDF ���f���ƍ\���_ (1999�N����) �����RDF �X�L�[�} (2000�N�������) �ɑ��āC�S�̂Ƃ��Ēu�������邱�Ƃ��Ӑ}����Ă����Z�̕��� (����, �T�O, �\���_, �Ӗ��_, ��b, �e�X�g�P�[�X) �̓��̈�ł���D�����W3C �Z�}���e�B�b�N�E�F�u�E�A�N�e�B�r�e�B (�A�N�e�B�r�e�B�錾, �O���[�v����) �̈ꕔ�Ƃ���RDF �R�A��ƃO���[�v�ɂ��W�J����C 2004�N2��10���Ɍ��J���ꂽ�D
Proposed Recommendation Working Draft �ȗ��̖{�����̕ύX�� �ύX���O �ɏڂ����D
��ʂ̕��X�́C�R�����g��[email protected] ��(�A�[�J�C�u)�C�֘A�Z�p�̈�ʓI�ȋc�_��[email protected] (�A�[�J�C�u)�Ƀ��[�����ꂽ���D
�����̃��X�g�����p�\�ł���D
W3C �����̍�ƂɊ֘A���������Ȃ�������J���X�g���ێ�����D
���̃Z�N�V�����͌��J���ɂ�����{�����̃X�e�[�^�X���L�q������̂ł���D���̕����ɂ��{����������đ����Ă���\��������D������ W3C ���\�̃��X�g�Ɩ{�Z�p�̍ŐV�ł� http://www.w3.org/TR/ �� W3C technical reports index �Ō��邱�Ƃ��ł���D
0. �͂��߂�
0.1 �`���Ӗ��_�̎d�l���ׁF�͈͂ƌ��E
0.2 �O���t�\���_
0.3 �O���t��`
1. ����
1.1 �Z�p�m�[�g (����)
1.2 URI �Q��, ���\�[�X ������ ���e����
1.3 ����
1.4 ���O���t�̕\���I�Ӗ�
1.5 ���ݕϐ��Ƃ��Ẵu�����N�m�[�h
2. RDF �O���t�Ԃ̒P������
2.1 ��b�̉��߂ƌ�b�̔���
3. RDF ��b�̉��ߍs��
3.1 RDF ����
3.2 RDF ����
3.3 ��̉�, �R���e�i, �R���N�V���� ������ rdf:value
3.3.1 ��̉� (Reification)
3.3.2 RDF �R���e�i
3.3.3 RDF �R���N�V����
3.3.4 rdf:value
4. RDFS ��b�̉���
4.1 RDFS ����
4.2 �O���I�Ӗ��_�̏��� (����)
4.3 rdfs:Literal �Ɋւ���m�[�g
4.4 RDFS ����
5. �f�[�^�^�C�v�̉���
5.1 �f�[�^�^�C�v�Ń^�C�v�t�����ꂽ����
5.2 D-����
6. �Ӗ��_�I�O���̒P����
7. ���Ӄ��[�� (����)
7.1 �P�����Ӄ��[��
7.2 RDF ���Ӄ��[��
7.3 RDFS ���Ӄ��[��
7.3.1 �O���̔��Ӄ��[��
7.4 �f�[�^�^�C�v�̔��Ӄ��[��
�t�^ A. �����}�̏ؖ� (����)
�t�^ B. �p��W (����)
�t�^ C. �ӎ�
�Q�l����
�t�^ D. �ύX���O (����)
RDF �� WWW ��̃A�N�Z�X��g�p�̂��߂ɁC�`���I�Ō����Ȍ�b�C����RDFS [RDF-VOCABULARY] �ɂ����Ďd�l�L�q���ꂽ��b��p���āC������\�����邽�߂ɗp�����邱�Ƃ��Ӑ}���ꂽ �錾�^���� (assertional language) �ł���C���l�ȖړI�̂��i�錾�^����̂��߂̊�Ղ���邱�Ƃ��Ӑ}����Ă���D ���̑S�̂̐v�ڕW�́C����̏������f���ɍ��킹��̂ł͂Ȃ��C�ǂ�ȃg�s�b�N�ɂ��Ă̖�����ėp�I�ɐ��m�ɕ\�����邱�Ƃɂ���D ���ڍׂȋc�_��RDF �T�O[RDF-CONCEPTS] �� �Q�Ƃ��ꂽ���D
�L�`�ɂ����� RDF ���邢�� RDFS �ɂ������\���́u�Ӗ��v(meaning) �����ł��邩�ƍl���邱�Ƃ́C �����ɂ́C�Љ�I���K�C���R����ɂ��R�����g�C���邢�͑��̓��e��`���镶�����܂߁C�����̗v���Ɉˑ�������D �����������Ӗ��̑����͋@�B�����ɂ��A�N�Z�X�͕s�\�ł���C�{�����ɂ����ċL�q����� �`���Ӗ��_�� ���̍L�`�̈Ӗ��� '�Ӗ�' �̊��S�ȕ��͂���邱�Ƃ͈Ӑ}����Ă��Ȃ��Ƃ������Ƃ� �P�ɋ��������������߂ɁC�����ł���ɂ��ďq�ׂ������ł���D����͑傫�Ȍ����g�s�b�N�ł��낤�D�����ŗ^������Ӗ��_�́C �Ӗ����`���I�ȍl�����ɐ�������Ă���C �Ӗ��ɂ��Ă̂��̑��̂��ׂĂ̐����ɋ��ʂȕ����Ƃ��ē����Â�����悤�Ȃ��̂ł���C �@�B�I���_���[���ŏ������邱�Ƃ��ł�����̂ł���D
�{�����ł́C�`������̈Ӗ��_����肷�邽�߂ɁC ���f�����_ (model theory) �ƌĂ���b�Z�p���p������D ���f�����_�ɕs����ȓǎ҂͕t�^ B �� �p��W �������ɂȂ邾�낤�D �{�e�L�X�g��ʂ��āC�g�p�����p��͋Z�p�I�Ȍ�`�ɂ��ėp��W�ɂ����`�Ƀ����N�Â�����Ă���D ���f�����_�ł́C����͂���u���E (world) �v�ɂ��Č��y���C ���̌���ɂ����邷�ׂĂ̕\���ɑ��Ă���K�ȈӖ������蓖�Ă邽�߂ɁC���E���[�� (satisfy) ���Ȃ���Ȃ�Ȃ��ŏ��������L�q������̂Ɖ��肳���D �����������E������ (interpretation) �ƌĂ�C ���̂��� ���f�����_�͂�萳�����́u���ߗ��_�v�ƌĂ�ł����������m��Ȃ��D ���̍l�����́C���߂̎��ۂ̐�����{���I�ȍ\���ɂ��Ăł��邾�����Ȃ�����𗧂ĂāC����ɂ���Ăł��邾���ėp�����ێ�����Ƃ������C �ǂ�ȉ��߂ł������Ȃ���Ȃ�Ȃ������ɂ��āC���ۓI�ȁC���w�I�Ȑ�����i�����D �`���Ӗ��_�̎�v�Ȍ��p�́C���̌���ɂ���ċL�q����Ă��鎖���̐����ɂ��Đ[�����͂������C��������̏������f������邱�Ƃł͂Ȃ��C �ނ���ǂ�ȂƂ��ɐ��_�v���Z�X������ (valid) �ł��邩�C���Ȃ킿�^����ێ����邩�C �����肷��Z�p�I��i����邱�Ƃɂ���D����͈Ӗ��ɂ��đ��I�Ȑ������̂���l������ێ��������ŁC�����ɂ͍ő�̎��R�����D
���f�����_���`����w�I�ɁC �����I���g���W�[�I�ɒ����ł��낤�Ƃ���D ����͓T�^�I�ɂ͒P���ɏW�����_�̌������ŏq�ׂ���C�Ȃ��Ȃ���ꂪ���w�ɂ�����W�����ꂾ����ł���D �Ⴆ�C���̈Ӗ��_�ł͖��O�́u���j�o�[�X (universe) �v�ƌĂ�邠���W�� IR ���̎�����\������ (denote) �D �������Ȃ���C�����ł̏W���_�I����̎g�p�́C���j�o�[�X���̎������{���W���_�I�ł���Ƃ������Ƃ��ÂɈӖ�����Ƃ����킯�ł͂Ȃ��D ���f�����_�͒ʏ����� (entailment) �Ƃ����l�����i��q�j��ʂ��Ď����ɂ����Ă��̏ꍇ�֘A����D ��������������_���[�����`���邱�Ƃ��\�ɂ�����̂ł���D
�Ӗ��_�L���������̕��@�́C���łɊ֘A�t����ꂽ���f�����_�����̂܂g���āC RDF ����`���_���ւ̕ϊ���^���邱�Ƃł���D ���́u�����I�Ӗ��_�v�̃A�v���[�`�̓^�[�Q�b�g�ł���_������̗l�X�ȃo�[�W�����C [Conen&Klapsing] [Marchiori&Saarela] [McGuinness&al]�C�Œ�Ă���p�����Ă����D RDF �� RDFS �̂��߂̂��̂悤�ȕϊ��� Lbase �d�l[LBASE] �ł��^�����Ă���D �����I�Ӗ��_�̃X�^�C���͋@�B�����ɗD��Ă��Ă��ǐ������������m��Ȃ����C�ǂ�Ȍ����I�Ӗ��_�ł��C �{�����ŏq�ׂ��郂�f�����_�̈Ӗ��_�ɓK�����Ȃ��Ƃ����ꍇ�ɂ́C���f�����_���K�͂ƂȂ�ׂ��ł���D
RDF �ɂ�����Ӗ��ɂ͈Ӗ��_�ł͖�������邢�����̓_������D���ɁCURI �Q�Ƃ͒P���Ȗ��O�Ƃ��Ĉ����C ����� URI �`�� [RFC 2396] �ŃR�[�h�������Ӗ��͖�������邵�C���ԕω��̕��͂� URI �Q�Ƃ̕ύX���l������Ă��Ȃ��D �Ⴆ�u���̕����v�Ƃ������CURI �Q�Ƃ��C���f�b�N�X�I�g�p�Ɋւ���ǂ�ȕ��͂�����Ă��Ȃ��D RDF �� RDFS ��b�̈ꕔ�ł͌`���I�Ӗ����^�����Ă��Ȃ����C���ɂ́C�Ƃ�킯��̉� (reification) �ƃR���e�i�̌�b�ł́C���҂����قǂ̈Ӗ��͗^�����Ă��Ȃ��D �����̏ꍇ�ɂ͖{�����Œ��L����C���̐������������ڍׂɍl�@����Ă���D RDF �͐錾�I�_���ł���C�����ł͊e�g���v�����P����������\������D ����͂��Ȃ茵�����P�������̌���������ɋ�����̂ŁC���E���� (closed-world assumptions) �C �Ǐ��f�t�H�[���g�I�� (local default preference) , �����Ă������̋��ʂɗp������ ��P���̍\����\���ł��Ȃ��D
DAML+OIL [DAML] ��OWL [OWL] �̂悤�Ȃ��\���͂̍�������̊�b�Ƃ��Ă̎g�p���܂߁CRDF �̓���̎g�p�ł͂����ŏq�ׂ�����̂ɉ����Ă���ɈӖ��_�I���������d�ˍ��킳��Ă悭�C���̂悤�Ȓlj��̈Ӗ��_�I�������͓���� RDF ��b���̗p��̈Ӗ��ɏd�ˍ��킷���Ƃ��ł���D ���̂悤�Ȓlj��̈Ӗ��_�I�������̏d�ˍ��킹�ɂ�蓾���� RDF �̊g���Ȃ��������� RDF ���Ӗ��_�I�g�� (semantic extensions) �Ƃ��Č��y�����D RDF �̈Ӗ��_�I�g���́C�{�������ł� [RFC 2119] �̃L�[���[�h�C���Ȃ���Ȃ�Ȃ� �C���Ă͂Ȃ�Ȃ��C����ׂ��ł��� �C���Ă��悢�C�Ő��������D RDF �̈Ӗ��_�I�g���͖{������ 1.3 ���C1.4 ���C1.5 ���ɋL�q�����P�����߂̈Ӗ��_�I�������ƁC 3.1 ���ɋL�q�� RDF ���߂̏������ɓK�����Ȃ���Ȃ�Ȃ��D �Ӗ��_�I�g���ɂ����锺�ӂ̂����Ȃ閼�O����b�����̗p���p���� �w�������ׂ��ł����D RDF �̈Ӗ��_�I�g���ɏd�˂��킳�ꂽ�Ӗ��_�I�������́C�{�����̋K�͓I�����ɋL�q����Ă��郂�f�����_�I�Ӗ��_�������� (valid) ����������b�����̍l������ ��`���Ȃ���Ȃ�Ȃ��D�������C �������̈Ӗ��_�I�g�����\���_�I�ɐ������ꂽRDF �O���t�̕����W���Œ�`�����ꍇ�ɂ́C ���̈Ӗ��_�I�������͂��̕����W���ɓK�p����邾���ł悢�D���̂悤�ȍ\���_�I�ɐ������ꂽ�Ӗ��_�I�g���̖��ׂ́C �g�����ꂽ�Ӗ��_�I���������K�������Ƃ���̂��� RDF �O���t��B���������\�t�g�E�F�A����ʂ���ɏ\���ȍ\���_�I�ȏ����̖��ׂ� �܂�����Ȃ���Ȃ�Ȃ��D ���̂悤�ȍ\���_�I�ɐ������ꂽ�Ӗ��_�I�g���Ɋ�Â��A�v���P�[�V�����́C �v�����ꂽ�\���_�I�����ɓK�����Ȃ�RDF �O���t �@�G���[ (syntax error) �Ƃ��Ĉ������Ƃ����Ă��悢�D
RDF �̈Ӗ��_�I�g���̈��� RDF Schema [RDF-VOCABULARY]�C ������ RDFS �C�ł���C���̈Ӗ��_�͖{�����̌㔼�Œ�`�����DRDF Schema �͂����Ȃ�\���_�I�������lj����Ȃ��D
�ǂ�ȈӖ��_�ł��\���_�Ƒg�ݍ��킳��Ȃ���Ȃ�Ȃ��D�����ł̈Ӗ��_�� RDF �T�O�ƒ��ۍ\���̕��� [RDF-CONCEPTS] �ɏq�ׂ��Ă��� RDF ���ۍ\���ւ̎ʑ��Ƃ��Ē�`�����D �{�����ł͂����Œ�`���ꂽ�ȉ��̗p���p����D ���Ȃ킿�CURI �Q��, ���e����, �v���[�����e����, �^�t�����e����, XML���e����, XML�l, �m�[�h, �u�����N�m�[�h, �g���v�� ������RDF �O���t �ł���D �{������ʂ��āC�p��Ƃ��āu������ (character string �������� string) �v�� Unicode �����̃V�[�P���X���Q�Ƃ��邽�߂Ɏg���C �u����^�O (langauge tag) �v�� RFC 3066 �̈Ӗ��Ŏg�� ([RDF-CONCEPTS] ���� 6.5 �����Q�Ƃ̂���)�D RDF �O���t���̕������ Normal Form C �ł����ׂ��ł������Ƃɒ��ӂ��ꂽ���D
�{�����ł�RDF
�O���t���L�q���邽�߂ɁCRDF �e�X�g�P�[�X���� [RDF-TESTS]
�ɏq�ׂ�ꂽ N-�g���v���\����p����D
���̋L�@�ł̓O���t�̃g���v�����̃u�����N�m�[�h���w�肷��̂��m�[�h�w��q (nodeID) ��p����D
�u_:xxx
�v�Ƃ����悤�ɏ������m�[�h�w��q�͕\�ʏ�̍\���ɂ�����u�����N�m�[�h�肷�邽�߂ɗp�����邪�C
���̕\���̓O���t�m�[�h�肷�郉�x���ƍl������ׂ��ł͂Ȃ��C���O�ł��Ȃ��C���ۂ̃O���t�ɂ����ċN������̂ł��Ȃ��D
���ɁC�m�[�h�w��q�̖��O�������Ⴄ�悤�ȓ�� N-�g���v������ �ŋL�q�����RDF �O���t�́C
�����Ƃ݂Ȃ����D
���̉����̖��͕����S�̂ɂ̂ݓK���������̂Ɨ��������ׂ��ł���D
�������镶���̈ꕔ�����ɂ����ăm�[�h�w��q����������C���ʂƂ��ĈقȂ� RDF �O���t�������邱�ƂɂȂ邩���m��Ȃ��D
N-�g���v���\���_�ł� URI �Q�Ƃ͂������� (angle bracket)
�Ŋ���ꂽ���S�Ȍ`���ŗ^������K�v�����邪�C�����ł͊Ȍ����̂��߂ɁC�����̗�����̂ɉˋ�� URI �X�L�[���uex:�v��p����D
N-�g���v���\���_�̐��K�\���ɂ��{���ɋ߂����h���邽�߂ɂ́C������uhttp://www.example.org/rdf/mt/artificial-example/
�v
�Ƃ����悤�Ȃ��̂Œu��������悤�Ɏv���Ăق����DQName �̐ړ��� (prefix) �Crdf:
�Crdfs:
������ xsd:
�͎��̂悤�ɒ�`����Ă���D
Prefix rdf:
���O��� URI: http://www.w3.org/1999/02/22-rdf-syntax-ns#
Prefix rdfs:
���O��� URI: http://www.w3.org/2000/01/rdf-schema#
Prefix xsd:
���O��� URI: http://www.w3.org/2001/XMLSchema#
QName �\���͐����� N-�g���v���\���ł͂Ȃ����C�Ȍ����Ɖǐ��̂��߂ɁC�X�I�ɂ������ʂň͂܂�Ȃ� QName �ł������ʂň͂܂ꂽ�������� URI �Q�Ƃ������D �Ⴆ�C�g���v��
<ex:a> rdf:type rdfs:Class .
�� N-�g���v���\���ł̎��̏ȗ��`�Ƃ��ēǂ܂��ׂ��ł���D
<ex:a> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
��ʓI�ȈӖ��_�I���������q�ׂ�Ƃ��C�R�����Ȃ��̒P��̕����╶���V�[�P���X�͔C�ӂ̖��O�C�u�����N�m�[�h�C������Ȃǂ������D ���̐��m�ȈӖ��͕����Ŗ�������邾�낤�D
RDF �O���t ���邢�͒P���O���t �́CRDF �g���v���̏W���ł���D
RDF �O���t�������O���t (subgraph) �͂��̃O���t�̃g���v���̕����W���ł���D��̃g���v���͂�����܂ނЂƂ̏W���Ɠ��肳���̂ŁC ����O���t���̊e�g���v���͈�̕����O���t�ƍl������D�^ (proper) �����O���t�͂��̃O���t�̃g���v���̐^�����W���ł���D
��� (ground) RDF �O���t�̓u�����N�m�[�h�̂Ȃ��O���t�ł���D
���O (name) �� URI �Q�Ƃ܂��̓��e�����ł���D �����̂��̂͂��������ɂ���Ă���Ӗ������蓖�Ă��邱�Ƃ��K�v�ȕ\���ł���D �^�t�����e�����͓�����O���Ȃ킿���e�����ƁC���̓����̌^ URI �Q�ƁC�����\�������
���O�̏W������b �Ƃ��Č��y�����D ����O���t�� ��b�͂��̃O���t���̂ǂꂩ�̃g���v���̃T�u�W�F�N�g�C�v���f�B�P�C�g���邢�̓I�u�W�F�N�g�Ƃ��Č���閼�O�̏W���ł���D �^�t�����e�����̓����ɂ�������Ȃ� URI �Q�Ƃ͂��̃O���t�̌�b�Ƃ���K�v�͂Ȃ����Ƃɒ��ӂ��ꂽ���D
��b V �Ɋւ����C���X�^���X�Ƃ́C ���̃O���t���̃u�����N�m�[�h���u��������ꂽ�C���X�^���X���̂��ׂĂ����O���C V ��������O�ł���悤���C���X�^���X�̂��Ƃł���D
����O���t���^�� (proper) �C���X�^���X�Ƃ͂��̒��̂���u�����N�m�[�h�����閼�O�Œu���������邩�C �O���t���̓�̃u�����N�m�[�h�����̃C���X�^���X���̓����m�[�h�Ɏʑ����ꂽ�悤�ȃC���X�^���X�̂��Ƃł���D
����u�����N�m�[�h�����̃O���t�ɂ͂Ȃ��V�����u�����N�m�[�h�Ɏʑ������悤�ȃO���t�̂ǂ�ȃC���X�^���X���C���̃O���t�̃C���X�^���X�ł���C �܂����̌��̃O���t���C���X�^���X�Ƃ��ėL����D�����Ă��̏��u�͌J��Ԃ��꓾��̂ŁC�u�����N�m�[�h�Ԃ̂P�F�P�ʑ��� ���̃O���t���C���X�^���X�Ƃ���悤�ȃO���t�̃C���X�^���X���`����D���̂悤�ȓ�̃O���t�C�݂��ɑ��̃C���X�^���X�ł��邪�u�����N�m�[�h��������v���Ȃ��C �^�̃C���X�^���X�ł͂Ȃ��悤�ȃO���t�������ƍl������D ��X�͂��̂悤�ȓ����ȃO���t��̂��̂Ƃ��Ĉ����D�������邱�Ƃɂ��C�m�[�hID�́u�����v�ɂ���Ĉ����N������邢�����̖������邱�Ƃ��ł��C �u�����N�m�[�h�̓��x���������Ȃ��Ƃ������ɓK�������邱�Ƃ��ł���D �����O���t�͑��݂ɉt�ȃC���X�^���X�ʑ���L�����̃C���X�^���X�ł���D
�������� RDF �O���t�����̐^�����O���t�ł���悤�ȃC���X�^���X�������Ȃ��Ȃ�C������Ȗ� (lean) �ł���D��Ȗ� (non-lean) �ȃO���t�͓����ɏ璷����L���C�������e�����̊Ȗ�ȕ����O���t�ŕ\�����邱�Ƃ��ł���D�Ⴆ�C�O���t
<ex:a> <ex:p> _:x .
_:y <ex:p> _:x .
���Ȗ��ł͂Ȃ����C
<ex:a> <ex:p> _:x .
_:x <ex:p> _:x .
���Ȗ��ł���D
RDF �O���t�W�����}�[�W �͎��̂悤�ɒ�`�����D�����W�����̃O���t�����ʂ̃u�����N�m�[�h�������Ȃ��Ȃ�C���̃O���t�̍����̓}�[�W�ł���D �����u�����N�m�[�h�����L����Ȃ�C���̏W�����̃O���t���u�����N�m�[�h�����L���Ȃ������ȃO���t�ɒu�������ăO���t�W���̍������Ƃ�D ����͂����u�����N�m�[�h�́u�W�������� (standardized apart) �v�ƌ�����D�����Ȃ��̃}�[�W�������ł��邱�Ƃ͗e�Ղɂ킩��̂ŁC �����O���t�̏K���ɏK���ĉ�X�͂���ɒ芥�������� the �}�[�W�ƌ����D�����O���t�Ɠ��ꎋ�̖ɂ��������āC ���̏W�����̂ǂ�ȃO���t�����̃}�[�W�̕����O���t�ƍl������D
��ʂɁC�O���t�W���ɑ������� N-�g���v��������P���ɘA�����āC ���̃}�[�W���ꂽ�����ŋL�q�����O���t���\�����Ă��C���̃O���t�̃}�[�W�͓����Ȃ��D���������̂�����������̃m�[�h�w��q���g���Ă�����C ���̃}�[�W���ꂽ�����̓u�����N�m�[�h���u���R�v�����ł���悤�ȃO���t���L�q���Ă��܂��D N-�g���v���������}�[�W����ɂ́C ����邢�͂���ȏ�̕����œ����m�[�h�w��q���g���Ă��Ȃ����`�F�b�N���āC �K�v�ł���Ε������}�[�W����O�ɌX�̃m�[�h�w��q���قȂ������̂ɒu��������K�v������D ���l�Ȓ��ӂ̓m�[�h�w��q���܂� RDF/XML �����ɂ���ċL�q�����O���t���}�[�W����ۂɂ��K�������D RDF/XML Syntax Specification (Revised) [RDF-SYNTAX] ���Q�Ƃ̂���.
RDF �̓v���p�e�B�̒�`�� (domain) �ƒl�� (range) �ɂ����Ȃ�_���I������ۂ��Ȃ��D���ɁC����v���p�e�B�����ꎩ�g�ɓK�p���Ă��悢�D �N���X�� RDFS �œ��������Ƃ��C����畡���̃N���X������玩�g���܂�ł��悢�D ���̂悤�ȁu�����o�[�V�b�v���[�v�v�́C��b�̌����ł���Ƃ���́C�����o�[�V�b�v�ɂ��Ė����̍~���̘A�����֎~����Ƃ����C�W�� (Zermelo-Fraenkel) �W���_���̌����Ɉᔽ����悤�Ɍ����邩������Ȃ����C�����ŗ^������Ӗ��_�I���f���ł́C �I�u�W�F�N�g�Ƃ��Ẵv���p�e�B�ƃN���X�͂����� �O�� (extensions) - ���̃v���p�e�B���[������I�u�W�F�N�g�E�l�y�A�̏W����C���̃N���X�́u���v�Ɋ܂܂��悤�Ȏ��� - �Ƃ͋�ʂ����D ����ɂ���āC��b�̌����Ɉᔽ���邱�ƂȂ�����v���p�e�B�ƃN���X�̊O�����v���p�e�B��N���X���g���܂ނ��Ƃ��ł���D ���ɁC�N���X�O���ʑ���p���āC�N���X�����ꎩ�g���܂ނ��Ƃ��ł���D �Ⴆ�C����u���j�o�[�X�v�N���X�i�̊O���j�������o�[�Ƃ��Ă��̃N���X���g���܂ނ��Ƃ͑S�����Ȃ��C ����͂���N���X�K�w�̂����̗p�������ł���D�i��������O�������ꎩ�̂��܂߂Ό����ᔽ�ƂȂ邪�C���̂悤�Ȃ��Ƃ͌����ċN����Ȃ��D�j ���̃e�N�j�b�N�͂�芮�S�� [Hayes&Menzel ] �ɏq�ׂ��Ă���D
���̓_�ɂ����āCRDFS �͌��̍\�������ꂽ�K�w�����肷�� UML ����̏W���ȂǁC���邢�̓f�[�^�ƃ��^�f�[�^�̊Ԃł͂����肵���Ⴂ�̂���悤�ȁC�����̒ʏ�̃I���g���W�[�̘g�g�݂Ƃ͈قȂ���̂ł���D�Ƃ͌����CRDFS �͂��̂悤�ȍ\���̑��݂����肵�Ȃ�����ŁC������֎~�����Ȃ��DRDF �̓����o�[�V�b�v���[�v���������C���[�U�̌�b�̂��ׂĂ̕����ɑ��Ă��̎g�p�������͂��Ȃ��D ���� RDFS �̂��̑��ʂ��S�z�Ȃ�C�����̎��ۂ̖ړI�̂��߂� RDFS �̕\���͂C �N���X�̃����o�[�V�b�v��v���p�e�B�̓K���ɂ��Ă��̂悤�ȁu���[�v�v���܂܂Ȃ��悤�� RDF �O���t�̕����W���Ɏ��琧�����邱�Ƃ͉\�ł���D �����ĈӖ��_�I�g�������̂悤�ȃ��[�v�\�����֎~�����\���_�I�������Əd�ˍ��킹�Ă��悢�D
�����I�ȊO���ʑ��̎g�p�͂܂���̃v���p�e�B���قȂ�G���e�B�e�B�ł���Ȃ���C�����ɓ����l�������Ƃ��\�ɂ��邵�C ��̃N���X�������C���X�^���X���܂ނ��Ƃ��\�ɂ���D����� RDFS �̃N���X�͒P�Ȃ�W���ȏ�̂��̂ƍl������Ƃ������ƈӖ����Ă���D �����͒P�Ȃ��O���I��v�����C���o�X�g�ȓ��ꐫ�T�O�ł��� �u���� (classification) �v���邢�́u�T�O (concept) �v�ƍl������D�������f�����_�̐����� RDF �̏�ɍ\�z�������\���͂̂��錾��C���Ƃ���OWL [OWL] �̂悤�Ȍ���ɂ����Č����Ȍ��ʂ������炷�D �����ł̓v���p�e�B�ƃN���X�̊Ԃ̓��ꐫ�ڕ\�����邱�Ƃ��ł���D�N���X�ƃv���p�e�B�́u����I�v �����͎��ɋL�q�I�Ȍ���̗L�v�Ȑ����ł���Ǝ咣����邯��ǂ��C���̏\���ȍl�@�͖{�����͈̔͂ł͂Ȃ��D
����N���X�������o�[�Ƃ��Ă��ꎩ�g���܂ނ��ۂ��Ƃ������́C���ꂪ���ꎩ�g�̃T�u�N���X���ۂ��Ƃ������Ƃ͑S���قȂ�Ƃ������Ƃ𒍈ӂ��Ă����D ���ׂẴN���X�͂��ꎩ�g�̃T�u�N���X�ł���D
�ʏ�̘_���I�Ӗ��_�ɒʂ����ǎ҂́CRDF ���C���ʉ����ꂽ���j�o�[�X�ɂ����ĊW����P���̃G���e�B�e�B�ł���悤�ȁC �����ʂ��ꂽ�Q���W�̖|�Ăł���ƒm�邱�Ƃ����ɗ������m��Ȃ��D���̂悤�Ș_���͂R�l�W �g���v��(a,R,b) �̋L�@����C �W�̃A�g�� R(a,b) ��ʏ�̘_���V���^�b�N�X�Ƃ��ăR�[�h�����邱�Ƃœ�����D�����ŋL�q������b�I�ȈӖ��_�́C y �̊O�����W��{<x, z> : �g���v��(x, y, z)} �Ƃ��Ē�`���āC ���̌`�� R(a, b) �̊W�A�g����ʏ�� Tarskian ���f�����_�ɂ�����\�� (denotation) �ł���Ƃ��邱�ƂŁC �����I�ɍč\�����邱�Ƃ��ł���D���̍č\���͂܂� Lbase �����I�L�q [LBASE] �Ӗ��_�ɂ����Ă��m���߂��Ă���D
�{�����ł� URI �Q�Ƃ����̕\���C�Ⴆ�C���� URI �� QName �Ȃǂ���\���������@�ɂ��Ăǂ�ȗ�����Ƃ�Ȃ��D �Ӗ��_�ł͂��̂悤�Ȏ���I�Ȗ��́C�O���[�o���ɐ����I�ȉ��炩�̕��@�ʼn�������Ă���ƁC�P�ɉ��肵�Ă���D���̂��߁C��� URI �Q�Ƃ͂��ꂪ�N����Ƃ��ɂ͂��ł������Ӗ����Ƃ邱�Ƃ��ł���Ƃ��Ă���D���l�ɁC�Ӗ��_�ɂ͎��ԓI�ω���ǐՂ���悤�Ȃǂ�ȓ��ʂȗp�ӂ��Ȃ��D URI �Q�Ƃ͂��ꂪ���N����Ƃ������ł� �����Ӗ��ł���Ƃ������Ƃ����肵�Ă���D���ԕω��ɕq���ȈӖ��_��K�ɒ��邱�Ƃ́C �{�����͈̔͂��������ۑ�ł���D
�Ӗ��_�ł� URI �Q�Ƃ��\��������̂ƁCHTTP�v���g�R���ɂ����� URI �Q�Ƃ�p���Ĉ����o����镶����E�F�u�̎����C���邢�͂��̂悤�ȕ����̃\�[�X�ł���Ǝv����G���e�B�e�B�Ƃ̊Ԃɂǂ�ȓ��ʂȊW�����肵�Ȃ��D ���̂悤�ȗv���͈Ӗ��_�I�g���Ƃ��ĕt���������Ă��悢���C�����ŏq�ׂ���`���I�Ӗ��_�ɂ����ẮC���̂悤�� URI �Q�Ƃ̕\�����Ƒ��̃v���g�R���ɂ����Ă���� URI �Q�Ƃ�p���邱�Ƃ̊Ԃɂǂ�ȊW�����肵�Ȃ��D
�Ӗ��_�ł͂��ׂĂ� RDF �����O�����ꂪ�\��������̂̕\���ł���Ƃ��Ă���D �\�����ꂽ���̂� [RFC 2396] �ɂ��������āu���\�[�X�v�ƌĂ�邪�C ���\�[�X �̖{���ɂ��Ă͉������肳��Ă��Ȃ��D �����ł́u���\�[�X�v�Ƃ́u�G���e�B�e�B�v�C���Ȃ킿�_�c�̗̈� (universe of discourse) �ɂ����鉽����\�������ʓI�ȗp���C �̓��`��Ƃ��Ĉ�����D
���O�̍\���I�ɈقȂ镡���̌`�����C���ꂼ��ʂɈ�����DURI �Q�Ƃ͒P�ɘ_���萔�Ƃ��Ĉ�����D
�v���[�����e�����͂��ꎩ�g��\��������̂ƍl�����C���̈Ӗ��͌Œ�ł���D
�^�t�����e�������\��������̂́C���̌^�ɂ��Ȃf�[�^�^�ɂ���Ďʑ�����邻�̕�����̒l�ł���D
RDF �ł� rdf:XMLLiteral
�Ō^�t�����ꂽ���e�����Ɍʂ̈Ӗ�������C
������� 3 �����L�q��������D
���f�����_�I�ȈӖ��_�Ƃ́C�����I�ɏq�ׂ�C���镶��\������Ƃ������Ƃ����E�ɂ��Ẳ������咣����C �Ƃ������Ƃł���C����́C���̕����^�ł���Ƃ�������������ׂ����E�͔z�u����Ă��邱�Ƃ̕ʂ̌������ł���D ����������C�\���Ƃ͐��E�̂�������\�� �Ɋւ������� ���q�ׂ邱�ƂƓ��R�ł���D �P��ŗB��̉��߂L����ɏ\���ȏ���\�����܂�ł���ȂǂƂ������Ƃ́C�����ł͉��肳��Ă��Ȃ����Ƃ𒍈ӂ��Ă����D �ǂ�Ȍ���ł��C�\���ɂ�肽������̐��E�̉��߂������蓾�Ȃ��悤�Ɋ��S�ɐ���ȂǂƂ������Ƃ́C���ʂ͕s�\�ł���D ����䂦�CRDF �O���t�́u���́v�B��̉��߂Ƃ����悤�Ȃ��̂͂Ȃ��D��ʓI�Ɍ����CRDF �O���t���傫����Α傫���قǁC ���E�ɂ��đ��������Ă��邱�ƂɂȂ�C�O���t�̂����\�����^�ł�����߂̏W���͂�菬�����Ȃ�C �\�����ꂽ�O���t��^�Ƃ��鐢�E�̂�����̉\���͂�菭�Ȃ��Ȃ�D
���߂Ɋւ���ȉ��̒�`�͐��w�̌���ɂ�茾���\����邪�C���ꂪ�A����Ƃ���́C�����I�ɂ͉��߂Ƃ͂����Ȃ��� RDF �g���v���ɂ��Ă� ���̐^�U�l�i�^�܂��͋U�j�����߂邽�߂̐��E�̉\�Ȃ�����C�\���E�C�ɂ��Ă��傤�Ǐ\���Ȃ����̏�����������悤�Ȃ��̂ł���Ƃ������Ƃł���D ����� URI �Q�Ƃɑ��Ă͖��O�őz�肳��邠����̂��w�肵�C�������ꂪ�v���p�e�B���w���̂ł���� ���� ���j�o�[�X�ɂ�����e�����ɑ��ăv���p�e�B�����l���w�肵�C �������ꂪ�f�[�^�^�C�v���w�肷��Ȃ炻���f�[�^�^�C�v����`���� ����̌`���ƃf�[�^�^�C�v�̒l�Ƃ̊Ԃ̎ʑ�����`����Ă��邱�Ƃ��w�肷�邱�Ƃōs����D ����͂����Ȃ�����g���v���ɂ��Ă����̐^�U�l�����߂�ɏ\���ȏ��ł���C ����䂦�����Ȃ���O���t�ɂ��Ă��\���ł���D�i����O���t�͈ȉ��̐߂ōl�@�����D�j���������̏��̂ǂꂪ�ȗ����ꂽ�Ƃ��Ă��C �l�����܂�Ȃ�well-formed�ȃg���v�����c���Ă��܂������m�ꂸ�C ���j�o�[�X���̎����̐��m�Ȑ����Ƃ������C���̂ǂ�ȏ����܂��C ���̖{���I�W���ǂ����낤�ƃg���v���̎��ۂ̐^�U�l�Ƃ͖��W�ɂȂ��Ă��܂������m��Ȃ��Ƃ������Ƃ𒍈ӂ��Ă����D
���ׂẲ��߂́C���߂̌�b (vocabulary) �ƌĂ�����O�̏W���Ɍĉ����Ă���C �����ɂ� RDF ���ꎩ�g�Ƃ������� RDF ��b�̉��߂ɂ��Č����ׂ��ł���D�������̌�b�ɂ�����V���{���ɓ��ʂ̈Ӗ������蓖�Ă���߂������Ă��悢�D �������̌�b�̓��ʂȈӖ������L������߂́C���̌�b�ɑ��āC���Ƃ��C�urdf-�����v�Ƃ� �urdfs-�����v�ȂǂƖ��O���t������D ����iRDF ��b���g���܂ށj��b�Ɋւ��ĉ������̗]���ȏ������Ȃ��悤�ȉ��߂��P�� ���߁C���邢�͒P�ɉ��߂ƌĂ��D
RDF �ł͂������̃��e�����`����p����D���e�����̎�ȈӖ��_�I�����́C���̈Ӗ����܂܂�镶����̌`���ɂ���ĂقƂ�nj��肳���Ƃ������Ƃł���D �����݂̌^ URI �Q�Ƃ��Ȃ��v���[�����e�����́C������ł����Ă����邢�� �����������^�O�̃y�A�ł����Ă��C ��ɂ��ꎩ�g���Q�Ƃ�����̂Ɖ��߂����D������̏ꍇ���C���̕�����́u���e����������v�Ƃ��ĎQ�Ƃ����D�������C�^�t�����e�����̏ꍇ�ɂ́C ���̈Ӗ��̊��S�Ȗ��ׂ� RDF ���̂̊O�ɂ����f�[�^�^�C�v���ɃA�N�Z�X�\�ł��邩�ǂ����ɍ��E�����D �^�t�����e�����̈Ӗ��̊��S�ȋc�_���� 5 ���ŏq�ׂ��C�f�[�^�^�C�v�̉��߂̓���̊T�O���Љ���D �e���߂ł́C�^�t�����e�������炻�̉��߂ւ̎ʑ� IL ����`�����D IL �̂�苭�������͂��Ƃ̐߂ɂ����Ċg�������u���߁v�̊T�O�Ƃ��Ē�`�����ł��낤�D
�{������ʂ��āC�ڍׂȈӖ��_��̏������\�Ƃ��Ē����D�\�ɂ͈Ӗ��_�I�������q�ׂ��C �^�ƂȂ�錾�� ������ (valid) ���_���[�����܂܂�C�V���^�b�N�X���ӏ����������D ���̕\�͔w�i�F�ŋ�ʂ����D����畡���̕\�́C�S���ꏏ�ɂ��āC�S�̂̈Ӗ��_�̐����ȗv��ƂȂ�DRDF �Ӗ��_�� RDFS �Ӗ��_�Ɉˑ����Ȃ����Ƃɒ��ӂ��ꂽ���D RDF �Ӗ��_�̂��ׂĂ���1������3���Œ�`�����D RDFS �Ӗ��_�̂��ׂĂ� ��1��, ��3���������4���Œ�`�����D
��b V ���P������ I �̒�`�͈ȉ��̂Ƃ���: 1. ���\�[�X�̋�łȂ��W�� IR , ����� I �̃h���C�����邢�̓��j�o�[�X�ƌĂ��D 2. �W�� IP �C����� I �̃v���p�e�B�̏W���ƌĂ��D 3. IP ����p�W�� IR �~ IR ���Ȃ킿 IR ���� x �� y �̃y�A <x,y> �̏W���̏W���ւ̎ʑ� IEXT �D 4. V ���� URI �Q�Ƃ��� (IR union IP) �ւ̎ʑ� IS �D 5. V ���̌^�t�����e�������� IR �ւ̎ʑ� IL �D 6. ���e�����l�̏W���ƌĂ�CIR �̕����W���Ƃ��Ď��ʂ���� LV �C ����ɂ� V ���̂��ׂẴv���[�����e�������܂܂��D |
IEXT(x) �� x ���O�� (extension) �ƌĂ�C �y�A�̑g�ݍ��킹�ɂ��Ă��̃v���p�e�B�ɑ��Đ^�ł���悤�ȃy�A�̏W���C���Ȃ킿�Q���W�̊O���ł���D �I�u�W�F�N�g�Ƃ��Ă̊W�Ƃ��̊O������ʂ���Ƃ����g���b�N�ɂ���āC���ɏq�ׂ��悤���C ����v���p�e�B�����ꎩ�g�̊O�����ɂ����Ă��悢�悤�ɂȂ�D
LV �� IR �̕����W���Ƃ��邱�Ƃɂ���āC���e�����l���{���ɃG���e�B�e�B�Ƃ��āu���݁v����ƌ����Ă��悢���ƂɂȂ�D ���Ȃ킿�C���e�����l�̓��\�[�X�ł���ƌ����Ă��悢���Ƃɂ��Ȃ�D����������́C���e������ URI �Q�Ƃœ��肳��Ȃ���Ȃ�Ȃ��Ƃ����Ӗ��ł͂Ȃ��D LV �̓v���[�����e�����ɉ����āC���̍��ڂ��܂�ł悢���Ƃɒ��ӂ��ꂽ���DIL �̒l��� LV �ɐ�������̂ł͂Ȃ� IR �ɂ����̂ɂ͋Z�p�I�ȗ��R������D �f�[�^�^�C�v�������߂���Ƃ��C�\���_�I�ɂ͌^�t�����e�������ŏ��������� (inconsistent) �\��������C ��5������������悤�ɁC ���̂悤�Ȉ����^�t���̃��e��������-���e�����l��\������̂ɕK�v������ł���D
���߂ł́C�ǂ̂悤�ɂ��Č�b�̉��߂��C�����Ȃ� RDF �O���t�̐^�U�l�ł��C���̕\�����Ȃ킿�Ӗ��I�ȁu�l�v�����̒��ڂ̉��ʕ\���̍��ɂ�����\���� �ċA�I��`�ɂ���Č��肷�邩���`����D����͂��̎��̌�p�ƂȂ邷�ׂĂ̈Ӗ��I�g���ɂ��K�p�����D RDF �ɓ��ނ̕\���I�Ӗ�������C���O�̓��j�o�[�X�ɂ����鎖����\�����C�g���v���W���͐^�U�l��\������D
I �ɂ����Ċ�� RDF �O���t���\��������͎̂��̃��[���ɂ���čċA�I�ɗ^������D ��������O������O���t�ւ̉��ߎʑ� I ���g���������̂ł���D�����̃��[���i�ƌ�ŏq�ׂ邻���̊g���j�́C RDF �\���̂ǂ�Ȓf�� E �ɂ��Ă��CE �̊e�\���_�I�\���v�f�������ɕ\�����镨���� E �̕\�������`����悤�ɍ�p����D ����́C���̍\���I�ȍċA�ɂ���� RDF �̂ǂ�Ȓf�Ђɂ��Ă����̈Ӗ����`���邱�Ƃ��ł���D
�ȉ��̕\�Ɩ{������ʂ��āC�������͓��ꐫ��\���C�������� <x,y> �� x �� y �̏����y�A��\���DRDF �O���t�\���� RDF �e�X�g�P�[�X���� [RDF-TESTS] �ɋL�ڂ��ꂽ N-�g���v�� �̋L�@��p���ĕ\�����D
���e����������͓�d���p���ł͂���ŕ\������C����^�O�� @
�L����p���ĕ\������C�g���v���́u�R�[�h�h�b�g�v.
�ŏI���D
���� E �� V �ɂ�����v���[�����e���� "aaa" �Ȃ�CI(E) �� aaa �ł��� |
���� E �� V �ɂ�����v���[�����e���� "aaa"@ ttt �Ȃ�CI(E) �� <aaa, ttt> �ł��� |
���� E �� V �ɂ�����^�t�����e�����Ȃ�CI(E) �� IL(E) �ł��� |
���� E �� V �ɂ����� URI �Q�ƂȂ�CI(E) �� IS(E) �ł��� |
���� E �� V �ɂ�������g���v�� s p o |
���� E �����O���t�Ȃ�CE ���̂���g���v�� E' �ɑ��� I(E') �� �U �ƂȂ� E' ������� I(E) �� �U �C�����Ȃ���� I(E) �� �^ �ł���D |
���� RDF �O���t�̌�b������ I �̌�b�ɂ͂Ȃ����O���܂ނȂ�C���Ȃ킿�C�������̃O���t���ŗp����ꂽ�������O�ɁC �P���ɈӖ��_�I�Ȓl�������^�����Ȃ��̂Ȃ�C�����̐^�U�����͏�ɃO���t���̂���g���v���ɁC����䂦���̃O���t���g�ɂ��C�U������ł��낤�D �Ђ邪�����āC����̓O���t���̂ǂ�ȕ\�������̃O���t���̂��ׂĂ����O�́C���ې��E�̉������w���Ƃ������Ƃł���D ��L�Ō�̏����͋�O���t�i�g���v������̏W���j�͐^�Ƃ������Ƃ��Ӗ�����D
�v���[�����e�����̕\�����̂͏�� LV ���ɂ��邱�ƁC�����Ăǂ�Ȑ^�ł���g���v���̃T�u�W�F�N�g�ƃI�u�W�F�N�g�� IR ���ɂ��邱�Ƃ𒍈ӂ��Ă����D ������C����O���t���Ƀv���f�B�P�C�g�Ƃ��Ă��T�u�W�F�N�g���邢�̓I�u�W�F�N�g�Ƃ��Ă������ URI �Q�Ƃ� ���̃O���t���[������ǂ�ȉ��߂ɂ����Ă� IR �� IP �̋��ʏW�����̉�����\�����Ȃ���Ȃ�Ȃ��D
�����̗�Ƃ��āC�l�H�I�Ȍ�b {ex:a
, ex:b
, ex:c
, "whatever"
, "whatever"^^ex:b
}
�ɑ��鏬���ȉ��߂��ȉ��Ɍf����D���̃��j�o�[�X�ɂ�����e�����ȁu���v���w���̂ɐ�����p����D
����͉��߂͐��w�I�ɉ��߂����ׂ��ł���Ƃ����Ӗ��ł͂Ȃ��C���j�o�[�X���̕��̐����Ƃ͖��W�ł���Ƃ������Ƃ���苭�����邽�߂̂��̂ł���D
LV �͂��̈Ӗ��_�I���������W���ł���Ȃ�ł��ǂ��D �i����ƈ��������̗�ɂ����āCgreater-than �� less-than
�V���{���͕����̖ړI�̂��߂ɗp������D���Ȃ킿���ۃy�A�� N �g���v�����w���ꍇ�CN �g���v���\���_�ɂ��������� URI
�Q�Ƃ��͂ޏꍇ�C�����Ďʑ��������Ƃ��̖��Ƃ��Ă̏ꍇ�ł���D�j
IR = LV union {1, 2}
IP={1}
IEXT: 1=>
{<1,2>,<2,1>}
IS: ex:a=>
1, ex:b=>
1,
ex:c=>
2
IL: "whatever"^^ex:b
=>
2
Figure 1:
������ߗ�D����� RDF �O���t�̊G�ł͂Ȃ����Ƃ𒍈ӂ��Ă����D
���̐}�� LV �̖����̃����o�[�������Ă͂��Ȃ��D
���̉��߂͎��̃g���v����^�Ƃ���D
<ex:a> <ex:b> <ex:c> .
<ex:c> <ex:a> <ex:a> .
<ex:c> <ex:b> <ex:a> .
<ex:a> <ex:b> "whatever"^^<ex:b>
.
�Ⴆ�C���� <I(ex:a
),I(ex:c
)> ��
IEXT(I(<ex:b
>)) ���ɂ����, ���Ȃ킿�C���� <1,2> �� IEXT(1) ���ɂ���C
I(<ex:a> <ex:b> <ex:c> .
) �� �^ �ł���D���̂Ȃ�� IEXT(1) ��
{<1,2>,<2,1>} �ł���� <1,2> ���܂�ł���C����� I(<ex:a
<ex:b> ex:c>
) �ł��邩��D
�S�Ԗڂ� �g���v�� �̐^�́C�ǂ��炩�ƌ����Ό^�t�����e�����ɑ��Ă����őI�����ꂽ�ŗL�̉��߂̌��ʂł���D
���̉��߂ɂ����� IP �� IR �̕����W���ł���C����� RDF �Ӗ��_���߂ł͓T�^�I�ł͂��邪�C�K�������Ƃ����킯�ł͂Ȃ��D
���̃g���v���͋U�ƂȂ�D
<ex:a> <ex:c> <ex:b> .
<ex:a> <ex:b> <ex:b> .
<ex:c> <ex:a> <ex:c> .
<ex:a> <ex:b> "whatever" .
�Ⴆ�C���� <I(ex:a
), I(<ex:b>
)> ���Ȃ킿
<1,1> �� IEXT(I(ex:c
)) ���ɂ���� I(<ex:a> <ex:c>
<ex:b> .
) �� �^ �ł��邪�C I(ex:c
)��2 �� IP ���ɂ͂Ȃ��āC2 �Ɋւ��� IEXT
�͒�`����Ă��Ȃ����炻�̏����͎��s���� I(<ex:a> <ex:c> <ex:b> .
) ��
�U �ƂȂ�D
���̃v���p�e�B�O���̓v���[�����e�������܂ނǂ�ȃy�A���܂ނ��Ƃ͂Ȃ��̂ŁC�v���[�����e�������܂ނ��ׂẴg���v���͋U�ƂȂ�
����͂��̌�b�̂ЂƂ̉\�ȉ��߂ɉ߂��Ȃ��Ƃ������Ƃ��������Ă����D���Ƃ��C�������̉��߂��C���̃v���p�e�B�O�����P�ł͂Ȃ��Q�ł���悤�ɏC�������Ə�L�g���v���Ő^�ƂȂ�悤�Ȃ��̂͂Ȃ��D
���̗�̓O���t�̃g���v�����̃v���f�B�P�C�g�̈ʒu�ɂ���悤�Ȃǂ�� URI �Q�Ƃ� IP ���ɂ͂Ȃ����̂Ɏʑ������悤�ȉ��߂́C���̃O���t���U�Ƃ���Ƃ������Ƃ������Ă���D
�u�����N�m�[�h�͂��̕��̖��O���g������C�������������肷�邱�ƂȂ��C�����P�ɕ��̑��݂��������̂Ƃ��Ĉ�����D�i����̓u�����N�m�[�h���u���m�ȁvURI �Q�Ƃ��w���Ƃ������Ƃł͂Ȃ��D���Ƃ��C���̕����Q�Ƃ��� URI �Q�Ƃ�����Ƃ������Ƃł͂Ȃ��D�t�^ A �ɂ��� �X�R������ �̋c�_�����̓_�Ɗ֘A����D�j
���߂̓u�����N�m�[�h���܂ރO���t�̐^�U�l�����ł���D�����܂ł̗��_�ł̓u�����N�m�[�h�ɂ��ĉ��̈Ӗ������Ă��Ȃ������̂ŁC����ɂ͉����V���Ȓ�`���K�v�ł���D I �͉��߂� A �̓u�����N�m�[�h�̂���W������ I �̃��j�o�[�X�ւ̎ʑ����Ƃ��悤�D������ I+A ������g�����߁C�u�����N�m�[�h�̉��߂�^���邻����������� I �ƂȂ�悤�Ȋg�����߁C�Ƃ���D blank(E) �� E ���̃u�����N�m�[�h�W���ƒ�`����D����Ə�L���[���̓O���t���Ƀu�����N�m�[�h������Ƃ��C���̓�̐V�������[�����܂ނ悤�Ɋg�������D
���� E ���u�����N�m�[�h�ŁC���� A(E) ����`����Ă���C [I+A](E) �� A(E) |
���� E �� RDF �O���t�Ȃ�Cblank(E) ���� IR �ւ̂���ʑ� A' �ɑ��āC [I+A'](E) �� �^ �Ȃ�� I(E) �� �^ �C�����Ȃ���� I(E) �� �U |
����͉��߂̒�`��ύX�͂��Ȃ��Ƃ������Ƃɗ��ӂ��ꂽ���D����͈ˑR�Ƃ��ē��� IR�CIP�CIEXT�CIS�CLV�CIL �̒l����\������Ă���D����͂����P�ɂ�����߂̂��ƂŊ��O���t�ɑ���^�U�l�������߂��C���Ƃ��u�����N�m�[�h���g�̉��߂���Ȃ��Ă��C �u�����N�m�[�h�t���̃O���t�ɂ��^�U�l�Ă���悤�ɕ\�����̒�`�̂��߂̃��[�����g�����邾���ł���D�u�����N�m�[�h���g�͊����� well-defined �ȃG���e�B�e�B�ł��邱�Ƃɂ����ӂ��ꂽ���D����͉��߂ɂ��\�������^�����Ȃ��Ƃ������Ƃ������C���̃m�[�h�Ƃ͈قȂ��Ă���D ����̓u�����N�m�[�h�ɂ́u�O���[�o���v�ȁi���Ȃ킿�u�����N�m�[�h���܂܂��O���t�̊O���ł́j�Ӗ����Ȃ��Ƃ��������̔��f�ł���D
�Ⴆ�C���̃g���v���ɂ���Ē�`�����O���t�� figure 1 �Ɏ����ꂽ���߂ł� �U �ł���D
_:xxx <ex:a> <ex:b> .
<ex:c> <ex:b> _:xxx .
���̂Ȃ�C���� A' �����̃u�����N�m�[�h�� 1 �ւ̎ʑ��Ƃ���ƁC�P�Ԗڂ̃g���v���� I+A' ���ŋU�ƂȂ邵�C�������ꂪ 2 �ւ̎ʑ��Ƃ���ƁC �Q�Ԗڂ̃g���v�����U�ƂȂ邩��ł���D
�����̃g���v���e���P��̃O���t�ƍl����C����͂��ꂼ�� I ���Ő^�ƂȂ邱�Ƃɒ��ӂ��ꂽ���D�������C�S�̂Ƃ��Ă͂����ł͂Ȃ��D�����Ă�����̃g���v���ňقȂ�m�[�hID���p�����āC��ł͂Ȃ���̃u�����N�m�[�h��L���� RDF �O���t�ł������Ȃ�CA' �͈�̃m�[�h�� 2 �ɁC���̈�� 1 �Ɏʑ����邱�Ƃ��ł��āC���̌��ʃO���t�͉��� I �̉��Ő^�ƂȂ邱�Ƃ��ł���D
���̂��Ƃ́C�u�����N�m�[�h��L���� RDF �O���t�ɂ����āC�O���t�S�̂��X�R�[�v�Ƃ��āC ���ׂẴu�����N�m�[�h�����ʓI�ɂ͑����ʕϐ��Ɠ����Ӗ��Ƃ��Ĉ����Ƃ������Ƃł���D N �g���v���\���ɂ�����\���ɂ����ẮC����͗v����ɁC���ʎq���O���t�ɑ������� N �g���v�������̊O���ɒu���Ƃ����֖@�Ɠ������Ƃł���D ���̔��ʁC��̃O���t�̃��j�I�������Ƃ���������}�[�W����Ƃ�������̊Ԃ� �����Ȃ������d�v�ȋ�ʂ�����Ƃ������ƂɂȂ�D ��̃O���t�̒P���ȃ��j�I���́C�����̃O���t�Ɋ܂܂��ǂ�ȃu�����N�m�[�h�ł����̓��ꐫ��ۂ����܂܂́C �O���t���̂��ׂẴg���v���̘A���iconjunction, and�j�ɑ�������D����̓O���t���̏��̏��������炳���ꍇ�C���Ȃ킿�C �Ⴆ���鐄�_���[�����O���t�Ƀg���v����lj�����ȂǂƂ������C �Е��������Е����牽�炩�����������_�v���Z�X�ɂ���ē������悤�ȏꍇ�ɂ͓K�ł���D ��̃O���t���}�[�W����Ƃ������Ƃ́C���ꂼ��̃O���t���̃u�����N�m�[�h�����̃O���t���ő����ʂ���Ă���悤�������Ƃ������Ƃł���C ��̃O���t�̃u�����N�m�[�h�𑼂̃O���t���͂ތ��ʎq�̃X�R�[�v�ɖ������܂���Ƃ������Ƃ͋�����Ȃ��D ����̓O���t���قȂ���������炳���ꍇ�ł��Е��̃O���t���̃u�����N�m�[�h�������Е��̃O���t���̃u�����N�m�[�h�� �����G���e�B�e�B���Q�Ƃ��Ă���Ƃ����؋����Ȃ��ꍇ�ɁC�K�ł���D
����܂ł̗p��̊��K�ɂ��������āC���� I(E) �� �^ �Ȃ�� I �� E ���[������ �Ƃ����D���������� RDF �O���t�W�� S �̂ǂ̂悤�ȃ����o�[���[������ǂ̂悤�ȉ��߂��܂�����O���t E ���[������̂Ȃ�CS �� E ���i�P���Ɂj ���ӂ��� �Ƃ����D��q����߂ɂ����āC���̊T�O�����߂̑��̃N���X�ɓK������邪�C���̐߂ɂ����Ắu���Ӂv�Ƃ͒P�����ӂƂ��ė��������ׂ��ł���D
���ӂ̓��f�����_�Ƃ��Ă̈Ӗ��_���������E�̉��p�Ɍ�������̂Ɍ���I�Ȍ��ƂȂ�A�C�f�A�ł���D��ɏq�ׂ��悤�ɁC�\������Ƃ������Ƃ͕\���ɐ^�����蓖�Ă���߂𐢊E�ɂ��Ď咣����Ƃ������Ƃł���D���� A �� B �ӂ���̂Ȃ�CA ��^�Ƃ���ǂ̂悤�ȉ��߂� B ��^�Ƃ���D���������āCA �̕\���͂��ł� B �̕\���Ɠ����u�Ӗ��v���܂�ł���DB �̈Ӗ��͂Ƃɂ������ɂ� A �̈Ӗ��Ɋ܂܂�Ă���C���邢�͕�ۂ���Ă���ƌ����Ă�������������Ȃ��D���� A �� B �����݂��ӂ���̂Ȃ�C�ǂ��炩��\�����邱�Ƃ͐��E�ɂ��ē��������咣����Ƃ����_�ŁC�����͓������Ƃ��u�Ӗ��v����D���̏����ł����Ƃ��N���ɖʔ������Ƃ́C A �� B �̕\�����قȂ�Ƃ��ł���D���̂Ƃ��̔��ӂ̊W�́C����A�v���P�[�V�������Е���������Е��𐄘_���邠�邢�͐������邱�Ƃ𐳓������邽�߂́C�܂��ɓK�ȈӖ��_�I���ƂȂ�D�[�����C���ӁC�����Đ������̊T�O��ʂ��āC�`���I�Ӗ��_�́u�Ӗ��v�̊T�O�Ɍ����Ȓ�`��^���C�m���̕\���Ɋւ���ϊ��ɂ���ĈӖ����ۑ�����邩�ۂ������肷��v�Z��@�ɒ��ɊW���Ă���D
����O���t E �������ʂ̃O���t S ����\������ߒ��́C���ׂĂ̏ꍇ�� ���� S �� E �ӂ���̂Ȃ�C�i�P���Ɂj�����ł��� �ƌ�����D �����Ȃ�������ł���D���ȉߒ��ł���Ƃ������Ƃ͂��̌��_���U�ł���Ƃ������Ƃ��Ӗ����Ȃ����C �����ł������Ƃ��^��ۏ���̂ł��Ȃ��Ƃ������Ƃ𒍈ӂ��Ă����D�������Ȃ���C�������͐錾�^���ꂪ�ł���ŗǂ̕ۏ�\������D�����^�̓��͂��^������C���̌��ʂƂ��ċU��������邱�Ƃ͂������Ė����D
���̐߂ł͒P�����ӂ����������_�ɂ��āC2,3 �̊�b�I�Ȍ��_��^����D�P�����ӂ́C��r�I�P���ȍ\����̔�r�ΏƂɂ��F�m�ł���D RDF �ɂ�����P���ɐ����Ȑ��_�̓�̊�b���́C�_���\������C(P and Q) ���� P �𐄘_���邱�ƂƁC foo(baz) ���� (exists (?x) foo(?x)) �𐄘_���邱�Ƃł���D
�����̌��_�͒P�����ӂ݂̂ɂ����K�����ꂸ�C��q�̐߂œ�������锺�ӂ̊g���T�O�ɂ͓��Ă͂܂�Ȃ��D�ؖ��́C���ׂĕ��G�ł͂Ȃ����C�t�^ A�ɂ���C�������鑼�̔��ӂ̐������L�q���Ă���D
��O���t�̃����}�D �g���v���̋�W���͂����Ȃ�O���t�ɂ���Ă����ӂ���C���ꎩ�g�ȊO�̂����Ȃ�O���t�����ӂ��Ȃ��D [Proof]
�T�u�O���t�̃����}�D �O���t�͂����T�u�O���t�����ׂĔ��ӂ���D [Proof]
�C���X�^���X�̃����}�D �O���t�͂��̂����Ȃ�C���X�^���X�ɂ���Ă����ӂ����D [Proof]
�}�[�W�Ɣ��ӂƂ̊W�́C���̒�`���ȒP�������ł���D
�}�[�W�̃����}�D RDF �O���t�̏W�� S �̃}�[�W�� S �ɂ���Ĕ��ӂ���CS �̂ǂ̃����o�[�����ӂ���D[Proof]
����́C�O���t�̏W�������f�����_�Ɋւ������ł͂��̃}�[�W�ƁC���Ȃ킿��̃O���t�Ƃ��āC�����Ɉ����Ă悢�Ƃ������Ƃ��Ӗ����Ă���D����͗p��̎g�������ȒP�ɂ���̂ɂ����炩���ɗ��D�Ⴆ�C��L�̂悤�ɁCS �̒�`�� E �ӂ���C�Ƃ����̂� S ���[�����邷�ׂẲ��߂� E ���[������Ƃ��CS �� E �ӂ���ƌ��������邱�Ƃ��ł���D
1.5 �߂Ɏ����ꂽ���͂����ł͂Ȃ����C��ʓI�ɂ́C�O���t�W���̒P���ȃ��j�I���͂��̏W���ɂ���Ĕ��ӂ����D
�P�� RDF ���_�ɑ����Ȍ��ʂ͈ȉ��̂Ƃ���D
���}�����}�D S �́C�������̂���T�u�O���t�� E �̃C���X�^���X�ł���Ȃ�C�܂����̂Ƃ��Ɍ���C�O���t E �ӂ���D[Proof]
���}�����}�͒P�� RDF ���ӂ��\����̍l�����Ƃ��Ċ��S�ɓ����t����D RDF �O���t�̂���W�����ʂ̃O���t�ӂ��邩�ǂ����킩�邽�߂ɂ́C ���Ƃ̃O���t�W���̃}�[�W�̕����W���ƂȂ锺�ӃO���t�̃C���X�^���X�̑��݂��`�F�b�N����悢�D �������C�{���Ƀ}�[�W���\������K�v�͂Ȃ��D�A�� E ����t�����ɍl����̂Ȃ�C�����I�Ȏ�@�������āC�T�u�O���t�E�}�b�`���O�̉ߒ��ɂ����ău�����N�m�[�h��ϐ��Ƃ��Ĉ����āC�A�� �O���t�ӂ�������, S �����O�� �O���t�̖��O�Ɂu�}�b�`�v����悤�ɑ���������悢�D�����T�u�O���t�E�}�b�`���O�̃A���S���Y��������������C���}�����}�͂��̉ߒ��������������S�Ȃ��̂ɂ���D ���S�ȃT�u�O���t�E�}�b�`���O�̃A���S���Y��������C�܂� RDF ���ӂ�����\�ł��邱�ƁC���Ȃ킿�����Ȃ�L���W�� S �Ƃ����Ȃ�O���t E �ɑ��Ă� S �� E �ӂ��邩�ǂ������߂邱�Ƃ��ł���悤�ȁC��~����A���S���Y��������Ƃ������ƂɂȂ�D
���̂悤�ȕϐ������ߒ��͒�Ă��ꂽ���ӂ����_ �ɓK�������Ƃ��ɂ̂ݓK�ł���D����͕�����\�����Ȃ킿���ꂪ�^�ł���Ǝ咣����̂ł͂Ȃ��C�S�[�����邢�̓N�G���Ƃ��ėp���邱�Ƃɓ������D�������� RDF �������\�����ꂽ�̂Ȃ�C���̌��ʂł���O���t�͕\���ɂ���Đ������Ȃ������m��Ȃ��̂ŁC�u�����N�m�[�h�̂����ꂩ��V�����l�ɑ������Ă����ł��邩���m��Ȃ��D
���}�����}����ӂɊւ���N���C�e���A�����ړI�Ɍ��_�����D
�����������}�D E �͂��� �Ȗ�� �O���t�ŁC E' �� E �̐^�̃C���X�^���X���Ƃ��悤�D���̂Ƃ� E �� E' �ӂ��Ȃ��D[Proof]
�ĂсC����͒P�����ӂɂ̂ݓK������邱�Ƃ𒍈ӂ��Ă����D���̕����̎c��Œ�`������b�̔��ӊW�ɂ͓K������Ȃ��D
���ӂɊւ��邢�����̊�{�I��������L��`���璼�ړ�����邪�C���S�������Ă����ŏq�ׂĂ����D
�P���������}�D S �� S' �̂��镔���O���t�Ƃ��āCS �� E' �ӂ���Ƃ���ƁC���̂Ƃ� S' �� E �ӂ���D [Proof]
�O������̗L���W������ʏ퓱�����L���ȕ\���Ɋւ��鐫�����R���p�N�g�� (compactness) �ƌĂ��D���ӂ̔�R���p�N�g�T�O���x������Z�}���e�B�b�N���_�͌v�Z�\�Ȑ��_�V�X�e���Ƃ͑Ή����Ȃ��D
�R���p�N�g�������}�D���� S �� E �ӂ��āCE ���L���O���t�Ȃ�CE �ӂ��� S �̗L�������O���t S' ������D
�P�����߂ƒP�����ӂ́C�O���t���̖��O�ɓ��L�ȈӖ��ɂ��ĉ��璍�ӂ��Ȃ��Ƃ��ɓ����� RDF �O���t�̈Ӗ��_�ł���D����̌�b��p���ď����ꂽ RDF �O���t�̈Ӗ���S�����邽�߂ɂ́C���ʂ̓O���t���̓���� URI �Q�Ƃƌ^�t�����e�����ɂ�苭���Ӗ���t�^����Ӗ��_�I����������ɒlj����邱�Ƃ��K�v�ł���D����̌�b�Ɋւ�����ʂ̈Ӗ��_�I��������������߂́C��ʓI����b���� (vocabulary interpretation) �ƌĂ��D��b���ӂƂ́C���̂悤�Ȍ�b�̉��߂Ɋւ��锺�ӂ̂��Ƃł���D���̂悤�ȉ��߂̂�苭���T�O�͖��O��Ԃ̃v���t�B�b�N�X��p���Ď�����C�ȉ��ɂ����āCrdf-���� �Ƃ�rdfs-���� �Ȃǂ̂悤�ɌĂ��D�e�X�̏ꍇ�ɂ����āC�Ӗ����������ꂽ��b�ƌ�b�Ɋ֘A������ʂȏ������ڍׂɋL�q�����D
RDF ��b�CrdfV�C�� rdf:
���O��Ԃɂ����� URI �Q�Ƃ̏W���ł���D
RDF ��b |
rdf:type
rdf:Property rdf:XMLLiteral rdf:nil rdf:List
rdf:Statement rdf:subject rdf:predicate rdf:object rdf:first rdf:rest
rdf:Seq rdf:Bag rdf:Alt rdf:_1 rdf:_2 ...
rdf:value |
rdf-������
rdfV
�ƁC RDF �Ƀr���g�C�����ꂽ�f�[�^�^�C�v�ł��邪�C�^ rdf:XMLLiteral
�Ō^�t�����ꂽ���e�����C�ɓ��ʂȈӖ��������d�ˍ��킷�D���̃f�[�^�^�C�v�ɂ��Ă�RDF Concepts and
Abstract Syntax ���� [RDF-CONCEPTS]
���� ���S�ɋL�q����Ă����D
rdf:XMLLiteral
�̎������ɋL�q����Ă���������������� sss �� well-typed XML ���e����������
�ƌĂ��D���̑Ή�����l�̓��e������ XML �l �ƌĂ��D well-typed XML ���e������ XML
�l�́C���m�ɂ��̂悤�ȃ��e������ XML ���e����������� 1 �� 1 �Ή����Ă��邪�C���ꎩ�g�͕�����ł͂Ȃ��D���̃��e����������
well-typed �ł���悤�� XML ���e�����́C well-typed XML ���e�����ƌĂ�C����ȊO�̃��e������
ill-typed �ƌĂ��D
��b V �� rdf-���� �́C�ȉ��̕\�ɋL�q���ꂽ���ʏ����ƁC���������\���̂��ׂẴg���v������ (V union rdfV) ���P������ I �ł���D �����g���v���� RDF �����g���v�� �ƌĂ��D
�ŏ��̏����́CIP
���v���p�e�B I(rdf:type
) �̒l�CI(rdf:Property
)
��L������߂̃��j�o�[�X���̃��\�[�X�W���Ƃ��Ē�`����Ƃ����悤�Ɍ����Ƃ��ł���D���̂悤�ȃ��j�o�[�X�̕����W���� RDFS �̉��߂̒��S�ƂȂ�D���̏�����
IP �� IR �̕����W���ł��邱�Ƃ�v�����邱�Ƃɒ��ӂ��ꂽ���D �O�Ԗڂ̏����́Cill-typed
XML ���e���������e�����l�ȊO�̂��̂�\�����邱�ƂɂȂ�C���ꂪ ill-formed �Ȍ^�t�����e�����������W���I�ȕ��@�ł���D
��S���ȉ��ŋL�q����� rdfs-�����́C RDF ��b�ŗp������v���p�e�B�ɂ���ɈӖ��_�I���� (�l��ƒ�`������j�����蓖�Ă邪�C���̐߂ŋL�q���ꂽ�����ɓK�����Ȃ���Ȃ�Ȃ� �������������邱�ƂŁC���̈Ӗ��_�I�g���ɂ�肻���̈Ӗ�������ɐ�������悤�ȏ���������ɏd�ˍ��킹�Ă� �悢�D
�Ⴆ�C�ȉ��� rdf-���߂� figure 1 �̒P�����߂� V �� rdfV���܂��ꍇ�Ɋg�����Ă���D ���̗�ł͊ȒP�̂��߂ɁCXML ���e�����͖��������D
IR = LV union {1, 2, T , P}
IP = {1, T}
IEXT: 1=>
{<1,2>,<2,1>},
T=>
{<1,P>,<T,P>}
IS: ex:a=>
1, ex:b=>
1, ex:c=>
2, rdf:type=>
T, rdf:Property=>
P,
rdf:nil=>
1, rdf:List=>
P,
rdf:Statement=>
P, rdf:subject=>
1,
rdf:predicate=>
1, rdf:object=>
1,
rdf:first=>
1, rdf:rest=>
1,
rdf:Seq=>
P, rdf:Bag=>
P,
rdf:Alt=>
P, rdf:_1, rdf:_2, ... =>
1
Figure 2: ����
rdf-���߁D
IEXT(T) �� {<1,2>,<T,2>} �Ƃ��āC���j�o�[�X���� P ����荞�܂Ȃ����邱�Ƃ��ł���̂ŁC���̗�͐�̗���g�������ŏ� rdf-���߂ł͂Ȃ��D��ʂɁC������ߒ��ɗ^����ꂽ�G���e�B�e�B�͗v�����ꂽ�Ӗ��_�I�����Ɉᔽ���Ȃ�������ɂ����āC�����ɂ������� '����' ���ʂ������Ƃ��ł���D���Ƃ��C��L���߂̓v���p�e�B�����X�g�ɂ�蓯�肷�邪�C�������ʂ̉��߂͂��̂悤�ȓ���ł͂Ȃ������m��Ȃ��D
�ǂ�� rdf-���� ���P�����߂ł���D '���ʂ�' �\�����P���Ȗ����������邱�Ƃ�W���͂��Ȃ��D
S �̂ǂ̃����o�[���[�����邷�ׂĂ� rdf-���߂� E ���[��������Ƃ��CS �� E �� rdf-���� ����D���̌���������Q���� �P�������̌������ɕ���������ł��邪�C�P�����߂̂�����rdf-�����ƌ��������Ă���D Rdf-���ӂ���b�����̈��ł���D
��Q���ɂ����郌���}�����ׂ� rdf-���ӂɂ����Ă͂܂�킯�ł͂Ȃ��Ƃ������Ƃ����Ď�邱�Ƃ͗e�Ղł���D���Ƃ��C�g���v��
rdf:type rdf:type rdf:Property .
�͂��ׂĂ�rdf-�����ɂ����Đ^�ł���C��O���t�ɂ���� rdf-���ӂ���āCrdf-���ӂɑ�����}�����}�Ɩ�������D 7.2 ���ł� RDF ���ӂ����m���邽�߂̌����ȏ������L�q����D
RDF �̈Ӗ��_�I�����͒��S�I�� RDF ��b�̈Ӗ��ɂ̂����Ȍ`���I������d�ˍ��킷�̂ŁCrdf-���ӂ�rdf-�������c��̌�b�ɂ���ɕω��������N�������Ƃ͂Ȃ��D����ɂ̓R���e�i�ƕ���ꂽ�R���N�V�������L�q���邱�Ƃ��Ӑ}���ꂽ��b��CRDF �O���t�̋L�q���g���v���ŋL�q�\�ɂ��邽�߂̋�̉� (reification) ��b���܂܂��D���̐߂ł́C���̌�b�̈Ӑ}���ꂽ�Ӗ��ɂ��ă��r���[���C�`���I���f�����_�ɂ���Ďx������Ȃ������I���_�ɂ��ďq�ׂ�D�Ӗ��_�I�g���͂����̈Ӑ}���ꂽ�Ӗ��ɓK�����Ă����b�̌`���I���߂𐧌����Ă��悢�D
�`���I�Ӗ��_���炱���̏������ȗ�����̂͌����� RDF �g�p�ɂ�����ύX�ɓK�������āC�`���I RDF ���ӂ̃`�F�b�N�̎����H�������ȒP�ɂ��邽�߂̐v��̌���ł���D�Ⴆ�C�����ł� RDF �R���N�V������b�̎����ɂ����ē��ʂȎ葱���I�Z�p��p���邱�Ƃ����肵�Ă��悢�D
RDF reification ��b |
rdf:Statement rdf:subject rdf:predicate
rdf:object |
�Ӗ��_�I�g���������̌�b�̉��߂����̂悤�ɐ������Ă��悢�D���Ȃ킿�C�g���v����
aaa rdf:type rdf:Statement .
�͒��x I(aaa) ������RDF�������̂���RDF�g���v�����g�[�N���ł���Ƃ��C���̂悤�ȕ\�����ꂽ�g���v���ɓK�����ꂽ�Ƃ��ɎO�̃v���p�e�B�����̃g���v���̂��ꂼ��̍\���v�f�Ɠ����l�����Ƃ��ɐ^�ł���ƁD
����͎��̓��RDF�O���t���l���邱�ƂŐ����ł���D�ŏ��͈�̃g���v���ł���C
<ex:a> <ex:b> <ex:c> .
�����ē�ڂ͈ȉ��ł���D
_:xxx rdf:type rdf:Statement .
_:xxx rdf:subject <ex:a>
.
_:xxx rdf:predicate <ex:b> .
_:xxx rdf:object <ex:c>
.
���̂Q�Ԗڂ̃O���t�͍ŏ��̃O���t�̃g���v������̉��ƌĂ�C ���̍ŏ��̃g���v�����Q�Ƃ��邱�Ƃ��Ӑ}����Ă���m�[�h - �Q�Ԗڂ̃O���t�̃u�����N�m�[�h - �́C����킵�����ƂɁC ��̉����ꂽ�g���v�� (reified triple) �ƌĂ�� (�u�����N�m�[�h�ł����Ă�URI�Q�Ƃł����Ă��悢)�D ��̉���b�ňӐ}���ꂽ���߂ł́C�Q�Ԗڂ̃O���t�́C���̋�̉����ꂽ�g���v�����C ������ۂ�RDF�������ɂ���ŏ��̃O���t�̃g���v���̃g�[�N�����Q�Ƃ���悤�ɉ��߂���邱�ƂŁC���� I �ɂ����Đ^�ƂȂ�D �������C���̃g�[�N���͐�����RDF�\���_���Ƃ��āCI ��p���Ă��̃g�[�N�����C���X�^���V�G�[�g����\���_�I�ȃg���v�������߂��āC ���ʁC���̃g���v���̃T�u�W�F�N�g�C�v���f�B�P�C�g�C�I�u�W�F�N�g����̉��ɂ���ċL�q���ꂽ�g���v���Ɠ����l�ɉ��߂������̂Ƃ��Ă���D ���̂��Ƃ͌`���I�ɂ͎��̂悤�ɏq�ׂ邱�Ƃ��ł��邩���m��Ȃ��D <x,y> �� x ��RDF�g���v����
aaa bbb ccc .
�̃g�[�N���ŁC���� y �� I(aaa) �ł���Ƃ��ɁC�ȉ��v���f�B�P�C�g�ƃI�u�W�F�N�g�ɂ��Ă����ꂼ�ꓯ�l�ł���Ƃ��ɁC �O�� IEXT(I(rdf:subject
)) �̗v�f�ƂȂ�D
rdf:subject
�v���p�e�B�̒l�̓T�u�W�F�N�gURI�Q�Ǝ��̂ł͂Ȃ����̉��߂ł���C
���������Ă��̏����͂Q�i�K�̉��߂̃v���Z�X���܂�ł���Ƃ������Ƃ𒍈ӂ��Ă����D
���Ȃ킿�C��̉����ꂽ�m�[�h - ��̉��̃g���v���̃T�u�W�F�N�g - �����̃g���v�����Q�Ƃ���Ƃ������߂ł���C
���ꂩ��RDF�\���_�ɂ��������Ă��̃g���v���������āC���̃T�u�W�F�N�g�̕\�����邽�߂ɂ�����x���ߎʑ���K������D
���̂��Ƃ́C�g���v���̃g�[�N�����C������߂̃��j�o�[�X IR ���ɑ�P���̃G���e�B�e�B�Ƃ��đ��݂���Ƃ������Ƃł���D
�܂Ƃ߂�ƁC��̉��̈Ӗ��́C�ŏ��̃O���t���Ӗ�������͉̂��ł��Ӗ�����悤�ȃg���v���g�[�N�����܂ޕ��������݂���Ƃ������Ƃł���D
���̋�̉���b�̗����̎d���́C���p�̌`���Ƃ��Ă̋�̉��̉��߂ł͂Ȃ��C
��̉��̓g���v���̃g�[�N���ƃg���v�����Q�Ƃ��郊�\�[�X�Ƃ̊Ԃ̊W���L�q������̂Ƃ������Ƃł���D
��̉��͒����I�����u����RDF�̂P�����̎������v�Ƃ����̂ł͂Ȃ��C�u����RDF�̂P�͂����̂��̂ɂ��Č���Ă���v�Ɠǂނ��Ƃ��ł���D
�����ł̈Ӗ��_�I�g���́C��̉����ꂽ�g���v�� - ��L��ł� I(_:xxx
) - ���C
����̃g�[�N�����Ȃ킿(���ۂ̂��邢�͑z�����)RDF�����ɂ����邠��g���v���̎����̂ł����āC
���@�I�`���Ƃ��Ă� '���ۓI��' �g���v���ł͂Ȃ��C�Ƃ������Ƃł���D
�����T�u�W�F�N�g�C�v���f�B�P�C�g�C�I�u�W�F�N�g�̐�����L����悤�ȃG���e�B�e�B���������邩���m��Ȃ��D
��̃O���t������g���v���W���Ƃ��Ē�`����Ă��Ă��C�قȂ镶�����ɓ����g���v���̍\����L����悤�ȃg�[�N������������Ƃ������Ƃ��N���肦��D
�������āC��L�Q�Ԗڂ̃O���t���̃u�����N�m�[�h���ŏ��̃O���t���̃g���v�����Q�Ƃ���̂ł͂Ȃ���
�����\���̉����ʂ̃g���v�����Q�Ƃ��Ă���Ǝ咣���邱�Ƃ��L�蓾��D���̋�̉��Ɋւ�����ʂ̉��߂́C
�\���̓��t��R�����̂悤�Ȑ�������̉����ꂽ�g���v���ɓK�����āC
����̃C���X�^���X���Ȃ킿����g���v���̃g�[�N�����Q�Ƃ��邽�߂����ɈӖ�������悤�ɑI�����ꂽ���̂ł���D
RDF�̓K����RDF�������̃g���v���g�[�N�����Q�Ƃ����̉����g�p���邯��ǂ��C���̕����Ƃ��̋�̉��Ƃ̊W�� ������RDF�O���t�\���_ (RDF/XML Syntax Specification (Revised) [RDF-SYNTAX]���ɋL�q���ꂽ RDF/XML�\���_�ł́Crdf:ID �����͂���g���v���̋L�q���ŗp�����āC ���̒��ł͋�̉����ꂽ�g���v��������XML�����̃x�[�XURI�ƃt���O�����g�Ƃ��Ă�rdf:ID�̒l����\�������URI �ł���悤�ȋ�̉������邱�Ƃ��ł���) �̊O���ʼn��炩�̎�i�ɂ���ĕێ炳��Ȃ���Ȃ�Ȃ��D ����g���v���̂����̉��̐錾���Öقɂ��̃g���v�����g��錾����킯�ł͂Ȃ��̂ŁC����g���v���Ƃ��̋�̉��̊Ԃʼn��̔��ӊW���������Ȃ��D �������āC��̉���b�͂���炪rdf-�����ɓK������邱�ƈȊO�ɂ́C�Ӗ��_�I����ɂǂ�Ȍ��ʂ������炳�Ȃ��D
�g���v���̋�̉��͂��̃g���v���ӂ��Ȃ����C����ɂ���Ĕ��ӂ�����Ȃ��D (��̉��͂��̃g���v���g�[�N�������݂��Ă��ꂪ���������������ŁC ���ꂪ�^�ł���ƌ����̂ł͂Ȃ��D�g���v���ɂ���ăg�[�N�������ӂ���Ȃ��Ƃ����̂́C ����g���v����錾��������Ƃ����Ď����I�ɂ��̃g���v���ɂ���ċL�q����郆�j�o�[�X���Ƀg���v���̃g�[�N�������݂��邱�Ƃ�錾����̂ł͂Ȃ� �Ƃ������Ƃ̋A���ł���D���Ƃ��C���̃g���v���������Ɋւ���I���g���W�[�̈ꕔ���Ƃ��āC�����������܂ރ��j�o�[�X�ɂ�������߂ɂ���ď[���������āC ���̋�̉��͂��̃��j�o�[�X�ɂ����ċU�ƂȂ邩���m��Ȃ��D)
�����Ȃ�RDF�O���t���̃g���v���ƃg���v���̋�̉��Ƃ̊W���C�P�P�̊W�ł͂Ȃ��̂ŁC �����̉��ɋL�q���ꂽ����G���e�B�e�B�ɂ��Ă̐����ɂ��Đ錾���邱�Ƃ��C���̓������������̂��̂悤�ȃG���e�B�e�B�ɂ���������C ���Ƃ����ꂪ�����v�f�����Ƃ��Ă��C�Ƃ������Ƃӂ��Ȃ��D���Ƃ��C
_:xxx rdf:type rdf:Statement .
_:xxx rdf:subject <ex:subject>
.
_:xxx rdf:predicate <ex:predicate> .
_:xxx rdf:object
<ex:object> .
_:yyy rdf:type rdf:Statement .
_:yyy rdf:subject
<ex:subject> .
_:yyy rdf:predicate <ex:predicate> .
_:yyy
rdf:object <ex:object> .
_:xxx <ex:property> <ex:foo>
.
��
_:yyy <ex:property> <ex:foo> .
�ӂ��Ȃ��D
RDF �R���e�i��b |
rdf:Seq rdf:Bag rdf:Alt rdf:_1 rdf:_2
... |
RDF�ł͎O��ނ̃R���e�i�N���X���L�q���邽�߂̌�b������Ă���D�R���e�i�ɂ̓^�C�v�������āC���̃����o�[���R���e�i�����o�[�V�b�v�v���p�e�B �̌��߂�ꂽ�W����p���Đ����グ�邱�Ƃ��ł���D���̃v���p�e�B�̓����o�[���݂��ɋ�ʂ��邽�߂ɐ����ɂ���ăC���f�b�N�X������邪�C�����C���f�b�N�X�͕K�������R���e�i���g�̏��Ԃ��`����ƍl�����Ă���킯�ł͂Ȃ��D�����̃R���e�i�ɂ͏��Ԃ͂Ȃ��Ƃ���Ă���D
���̌�ŋL�q�����RDFS��b�ɂ����āC�ʒu�ɊW�Ȃ��������鑍�̃����o�[�V�b�v�v���p�e�B�ƁC ���ׂẴR���e�i�Ƃ��ׂẴ����o�[�V�b�v�v���p�e�B���܂ރN���X���lj������D
����RDF��b�̓R���e�i���\�������b�Ƃ��Ăł͂Ȃ��C�v���O��������ɂ����ēT�^�I�ɂ���悤�ɁC�R���e�i���L�q���� ��b�Ƃ��ė��������ׂ��ł���D���̌����ɂ����āC���ۂ̃R���e�i�͈Ӗ��_�I�ȃ��j�o�[�X���̃G���e�B�e�B�ł���C���̌�b��p���Ă���RDF�O���t�͒P�ɂ����̃G���e�B�e�B�ɂ��Ĕ��Ɋ�{�I�ȏ���P�ɒ��āCRDF�O���t���R���e�i�̃^�C�v�ƃR���e�i�̃����o�[�ɂ��Ă̕����I�ȏ���^���邱�Ƃ��\�ƂȂ�DRDF�R���e�i��b�͔��Ɍ����Ă��邽�߁CRDF�R���e�i�Ɋւ��鐔������ '���R��' ���肪 RDF���f�����_�ɂ���Č`���I�ɗe�F�����Ƃ����̂ł͂Ȃ��D����͂����̉��肪�U�ł���Ƃ����Ӗ��ł͂Ȃ��C�P��RDF�ł͂���炪�^���ƌ`���I�ɔ��ӂł��Ȃ��C�Ƃ����Ӗ��ł���D
�R���e�i��b�Ɋւ��ē��ʂȈӖ��_�I�����͂Ȃ��D�R���e�i������RDF�����肷�� '�\��'
�������C��b�̎g�p����ʓIRDF�Ӗ��_�̏������琄�_�������̂ł���D��ʂɌ����āC����̓R���e�i�̃^�C�v��m��Ƃ������ƂƁC
�R���e�i���̃A�C�e���̕����I�Ȑ����グ������Ƃ������Ƃł���D���̈Ӑ}���ꂽ�g�p�@�̓^�C�vrdf:Bag
�ł͏������Ȃ��ē������̂����������Ă悭�C
�^�C�v��rdf:Seq
�̂��̂͏����t������Ă��āC�^�C�v��rdf:Alt
�ł͑�֕��̃R���N�V�����ƍl�����āC���̑I�D�ɏ��Ԃ�����ꍇ������D
�����t�����ꂽ�R���e�i���̃A�C�e���̏����ł̓R���e�i�����o�[�V�b�v�v���p�e�B�̏d�����Ȃ������̏��Ԃɂ���Ďw�肳����̂Ƃ��Ă���D
�������Ȃ���C���̂悤�Ȕ�`���I���߂͂����Ȃ�`���IRDF���ӂɂ����Ă����f����Ă��Ȃ��D
RDF��rdf:Bag
�̗v�f���قȂ鏇���Ő����グ�邱�Ƃ���N����ǂ�Ȕ��ӂ��x�����Ȃ��D���Ƃ��C
_:xxx rdf:type rdf:Bag .
_:xxx rdf:_1 <ex:a> .
_:xxx rdf:_2
<ex:b> .
��
_:xxx rdf:_1 <ex:b> .
_:xxx rdf:_2 <ex:a> .
�ӂ��Ȃ��D
�������̌��_�������Ƃ���Ȃ�C��������̃O���t�Ɍ����������ʂ��܂������Ȕ��ӂƂȂ낤�D����͗����̗v�f�������̈ʒu�ɂ��邱�Ƃ�錾����D�����RDF�������Ȑ錾�^����ł��邱�Ƃ̋A���ł���D
�R���e�i�̐������R���e�i�̂ǂ̗v�f�ɂ����Ă͂܂�C���̋t��������Ƃ�������͂Ȃ��D
�O�̃R���e�i�N���X���݂��ɑf(disjoint)�ł���Ƃ����`���I�ȗv���͂Ȃ����߂ɁC���Ƃ���
rdf:Bag
�ɂ�rdf:Seq
�ɂ��錾�����Ƃ������Ƃ��L�蓾��D�R���e�i�ɂ͂����܂��Ȃ��Ƃ�������͂Ȃ��̂ŁC���Ƃ��C
_:xxx rdf:type rdf:Seq.
_:xxx rdf:_1 <ex:a> .
_:xxx rdf:_3
<ex:c> .
��
_:xxx rdf:_2 _:yyy .
�ӂ���Ƃ������Ƃ͂Ȃ��D
RDF�ɂ̓R���e�i�� '�N���[�Y' ������@�C���Ȃ킿�Œ�̃����o�[����錾������@�C�͂Ȃ��D����͂ǂ�ȃR���e�i�̃����o�[�V�b�v�v���p�e�B��錾����O���t�ł��C����Ƀg���v�������ł��lj��ł��Ė����͂Ȃ����Ƃ̔��f�ł���D�Ō�ɁCRDF�R���e�i���L���̐��̃����o�[���܂ނƂ�������͂��Ƃ��ƂȂ��Ƃ������Ƃ��q�ׂĂ����D
RDF �R���N�V������b |
rdf:List rdf:first rdf:rest
rdf:nil |
RDF �̓R���N�V�������L�q���邽�߂̌�b�C���Ȃ킿head-tail �����N�̃��X�g�\���C�����D�R���N�V�����̓R���e�i�Ƃ͈قȂ��āC����\���������C�����I�ȏI�[��L���C�A�v���P�[�V�������R���N�V�������̃A�C�e���W���𐳊m�Ɍ��肷�邱�Ƃ��ł���D
�R���e�i�Ɠ��l�ɁC���̌�b�ɂ�rdf:nil
�̃^�C�v��rdf:List
�ł��邱�ƈȊO�ɓ��ʂȈӖ��_�I�����͂Ȃ��D�R���e�i�ł�������u�����N�m�[�h���g���ċL�q����Ƃ�����C�Q��ނ̃g���v���C
��p���āC'well-formed' �ȃA�C�e���̘A�����Ȃ��Ƃ����g�p�@���Ӑ}����Ă���D
_:c1 rdf:first aaa .
_:c1 rdf:rest _:c2
.
�����ŁC�Ō�̃A�C�e���ɂ̓v���p�e�Brdf:rest
�̒l�Ƃ���rdf:nil
���p������D�悭�m��ꂽ�֖@�ł��邪�Crdf:nil
�͋�ȃR���N�V�����ƍl���邱�Ƃ��ł���D���̂悤�ȃO���t�͂܂�Ƃ���R���N�V�����̑��݂̐錾�ł���C�R���N�V�����̃����o�[�ׂ邱�Ƃ��ł���̂ňӖ�����Ă�����̂����Ȃ̂����A�v���P�[�V���������肷��ɂ͏\���ł���D�������C�Ӗ��_�I�ɂ́C��R���N�V�������܂߂āC�O���t���ɖ����I�Ɍ��y����邱�ƈȊO�ɉ����Ȃ��Ƃ������Ƃɗ��ӂ��ꂽ���D���Ƃ��C��̃A�C�e�����܂ރR���N�V����������Ƃ������Ƃ��C�����I�ɃA�C�e�����������ꂽ�R���N�V�����̑��݂�ۏ͂��Ȃ��D
_:c1 rdf:first <ex:aaa> .
_:c1 rdf:rest _:c2
.
_:c2 rdf:first <ex:bbb> .
_:c2 rdf:rest rdf:nil .
������Ƃ�����
_:c3 rdf:first <ex:bbb> .
_:c3 rdf:rest _:c4 .
_:c4
rdf:first <ex:aaa> .
_:c4 rdf:rest rdf:nil .
�ł͂Ȃ��D
�܂��C���̌�b�̎g�p��RDF �� 'well-formedness' ���������ۂ���킯�ł��Ȃ��C�����������Ȃ킿���X�g�ł͂Ȃ� tail �╡���� head �̂悤�ȁC���Ɋ�ȃI�u�W�F�N�g�̑��݂�RDF�O���t�ɏ������Ƃ��ł��Ă��܂��D
_:666 rdf:first <ex:aaa> .
_:666 rdf:first <ex:bbb>
.
_:666 rdf:rest <ex:ccc> .
_:666 rdf:rest rdf:nil .
rdf:rest
�v���p�e�B�̒l�̎w��Ɏ��s���āC�R���N�V�����̒�`�s���ł���g���v���W���������Ă��܂��\��������D
���̂悤�ȃO���t��r�����邽�߂ɁC�Ӗ��_�I�g���Ƃ��āC���̌�b�̎g�p�ɂ��ē��ʂ̍\���I�� well-formedness �Ȑ����u���Ă��悢�D���̃����o�[��rdf:first
�̒l�̕\���ł���A�C�e���ŕ\������āC���̏����̓T�u�W�F�N�g����rdf:nil
��rdf:rest
�v���p�e�B��ǐՂ��邱�Ƃɂ���ē����āC�Ō��rdf:nil
�ŏI���Ƃ����C��L�̂悤�ȓ�̃g���v���̃A�C�e���������N���ꂽ�R���N�V�����̃T�u�W�F�N�g���S�������\������Ƃ�������j��悤�ȃR���N�V�����̌�b�̉��߂������Ă��悢�D����͕ʂ̃V�[�P���X���܂ރV�[�P���X���\�ɂ���D
RDFS �Ӗ��_�����ɂ��C��q�̂悤�ɁCrdf:first
�v���p�e�B�̃T�u�W�F�N�g��
rdf:rest
�v���p�e�B�̃T�u�W�F�N�g�ƃI�u�W�F�N�g�̌^�́Crdf:List
�ł���Ƃ������Ƃɒ��ӂ��ꂽ���D
rdf:value
�̎g�p�̈Ӑ}�́CRDF Primer ����[RDF-PRIMER
]�� �����I�ɂ͐�������Ă����D����͓T�^�I�ɂ͂������̒l��L����C���邢�͂������̃t�@�Z�b�g���Ȃ킿���ꎩ�g�̑�����L���镡�G�ȃG���e�B�e�B��l�Ƃ��ėL����C�v���p�e�B�̂�����
'��P��' ���邢�� '��v��' �l���w�肷�邽�߂ɗp������D
rdf:value
�̗L�蓾�ׂ��g�p�͈̔͂͂ƂĂ��L���̂ŁC�Ӑ}���ꂽ���@��[�X�P�[�X�̂��ׂĂ��J�o�[���鐳�m�ȋL�q��^���邱�Ƃ͓���D����䂦�C���[�U��
rdf:value
�̈Ӗ��̓A�v���P�[�V�������ƂɈقȂ����Ƃɒ��ӂ��ꂽ���D���ۂɁC�Ӑ}���ꂽ�Ӗ��͂����Ε�������͖��炩�ł��邪�C�O���t���}�[�W�����茋�_�����_���ꂽ�Ƃ��ɂ͎����Ă��܂���������Ȃ��D
RDF �X�L�[�}[RDF-VOCABULARY] �͂�蕡�G�ȈӖ��_�I�����L������傫����b rdfsV ���܂ނ悤�� RDF ���g������D
RDFS ��b |
rdfs:domain rdfs:range rdfs:Resource
rdfs:Literal rdfs:Datatype rdfs:Class rdfs:subClassOf rdfs:subPropertyOf
rdfs:member rdfs:Container rdfs:ContainerMembershipProperty rdfs:comment
rdfs:seeAlso rdfs:isDefinedBy rdfs:label |
(rdfs:comment
, rdfs:seeAlso
,
rdfs:isDefinedBy
������ rdfs:label
�͂��̎g�����ɓK������鐧��
rdfs:domain
, rdfs:range
������
rdfs:subPropertyOf
��p���ďq�ׂ���̂ŁC�����ɓ�����Ă���D)
�����ɕK�v�ƌ����킯�ł͂Ȃ����C�V�����Ӗ��_�I�\���ł��� '�N���X'
��p���� RDFS �Ӗ��_���q�ׂ�̂��֗��ł���D���Ȃ킿�C�N���X�Ƃ́Crdf:type
�v���p�e�B�̒l�Ƃ��Ă��̃N���X������悤�Ȃ��̂̂��ׂĂł���C���j�o�[�X���̎����̏W����\�����郊�\�[�X�ł���D�N���X�͌^
rdfs:Class
�̎����Ƃ��Ē�`����C ������߂ɂ����āC���ׂẴN���X�̏W���� IC
�ƌĂ���D���̈Ӗ��_�I�����́CIC ���� IR �̕����W���̏W���ւ� ( I �̃N���X�O���ɑ��� ) �ʑ� ICEXT
��p���ďq�ׂ���DRDFS ��b��rdf-�����ɂ�����
ICEXT �� IC �̈Ӗ��͈ȉ��� RDFS �Ӗ��_�I�����̕\�̍ŏ��̓�̏����Ŋ��S�ɒ�`�����D����N���X�͋�ȃN���X�O����L���Ă��悢�Ƃ������ƁC(
����q�ׂ��悤��
) ��̈قȂ�N���X�G���e�B�e�B������̃N���X�O����L���Ă��悢���ƁCrdfs:Class
�̃N���X�O�����N���X
rdfs:Class
���܂�ł��悢���ƁC�𒍈ӂ��Ă����D
V �� rdfs-���� �Ƃ́C���̈Ӗ��_�I������ RDFS �̌����g���v�� �ƌĂ����������\���̂��ׂẴg���v�����[������Ƃ���́C (V union rdfV union rdfsV) �́C���� rdf-���� I �ł���D
I �� rdf-�����Ȃ̂�,
�ŏ��̏����� IP �� ICEXT(I(rdf:Property
)) �Ƃ������Ƃ��Ӗ����Ă���D
�����̌����Ə����ɂ͏璷���������炩����D�Ⴆ�C�قƂ�ǂ�RDF �����g���v���� RDFS �̌����g���v���ƁCICEXT�ƁC
rdfs:domain
������ rdfs:range
���瓱�����Ƃ��ł���D���ׂĂ� rdfs-�����Ő^�ƂȂ�ׂ����̑��̃g���v���͈ȉ��̂Ƃ���D
rdfs:Resource rdf:type rdfs:Class
.
|
RDFS �ł��f�[�^�^�C�v�̓N���X�O���������Ƃ��ł���C���Ȃ킿�N���X�ƍl�����Ă��邱�Ƃɒ��ӂ��ꂽ���Drdf:XMLLiteral
�̃N���X�O���Ɋւ���Ӗ��_�I�����ɂ���Ď������悤�ɁC����f�[�^�^�C�v�N���X�̃����o�[�͂����f�[�^�^�C�v�̒l�ł���D���̂��Ƃ͈ȉ�����5���ł��ڍׂɏq�ׂ���D�������C�N���Xrdfs:Literal
�͂��ׂẴ��e�����l���܂ނ��C���̕�����
datatype�̎����̗v���ɏ]��Ȃ��^�t�����e�����ɂ��ẮC���̃N���X�ł̈Ӗ��͂Ȃ��D�D
rdf-�����̈Ӗ��_�I������
ICEXT(I(rdf:XMLLiteral
))�� well-typed ��XML���e�����̂��ׂĂ�
XML�l���܂ނƂ������Ƃ��Ӗ����Ă���D
rdf:XMLLiteral
��rdfs:range
���ꏏ�ɂ���ƁC�v���p�e�B�l�̓N���Xrdf:XMLLiteral
�ɏ������Ȃ���Ȃ�Ȃ��Əq�ׂĂ��C���̃v���p�e�B�l��
ill-formed ��XML���e�����ŁC���̂��߂��̃N���X�ɏ������Ȃ��Ƃ����C�����ɂ���Ă�RDFS�ɂ����Ė��������錾���������Ƃ��ł���D���Ƃ��C
<ex:a> <ex:p> "<notLegalXML"^^rdf:XMLLiteral
.
<ex:p> rdfs:range rdf:XMLLiteral .
��rdfs-�����Ȃ̂ŁC�����Ȃ�rdfs���߂ɂ����Ă��^�ł͂Ȃ��D
��L�̈Ӗ��_��RDFS��b�̍ł��ア'�����I��'���߂ł���悤�ɐT�d�ɑI��Ă���D�Ӗ��_�͒l��C��`��C�T�u�N���X�C�T�u�v���p�e�B�̈Ӗ��_�I�������ȉ��̂悤�ȊO���I�Ȕłɋ������Ă��悢�D
<x,y> is in IEXT(I( |
<x,y> is in IEXT(I( |
<x,y> is in IEXT(I( |
<x,y> is in IEXT(I( |
����̓T�u�v���p�e�B��T�u�N���X�̐��������ړI�����˓I�ł���ƕۏ��邪�C����ȏ�̌��_�������炷�D
�����̂�苭�������̓v���p�e�B���v���p�e�B�O���ɓ��ꎋ����C�N���X���N���X�O���ɓ��ꎋ�����Ƃ��ɗe�Ղɏ[������āCrdfs:subClassOf
�͕����W���̈Ӗ����Ɨ�������C����䂦��
RDFS���O���I�Ӗ��_�ɂ���ď[�������D���炩�̕��@�ŊO���I�Ȕł͂��ȒP�ȈӖ��_����邪�C����ɂ͂�蕡�G�Ȑ��_���[�����K�v�ł���D�{���ŋL�q��������I�Ӗ��_�́C�T�u�N���X�ƃT�u�v���p�e�B�̐錾���ł���ʓI�Ɏg�p���邽�߂̂��̂ł���C
7.3
���ɋL�ڂ���Ă��� RDFS ���Ӄ��[���� ���S���W���̂��ȒP�Ȏ������\�ɂ���D
rdfs-����
�Ɋւ���Ӗ��_�I�����́C ICEXT(I(rdfs:Literal
))�͏W�� LV
�łȂ���Ȃ�Ȃ��Ƃ��������I�ɂ͓��R�̏������܂ނ��C���̏��������炩��RDF�錾�␄�_���[���ɏd����@�͖����D���̌��E�̓��e�������g���v���̃T�u�W�F�N�g�̈ʒu�Ɍ���邱�Ƃ͂ł��Ȃ����߂ł���D�����RDF�ɂ����郊�e���������Ă��C�������������ĂقƂ�lj����������Ƃ��ł��Ȃ��D���l�ɁC�v���p�e�B���N���Xrdfs:Literal
�Ɋւ��ďq�ׂ�ꂽ�Ƃ��Ă��C����炪���������e�������̂��̂ɓ]�ł���邱�Ƃ͂Ȃ��D
�Ⴆ�C���̃g���v��
<ex:a> rdf:type rdfs:Literal .
�͂��Ƃ� 'ex:a
' �����e�����ł͂Ȃ�URI�Q�Ƃł����Ă��������Ȃ��D����� I(ex:a
)
�����e�����l�ł���C���Ȃ킿�CURI�Q�� 'ex:a
' �����e�����l���\������
�Ƃ������Ƃ��q�ׂ�̂ł����āC���ꂪ�܂��Ƀ��e�����l�ł���Ǝ����̂ł͂Ȃ��D
�Ӗ��_�I�����́C�v���[�����e�����̃I�u�W�F�N�g���܂ނ����Ȃ�g���v�����C�I�u�W�F�N�g�Ƃ��ău�����N�m�[�h��L���铯�l�ȃg���v���ӂ��邱�Ƃ�ۏ���D
<ex:a> <ex:b> "10"
.
��
<ex:a> <ex:b> _:xxx .
�ӂ���D
����́C���e�����̓G���e�B�e�B��\�����C����䂦���̃G���e�B�e�B�́C���Ȃ��Ƃ������I�ɂ́C�܂�URI�Q�Ƃɂ�閼�O�������Ă��悢�Ƃ����Ӗ��ł���D
S �̂��ׂĂ̗v�f���[������ǂ�rdfs-�������C�܂� E ���[������Ƃ��C S �� E ��rdfs-���ӂ��� �Ƃ����CS rdfs-entails E �Ə����D���̌������́C ��Q�����P�������̒�`�ɏ]�����C�P�����߂̂�����rdfs-�����ɂ������y����D rdfs-���߂���b�����̈��ł���D
���ׂĂ�rdfs-�����́Crdf-�����Ȃ̂ŁC���� S �� E �� rdfs-���ӂ���̂Ȃ�C������ rdf-���ӂ��邪�Crdfs-���ӂ�rdf-���ӂ������͂ł���D��������rdfs-���߂���O���t�ł��琬�藧���C����ɂ�rdf-���߂����藧���Ȃ����̂�����D�Ⴆ�C���̌`���̂��ׂẴg���v����
xxx rdf:type rdfs:Resource .
URI�Q�� xxx ���܂ނǂ�Ȍ�b��rdfs-�����ɂ����Ă��^�ł���D
�������Ȃ���C����rdfs-�����ȃO���t�����ӂ̒�`���炵�Ăǂ�ȃO���t��rdfs-���ӂ���Ƃ��Ă��C�������ȏW���ɂ�邻�̂悤��'�܂�Ȃ�����'���C���ۂɂȂɂ��L�v�Ȑ��_�ł���Ƃ͒ʏ�l�����Ȃ��D
RDF�́C���ʂ�URI�Q�Ƃɂ���ē��肳��C�O���I�ɒ�`���ꂽ�f�[�^�^�C�v�̂��߂̋@�\�����D��ʐ����m�ۂ��邽�߂ɁCRDF�ł̓f�[�^�^�C�v�ɂ��čŏ����̏������d��C����ЂƂ̖��ߍ��݂̃f�[�^�^�C�vrdf:XMLLiteral
���܂܂��D
�����ł̃f�[�^�^�C�v�̈Ӗ��_�͍ŏ��ł���C����f�[�^�^�C�v������v���p�e�B�Ɋ֘A�����Ă��̃v���p�e�B�̂��ׂĂ̒l�ɉ��p����悤�ȏ����͉����p�ӂ��Ȃ��D�܂��C�u�����N�m�[�h������̃f�[�^�^�C�v�̒l��\������Ƃ��������Ƃ��I�ɕ\��������@���������Ȃ��D RDF�͈Ӗ��_�I�g���ɂ��C�����͂�萸�I�ȃf�[�^�^�C�v�̏������d�Ă��悢�D�Ӗ��_�I�g���͂܂��f�[�^�^�C�v�ɂ��āC�l��Ԃ̏����̂悤�ȕʎ�̏����Q�Ƃ��邩���m��Ȃ��D
�f�[�^�^�C�v�Ƃ́C ����`��(lexical form) �ƌĂ�镶����̂���W���ɂ���ē����t������G���e�B�e�B�ł���C���̏W�������l(value) �ւ̎ʑ��̂��Ƃł���D���m�ɂ����̏W���Ǝʑ����ǂ�ȕ��ɒ�`����邩�� RDF�̂������Ȃ��Ƃ���ł���D
�`���I�ɁC����f�[�^�^�C�v d �͎O�̎����Œ�`�����D
1. d �������� �ƌĂ�镶����̋�łȂ��W��
2. d ���l��� �ƌĂ���łȂ��W��
3. d ������l�ʑ� �ƌĂ��Cd �̎����Ԃ��� d �̒l��Ԃւ̎ʑ�
�f�[�^�^�C�v d �̎���l�ʑ��� L2V(d) �ƕ\�L�����D
���̈Ӗ��_���q�ׂ�ɂ������āC��X�͉��߂��C�e�f�[�^�^�C�v������URI�Q�Ƃœ��肳���Ƃ���̓���̃f�[�^�^�C�v�W���ɊW�Â�������̂Ɖ��肷��D
�`���I�ɁCD �͈��URI�Q�Ƃƈ�� �f�[�^�^�C�v
����Ȃ�y�A�̏W���Ƃ��悤�D���̏W������URI�Q�Ƃ��Q��͌���Ȃ��Ƃ��C���������� D
��URI�Q�Ƃ���f�[�^�^�C�v�W���ւ̊��Ƃ݂Ȃ����Ƃ��ł���D���̊����f�[�^�^�C�v�ʑ� �ƌĂԁD
(�����URI�Q�Ƃ��I�ɏq�ׂāC���̉��߂����̃f�[�^�^�C�v��`�ɑ��ĐӔC�̂���O���̌��Ђɂ���ďd��閽���K���ɏ]�����Ɗm���ɂ��Ȃ���Ȃ�Ȃ��D)
�ǂ��f�[�^�^�C�v�ʑ���
<rdf:XMLLiteral
, x> ���܂ނƗ��������D������ x
�͖��ߍ��݂�XML���e�����f�[�^�^�C�v�ł���C���̎����Ԃƒl��ԂƎ���l�ʑ���RDF Concepts and
Abstract Syntax ����[RDF-CONCEPTS
]�ɂ����� ��`������D
�f�[�^�^�C�v�ʑ��͂܂��`��
<http://www.w3.org/2001/XMLSchema#
sss,
sss>�ł��邷�ׂẴy�A�̏W�����܂ށD������sss �͖��O��XML Schema Part 2: Datatypes
[XML-SCHEMA2
]���ɂ��� sss �ł��閄�ߍ��݂̃f�[�^�^�C�v�ł���C�ȉ��̕\�Ƀ��X�g����Ă��āC�����ł̓f�[�^�^�C�v�ʑ���XSD�Ƃ��ĎQ�Ƃ���Ă���D
���̂ق��̖��ߍ���XML�X�L�[�}�f�[�^�C�v�́C�F�X�ȗ��R�ŗp������ �ׂ��łȂ��D xsd:duration
�� well-defined
�Ȓl��Ԃ������Ȃ���(���̓_��XML�X�L�[�}�f�[�^�C�v�̉��P�ɂ���Č�X��������邩���m��Ȃ��D���̏ꍇ�ɂ́C���肳�ꂽ�f�[�^�^�C�v��RDF�f�[�^�^�C�v�t���ɂ����ėp�����邱�Ƃ��K�������m��Ȃ�)�C
xsd:QName
�� xsd:ENTITY
�� XML�������ɕK�v�Ƃ���D xsd:ID
�� xsd:IDREF
�� XML�������ł̑��ݎQ�Ƃ̂��߂̂��̂ł��邵�C xsd:NOTATION
�͒��ړI�Ȏg�p��ړI�Ƃ͂��Ă��Ȃ��D xsd:IDREFS
�C
xsd:ENTITIES
�� xsd:NMTOKENS
�͏����t���̂���f�[�^�^�C�v��RDF�f�[�^�^�C�v�̃��f���ɍ���Ȃ��D
���� D ���f�[�^�^�C�v�ʑ��Ȃ�C��b V ��D-���� �Ƃ́CD ���̂��ׂẴy�A< aaa, x >�ɑ���ȉ��̕t���������[������ V union { aaa:D ���̂��� x �ɑ���< aaa, x >} �̂��ׂẲ��� I �ł���D
���� <aaa,x> �� D �̗v�f�Ȃ�CI(aaa) = x |
���� <aaa,x> �� D �̗v�f�Ȃ�CICEXT(x) �� x �̒l��Ԃł��肩�� LV �̕����W�� |
���� <aaa,x> �� D �̗v�f�Ȃ�C I(ddd) = x �ł��邷�ׂĂ� V ���̌^�t�����e���� "sss"^^ddd
�ɑ��āC ���� sss �� x �̎����Ԓ��̗v�f�Ȃ�C IL("sss"^^ddd) = L2V(x)(sss), �����Ȃ���� IL("sss"^^ddd) �� LV �̗v�f�ł͂Ȃ��D |
���� <aaa,x> �� D �̗v�f�Ȃ�CI(aaa) ��
ICEXT(I(rdfs:Datatype )) �̗v�f |
�P�Ԗڂ̏����� I �͒��ꂽ�f�[�^�^�C�v�ʑ� �ɂ��������āCURI�Q�Ƃ����߂��邱�Ƃ�ۏ���D����͑���URI�Q�Ƃ������f�[�^�^�C�v���Q�Ƃ��邱�Ƃ�W���Ȃ��Ƃ������Ƃɒ��ӂ��ꂽ���D
�Q�Ԗڂ̏����́C�f�[�^�^�C�v��URI�Q�Ƃ��N���X���Ƃ��ėp����ꂽ�Ƃ��ɁC �f�[�^�^�C�v�̒l��Ԃ��Q�Ƃ��C������l��Ԃ̂��ׂĂ̗v�f�̓��e�����l�łȂ���Ȃ�Ȃ����Ƃ�ۏ���D
�R�Ԗڂ̏����́C��b���̌^�t�����e�������f�[�^�^�C�v�̎���l�ʑ��ɏ]�����Ƃ�ۏ���D�Ⴆ�C���� I ������ XSD-����
�Ȃ�CI("15"^^xsd:decimal
) �͐�15�łȂ���Ȃ�Ȃ��D ���̏����͂܂��Cill-typed ���e�����C���Ȃ킿���e�����������f�[�^�^�C�v�̎����Ԓ��ɂ͂Ȃ��ꍇ�C�����Ȃ郊�e�����l���\�����Ȃ��Ƃ������Ƃł�����D�����I�ɂ́C���̂悤�Ȗ��O�͂����Ȃ�l���\�����Ȃ����C��Ȗ��O����N����Ӗ��_�I�ȕ��G��������邽�߂ɂ��̂悤�Ȍ^�t�����e������'��ւ�'�e�����l��\������Ƃ���D��������ƁC�Ⴆ�C����
I ������ XSD-���� ���Ƃ��āCI("arthur"^^xsd:decimal
) �Ō��_�������̂́C�܂����� LV
���ɂ͂Ȃ��Ƃ������ƁC���Ȃ킿 ICEXT( I(rdfs:Literal
) ) ���ɂ͂Ȃ��Ƃ������Ƃł���D���� ill-typed
�Ȍ^�t�����e�����͂��ꎩ�̂ł͖����ł��邱�Ƃ��\�����Ȃ�����ǂ��C ill-typed �Ȍ^�t�����e������ rdf:type
rdfs:Literal
�Ɣ��ӂ���悤�ȁC���邢�� ill-typed ��XML���e������ rdf:type
rdf:XMLLiteral
�Ɣ��ӂ���悤�ȃO���t�́C�������邱�ƂɂȂ�D
���̂R�Ԗڂ̏����� D �͈̔͂ł��f�[�^�^�C�v�݂̂Ɍ����ēK������邱�Ƃɗ��ӂ��ꂽ���D ���̌^�����߂��f�[�^�^�C�v�ʑ��ɂȂ��^�t�����e�����ɂ��ẮC�ȑO�̂悤�ɁC���Ȃ킿�C�������m�Ȃ��̂�\������悤�Ɉ�����D���̏����͂��̌^�t�����e��������URI�Q�Ƃ��f�[�^�^�C�v�̊֘AURI�Q�ƂƓ����̂͂��ł���Ƃ������Ƃ�v�����Ȃ��D����ɂ���ēK�Ȍ��_���悤�ȁCURI�Q�Ƃɂ��Ă̓��������\������Ӗ��_�I�Ȋg�����\�ƂȂ�D
�S�Ԗڂ̏����́C�N���Xrdfs:Datatype
���C�����Ȃ�[���ID-�����ɂ����Ă��p������
�f�[�^�^�C�v���܂ނ��Ƃ�ۏ���D����͕K�v�ł͂��邪�\���ł͂Ȃ����Ƃɗ��ӂ��ꂽ���D�N���X
I(rdfs:Datatype
) �͕ʂ��f�[�^�^�C�v���܂ނ��Ƃ��ł���D
rdf-�����̂��߂̈Ӗ��_�I������
'rdf:XMLLiteral'
�ɂ���Č^�t������郊�e�����ɐ��������߂��d�˂�D�������Ȃ���CD-���߂ł�RDF�^�t�����e�����̍\���_�ɒP���ɈӖ��_�I�������d�˂�̂ł͂Ȃ��C
�f�[�^�^�C�v���G���e�B�e�B�Ƃ��đ��݂��邱�Ƃ�F�߂�D����䂦�CD-��������rdfs-�����������͂Ȍ��_���D
�����f�[�^�^�C�v�ʑ��ɂ������f�[�^�^�C�v�����̒l��ԏ�Ɍ݂��ɑf(disjointness)�������d�˂�̂Ȃ�CRDF�O���t�ɂ�����[������D-�������Ȃ��Ƃ������Ƃ��L�蓾��D�Ⴆ�CXML�X�L�[�}�ł�xsd:string
��xsd:decimal
�̒l��Ԃ݂͌��ɑf�ł���̂ŁC�O���t
<ex:a> <ex:b> "25"^^xsd:decimal .
<ex:b>
rdfs:range xsd:string .
���[������ XSD-���߂��\���ł��Ȃ��D
���̏̓O���t��XSD-�����C���邢�͂���ʓI���f�[�^�^�C�v�N���b�V�� �ƌ����Ă���D���̃O���t���[���I��rdfs-�������\�����邱�Ƃ͉\�Ȃ̂����C
I(xsd:decimal
) �� I(xsd:string
) �̃N���X�O���̋��ʏW���͋�Ȃ̂ŁC�����
XSD �����Ɉᔽ����̂ł���D
�f�[�^�^�C�v�N���b�V���͑��̂������̕��@�ł��N���蓾��D�Ⴆ�C�������݂��ɑf�ȃf�[�^�^�C�v�N���X�̗����ɑ�����ƕ\��������C
_:x rdf:type xsd:string .
_:x rdf:type xsd:decimal .
�L�蓾�Ȃ��l���L����v���p�e�B���l����������
<ex:p> rdfs:range xsd:string .
<ex:p> rdfs:range
xsd:decimal .
_:x <ex:p> _:y .
����ƃf�[�^�^�C�v�N���b�V���ƂȂ�D�f�[�^�^�C�v�N���b�V���͓���̎���`���̎g�p������N���肦��D�Ⴆ�C
<ex:a> <ex:p> "2.5"^^xsd:decimal .
<ex:p>
rdfs:range xsd:integer .
�̓f�[�^�^�C�v�N���b�V���ł���C���邢�� ill-typed �Ȏ���`���̎g�p
<ex:a> <ex:p> "abc"^^xsd:integer .
<ex:p>
rdfs:range xsd:integer .
���f�[�^�^�C�v�N���b�V���ƂȂ�D
�f�[�^�^�C�v�N���b�V���͂������f�����_�ɂ���Ă̂ݖ����ƔF�m����邯��ǂ��C XML���e�������������ނ��Ƃ�RDFS�ɂ����ăf�[�^�^�C�v�N���b�V�����N���肦��Ƃ������Ƃ𒍈ӂ��Ă����D
���� D �� D' �̕����W���Ȃ�CD'-���߂փO���t�̉��߂𐧌����邱�ƂŁCD �Ɋւ��Ă����l�Ȑ���̈Ӗ��_�I�g���邱�ƂƂȂ�D���ہC�f�[�^�^�C�v�ʑ��̊g���́C�^�t�����e������ �f�[�^�^�C�v�̒l��Ԃɂ�����G���e�B�e�B��\�����邱�Ƃ�v�����邱�Ƃɂ���āC�^�t�����e�����ɂ��ĈÖق̕\�������邱�Ƃł���D���傫���f�[�^�^�C�v�ʑ��Ɋ֘A�����t���I�Ӗ��_�����͉��߂���葽���̃g���v����^�ɂ��邱�Ƃ��������邪�C�������܂��f�[�^�^�C�v�N���b�V���ƈᔽ�����炩�ɂ��āC D-�����O���t��D'-�����ł���悤�ɂ��Ȃ�D
����RDF�O���t���`��
aaa rdf:type rdfs:Datatype .
���f�[�^�^�C�v�g���v�� �� rdfs-���ӂ���Ƃ��C���̃O���t�̓f�[�^�^�C�vURI�Q�� aaa ���F�m���� �Ƃ����D
rdfs-�����̂��߂̈Ӗ��_�I�����ɂ���Ė��ߍ��݂̃f�[�^�^�C�vURI�Q��
'rdf:XMLLiteral'
���F�m�����D
��������O���t���̂��ׂĂ̔F�m���ꂽURI�Q�Ƃ��C�������Ă����f�[�^�^�C�v�̖��O�Ȃ�C���̂Ƃ��X�̔F�m���ꂽURI�Q�Ƃ��炻�̕������Ă���f�[�^�^�C�v�ւ̃y�A�����(������'rdf:XMLLiteral
'
����rdf:XMLLiteral
�ւ�)�C���R���f�[�^�^�C�v�ʑ�
DG ������D���̂Ƃ��C���̃O���t�̂����Ȃ�rdfs-����
I �� I(aaa) ���K���f�[�^�^�C�v�ł��肩��rdfs:Datatype
�̃N���X�O�����������C������Ă��邱�Ƃ�������
I �ł��邩�̂悤�ȁC��������'���R��'DG-���߂�L����D�A�v���P�[�V������ D ���O���t�̎��R�ȃf�[�^�^�C�v�ʑ����܂ނ悤��D-�����ɂ���ĉ��߂���邱�Ƃ�v��
���Ă��悢�D�����ăf�[�^�^�C�v�g���v�����O���t�ɂ���f�[�^�^�C�v'�錾'�Ƃ��Ĉ������ƂɂȂ�C�S�Ԗڂ̈Ӗ��_�I�����͕K�v�\������('iff')�ƂȂ�D�������Ȃ���C�f�[�^�^�C�v�g���v���́C���ꎩ�̂ł͂���O���t�����̑��̃f�[�^�^�C�v�̈Ӗ��_�I�������[�����邩�ǂ����`�F�b�N����̂ɕK�v�ȏ�����͂��Ȃ����C�`���I�ɂ͂��̑��̉��߂o���Ȃ��̂ŁC�`���I�Ȕ��ӂ̌����Ƃ��Ă��̗v�����̗p���邱�Ƃ́C�ȉ�����U���ŏq�ׂ���ʒP���������}��j�邱�ƂɂȂ�D
S �̂ǂ̗v�f���[�����邷�ׂĂ�D-�������CE ���܂��[������Ƃ��CS �� E ��D-���ӂ��� �Ƃ����D���̌���������Q�����P�������ɂȂ�������̂ł��邪�C���ׂĂ̒P�����߂ł͂Ȃ��CD-�����݂̂Ɍ��������Ƃł���D D-���߂���b�����̈��ł���D
��ɒ��L�����悤�ɁC����O���t�������b�ɂ����Ė������ł����Ă��C���傫�Ȍ�b�ɂ��Ē�`���ꂽ�Ӗ��_�I�g���ɂ����Ė������邱�Ƃ͂��肦�邵�CD-����������RDF�O���t�ɂ����Ė��������e���邱�Ƃ��ł���D ��b�����̒�`���Ӗ�����Ƃ���́C��������O���t�͂�苭�͂Ȍ�b���ӂɂ����������Ȃ� �O���t�ł����ӂ���ł��낤�Ƃ������Ƃł���D�Ⴆ�C���� D-�����ȃO���t�͂����Ȃ�RDF�O���t�ł�D-��������D�������C�����͂�菬���Ȍ�b�ł����������ӂł͂Ȃ������m��Ȃ��̂ŁC���̂悤��'������܂���'���ӂ�L�v�Ȍ��_�ƍl���邱�Ƃ͒ʏ�K�ł͂Ȃ����낤�D
RDF�O���t�̂���W�����^�����āC����ɏ���'�lj�����'�ɂ͗l�X�ȕ��@������D�ǂ�ȃO���t�ł�����ɒlj������g���v�����L�蓾�āC���̃O���t�W���͒lj��̃O���t�ɂ���Ċg�����꓾��D���邢�́C�O���t�̌�b����b�����̂�苭�͂ȊT�O�Ɋւ��ĉ��߂��꓾��D���Ȃ킿�C�Ӗ��_�I�����̂�肨�����ȏW���ʼn��߂ɂ����ďd�˂��킳�����̂Ɨ��������D�����̂��ׂĂ͏��̒lj��ƍl�����Ă���C�ω��̑O�ɐ������Ă������������̔��ӂ����o�����Ƃ��ł���D����炷�ׂĂ̒lj��́C������O�ɐ������Ă������ӂ́C���̌����������Ƃ����Ӗ��ɂ����āC �P���ł���D��������̈�̃����}�ł܂Ƃ߂邱�Ƃ��ł���D
��ʒP���������}. S �� S' �� S �̂��ׂẴ����o�[�� S' �̂����ꂩ�̃����o�[�ł���悤��RDF�O���t�̏W���ł���Ƃ���DY �� X �̈Ӗ��_�I�g����\���CS �� E �� X-���ӂ��āC S �� E �� Y �̂����Ȃ�\���_�I������[��������̂Ƃ���D���̂Ƃ��CS' �� E �� Y-���ӂ���D
���ɁC���� D' ���f�[�^�^�C�v�ʑ��̂Ƃ��́CD' �̕����W�� D �ŁC���� S �� E ��D-��������̂Ȃ�CS ���܂� E �� D'-���ӂ���D
�ȉ��̕\�ł́C��b���ӂ̗l�X�Ȍ`���̂����̂������ɂ��āC RDF��RDFS���ӂ̂��߂�RDFS�O���t���`�F�b�N����\�t�g�E�F�A�v�̃K�C�h�Ƃ��ėp���邱�Ƃ̂ł��鐄�_�p�^�[�������X�g����D�����̓��[����O�����ɉ��p���邱�Ƃ��x�[�X�Ƃ��邪�C��o���ꂽ���ӂ̋A�����ɔF�߂����̃p�^�[�������_�Ƃ��āC��o���ꂽ�O�����ɐ������}�b�`���鑼�̃��[���̌��_�����Ƃ߂Č�����ɒT�����Ă��悢�D
���[���͂��ׂ� ����O���t������p�^�[���Ɉ�v����g���v�����܂ނƂ��C����g���v�����O���t�ɒlj������ �Ƃ����`���ŏq�ׂ���D�����Ă����͂��ׂāC�����ɁC����O���t���C���X�̃O���t�Ƀ��[����K�����邱�Ƃɂ���ē�����C��肨�����ȃO���t��(���X�g���ꂽ�K�ȈӖ��ɂ�����)���ӂ���C����O���t�Ƀ��[����K�����邱�ƂŁC�}�[�W�ł͂Ȃ��C���_�̒P���ȍ������`�����邱�Ƃ𒍈ӂ��Ă����D���̂䂦�ɁC�O���t���ɂ��łɂ���ǂ�ȃu�����N�m�[�h���ۑ������D
�����̃��[���͎��̂悤�ȋK��ŗp������Daaa�Cbbb�C���̓g���v�����̔C�ӂ̉\�ȃv���f�B�P�C�g�ł���URI�Q�Ƃ�\���Duuu�Cvvv�C���́C�g���v�����̔C�ӂ̉\�ȃT�u�W�F�N�g�ł���CURI�Q�Ƃ��邢�̓u�����N�m�[�h���ʎq��\���D xxx�Cyyy�C���̓g���v�����̔C�ӂ̉\�ȃT�u�W�F�N�g���邢�̓I�u�W�F�N�g�ł���CURI�Q�Ƃ��邢�̓u�����N�m�[�h���ʎq���邢�̓��e������\���Dlll �̓��e������\���C_:nnn ���̓u�����N�m�[�h���ʎq�ł���D
��Q�������}�����}�́C�ĉ��O���t���Ȃ킿���̃O���t���C���X�^���X�Ƃ���O���t������ȉ��̔��Ӄ��[���ɂ��C�����t������D�T�u�O���t�Ƃ��邱�ƂɁC�g���v���Ɋւ��鐄�_���[���Ƃ��Ė����I�Ȍ`�����͕K�v�Ȃ��D
Rule name | If E contains | then add |
se1 | uuu aaa xxx . |
uuu aaa _: nnn ��
���[�� se1 ���邢�� se2 �ɂ���� xxx ���A���P�C�g�����u�����N�m�[�h�̎��ʎq�D |
se2 | uuu aaa xxx . |
_: nnn ��
���[�� se1 ���邢�� se2 �ɂ���� uuu ���A���P�C�g�����u�����N�m�[�h�̎��ʎq�D |
�p�� '�A���P�C�g�����' �Ƃ́C�u�����N�m�[�h������URI�Q�ƁC�u�����N�m�[�h���邢�̓��e�����Ɋւ��āC���̖������ꂽ���[����K�p���邱�Ƃɂ��C��ɍ���Ă��Ȃ���Ȃ�Ȃ��Ƃ������Ƃ��Ӗ����Ă���D���Ȃ킿�C�������̂悤�ȊY������u�����N�m�[�h���Ȃ���C�O���t���ɂ͂Ȃ����� '�V����' �m�[�h������Ȃ���Ȃ�Ȃ��D���̏�����₱���������́C�V�����u�����N�m�[�h�̃g���v����lj����邱�Ƃœ�����O���t�����̃O���t�𐳋K�ȃC���X�^���X�Ƃ��邱�Ƃ��m���ɂ��C���̂悤�ȃO���t�ł���ǂ�Ȃ��̂ł��C�����̃��[���ɂ���Đ����������̂Ƃ��ē����T�u�O���t��L����悤�ɂȂ邱�Ƃ�ۏ���D�Ⴆ�C���̃O���t
<ex:a> <ex:p> <ex:b> .
<ex:c> <ex:q>
<ex:a> .
�͎��̂悤�Ɋg������Ă悢�D
_:x <ex:p> <ex:b> .
ex:a
���A���P�C�g������V����_:x
��p����
se1 �ɂ����<ex:c> <ex:q> _:x .
ex:a
�ɃA���P�C�g����铯��_:x
��p���� se2 �ɂ����_:x
<ex:p> _:y .
ex:b
���A���P�C�g������V����_:y
��p����
se2 �ɂ����
�������C���̂悤�ɐ��_���邱�Ƃ͐������Ȃ��D
** _:x <ex:q> <ex:a> .
** se2 �ɂ����(**
_:x
�� ex:c
�ɂ��A���P�C�g�����Ă��Ȃ��̂�)
�����̃��[���̓u�����N�m�[�h���}���ɑ��₵�āC���ɔ��Ȗ��ȃO���t�����邱�Ƃ��\�ɂ���D���̂悤�Ȕ��ӂ��e�F�����D
<ex:a> <ex:p> <ex:b> .
<ex:a>
<ex:p> _:x .
ex:b ���A���P�C�g�����
_:x ��p���� xse1 �ɂ����<ex:a> <ex:p> _:y .
_:x ���A���P�C�g�����
_:y ��p���� xse1 �ɂ����_:z <ex:p> _:y .
ex:a ���A���P�C�g�����
_:z ��p���� xse2 �ɂ����_:u <ex:p> _:y .
_:z ���A���P�C�g�����
_:u ��p���� xse2 �ɂ����_:u <ex:p> _:v .
_:y ���A���P�C�g�����
_:v ��p���� xse1 �ɂ����
���������̃��[����K�ȏ����œK�����邱�Ƃɂ��CS ���� E ���������Ȃ�C�����Ă��̂Ƃ��ɂ̂� S �� E �̃C���X�^���X�ł��邱�Ƃ́C�e�Ղɕ�����D����ŁC���}�����}�ɂ��C�����̃��[���̓K���ɂ���� S ���� E (���܂ރO���t)���������Ƃ��C���̂Ƃ��̂݁CS �͒P���� E �ӂ���D�������C���[���͒�~���邱�ƂȂ������ȃg���v���̑����̏璷�Ȍ��ʂ����Ƃ��ł���̂ŁC�����f�p�ɂ����̃��[����K�����Ă��C�L���ȒT���v���Z�X�ɂ͂Ȃ�Ȃ��Ƃ������Ƃ��܂��C���炩�ł���D
�C�ӂ�RDF�O���t�Ԃ̒P�����ӂ����肷��Ƃ�����ʓI���́C����\(decideable)�ł͂��邪 NP-���S�ł���D���̂��Ƃ́C�O���t��\������u�����N�m�[�h�݂̂�p����(Jeremy Carroll�ɂ��ώ@) RDF���ӂƂ��ĔC�ӂ̗L���O���t�̃T�u�O���t�����o���Ƃ��������R�[�h�����邱�Ƃɂ���āC�������D
RDF��RDFS���ӌ��o�̂��߂̎��̃��[���W���́C���[�� se1 �����e�����ɓK�p��������ȃP�[�X�ł���D
Rule Name | If E contains | then add |
lg |
uuu aaa lll |
uuu aaa _: nnn
�͂��̃��[���ɂ���ă��e���� lll ���A���P�C�g������u�����N�m�[�h�̎��ʎq�ł���D |
���̃��[���́C��̃��e�������^�����āC���̃��e�������܂ނ��ׂẴg���v������Ȃ� E �̂ǂ�ȃT�u�O���t�ł��C���̃��e���������j�[�N�ȃu�����N�m�[�h�ɂ���Ēu��������ꂽ���^�̃T�u�O���t�Ƃ��čĐ�������̂ɏ\���ł��邱�Ƃɒ��ӂ��ꂽ���D����̌����ȓ����́CRDF�g���v���ɂ����ăT�u�W�F�N�g�̈ʒu�Ƀu�����N�m�[�h�����邱�Ƃ��ł��āC���̃��e�����ɂ���ĕ\������郊�e�����l�̐�����\�����鑼�̃��[���ɂ���āC���_�����Ƃ��ł���Ƃ����Ƃ���ɂ���D
RDFS���ӂɑ��Ă̓��[�� lg �ɔ��̒lj����[�����K�v�ł���D
Rule Name | If E contains | then add |
gl |
uuu aaa _:nnn ������ |
uuu aaa lll |
�����炩�ɁC�A���P�C�g���ꂽ�u�����N�m�[�h�����̐��_���[���ɂ���ĐV�����g���v���̃I�u�W�F�N�g�̈ʒu�ɓ��������ꍇ�ȊO�ł̓��[�� gl �͒P���ɏ璷���ݏo�����낤�D�����̃��[���̌��ʂ̓��e�������܂ނǂ�ȃg���v���ł��C�A���P�C�g���ꂽ�u�����N�m�[�h���܂ޗގ��̃g���v���ƌ݂��ɓ��o���\�ł���Ƃ����Ƃ���ɂ���C���e�����͂����̃��[����K�p���邱�Ƃ�ړI�ɃA���P�C�g���ꂽ�u�����N�m�[�h�Ŏ��ʂ��邱�Ƃ��ł���D
Rule Name | if E contains | then add |
rdf1 | uuu aaa yyy . |
aaa rdf:type rdf:Property . |
rdf2 |
uuu aaa lll |
������ _:nnn �����[�� lg �ɂ�����A���P�C�g������u�����N�m�[�h�̎��ʎq�D |
�����̃��[���́C���̈Ӗ������S �ł���D
RDF ���Ӄ����}�D�������[�� lg ��RDF ���Ӄ��[���̓K�p�ɂ���āC S �ɉ�����RDF �����g���v����������o�����O���t�������āC���ꂪ E ���P���ɔ��ӂ����Ȃ�C�����Ă��̂Ƃ��̂݁C S �� E ��rdf-���ӂ����D (�ؖ��� �t�^ A)
��������[�� gl���g�p����K�v���Ȃ����Ƃ𒍈ӂ��Ă����D
Rule Name | If E contains: | then add: |
---|---|---|
rdfs1 |
uuu aaa lll ������ lll �̓v���[�����e����(����^�O�L�肠�邢�͖���)�D |
������ |
rdfs2 |
aaa |
uuu rdf:type xxx . |
rdfs3 |
aaa |
vvv rdf:type xxx . |
rdfs4a | uuu aaa xxx . |
uuu rdf:type rdfs:Resource . |
rdfs4b | uuu aaa vvv. |
vvv rdf:type rdfs:Resource . |
rdfs5 |
uuu |
uuu rdfs:subPropertyOf xxx . |
rdfs6 | uuu rdf:type rdf:Property . |
uuu rdfs:subPropertyOf uuu . |
rdfs7 |
aaa |
uuu bbb yyy . |
rdfs8 |
uuu |
uuu rdfs:subClassOf rdfs:Resource . |
rdfs9 |
uuu |
vvv rdf:type xxx . |
rdfs10 | uuu rdf:type rdfs:Class . |
uuu rdfs:subClassOf uuu . |
rdfs11 |
uuu |
uuu rdfs:subClassOf xxx . |
rdfs12 | uuu rdf:type rdfs:ContainerMembershipProperty . |
uuu rdfs:subPropertyOf rdfs:member . |
rdfs13 | uuu rdf:type rdfs:Datatype . |
uuu rdfs:subClassOf rdfs:Literal . |
�����̃��[���ɑ������S�����q�ׂ�ɂ́C ill-typed ��XML���e�����ɂ��Ĕ�[���ȕ\�����܂ނ��߂� �O���t��rdfs-�����ƂȂ�\��������̂ŁC���ӂ��K�v�ł���D�Ⴆ�C
<ex:a> rdfs:subClassOf rdfs:Literal
.
<ex:b> rdfs:range <ex:a>
.
<ex:c> rdfs:subPropertyOf
<ex:b>.
<ex:d> <ex:c> "<"^^rdf:XMLLiteral
.
������ ill-typed ��XML���e�����̕\���̓��e�����l��K�v�Ƃ��Ȃ����C���̕\���Ɋ�Â��Đ��_����邱�Ƃ͂��蓾��D���̂悤�� rdfs-�����ȃO���t�́C���ɍ\���_�I�ɂ͊W�Ȃ��O�������Ƃ��Ă����ׂĂ� RDF �O���t�� rdfs-���ӂ���̂ŁC���̂悤�ȏꍇ�������Ȃ���Ȃ�Ȃ��D
���̌`���̃g���v�������ƂŁC���Ӄ��[���ɂ���Ė�����F���ł���Ƃ��������I�ȃV�O�i��������D
xxx rdf:type rdfs:Literal .
������ xxx �����[�� lg�ɂ���āC ill-typed ��XML���e�������A���P�C�g������D���̂悤�ȃg���v����XML clash �ƌĂԁD��L��ł́C���̂悤�ȃN���b�V�����f���ɓ������D
<ex:d> <ex:c> _:1 .
(���[��
lg �ɂ���āC_:1
�� "<"^^rdf:XMLLiteral
���A���P�C�g�����)<ex:d>
<ex:b> _:1 .
(���[��rdfs7
�ɂ����)_:1 rdf:type <ex:a>.
(���[��rdfs3�ɂ����)_:1
rdf:type rdfs:Literal .
(���[��rdfs9�ɂ����)
���̂Ƃ��C�����̃��[���͎��̈Ӗ��ŁC���S�ł���D
RDFS ���Ӄ����}�D�������[�� lg�C���[�� gl �� RDF ����� RDFS ���Ӄ��[���̓K�p�ɂ���āC S �ɉ�����RDF ����� RDFS �����g���v�����瓱�����Ƃ̂ł���O���t�������āC���ꂪ E ���P�����ӂ������C���邢�� XML �N���b�V�����܂ނ̂Ȃ�C�����Ă��̂Ƃ��ɂ̂݁CS �� E ��rdfs-���ӂ����D (�ؖ��� �t�^ A �ɂ���)
RDFS ���[���ɂ͏璷��������D�Ⴆ�CRDF �����g���v���̂��̂قƂ�ǂ��ׂĂ��C���[��rdfs2 ����� rdfs3 �� RDFS �����g���v�����瓱�����Ƃ��ł���D
�����̃��[���̏o�͂͂����Α��̃��[�����g���K�[����D�����̃��[���̓O���t���̂��ׂĂ�rdf:type
�\���ɂ��Ă��ׂẴX�[�p�[�v���p�e�B��X�[�p�[�N���X�ɑ��āC������ĕ\�����Ȃ���C���̃T�u�v���p�e�B�K�w��T�u�N���X�K�w�̏�ʂɓ`�d������D
rdf1
�̓O���t���ɗp�����邷�ׂẴv���p�e�B���ɑ��ă^�C�v�\�������邵�Crdfs3
�͍ŐV�� RDFS
�����g���v���Ƌ��ɁC�p�����Ă��邷�ׂẴN���X���ɑ��Ă��ׂẴ^�C�v�\����lj�����D�����Ȃ�T�u�v���p�e�B��T�u�N���X�\�����Crdfs2
�� rdfs3
�� RDFS �����g���v���W�����̒�`��\���ƒl��\���ɂ���ēK�ȃ^�C�v�\��������D��b V ���̂��ׂĂ� uuu �ɂ���
uuu rdf:type rdfs:Resource .
����������C���ׂẴN���X�� uuu �ɂ���
uuu rdfs:subClassOf rdfs:Resource .
�����������D�����Ď��̂悤�ȁC�������̂�� '���ՓI' �Ȏ���
rdf:Property rdf:type rdfs:Class .
�����������D
��
4.1 ���ɋL�ڂ��ꂽ��苭�͂ȊO���I�Ӗ��_�����́C RDFS
���[���ł̓J�o�[����Ȃ�����Ȃ锺�ӂF����D�ȉ��̕\�ł͂��̂�苭�͂ȈӖ��_�ɂ����Đ��������Ӄp�^�[���̂����������X�g����Ă���D����͊O���I�Ӗ��_�����ɑ������S�����[���W���ł͂Ȃ��D�����̃��[���̂������rdfs-�����ł͂Ȃ��C��
4.1
���L�ڂ̋������ꂽ�O���I�Ӗ��_�����ɓK�������Ƃ���́C�Ӗ��_�I�O���ɂ݂̂��Ă͂܂���̂ł��邱�Ƃ𒍈ӂ��Ă����D�����̃��[���͂��̑��̌��_�������炷�D�Ⴆ�C
rdfs:Resource
�͂��ׂẴv���p�e�B�̒�`��ƒl��ł���D
���[�� ext5-ext9 �͋��ʂ̃p�^�[���ɂ����������C�����͋������ꂽ�O���I�����ɂ́C�\�Ȃ�����傫�� rdfV �� rdfsV
�̌�b�ɂ����āC�v���p�e�B�̒�`��i�����Đ��ړI�ȃv���p�e�B�ɑ���l��j���K�v�ł���Ƃ��������̔��f�ł���D���̂��߁C�����𐧌����悤�Ƃ��Ă����̎��݂́C�Ӗ��_�I�����ɂ���ĂЂ����肩������Ă��܂����낤�D���l�ȃ��[����
rdfs:range
�� rdfs:domain
�̃X�[�p�[�v���p�e�B�ɂ��K������邪�C���ۂɂ��̂悤�ȃP�[�X�͋N���邱�Ƃ͂��肻���������D
ext1 |
uuu |
uuu rdfs:domain zzz . |
ext2 |
uuu |
uuu rdfs:range zzz . |
ext3 | uuu rdfs:domain vvv . www
rdfs:subPropertyOf uuu . |
www rdfs:domain vvv . |
ext4 | uuu rdfs:range vvv . www
rdfs:subPropertyOf uuu . |
www rdfs:range vvv . |
ext5 | rdf:type rdfs:subPropertyOf www
. www rdfs:domain vvv . |
rdfs:Resource rdfs:subClassOf vvv
. |
ext6 | rdfs: subClassOf
rdfs:subPropertyOf www . www rdfs:domain vvv . |
rdfs:Class rdfs:subClassOf vvv
. |
ext7 | rdfs:subPropertyOf rdfs:subPropertyOf
www . www rdfs:domain vvv .
|
rdf:Property rdfs:subClassOf vvv
. |
ext8 | rdfs: subClassOf
rdfs:subPropertyOf www . www rdfs:range vvv . |
rdfs:Class rdfs:subClassOf vvv
. |
ext9 | rdfs:subPropertyOf rdfs:subPropertyOf
www . www rdfs:range vvv .
|
rdf:Property rdfs:subClassOf vvv
. |
�f�[�^�^�C�v������\���Ɣ��Ӄ��[���̌��n���瑨����ɂ́C �f�[�^�^�C�v���̂ɂ���Ē������Ɍ��y���C �f�[�^�^�C�v�̂������Ƃׂ邱�ƂŃ`�F�b�N���邵���Ȃ��悤�ȍ\���_�I���������肷��̂ɕK�v�ȃ��[�����q�ׂ�K�v������D
�f�[�^�^�C�v�ɂ��ė��p�\�Ȋe����ɑ��āC���̎�̏������̐��_���[�����q�ׂ邱�Ƃ��ł��邪�C�����RDFS ���Ӄ��[���\�̊g���ƍl������D�����͖��ߍ��݃f�[�^�^�C�v�ȊO���f�[�^�^�C�v�ւ̉��p�ƍl������ׂ��ł���C RDFS ���Ӄ��[���̈ꕔ�ɑ��郋�[���ł���D�ȉ��ɏq�ׂ郋�[���ł́C�F�߂�ꂽURI�Q�Ƃɂ���ĕ\������� �f�[�^�^�C�v�ɂ��ė��p�\�ȏ������̂Ɖ��肵�Ă���C�����f�[�^�^�C�v�Ɍ��y���� URI�Q�Ƃ�p���Ă���D
�e���e����������ɑ��āC��{�I�ȏ��Ƃ��āC���ꂪ�f�[�^�^�C�v�̐���������`���ł��邩�Ȃ�������肷��D���Ȃ킿�C�����f�[�^�^�C�v�̎���l�ʑ��ɂ����Ă���l�Ɏʑ��������̂���肷��D����� ddd �ɂ��\��������f�[�^�^�C�v�ɑ��鐳��������`���ł���e������ sss �ɂ��ẮC���̃��[���ɑ�������D
rdfD1 |
ddd |
_:nnn ������ _:nnn �����[�� lg�ɂ���� "sss"^^ddd �� �A���P�C�g�����u�����N�m�[�h�̎��ʎq�ł���D |
��̎���`�� sss �� ttt �� ddd �ɂ���ĕ\��������f�[�^�^�C�v�̉��ŁC�����l�Ɏʑ��������̂Ƃ��悤�D���̂Ƃ����̃��[�����K�������D
rdfD2 |
ddd |
uuu aaa "ttt"^^ddd . |
ddd �ŕ\��������f�[�^�^�C�v�̎���`�� sss �� eee �ŕ\��������f�[�^�^�C�v�̎���`�� ttt �������l�Ɏʑ��������̂Ƃ��悤�D���̂Ƃ����̃��[�����K�������D
rdfD3 |
ddd |
uuu aaa "ttt"^^eee . |
������ɁC���� ddd �̕\�������f�[�^�^�C�v�̒l��Ԃ��C eee �̕\�������f�[�^�^�C�v�̒l��Ԃ̕����W���ł���ƕ������Ă���C
ddd rdfs:subClassOf
eee .
�ƕ\�����邱�Ƃ͓K�ł���D
�������C����͕����W���W���炾���ł͓����Ȃ��̂ŁC�����I�ɕ\�������K�v������D
�����̃��[���ɂ����ăR�[�h�����ꂽ���͐��������̂Ɖ��肵�āC�����Ƃ���ȑO�̃��[����K�����邱�Ƃœ�����O���t�̓I���W�i���ɂ����D-�������ꂽ�O���t�ł���D
���[�� rdfD2 �� 3
�͊�{�I�Ɏ���`���Ԃ̓������ɂ�����ł���D���̂悤�ȓ����͖����̑����̌��_������\�͂�����D�Ⴆ�C������xsd:integer
�̎���`���ł��邱�Ƃ��~�߂邱�ƂȂ��C���Ƀ[���������ł����邱�Ƃ��ł���D���̂悤���������͂��邪�C�~���悤�̖������_������邽�߂ɂ́C��ƂȂ�`��������Ƃ��ɂ́C�����f�[�^�^�C�v�ɂ��Ă��̂悤�Ȋ�`���Ŏ���`����u��������悤��
rdfD2
�𐧌����邾���ŏ\���ł���D�������Ȃ���C���������ӂ��ȗ����邱�Ƃ̂Ȃ��悤�ɁC���̂悤�Ȋ�����[���͒�Ă��ꂽ���ӂ̑O�����Ɠ��������_�ɂ��K�������ׂ��ł��邵�C
rdfD3 �^�C�v�Ɠ������[���͌X���f�[�^�^�C�v�̊�`���̊Ԃœ���̂��߂̒m���f����K�v�����邾�낤�D
���ʂȏꍇ�ɂ́C���̏������p�\�����m�ꂸ�C����� RDFS ��b��p���邱�Ƃ��ł��邩���m��Ȃ��D���̂悤�ȃf�[�^�^�C�v�ŗL�̈Ӗ�������ɈӖ��_�I�g���ɂ���Ē�`����Ă��悢�D
�����̃��[���́C�F�߂�ꂽ�f�[�^�^�C�v�̂ǂ�� well-formed
�Ȍ^�t�����e�������C�N���Xrdfs:Literal
�ɂ����鉽����\������ƌ��_���邱�Ƃ��ł���D
<ex:a> <ex:p> "sss"^^<ex:dtype> .
<ex:dtype>
rdf:type rdfs:Datatype .
<ex:a> <ex:p> _:nnn .
(���[��
lg �ɂ����)
(���[�� rdfD1
�ɂ����)
_:nnn rdf:type <ex:dtype> .
(���[�� rdfs11
�ɂ����)
<ex:dtype> rdfs:subClassOf rdfs:Literal .
(���[�� rdfs9
�ɂ����)
_:nnn rdf:type rdfs:Literal .
���[�� rdfD1 �͈ȉ��̎��̐��_�A���ɂ�����f�[�^�^�C�v�N���b�V���̂������̃P�[�X�ɂ��C�����\�I���邱�Ƃ��ł���D
<ex:p> rdfs:range <ex:dtype> .
<ex:a> <ex:p>
"sss"^^<ex:otherdtype> .
<ex:a> <ex:p> _:nnn .
(���[�� rdfD1
�ɂ����)
_:nnn rdf:type
<ex:otherdtype> ._:nnn rdf:type <ex:dtype> .
(���[�� rdfs3
�ɂ����)
����̃f�[�^�^�C�v�̂��߂̐�����D-���ӂ́C����̃f�[�^�^�C�v�̓��L�̐����Ɉˑ�����̂ŁC�����̃��[���͒l��Ԃ̃T�C�Y�̂悤��
D-���ӂ̐��_�@���̊��S�ȏW������Ȃ��D (�Ⴆ�� xsd:boolean
�͓�̗v�f�����Ȃ��C��̒l�ɑ��Ċm�����ꂽ�ǂ�Ȃ��̂ł��C���̃f�[�^�^�C�v��L���邷�ׂẴ��e�����ɑ��Đ^�ƂȂ�Ȃ���Ȃ�Ȃ��D) ���ɁCXSD �f�[�^�^�C�v�ł���xsd:string
�̒l��ԂƎ���l�ʑ��ł́C����^�O�Ȃ��̃v���[�����e�����ƌ^�t�����e�����̗������C���̃��e�������ɕ\�����ꂽ (displayed) ���j�R�[�h�������\������
(denote) �̂ŁC�f�[�^�^�C�v�̎����Ԃɂ����邷�ׂĂ̕�����ɑ��ė��҂͓���Ƃ���D����ŁC�ȉ��̐��_���[���͂��ׂĂ�
XSD-���߂ɂ����Đ������D�����ŁC'sss' ��xsd:string
�̎����Ԃɂ�����C�ӂ�
RDF ������ł���D
xsd 1a | uuu aaa "sss". |
uuu aaa "sss"^^xsd:string . |
xsd 1b | uuu aaa "sss"^^xsd:string . |
uuu aaa "sss". |
���[�� rdfD2 �� rdfD3 ��p����̂Ɠ��l�ɁC�A�v���P�[�V�����͂����̃��[���ړK�p����̂ł͂Ȃ��C�����̓����Ȍ`���̈�𑼂̈�ƌn���I�ɒu�����������Ă��悢�D
��O���t�̃����}�D �g���v���̋�W���͂ǂ�ȃO���t�ɂ���Ă����ӂ���邪�C����͎������g�������ǂ�ȃO���t�����ӂ��Ȃ��D
�ؖ��D N ���g���v���̋�W���Ƃ��悤�D�O���t�Ɋւ���Ӗ��_�I������ �����Ȃ� I �ɑ��Ă��CN �� I �ɂ����Đ^�ł��邱�Ƃ�v������D���������āC��Ԗڂ̕����͔��ӂ̒�`���瓾����D G ��C�ӂ̋�łȂ��O���t�Ƃ��Cs p o
.
�� G ���̂���g���v���Ƃ���D���̂Ƃ��CIEXT(I(p)) = { } ��L���� ���� I �� N ���[�����邪 G �͏[�����Ȃ��D���������� N �� G �ӂ��Ȃ��DQED.
����́C�ȉ��ɑ������ʂ̂قƂ�ǂ͋�O���t�ɑ��Ă͓��R�ł���C�\������邱�Ƃł��邱�Ƃ��Ӗ����Ă���D
�T�u�O���t�̃����}�D �O���t�͂��̃T�u�O���t���ׂĂӂ���D
�ؖ��D �T�u�O���t �� �����̒�`���玩���ł���D�����O���t�� I �ɂ����Đ^�ł��̂Ƃ����� A �ɑ��Đ^�ł���C���̃g���v�����ׂĂ� I+A �ɂ����Đ^�ł���D ���������āC�g���v���̂��ׂĂ̕����W���� I �ɂ����Đ^�ł���DQED
�}�[�W�̃����}�D RDF�O���t�W�� S ���}�[�W�� S �ɂ���Ĕ��ӂ���CS �̂��ׂẴ����o�[�ӂ���D
�ؖ��D �����ƃ}�[�W�̒�`���玩���D S �̂��ׂẴ����o�[�́C����S �̃}�[�W���̂��ׂẴg���v�����^�ł���Ƃ����̂Ƃ��̂ݐ^�ł���D QED.
����́C�{�����ŏq�ׂ��悤�ɁC�O���t�̂���W���͏[�����Ɣ��ӂ��c�_����Ƃ��ɁC���������P��̃O���t�ł��邩�̂悤�Ɉ������Ƃ��ł���Ƃ������Ƃ��Ӗ����Ă���D���̖��͈ȉ��� �t�^ �ɂ����č̗p����C����O���t�W���C����O���t�ӂ���O���t�W���C���X�̉��߂ւ̌��y�́C�ǂ̏ꍇ���O���t�W���̃}�[�W�ւ̌��y�Ƃ��ė�������Ȃ���Ȃ炸�C�ȉ��ɂ����� '�O���t' �ƌ������Ƃ��ɂ́C����̓O���t��O���t�̏W���������Ă�����̂Ƃ����D
�C���X�^���X�̃����}�D �O���t�͂��̂��ׂẴC���X�^���X�ɂ���Ĕ��ӂ����D
�ؖ��D I �� E' ���[�����CE' �� E ���C���X�^���X�Ɖ��肷��D ���̂Ƃ��CE' �̃u�����N�m�[�h�Ɋւ��邠��ʑ� A �ɑ��āCI+A �� E' �ɂ����邷�ׂẴg���v�����[������D E ���̊e�u�����N�m�[�h b �ɑ��āCB(b)=I+A(c) ���`����D������ c �̓u�����N�m�[�h���邢�� E' ���� b �ɒu����������O�ł��邩�C ���邢�͂����u���������̂��Ȃ���Cc=b �ł���D���̂Ƃ��CI+B(E)=I+A(E')=true �ł���C���������� I �� E ���[������D������ I �͔C�ӂł������D���������� E' �� E �� ���ӂ����D QED.
�X�R�������Ƃ́C�������_�V�X�e���ɂ����ă��[�`���I�ɗp������\���_�I�ϊ��ł���C���ݕϐ��� - �ǂ��ɂ��p�����Ă��Ȃ� - '�V����' ���ɂ���Ēu���������C�S�̕ϐ��͕���DRDF �ɂ����ẮC�X�R�������Ƃ́C�O���t���̂��ׂẴu�����N�m�[�h�𖼑O�ŁC���Ȃ킿����܂łǂ��ɂ�����Ă��Ȃ����Ƃ��ۏႳ��Ă���URI�Q�ƂŁC�u�������邱�Ƃł���D���ۏ�C����̓u�����N�m�[�h���g�p���邱�Ƃŕ\������Ă����C�����̃G���e�B�e�B�̑��݂ɂ������āC '�C�ӓI��' ���O��^����D���O�̔C�Ӑ����C�u�����N�m�[�h�ɂ���Ă���킳��鑶�݂̂���̂܂܂̕\������͐��_�������̂����������Ƃ������Ƃ�ۏႷ��D(���e�������g���Ƃ����͂Ȃ�Ȃ��D���e�����͗v�����ꂽ�Ӗ��ł͌����� '�V����' �͂Ȃ��D)
�����Ɍ����C(V �Ɋւ���) E �� �X�R������ �́C1:1 �̃C���X�^���X�ʑ���L����CV �Ɋւ��� E �̊��C���X�^���X�ł����āC G ���̊e�u�����N�m�[�h�� G ���ɂ͌���Ȃ�URI�Q�ƂɎʑ������D(���������āC�X�R������b V �� E �̌�b�Ƃ݂͌��ɑf(disjoint)�łȂ���Ȃ�Ȃ��D)
�X�R�������́C���ꎩ�̂ł͌����ȈӖ��ł�������(valid)����ł͂Ȃ�����ǂ��C�X�R���������ꂽ�\���̓X�R������b�̂Ȃ����̕\���Ɠ������ӂ�L���Ă���Ƃ����Ӗ��ɂ����āC�\���ɉ����V�������e��t�������Ȃ��D
�ؖ��D �C���X�^���X�̃����}�ɂ�� sk(E) �� E �ӂ���D
���āCsk(E) �� F �ӂ���Ƃ��悤�D������ F �� V �ƌ�b�����L���Ȃ��D������ I �� E ���[�����邠����߂ł���Ƃ���D���̂Ƃ��CE �̃u�����N�m�[�h����̂���ʑ� A �ɑ��āC I+A �� E ���[������Dsk(E) �̌�b�̉��� I' ���CIR'=IR�CIEXT'=IEXT�CE �̌�b���� x �ɑ��� I'(x)=I(x)�C V ���� x �ɑ��Ă� I'(x)=[I+A](y) �Ƃ���D������ y �� sk(E) �ɂ����� x �ɂ���Ēu���������� E ���̃u�����N�m�[�h�ł���D ���炩�ɁCI' �� sk(E) ���[������D���������āCI' �� F ���[������D������ F �̌�b�� V �̌�b�Ƃ݂͌��ɑf�ł���̂ŁC I'(F)=[I+A](F) �ł���D�������CI �͔C�ӂł���C���������� E �� F �ӂ���D
QED.
�����I�ɂ́C���̃����}�̓X�R�������́C�����̓_�ŁC���̃O���t�̕\���Ɨގ��̓��e��\�����邱�Ƃ������Ă���D�������Ȃ���C������ '�C�ӂ�' ���O�͈�U���s�����Ƃ��̑���URI�Q�ƂƓ�����ԂƂȂ�̂ŁC�O���t�͂��̃X�R�������Ɠ����ł���ƍl������ׂ��ł͂Ȃ��D�܂��C�X�R�������͔��ӂ̑O�����ȊO�̂��̂ɓK�����ꂽ�Ƃ��ɂ͓K�ł͂Ȃ�����ƂȂ�D�N�G���̃X�R�������͊��S�ɈقȂ�N�G��������킷���낤�D����ɂ�������炸�C���ӂɂ��Č��ʂ��ؖ�����Ƃ��ɑ����̖ړI�̂��߂ɁC��X�͊��O���t���l���邾���ł悢�D�X�R������b���܂܂Ȃ� E �����������ƁC S �́C���� S' �� E �ӂ���Ƃ������Ă��̂Ƃ��̂� E �ӂ���D
�ȉ��̃����}�̏ؖ��ł́C�O���t���g�ɂ����鎚��v�f��p���邱�Ƃɂ���ăO���t�̉��߂��\�������肩�����̗p����D (������G���u�����̍l���ł������D��X�͂����ł͂����������ƕύX���āC���e������K�Ɏ�舵���D) ��łȂ��O���t G ���^�����āCG �� ������(�P��)�G���u�������� �Ƃ́CHerb(G) �Ə����āC�ȉ��ɒ�`�������߂ł���D
LVHerb(G) = G ���̂��ׂẴv���[�����e�����̏W��; IRHerb(G) = G ���̃g���v���̃T�u�W�F�N�g�ƃI�u�W�F�N�g�̈ʒu�Ɍ���� ���O�ƃu�����N�m�[�h�̏W��; IPHerb(G) = G ���̃g���v���̃v���p�e�B�̈ʒu�Ɍ����URI�Q�Ƃ̏W��; IEXTHerb(G) = {<s,o>: G ���܂ރg���v�� s p o ISHerb(G) �� ILHerb(G) �͗����Ƃ� G �̌�b�̓K�ȕ�����ւ̓���ʑ��ł���D |
���炩�� Herb(G)+B �́C������ B �� G ���̃u�����N�m�[�h�ւ̓���ʑ��C�\������� G ���̂��ׂẴg���v�����[������D���������āCHerb(G) �� G ���[������D
�G���u���������� URI�Q�Ƃƌ^�t�����e���� (�ƃu�����N�m�[�h) ���C�v���[�����e�����Ɠ��l�ɁC���Ȃ킿�C����ŗL�̍\���I�`����\�����邩�̂��Ƃ��C��舵���D�������� RDF �̏�����ɂ���ĈӐ}���ꂽ���Ƃł͂Ȃ����C����͂ǂ�ȃO���t�̂��̂悤�ɉ��� �\�ł��� ���Ƃ������Ă���D����䂦�C���̂��Ƃ͂����Ȃ�RDF�O���t���[�������P�����߂�L���邱�ƁC���Ȃ킿 RDF �ɂ����ĒP���ɖ���������̂ł͂Ȃ����Ƃ𗧏���D
G �̃G���u�������߂̃��j�o�[�X�� G �̃u�����N�m�[�h���܂ނ��Ƃɒ��ӂ��ꂽ���D�����́C���ہC���̑��݂�\������G���e�B�e�B�� '��\' ����D�u�����N�m�[�h�̓O���t���[�����邽�߂ɂ���玩�g��\������Ɖ��߂���Ȃ���Ȃ�Ȃ��̂ŁC�O���t�̃X�R�������̃G���u�������߂̓u�����N�m�[�h�ʑ��ƈꏏ�̃O���t�̃G���u�������߂Ɠ��^�ł���D���Ȃ킿�CHerb(sk(G)) = Herb(G)+B (�\�L�@�̂悭�m��ꂽ���p�ɂ��C�G���u�������߂ɂ�����u�����N�m�[�h���X�R�������Ɠ��l�Ɉ����j
���}�̃����}�D ���� S �̃T�u�O���t�� E �̃C���X�^���X�Ȃ�C�����Ă��̂Ƃ��̂݁CS �� E �ӂ���D.
�ؖ��D '����' �̓T�u�O���t�ƃC���X�^���X�����}���瓱�����D
'���̂Ƃ��̂�' �̓G���u�����\�����g���DS �� E ��P���ɔ��ӂ���Ƃ��悤�D �����Herb(S) �� S ���[������D �̂ɁCHerb(S) �� E ���[������D ���Ȃ킿�CE �̃u�����N�m�[�h���� IRHerb(S) �ւ̎ʑ��ɑ��āC [Herb(S)+A] �� E ���̂��ׂĂ�
s p o.
���[������D���������āCS �̓g���v��
[Herb(E)+A](s) p [Herb(E)+A](o).
���܂܂Ȃ���Ȃ�Ȃ��D
����̓C���X�^���X�ʑ� A �̉��ł̈ȑO�̃g���v���̃C���X�^���X�ł���D����䂦�C���̂悤�� ���ׂẴg���v���W���� E �̃C���X�^���X�ł��� S �̃T�u�O���t�ƂȂ�DQED
���͓��}�����}�̒��ړI�ȋA���ł���D
�������̃����}�D E ���Ȗ��ȃO���t�Ƃ��C E' �� E �̐^�̃C���X�^���X�Ƃ���D���̂Ƃ� E �� E' �ӂ��Ȃ��D
�ؖ��D ���� E �� E' �ӂ���Ƃ��悤�D����� E �̃T�u�O���t�� E' �̃C���X�^���X�ł���C ����䂦�CE �̐^�̃C���X�^���X�ƂȂ�D���������āCE �� �Ȗ��ł͂Ȃ��D����͉����ɖ�������D ���������� E �� E' �ӂ��Ȃ��D
QED
�R���p�N�g�������}�D ���� S �� E �ӂ��CE ���L���̃O���t�Ȃ�CS �̗L���ȕ����W���� E �ӂ�����̂�����D
�ؖ��D ���}�����}�ɂ���āCS �̃T�u�O���t S' �� E �̃C���X�^���X�ł���D ����āCS' �͗L���ł���D������ S' �� E �ӂ���D
QED
�R���p�N�g���͒P�����ӂł͂�����܂��ł��邯��ǂ��C�����Ɛ��I�ȈӖ��_�I�g���ł͂���Ȃɂ�����܂��Ȃ��̂ɂ͂Ȃ�Ȃ��D
�P���������}�D S �� S' �̃T�u�O���t�Ƃ��CS �� E �ӂ���Ƃ��悤�D����� S' �� E �ӂ���D (��ʓI�P���������}�̓���ȏꍇ) QED
��ʓI�P���������}�D S �� S' ���CS �̂��ׂẴ����o�[�� S' �̂ǂꂩ�̃����o�[�̃T�u�Z�b�g�ł���悤�� s �̏W���Ƃ��悤�D Y �� X �̈Ӗ��_�I�g�����w������Ƃ��āCS �� E �� X-���ӂ���Ƃ��āCS �� E �� Y �̍\���_�I�����������̂Ƃ���D���̂Ƃ��CS' �� E �� Y-���ӂ���D
�ؖ��D����͒P���ɒ�`��ǐՂ���Γ�����D I �� S �� Y-���߂Ƃ��悤�D���̂Ƃ��CY �� X �̈Ӗ��_�I�g���Ȃ̂ŁC �T�u�O���t�ƃ}�[�W�̃����}�ɂ���āCI �� S ���[�����C�̂� I �� E ���[������D
QED
�ȉ��̓�̏ؖ��́C���}�����}�̏ؖ��ɗp����ꂽ��ʉ��̋��ʂ̃p�^�[���ɏ]���āC���[����]���Ƃ��떳���K�p���ē����� '��' �ɍ�p����G���u�����\���̏C����p����D���̏ؖ��́C���ʂ̉��߂���b�ɂ��K�ł��邵 �G���u���������ɂ����l�ɍ�p���邱�Ƃ��������Ƃɂ���āC�ؖ�����Ȃ���Ȃ�Ȃ��D�ؖ��̕��G���͑����ɁC���e�����l�𐳂����l�����邽�߂ɁC�G���u�����\�����������Ȃ���Ȃ�Ȃ��Ƃ������Ƃ��琶����D�G���u�������߂̓��e�����̌^�����āC���ׂĂ̌^�t�����e������e�����l�ł��邩�̂悤�Ɉ����D����͌^�t�����e������P�ɖ��O�̕\���̂悤�Ɉ����P�����ӂ��l������Ƃ��ɂ͏d�v�ł͂Ȃ�����ǂ��C rdf- ������ rdfs-���߂��l������Ƃ��ɂ͂����ƒ��Ӑ[�����K�v�ƂȂ�D
�ǂ���̏ؖ��ɂ����Ă��C�����ɂ����\�L�@���K�v�ł͂��邪�C��{�I�ɑf���ɗ���������̊�{�I�ȃA�C�f�A���p������D�P���G���u�������߂͂��ׂĂ̌�b�A�C�e��������玩�g�ł��邩�̂悤�Ɉ����āC�����̍\���_�I�A�C�e�����炻�̉��߂��\�z���邪�Crdf- ����� rdfs-���߂ɂ��Ă̈Ӗ��_�I�����́C����XML���e���������̎�ނ̃G���e�B�e�B��\������̂ɕK�v�Ȃ��ׂĂ̏ꍇ�ɂ���������Ȃ��D����䂦�C��X�́C�ł��邩���蓯��ʑ��ɋ߂�����ǂ��C�������ʂȃ��e�����l�ɓK�p�����Ƃ��ɂ̓O���t���̂��̒l�̏؋��Ƃ��ē�������̃u�����N�m�[�h�肷��ʑ��C���߂̃��j�o�[�X����O���t�̌�b(�����ău�����N�m�[�h�j�ւ̎ʑ� sur ���`���邱�Ƃɂ�� '�ق�Ƃ���' �Ӗ��_�I�����Ƃ��̍\���I '��p��' ����ʂ��邱�ƂƂ����D RDFS �̏ꍇ�ɂ́C�㗝�̎ʑ��͂��ׂẴ��e�����l�Ɋg�������D���e�����ɃA���P�C�g�����u�����N�m�[�h�́C�T�u�W�F�N�g�̈ʒu�ŋN���邱�Ƃ�����̂ŁC���̃��e�����l�ɂ��Ẵ��R�[�h���́C���ߎ��̂��̒l�ɖ߂���Ȃ���Ȃ�Ȃ��D
RDF ���Ӄ����}�D �������[�� lg �� RDF ���Ӄ��[�� �̓K���ɂ���āC S �ɉ�����RDF �����g���v�����瓱�����O���t�������āC���ꂪ E ��P�����ӂ���̂Ȃ�C�����Ă��̂Ƃ��̂݁C S �� E �� rdf-���ӂ����D
�ؖ��D'����' ���������߂ɂ́C���̃��[���� rdf-�����ł��邱�Ƃ������悢�D ����͓ǎ҂̉��K�Ƃ��Ďc���Ă���D���� S ���邢�� E ����ł���C���̂Ƃ��̌��ʂ͓��R�ł���D���������āC �����Ƃ���ł͂Ȃ��Ɖ��肹��D
'���̂Ƃ��̂�' ���ؖ�����ɂ́C�ؖ��� �P���G���u�������߂��P�����߂̂��߂ɍs�� rdf-���߂ɑ�������Ɠ��l�Ȗ������ʂ����CS ��rdf �G���u�������� RH ���\�����邱�ƂŐi�߂���D���̉��߂͂ł��邩����G���u�����\���ɏ]�����C RDF �Ӗ��_�������[�������悤�ɁCwell-formed ��XML���e���������߂���D���̌��ʁC RDF ��, C ���̃g���v���ɃK�C�h����āC���̃v���Z�X���瓾����O���t����`�����D
���ׂĂ�RDF �����g���v���� S �ɉ�����
���[���ɂ���ăO���t���ω����Ȃ��Ȃ�܂ŁCwell-typed ��XML���e�������܂ނǂ�ȃg���v���ɂ� ���[�� lg ��K������
�O���t���ω����Ȃ��Ȃ�܂ŁC���[��rdf2 ��K������
�O���t���ω����Ȃ��Ȃ�܂ŁC���[��rdf1 ��K������C �����[�� lg �ɂ���āCS ���̊e���e������ �A���P�C�g���ꂽ���m�ɂP�̐V�����u�����N�m�[�h _:nnn ���܂� ���Ƃɒ��ӂ��ꂽ���Dwell-typed ��XML���e�������܂� S ���̃g���v���̃T�u�O���t�́C���̃��e�������u�����N�m�[�h�ɒu���������� ���m�� C ���ɍĐ��Y����C���[��rdf2 �ɂ���ē�������� �g���v��
_:nnnrdf:type
rdf:XMLLiteral .
���lj������D���̏ؖ������[�� lg �� well-typed �� XML���e�����ɗp�����邱�Ƃ�����v�����C���̌��ʎ��ۂɏ���������������Ƃ������ʂƂȂ�Ƃ������Ƃɂ����ӂ��ꂽ���D���[�� lg�ɂ���ē��������u�����N�m�[�h�� �g���v���̃T�u�W�F�N�g�ʒu�ɂ����� well-formed ��XML���e��������p�� �ł���D (���̃����}�̏ؖ��ł͂��ꂪ���ׂẴ��e�����ɓW�J�����D) RDF ���߂��\�����邽�߂ɁCXML���e�����Ƃ��̑�p���͉��߂̗̈�ɂ�����K�ȃ��e�����l�ɒu��������Ȃ���Ȃ�Ȃ����C ���̏ؖ��ɂ����ẮC�eXML���e�����l�͂��ꂪ�\�����鎚���̃A�C�e���ɁC���j�[�N�ɊW�Â����Ȃ���Ȃ�Ȃ��D ����͎��̍\���ɂ����āC�ׂ��ȋC�����������炩�K�v�Ƃ���D
���� lll �� well-formed ��XML���e�����Ȃ�Cxml (lll) �� lll �� XML�l�Ƃ���D �����āCC ���� well-formed ��XML���e�����̊eXML�l�ɑ��āCsur (x) �� ���[�� lg�ɂ�肻��XML���e�����ɃA���P�C�g���ꂽ�u�����N�m�[�h�Ƃ��C sur �� C ���� URI�Q�ƁC�u�����N�m�[�h�C���̑��̃��e�����Ɋg������D
����� RH �͈ȉ��Œ�`�����D
LVRH = C ����� {xml (x): x �� well-typed �� S ����XML���e����} �ɂ����邷�ׂẴv���[�����e����
IRRH = LVRH ����� C ���ɂ��� URI�Q�ƁC�u�����N�m�[�h�C���̑��̌^�t�����e�����̏W��
IPRH = { x
:
C �̓g���v�� xrdf:type rdf:Property .
���܂ށD}���� x �� IPRH �̌��Ȃ�CIEXTRH(x) = {<s,o>
:
C �̓g���v�� sur(s)x
sur(o)
.
���܂ށD}ISRH �� S ���� URI�Q�� ��ւ̓���ʑ�
���� x �� S ���� well-formed ��XML���e�����Ȃ�CILRH(x) = xml(x), �����Ȃ���� ILRH(x) = x
C ���̃u�����N�m�[�h��ւ̎ʑ� B �����̂悤�ɒ�`����D ���� x �� well-formed ��XML���e���� lll �ɃA���P�C�g�����̂Ȃ�CB(x)=xml(lll)�C �����Ȃ���CB(x)=x�D���̂Ƃ������炩�� [RH+B] �� C ���������� S ���[�����C�̂� RH �� S ���[������D
C �͂��ׂĂ̕K�v�� RDF �����g���v�����܂ނ̂ŁCRH �͂������[������D
���ׂĂ� well-typed ��XML���e���� lll �ɑ��āC���[��rdf2 �́CIEXTRH(rdf:type) �� <xml (lll),
rdf:XMLLiteral
> ���܂ނ��Ƃ�v�����C����ɂ���ē������ꂽ�g���v���ɑ��āC�ŏ��̓�� RDF �Ӗ��_�I�������[������邱�Ƃ͗e�Ղɕ�����D3�Ԗڂ� RDF �Ӗ��_�I�����́C �\���ɂ���ĒP���ɂ͏[������Ȃ��C�l�K�e�B�u�ȈӖ��_�I�����ɂ����Ȃ����C���ꂪ�[�����邱�Ƃ͎����ł���D ill-typed ��XML���e������ RH ���ł͂��ꎩ�̂�\�����C����䂦�\������� LVRH ����͔r�������D ���e�����̓T�u�W�F�N�g�̈ʒu�ɗ��邱�Ƃ͂Ȃ��̂ŁC�y�A <lll,
rdf:XMLLiteral
> �� IEXTRH(rdf:type
) �Ɍ���邱�Ƃ͂Ȃ��D���������Ă��̏����͏[������C�̂� RH �� rdf-���߂ƂȂ�DS �� E �� rdf-���߂���̂ŁCRH �� E ���[������D�̂ɁCE �̃u�����N�m�[�h���� IRRH �ւ̂���ʑ� A �ɂ����āC [RH+A] �� E ���̂��ׂẴg���v��
s p o.
���[������D���Ȃ킿�CIEXTRH(p) �� <[RH+A](s),[RH+A](o)> ���܂ށD���Ȃ킿�CC �̓g���v��
sur([RH+A](s)) p sur([RH+A](o)).
���܂ށD����������̓C���X�^���V�G�[�V�����ʑ� x -> sur(A(x)) �̉��ł̍ŏ��̃g���v���̃C���X�^���X�ł���C �̂� C �̃T�u�O���t�� E �̃C���X�^���X�ƂȂ�C�̂� C �� E ��P���ɔ��ӂ���DQED
���̃����}�͂����Ȃ�O���t���[������rdf-���߂�L���Ă��邱�Ƃ������C���̏ؖ��� well-formed ��XML���e������K�ɉ��߂��āC�O���̂Ȃ��v���p�e�B�̑��݂��\�ɂ��邱�Ƃŕ�̃G���u�������߂���ǂ̂悤�ɂ�����\��������悢���Ƃ������@���������D���� E ���L���ł���C���o���ꂽ C �̃T�u�O���t���܂��L���ł��邱�Ƃ𒍈ӂ��Ă����D
RDFS ���Ӄ����}�̏ؖ��́C�\���I�ɗގ��ł���C���ɗގ��̒�`��p���邯��ǂ��C rdfs:Literal
��
rdfs:Resource
�̃N���X�O�������ׂẴ��e�����l���܂ނ��Ƃ��m���ɂ��邽�߂ɂ����������ƒ����āC����̍��\�����K�v�ł���D
RDFS ���Ӄ����}�D ���[�� lg�C ���[�� gl ������ RDF ����� RDFS ���Ӄ��[����K�����邱�ƂŁC S �ɉ�����RDF ����� RDFS �����g���v�����瓾����O���t�������āC���ꂪ�P���� E �ӂ��邩���邢�� XML�N���b�V���Ȃ�C�����Ă��̂Ƃ��ɂ̂݁C S �� E ��rdfs-���ӂ����D
�ؖ��D'����' �������ɂ́C�ĂсCRDFS ���Ӄ��[���� rdfs-�����ł��邱�Ƃ������悢�D����͍Ăщ��K�Ƃ��ĂƂ��Ă���D��̏ꍇ�͂����炩�ł���D
'���̂Ƃ��̂�' �̏ؖ��͑O�̃����}�ɗp����ꂽ���̂Ɨގ��ŁCRDFS �� D ���ȉ��Ɏ����v���Z�X���瓾����O���t�� ��`����邱�ƈȊO�́C�����\���Əq�ꂪ�p������
���ׂĂ� RDF �� RDFS �����g���v���� S �ɒlj�����D
�O���t���ω����Ȃ��Ȃ�܂ŁC���e�������܂ނ��ׂẴg���v���� ���[�� lg ��K������D
�O���t���ω����Ȃ��Ȃ�܂ŁC���[�� rdf2 �� rdfs1 ��K������D
�O���t���ω����Ȃ��Ȃ�܂ŁC���[�� rdf1�C ���[�� gl �Ǝc��� RDFS ���Ӄ��[�� ��K������D�O�̃����}�Ƃ͈قȂ�C���̏ؖ��́C���ׂẴ��e���������[�� lg���C���Ƃ����ꂪ ill-typed ��XML���e�����ł����Ă��C �K�����邱�Ƃ�v�����C�t�����[�� gl�̓K����v������D ���[�� gl �́C���[�� rdfs6 �� rdfs10 �������T�u�W�F�N�g�̃u�����N�m�[�h���I�u�W�F�N�g�ʒu�Ɉڂ��̂ŁC �����̃��[����K���������Ƃł����C�p�����Ȃ��DD �����[�� lg�ɂ��CS ���̊e���e�����ɂ����m�ɂP�̐V�����u�����N�m�[�h _:nnn ���܂ނ��Ƃ� ���ӂ��ꂽ���D���e�������܂� S ���̃g���v���̃T�u�O���t�́C���e�����ɒu��������ꂽ���̃u�����N�m�[�h�ƁC���[��rdfs1�ɂ���ē��������t���I�ȃg���v��
_:nnnrdf:type
rdfs:Literal .
�ƁC���[��rdf2 �ɂ���ēK�������ɓ��������g���v��
_:nnnrdf:type
rdf:XMLLiteral .
��L���� D ���ɐ��m�ɍĐ��Y�����D���e�������܂ރg���v���Ɉ��������K������邢����̃��[�����C�u�����N�m�[�h�ɃA���P�C�g����Ēu��������ꂽ ���e�����̂���ގ��̃g���v���ɂ����l�ɓK�������̂ŁC����͍\�����̂��̎��_�ȍ~�C���e�����͎����I�ɖ��������Ƃ������Ƃ��Ӗ����Ă���D �c��̏ؖ��ɂ����ẮC���ꂪ�Y���̃��e�����ɃA���P�C�g���ꂽ�u�����N�m�[�h�ɏd�˂��킳���Ӗ��_�I�������܂��������������߂ɂ����� ���e�����l��K�v�ł���Ƃ��āC���e�������܂ރO���t�̃g���v�������邱�Ƃɗp������D ���[�� gl���g�����ƂŁCD ���C�����A���P�C�g���ꂽ�u�����N�m�[�h�Œu��������ꂽ ���e������L����ގ��g���v�����܂ނƂ��C�����Ă��̂Ƃ��݂̂ɁC�g���v�������e�������܂ނ悤�ɂ��邱�Ƃ��ł���D�O�̏ؖ��Ɠ��l�ɁC���� lll �� well-formed ��XML���e�����Ȃ�Cxml (lll) �� lll ��XML�l���Ƃ��悤�D���̂Ƃ��C �㗝�̎ʑ�sur �͎��̂悤�Ɋg�������D�ŏ��ɁCsur �̗̈�́CURI�Q�ƁCD ���ɂ��郊�e�����ƃu�����N�m�[�h�C ������ D ���� well-formed ��XML���e�����̂��ׂĂ�XML�l���܂ޏW���ł���D(����͈ȉ��ɒ�`�����Crdfs-�G���u�������߂̃��j�o�[�X�ł���D) ���āC���� lll �� D ���� well-formed ��XML���e�����Ȃ�Csur (xml (lll)) �����[�� lg�ɂ���� lll �ɃA���P�C�g���ꂽ�u�����N�m�[�h�Ƃ��C ���̑��� D ���̃��e���� lll �ɑ��Ă�sur(lll) �����[�� lg �ɂ���� lll �ɃA���P�C�g���ꂽ�u�����N�m�[�h�Ƃ� �����Ă��ׂĂ�URI�Q�Ƃ� D ���̃u�����N�m�[�h�ɑ��ẮCsur(x) = x �Ƃ���D sur �̒l���URI�Q�Ƃ� D ���̃u�����N�m�[�h�ł��邱�Ƃɒ��ӂ��ꂽ���D
���̂Ƃ��CS �� rdfs-�G���u�������� SH �́C�O�̃����}�Ɠ����悤�ɍ\�������D
LVSH = {x: D �̓g���v�� sur(x)
rdf:type rdfs:Literal .
���܂ށD}IRSH = LVSH �ɉ����� set of URI �Q�ƁCD ���̃u�����N�m�[�h����� well-formed ��XML���e�����ȊO�̃��e����
IPSH = { x: D �̓g���v�� sur(x)
rdf:type rdf:Property .
���܂ށD}���� x �� IPRH ���̌��Ȃ�CIEXTRH(x) = { <s,o>: D �̓g���v�� sur(s) x sur(o)
.
���܂ށD}ISSH �� S ����URI�Q�ƂɊւ��铯��ʑ�
���� x �� S ���� well-formed ��XML���e�����Ȃ�� ILSH(x) = xml(x), �����Ȃ���� ILSH(x) = x
B(x) ���ȉ��̂悤�ɒ�`����D���� x �� D ���� well-formed ��XML���e���� lll �ɃA���P�C�g���ꂽ�u�����N�m�[�h�Ȃ�CB(x) = xml (lll)�D �������ꂪ D ���̑��̃��e�����ɃA���P�C�g�����̂Ȃ�CB(x)=lll �����Ȃ���� B(x)=x�D ���̂Ƃ��C�����炩�� [SH+B] �� D �̂� S ���[�����C�̂� SH �� S ���[������D
�O�̃����}�Ɠ��l�ɁCSH �͕K�v�Ȃ��ׂĂ� RDF �� RDFS �����g���v�����[�����C�\���ɂ��ŏ��̓�� RDF �Ӗ��_�������[������D
SH �� D ��XML�N���b�V�����܂܂Ȃ��ꍇ�ɁC�O�Ԗڂ� RDF �Ӗ��_�������[������Dill-typed ��XML���e�����ɑ���㗝�̑��݂́C �O�̃����}�ŗp����ꂽ�c�_�ł͐������Ȃ����C���̏����ł͂�����܂��ɏ[�������D�̂ɁCD ��XML�N���b�V�����܂܂Ȃ��Ɖ��肷��D
�{���ŏq�ׂ��悤�ɁC��X�͍ŏ��� RDFS �Ӗ��_������ ICEXT �� IC ���`������̂Ƃ݂Ȃ����Ƃ��ł���D ���������āC����ȏ�R�����g������ IEXT �Ɋւ��Ă��ׂĂ̏������L�q������͂��Ȃ��DSH ���c��� RDFS �Ӗ��_�I�������[�����邱�Ƃ��������߂ɁC �G���u�������߂̍ŏ���(minimality)�ƕ�̊��S����p���āC�P�[�X���Ƃɋc�_����D
����珔�����͂��ׂāC���[�����Y���̏��ԂɓK�����邱�Ƃł���̂܂܂ɔ��f�����D�c�_�̈�ʓI�Ȍ`���� �Q�Ԗڂ� RDFS �Ӗ��_�I�����̏ꍇ�ɂ����Đ��������D <x,y> �� IEXTSH(
rdfs:domain
) �̌��C<u,v> �� IEXTSH(x) �̌��Ƃ���D ���̂Ƃ��CD �̓g���v��sur(x
) rdfs:domain
sur(y) .
sur(u) x sur(v).
���܂܂Ȃ���Ȃ炸�C����䂦 x �� URI�Q�� �łȂ���Ȃ炸�C����䂦 sur(x)=x �ł���D���̂Ƃ��C���[��rdfs2 �ɂ���āC����̓g���v��
sur(u)
rdf:type
sur(y).
���܂܂Ȃ���Ȃ�Ȃ��D�̂� IEXTSH(
rdf:type
) �� <u,v> ���܂݁C�̂ɂ��̏����͖��������D���̑��̏ꍇ�́C���[���ƌ����g���v����p���ĈӖ��_�I�����̔h�����ɖ|�邱�ƂŁC���l�ɐi�߂���D�c�_�̌`���͎��̕\�ɂ܂Ƃ߂���D �������̈Ӗ��_�I�����͐��̉��ʏ����ɕ�������C�������͏ꍇ�킯�����D
RDFS �Ӗ��_�I���� �h���� ���� x �� IR �̌��Ȃ��
<x,rdfs:Resource> �� IEXT(rdf:type) �̌��T�u�W�F�N�g��URI�Q�Ƃ��u�����N�m�[�h�F
x a b
x rdf:type rdfs:Resource
rdfs4a���e�����F
_:x rdf:type rdfs:Literal
rdfs:type rdfs:range rdfs:Class
rdfs:Literal rdf:type rdfs:Class
rdfs:Literal rdfs:subClassOf rdfs:Resource
_:x rdf:type rdfs:Resource
�ȉ��Q��
axiomatic
rdfs3
rdfs8
rdfs9�I�u�W�F�N�g��URI�Q�Ƃ��u�����N�m�[�h�F
a b x
x rdf:type rdfs:Resource
rdfs4b�v���f�B�P�C�g��URI�Q�Ɓv�F
a x b
x rdf:type rdf:Property
rdf:type rdfs:domain rdfs:Resource
x rdf:type rdfs:Resource
rdf1
axiomatic
rdfs2x �� LV �̌��C����
<x,rdfs:Literal> �� IEXT(rdf:type) �̌��Ȃ�C�����Ă��̂Ƃ��̂�well-typed ��XML���e���� lll:
a b lll
_:x rdf:type rdf:XMLLiteral
rdf:XMLLiteral rdfs:subClassOf rdfs:Literal
_:x rdf:type rdfs:Literal
lg, rdf2, sur(xml(lll))=_:x
axiomatic
rdfs9����ȊO�̃��e���� lll :
a b lll
_:x rdf:type rdfs:Literal
lg, rdfs1, sur(lll)=_:x����
<x,y> �� IEXT(rdfs:domain) �̌��C���� <u,v> �� IEXT(x) �̌�
�Ȃ��
<u,y> �� IEXT(rdf:type) �̌�x rdfs:domain y .
u x v .
u rdf:type y .
rdfs2����
<x,y> �� IEXT(rdfs:range) �̌��C���� <u,v> �� IEXT(x) �̌�
�Ȃ��
<v,y> �� IEXT(rdf:type) �̌�x rdfs:range y .
u x v .
v rdf:type y .
rdfs3����
<x,rdf:Property> �� IEXT(rdf:type) �̌�
�Ȃ��
<x,x> �� IEXT(rdfs:subPropertyOf) �̌�x rdf:type rdf:Property
x rdfs:subPropertyOf x
rdfs6����
<x,rdf:Property> �� IEXT(rdf:type) �̌�
<y,rdf:Property> �� IEXT(rdf:type) �̌�
<z,rdf:Property> �� IEXT(rdf:type) �̌�
<x,y> �� IEXT(rdfs:subPropertyOf) �̌�
<y,z> �� IEXT(rdfs:subPropertyOf) �̌�
�Ȃ��
<x,z> �� IEXT(rdfs:subPropertyOf) �̌�x rdfs:subPropertyOf y
y rdfs:subPropertyOf z
x subPropertyOf z
rdfs5����
<x,y> �� IEXT(rdfs:subPropertyOf) �̌�
<u,v> �� IEXT(x) �̌�
�Ȃ��
<x,rdf:Property> �� IEXT(rdf:type) �̌�
<y,rdf:Property> �� IEXT(rdf:type) �̌�
<u,v> �� IEXT(y) �̌�x rdfs:subPropertyOf y
u x v
rdfs:subPropertyOf rdfs:domain rdf:Property
x type rdf:Property
rdfs:subPropertyOf rdfs:domain rdf:Property
y rdf:type rdf:Property
u y v
axiomatic triple
rdfs2
axiomatic triple
rdfs3
rdfs7����
<x,rdfs:Class> �� IEXT(rdf:type) �̌�
�Ȃ��
<x,rdfs:Resource> �� IEXT(rdfs:subClassOf) �̌�x rdf:type rdfs:Class
x rdfs:subClassOf rdfs:Resource
rdfs8����
<x,y> �� IEXT(rdfs:subClassOf) �̌�
<u,x> �� IEXT(rdf:type) �̌�
�Ȃ��
<x,rdfs:Class> �� IEXT(rdf:type) �̌�
<y,rdfs:Class> �� IEXT(rdf:type) �̌�
<u,y> �� IEXT(rdf:type) �̌�x rdfs:subClassOf y
u rdf:type x
rdfs:subClassOf rdfs:domain rdfs:Class
x rdf:type rdfs:Class
rdfs:subClassOf rdfs:range rdfs:Class
y rdf:type rdfs:Class
u rdf:type y
axiomatic triple
rdfs2
axiomatic triple
rdfs3
rdfs9����
<x,rdfs:Class> �� IEXT(rdf:type) �̌�
�Ȃ��
<x,x> �� IEXT(rdfs:subClassOf) �̌�x rdf:type rdfs:Class
x rdfs:subClassOf x
rdfs10����
<x,rdfs:Class> �� IEXT(rdf:type) �̌�
<y,rdfs:Class> �� IEXT(rdf:type) �̌�
<z,rdfs:Class> �� IEXT(rdf:type) �̌�
<x,y> �� IEXT(rdfs:subClassOf) �̌�
<y,z> �� IEXT(rdfs:subClassOf) �̌�
�Ȃ��
<x,z> �� IEXT(rdfs:subClassOf) �̌�x rdfs:subClassOf y
y rdfs:subClassOf z
x rdfs:subClassOf z
rdfs11����
<x,rdfs:ContainerMembershipProperty> �� IEXT(rdf:type) �̌�
�Ȃ��
<x,rdfs:member> �� IEXT(rdfs:subPropertyOf) �̌�x rdf:type rdfs:ContainerMembershipProperty
x rdfs:subPropertyOf rdfs:member
rdfs12����
<x,rdfs:Datatype> �� IEXT(rdf:type) �̌�
�Ȃ��
<x,rdfs:Literal> �� IEXT(rdfs:subClassOf) �̌�x rdf:type rdfs:Datatype
x rdfs:subClassOf rdfs:Literal
rdfs13����䂦 SH �� rdfs-���߂ł���D
S �� E �� rdfs-���ӂ���̂ŁCSH �� E ���[������D�䂦�� E �̃u�����N�m�[�h���� IRSH �ւ̂���ʑ� A �ɑ��āC [SH+A] �� E ���̂��ׂẴg���v��
s p o.
���[������D���Ȃ킿�CIEXTSH(p) �� <[SH+A](s),[SH+A](o)> ���܂݁C���Ȃ킿�CD �̓g���v��sur([SH+A](s)) p sur([SH+A](o))
.
���܂ށD����́C���� o �����e�����łȂ���C�C���X�^���V�G�[�V�����ʑ� x -> sur(A(x)) �̉��ōŏ��̃g���v���̃C���X�^���X�ł���D ���� o �����e�����Ȃ�Csur([SH+A](o) �� o �ɃA���P�C�g���ꂽ�u�����N�m�[�h�ł���C�䂦�� D �͎��̃g���v�����܂ށD
sur([SH+A](s)) p o
.
����̓C���X�^���V�G�[�V�����ʑ� x -> sur(A(x)) �̉��ł̍ŏ��̃g���v���̃C���X�^���X�ł���D�䂦�� D �̃T�u�O���t�� �C���X�^���V�G�[�V�����ʑ� x -> sur(A(x)) �̉��� E �̃C���X�^���X�ł���C�䂦�� D �� E ��P�����ӂ���D
�䂦�� D ��XML�N���b�V�����܂ނ����邢�� E ��P�����ӂ���D�䂦�� D �̓����}�̏������[������D
QED
���� E ���L���ł���C���邢�� D ��XML�N���b�V�����܂ނȂ�CD �̗L���T�u�O���t���܂������}�̏������[�����邱�Ƃɒ��ӂ��ꂽ���D
�O��(Antecedent) (n.) ���_�ɂ����āC���ꂩ�� ���_�������o�����Ƃ���̕\���D �����W�ɂ����ẮC���ӂ������(entailer)�D �����ł�����D
�\��(Assertion) (n.) (i) �^�ł��邱�Ƃ��咣����C�ӂ̕\���D(ii) ������^�ł���Ǝ咣����s�ׁD
�N���X(Class) (n.)
��ʓI�T�O�C�J�e�S�����邢�͕��ށD��Ɏ����̕��ނ�J�e�S�����ɗp��������́DRDF�ɂ����ẮC�`���I�ɁC�^ rdfs:Class
�����\�[�X�ł���Crdf:type
property �̒l�Ƃ��Ă��̃N���X�������ׂĂ����\�[�X�̏W���Ɗ֘A����D�N���X�͌`���_���̕����ł͂�����
'�q��(predicate)' �ƌĂ��D
(class ��set �͂����Γ���Ƃ���邪�CRDF �ł͗��҂���ʂ���D�N���X���W���Ƌ�ʂ��邱�Ƃ� �O�q�����悤���CRDF �ł͂�莩�R�ɃN���X�K�w���\�����邱�Ƃ��ł���D)
���S�ł��� (adj., ���_�V�X�e���ɂ���). (1) ��̔C�ӂ̕\���̊Ԃł��ׂĂ����������o�ł��邱�ƁD (2) ���ׂĂ����������_�����Ƃ��ł��邱�ƁD ���_ ���Q�Ƃ̂��ƁD���ʎq�ƂƂ��ɂ��p�����āC�������ꂽ�`�����邢�͖{��(�Ⴆ���鐳�K�`���ɂ����邠�邢�͂���\���I�����ɍ��v�����\��) �ɂ����Ĕ��ӂ����o���邢�͂��ׂĂ����������_�����Ƃ��ł��邱�ƁD
(���̓�̒�`�́C�ŏ��̒�`�ł̓V�X�e���͔��ӂ̋A���ɃA�N�Z�X����K�v�����邯��ǂ��C(p and p) ���� p ���Ƃ����� '������܂���' ���_�����Ƃ��ł��Ȃ��̂ŁC���m�ɂ͓������Ȃ��D�T�^�I�ɂ́C�����I�Ȑ��_�V�X�e���͈�Ԗڂ̈Ӗ��ł͊��S��������Ȃ����C��Ԗڂ̈Ӗ��ł͂��Ȃ炸���������ł͂Ȃ��D)
�A��(Consequent) (n.) ���_�ɂ����āC�O��������\�����ꂽ�\���D���ӊW�ɂ����ẮC���ӂ���鑤(entailee)�D���_ �Ƃ������D
�������Ȃ�(Consistent) (adj., �\���ɂ���) �[�����������������āC�����Ŗ������Ȃ����� (���_�V�X�e���ł������� �̓��`��Ƃ��Ă��p������D)
������ (adj., ���_�V�X�e���ɂ���) �����Ȃ鐳�����Ȃ����_�������o���Ȃ����ƁC���邢�͊Ԉ�������ӂ̎咣�����Ȃ����ƁD���_ ������D
����\(Decideable) (adj., ���_�V�X�e���ɂ���) �L���̎��ԂƗL���̎����ŁC�ǂ�ȕ\���̃y�A�ɂ��Ă��C��Ԗڂ���Ԗڂӂ��邩�ǂ�������ł��邱�ƁD (������: adj., �_���ɂ���) ���̘_���̈Ӗ��_�ɑ��Ċ��S���������C����\�Ȑ��_�V�X�e�������邱�ƁD
(���ׂĂ̘_���Ɋ��S������\�Ȑ��_�V�X�e��������킯�ł͂Ȃ��C����\�Ȑ��_�V�X�e���͔C�ӂ̌v�Z���G�������\��������D�_���̍\���_�C�Ӗ��_�Ɛ��_�V�X�e���̕��G���Ƃ̊W�́C�����ł��Ȃ��������e�ł��葱���Ă���D)
���ӂ��� (v.), ���� (n.) ��Ԗڂ��^�����ł����̓�Ԗڂ��^�ł��邱�Ƃ�ۏႷ��悤�ȕ\���Ԃ̈Ӗ��_�I�W�D�����ł��邪�C��Ԗڂ̕\�����^�œ�Ԗڂ��U�ƂȂ邱�Ƃ��_���I�ɂ����Ȃ�Ƃ����s�\�ł��邱�ƁD�����ł��邪�C��Ԗڂ��[������ �����Ȃ��������C��Ԗڂ��[�����邱�ƁD (�\���̂���W���Ƃ���\���̊Ԃł��p������D)
������(Equivalent) (prep., to �ƈꏏ��) �\�����ꂽ�Ƃ��C���E�Ɋւ��铯��̎咣������āC���m�ɓ����������Ő^�ł��邱�ƁC ���ӂ��������ӂ����D
�O���I(Extensional) (adj., of a logic) �W���_�Ɋ�Â����_���邢�̓N���X���_�D�N���X�͏W���ƍl�����C�v���p�e�B�� <object, value> �y�A�̏W���ƍl������D�����O����L����G���e�B�e�B�ԂňႢ��F�߂Ȃ����_�D����I���Q��.
�`���I(Formal) (adj.) �ʏ�̐��w�I�e�N�j�b�N��p���āC�m�����ꂽ���ʂ��\�ɂ���悤�ɏ\���ɐ��m�Ɍ����\�킷����
���������Ă��̂Ƃ��̂�(Iff) (conj.) 'if and only if' �̊��K�I�ȏȗ��D�K�v�\��������\�����߂ɗp������D
��������(Inconsistent) (adj.) ���ׂẲ��߂ɂ����ċU�C �[���s�\�ł��邱�ƁD
����(Inconsistency) (n.) �C�ӂ̖�������\�����邢�̓O���t�D(���傤�� (A and not-B) ����������Ƃ��� A �� B �ӂ���̂ŁC�����Ɩ����ɂ͖��ڂȊW������D �����̑�Q��`���Q�Ƃ���D����͑����̋@�B�I���_�V�X�e���̊�b�ł���D
������(consistency)�Ɩ����̒�`�͌����ɑo�ł��邯��ǂ��C�v�Z�I�ɂ͎��Ă��Ȃ��D���ׂĂ̏ꍇ�ɖ��������o���邱�Ƃ������ׂĂ̏ꍇ�ɖ����������o���邱�Ƃ̂ق��������Γ���D)
Indexical (adj., of an expression) having a meaning which implicitly refers to the context of use. Examples from English include words like 'here', 'now', 'this'.
���_(Inference)
(n.) �����̕\������V�����\�����\������s�ׂ܂��̓v���Z�X�C���邢�͂��̂悤�ȍs�ׂ�v���Z�X�̌��ʁD�����Ɉ�v���鐄�_��
������(correct) ���邢�� ����(valid)
�ł���ƌ�����D
���_���[��(Inference rule)
���_�̃^�C�v�̌`���I�ȋL�q�D���_�V�X�e��(inference system),
�g�D�����ꂽ���_���[���̃V�X�e���D�܂��C���_���邠�邢�͐��_�̐��������`�F�b�N����\�t�g�E�F�A�D
����I(Intensional) (adj., of a logic) �O���I�ł͂Ȃ��D�����O����L����قȂ�G���e�B�e�B�������D
(����̗��_�ƌ��_�͓N�w�I�_���̕����ɂ����āC�L���c�_����Ă����D�O���I�Ӗ��_�͒P���ŁC�`���_���̂��߂̂���܂ł̈Ӗ��_�ł͊O���I���������肵�Ă������C�ʏ�̌���̊T�O��͂ł́C����I�ȍl���̂ق������R�ł��邱�Ƃ���������Ă���D�O���I�_���ł͂��ׂĂ� '��' �ȊO�������̂Ǝ�舵�킴������Ȃ��Ⴊ�����Έ��p�����D'�ۂ��l�p' �� '�T���^�N���[�X' �Ɠ��ꎋ���Ȃ���Ȃ�Ȃ����C�u�̖т��������s�̃q�g�Ȃ̓����v�Ɓu�l�ԁv�̂悤�� '���܂���' �����C���X�^���X�����قȂ�T�O����ʂ��邱�Ƃ��ł��Ȃ��D)
����(Interpretation) (of) (n.) �����Ȃ�_���\���ɂ����Ă��^�U���m������ɂ��傤�Ǐ\�������E�̏����̍ŏ��̌`���I�ȋL�q�D
(�����̘_���e�L�X�g�ł́C���ߍ\���C�ǂ�ȓ���̌�b�Ƃ��Ɨ��Ȃ��̂Ƃ��čl������� '�\���E' �C�Ƃ����b���炻�̍\���ւ����ߎʑ� ����ʂ��ĔF������DRDF �Ӗ��_�ł͂�������̊T�O�Ɉꏏ�ɂ��āC�����ƊȒP�Ȃ�肩�����̗p����D)
�_��(Logic) (n.) ������\������`���I����D
�`����w��(Metaphysical) (adj.) ������ΓI�Ȃ��邢�͊�b�I�ȈӖ��ɂ����Ď����̖{���ɂ��Ă�����邱��
���f�����_(Model Theory) (n.) �\�������߂ƊW�t����`���I�Ӗ��_�D
( '���f�����_' �Ƃ������O�͘_���Ӗ��_�ɂ�����`���I�Ȏg�p�@���炫�Ă���D�����ł͏[��������߂��u���f���v�ƌĂ�Ă����D�������C���̎g�p�@�́u�v�Z���f���v�̂悤�ȗp��Ɋ܂܂��Ӗ��ƂقƂ�ǂ܂������t�̈Ӗ��Ȃ̂ŁC���̕����ł͎g�p��������ꂽ�D)
�P����(Monotonic) �i�`�e��, �_���V�X�e�����邢�͐��_�V�X�e���́j ���� S �� E �ӂ���̂Ȃ� (S + T) �� E �ӂ���Ƃ����������[�����邱�ƁC���Ȃ킿����O��ɏ���lj����Ă����������� ���ӂ���ɂ��邱�Ƃ͂ł��Ȃ��Ƃ������ƁD
�i�ʏ�����f�����_�Ɣ��ӂ̕W���I�T�O�Ɋ�Â����ׂĂ̘_���͒P���ł���D�P���_���͔��ӂ��������ꂽ�����̊O�ł� �����̂܂܂ł���Ƃ���������L����D���ꂪ���� RDF �͒P���ł���ׂ��Ƃ��ꂽ���̗��R�ł���D�j
��P����(Nonmonotonic)�i�`�e��, �_���V�X�e�����邢�͐��_�V�X�e���́j �P���ł͂Ȃ����ƁD��P���̌`���_�� AI �Ɨl�X�ȃA�v���P�[�V�����ɂ����Ē�Ă���p�����Ă���D��P�����_�̗�Ƃ��� �f�t�H�[���g�_�� ������D�����ł͂����ʂȏ��ɂ���Ė������Ȃ�������C�u�T�^�I�ȁv��ʓI�Ȑ^�����肳���D�i���͕��ʂ͔�Ԃ��C�y���M���͔�Ȃ��j�G ���s�ɂ��ے� �C�_���v���O���~���O�V�X�e���Œʏ퉼�肳���D�����ł͂��閽��̏ؖ��̎��s���炻�̖���̋U�����_����G �ÖٓI���E���� �C�f�[�^�x�[�X�A�v���P�[�V�����ɂ����Ή��肳���D�����ł́C����R�[�p�X���̂���G���e�B�e�B�ɂ��Ă̏��̌�������C���̏����U�ƌ��_����D�i�Ⴆ�C�����N�����]�ƈ��f�[�^�x�[�X���̃��X�g�ɖ�����C���̐l���͏]�ƈ��ł͂Ȃ��D�j
(�P�����_�Ɣ�P�����_�̊W�͂����Δ����ł���D�Ⴆ�C�������E�����������I�ɂȂ����̂Ȃ�C�Ⴆ�C�R�[�p�X�����S�ŋA���ɂ����ď����������Ă���̂Ȃ�C���E���_�͒P���ł���D�ӐM�����_���P���ɂ���D��P���̌��_�͂����́u�����v�ɂ����Ă̂݁C�����ł���Ƃ����������C���̕����̊O�ŗp������Ƃ��ɂ͌��܂��͌���Ɋׂ�₷���D���_�ɂ����ĕ������I�ɂ��āC���_���ŖڂɌ�����悤�ɂ��邱�Ƃ͒P���̘g�g�݂ɑg�݂Ȃ������@�ł���D�j
�I���g���W�[���(Ontological) (adj.) (�N�w) �����̂ǂ�Ȏ����{���ɑ��݂���̂��Ƃ������Ƃɂ�����邱�ƁD(���p��) ����g�s�b�N��̈�̌`���I�L�q�ɂ�����邱�ƁD
����(Proposition) (n.) �^�U�l�������́D�^���邢�͋U�ł���錾��\���D
(����N�w�I���͂ł́C�`���I�ɁC������q�ׂ�̂ɗp������\���Ɩ������ʂ��Ă����D���������f�����_�ł͂��̈Ⴂ�͕K�v�ł͂Ȃ��D)
��̉�����(Reify) (v.), ��̉�(reification) (n.) �I�u�W�F�N�g�Ƃ��ăJ�e�S�������邱�ƁD�G���e�B�e�B�Ƃ��ċL�q���邱�ƁD�\���_�I�\�����Ӗ��I�ȃI�u�W�F�N�g�Ƃ��Ĉ����āC���̍\����p���Ă��ꎩ�g���L�q����̂ɗp��������̋L�q�ɂ����Ηp������DRDF �ł́C��̉����ꂽ�g���v���Ƃ͕ʂ� RDF �g���v����p�����C�g���v���g�[�N���̋L�q�ł���D
���\�[�X (n.)(RDF �ɗp������) (i) �G���e�B�e�B�G���j�o�[�X���̂��́D(ii) ����N���X���Ƃ��āF ���ׂĂ̂��̂̃N���X�G�\�Ȍ���ő�ɕ�܂���T�O�D
�[������(Satisfy) (v.t.), �[��(satisfaction),(n.) �[������(satisfying) (adj., ���߂ɂ�����). �^�Ƃ��邱�ƁD���߂ƕ\���̊Ԃ̊�{�I�ȈӖ��W�DX �� Y ���[������Ƃ́C�������E�� X �ɂ���ċL�q���������ɍ��v����Ȃ�CY ���^�ƂȂ�Ȃ���Ȃ�Ȃ��Ƃ������ƁD
�Ӗ��_�I(Semantic) (adj.) , �Ӗ��_(semantics) (n.) �Ӗ��̖��ׂɂ�����邱�ƁD�\���Ƃ��ꂪ�\��������̂Ƃ̈Ⴂ���������邽�߂ɁC�\���_ �Ƃ����ΑΔ䂳���D
�X�R������ (n.) �u�����N�m�[�h�� '�V����' ���O�ɒu����������\����̕ϊ�
(�����ɂ������ł͂Ȃ�����ǂ��C�X�R�������͕\���̊�{�I�ȈӖ���ێ����āC�@�B���_�V�X�e���ɂ����Ă����Ηp������D���̖��O�͘_���w�� A. T. Skolem �ɂ��Ȃ�ł���ꂽ�D)
�g�[�N��(Token) (n.) �������̓���̕����I�ȃV���{�����邢�͕\���̂��ƁD�\���̒��ۓI�ȕ��@�̌`�� �^�C�v �ƒʏ�Δ䂳���D
���j�o�[�X(Universe) (n., �_�c�̗̈� �Ƃ�����) �����̕��ށC���邢�́C���߂����݂���Ƃ݂Ȃ��Ƃ���̂��ׂĂ̎����̏W���DRDF/S �ł́C���\�[�X�W���ɓ���Ƃ����D
�p����(Use) (v.) ���y����(mention) �ɑΔ䂳���D������\�����邠�邢�͎Q�Ƃ���\���̂P�Ђ�p���邱�ƁD���ꂪ�p�����鐳��ȕ��@�D
("����Ӗ��ŁC��X��������̂ɂ��ĉ������������Ǝv���Ƃ��͂��ł��C���͒��ɂ����āC���̎��̂��g���̂ł͂Ȃ��C���̖��O��\�����g��Ȃ���Ȃ�Ȃ��D" - Alfred Tarski)
�����ł���(Valid) (adj., ���_���邢�͐��_�v���Z�X�ɂ�����) �����Ɉ�v���邱�ƁD���Ȃ킿�C���_�̑O�����ɂ���Ĕ��ӂ����Ƃ���̌��_�D������(correct) �Ƃ������D
Well-formed (adj., �\����) �\���_�I�ɍ��@�ł��邱�ƁD
World (n.) (the �ƈꏏ��) (i) �������E�D(a �ƈꏏ��) (ii) �z�u���꓾�������m��Ȃ����ۂ̐��E�̂�����D(iii) ���� �����D (iv) �\���E�D
( '�\���E' �̌`����w�̏�Ԃ́C���ɘ_���I�ł���D�����킢�Ȃ��ƂɁC���̂Q�Ԗڂ�R�Ԗڂ̈Ӗ��̊T�O���g�����߂ɕ��s���郆�j�o�[�X�ɂ��ĐM�O�����K�v�͂Ȃ��D�Ӗ��_�̖ړI�ɂ͏\���ł���D)
���̕�����RDF Core Working Group�̃����o�[�̍����̓w�́C���ɁC Jeremy Carroll�CDan Connolly�CJan Grant�CR. V. Guha�CGraham Klyne�COra Lassilla�CBrian McBride�CSergey Melnick�CJos deRoo�C������ Patrick Stickler �ɂ���ĂȂ��ꂽ�v���̌��ʂł���D
��b�̌����Ɉᔽ���邱�ƂȂ����ȓK�����\�ɂ��閾���I�ȊO���ʑ���p����Ƃ�����{�I�A�C�f�A�́CChristopher Menzel�ɂ���Ď������ꂽ���̂ł���D
Peter Patel-Schneider �� Herman ter Horst �͏����̑��e�̂������̎�v�Ȗ��_�����C�������̏d�v�ȋZ�p�I���P���������Ă��ꂽ�D
���̕����Ɋւ��� Patrick Hayes �̌����́C�ꕔ DARPA �_�� #2507-225-22 �̉��ōs��ꂽ�D
15 December 2003 Proposed Recommendation�ȍ~�̕ω��D
�t�^ A �ɂ����� RDFS ���Ӄ��[���̌��t�g���ɂ������肪�������ꂽ�D�p��W�Ǝ啶�ɂ����邢�����̃~�X�^�C�v���������ꂽ�D
ter Horst �ɂ��R�����g���l���������ʁC D-���߂̒�`���f�[�^�^�C�v�����܂ފg����b�ɓK������悤�ɏC�����ꂽ�D
�ω����O�̌Â����ڂ͍폜���ꂽ�D�������ȑO�̔��ɂ���D