�@�{�����́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������


W3C

RDF �Ӗ��_

W3C ���� 2004�N2��10��

This Version:
http://www.w3.org/TR/2004/REC-rdf-mt-20040210/
Latest Version:
http://www.w3.org/TR/rdf-mt/
Previous Version:
http://www.w3.org/TR/2003/PR-rdf-mt-20031215/
Editor:
Patrick Hayes (IHMC)< [email protected]>
Series Editor
Brian McBride (Hewlett Packard Labs)<[email protected]>

�{����������\ ���Q�Ƃ̂��ƁD����ɂ͋K�͂̒������܂܂꓾��D

�|�����Q�Ƃ��ꂽ���D


�A�u�X�g���N�g

�{������ Resource Description Framework (RDF) �� RDF Schema (RDFS) �ɑ΂��鐸���ȈӖ��_�ƁC����Ɉ�v���鐄�_���[���̊��S�ȃV�X�e���̎d�l�ł���D

�{�����̃X�e�[�^�X

�{������ 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 (����)

0. �͂��߂�

0.1 �`���Ӗ��_�̎d�l���ׁF�͈͂ƌ��E

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

0.2 �O���t�\��

�ǂ�ȈӖ��_�ł��\���_�Ƒ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

0.3 �O���t��`

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

����u�����N�m�[�h�W�����烊�e�����C�u�����N�m�[�h������ URI �Q�Ƃ̂���W���ւ̎ʑ� M ���l���悤�D ���̂Ƃ��C����O���t G ���̃u�����N�m�[�h N �̂��ׂĂ��邢�͈ꕔ���ʑ� M(N) �Œu�������ē�����O���t�� G ���C���X�^���X �ł���D �ǂ�ȃO���t�����ꎩ�g�̃C���X�^���X�ł���C G �̃C���X�^���X�̃C���X�^���X�� G �̃C���X�^���X�ł���C ���� H �� G �̃C���X�^���X�Ȃ� H ���̂ǂ̃g���v���� G �̂ǂꂩ�̃g���v���̃C���X�^���X�ł��邱�Ƃɒ��ӂ��ꂽ���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�Ƃ̂���.

1. ����

1.1 �Z�p�m�[�g (����)

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

1.2 URI �Q��, ���\�[�X�C���e����.

�{�����ł� 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

1.3 ���� (Interpretation)

���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

�P�����߂̒�`

��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

1.4 ���O���t�̕\���I�Ӗ�

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

���O���t�ɑ΂���Ӗ��_�I����
���� 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. �Ȃ�΁Cs�Cp ������ o �� V ���ɂ���C I(p) �� IP ���ɂ��� <I(s),I(o)> �� IEXT(I(p)) ���ɂ���΁CI(E) �� �^ �����Ȃ���� I(E) �� �U �ł���D

���� 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

A drawing of the domains and mappings described in the text
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

1.5. ���ݕϐ��Ƃ��Ẵu�����N�m�[�h

�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

�u�����N�m�[�h�ɑ΂���Ӗ�����
���� 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

2. RDF �O���t�Ԃ̒P������

����܂ł̗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

2.1 ��b�̉��߂ƌ�b�̔���

�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

3. RDF ��b�̉��ߍs��

3.1 RDF ����

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

RDF �Ӗ��_�I����

���� <x, I(rdf:Property)> �� IEXT(I(rdf:type)) �Ȃ�΁C �����Ă��̎��Ɍ���Cx �� IP �D

���� "xxx"^^rdf:XMLLiteral �� V ���� xxx �� well-typed XML ���e����������Ȃ�΁C

IL("xxx"^^rdf:XMLLiteral) �� xxx �� XML �l;
IL("xxx"^^rdf:XMLLiteral) �� LV;
<IL("xxx"^^rdf:XMLLiteral), I(rdf:XMLLiteral)> �� IEXT(I(rdf:type)) �D

���� "xxx"^^rdf:XMLLiteral �� V ���� xxx �� ill-typed XML ���e����������Ȃ�΁C

IL("xxx"^^rdf:XMLLiteral) �� LV ���ł͂Ȃ�;
<IL("xxx"^^rdf:XMLLiteral), I(rdf:XMLLiteral)> �� IEXT(I(rdf:type)) ���ł͂Ȃ��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

RDF �����g���v���D
rdf:type rdf:type rdf:Property .
rdf:subject rdf:type rdf:Property .
rdf:predicate rdf:type rdf:Property .
rdf:object rdf:type rdf:Property .
rdf:first rdf:type rdf:Property .
rdf:rest rdf:type rdf:Property .
rdf:value rdf:type rdf:Property .
rdf:_1 rdf:type rdf:Property .
rdf:_2 rdf:type rdf:Property .
...
rdf:nil rdf:type rdf:List .

��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

A drawing of the domains and mappings described in the text
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

3.2. RDF ����

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

3.3. ��̉�, �R���e�i, �R���N�V���� ������ rdf:value,

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

3.3.1 ��̉� (Reification)

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

3.3.2 RDF �R���e�i

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

3.3.3 RDF �R���N�V����

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

_:c1 rdf:first aaa .
_:c1 rdf:rest _:c2 .

��p���āC'well-formed' �ȃA�C�e���̘A�����‚Ȃ��Ƃ����g�p�@���Ӑ}����Ă���D

�����Ł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

3.3.4 rdf:value

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

4. RDFS ��b�̉���

4.1 RDFS ����

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

RDFS �Ӗ��_�I�����D

x �� ICEXT(y)�Ciff �qx,y�r�� IEXT(I(rdf:type))

IC = ICEXT(I(rdfs:Class))

IR = ICEXT(I(rdfs:Resource))

LV = ICEXT(I(rdfs:Literal))

�qx,y�r�� IEXT(I(rdfs:domain)) �ȁqu,v�r�� IEXT(x) �� u �� ICEXT(y)

�qx,y�r�� IEXT(I(rdfs:range)) �ȁqu,v�r�� IEXT(x) �� v �� ICEXT(y)

IEXT(I(rdfs:subPropertyOf)) is transitive and reflexive on IP

�qx,y�r�� IEXT(I(rdfs:subPropertyOf)) �� x and y �� IP �� IEXT(x) �� IEXT(y)

x �� IC �ˁqx, I(rdfs:Resource)�r�� IEXT(I(rdfs:subClassOf))

�qx,y�r�� IEXT(I(rdfs:subClassOf)) �� x and y �� IC �� ICEXT(x) �� ICEXT(y)

IEXT(I(rdfs:subClassOf)) is transitive and reflexive on IC

x �� ICEXT(I(rdfs:ContainerMembershipProperty)) ��
�qx, I(rdfs:member)�r�� IEXT(I(rdfs:subPropertyOf))

x �� ICEXT(I(rdfs:Datatype)) �� �qx, I(rdfs:Literal)�r�� IEXT(I(rdfs:subClassOf))

RDFS �̌����g���v��.
rdf:type rdfs:domain rdfs:Resource .
rdfs:domain rdfs:domain rdf:Property .
rdfs:range rdfs:domain rdf:Property .
rdfs:subPropertyOf rdfs:domain rdf:Property .
rdfs:subClassOf rdfs:domain rdfs:Class .
rdf:subject rdfs:domain rdf:Statement .
rdf:predicate rdfs:domain rdf:Statement .
rdf:object rdfs:domain rdf:Statement .
rdfs:member rdfs:domain rdfs:Resource .
rdf:first rdfs:domain rdf:List .
rdf:rest rdfs:domain rdf:List .
rdfs:seeAlso rdfs:domain rdfs:Resource .
rdfs:isDefinedBy rdfs:domain rdfs:Resource .
rdfs:comment rdfs:domain rdfs:Resource .
rdfs:label rdfs:domain rdfs:Resource .
rdf:value rdfs:domain rdfs:Resource .

rdf:type rdfs:range rdfs:Class .
rdfs:domain rdfs:range rdfs:Class .
rdfs:range rdfs:range rdfs:Class .
rdfs:subPropertyOf rdfs:range rdf:Property .
rdfs:subClassOf rdfs:range rdfs:Class .
rdf:subject rdfs:range rdfs:Resource .
rdf:predicate rdfs:range rdfs:Resource .
rdf:object rdfs:range rdfs:Resource .
rdfs:member rdfs:range rdfs:Resource .
rdf:first rdfs:range rdfs:Resource .
rdf:rest rdfs:range rdf:List .
rdfs:seeAlso rdfs:range rdfs:Resource .
rdfs:isDefinedBy rdfs:range rdfs:Resource .
rdfs:comment rdfs:range rdfs:Literal .
rdfs:label rdfs:range rdfs:Literal .
rdf:value rdfs:range rdfs:Resource .

rdf:Alt rdfs:subClassOf rdfs:Container .
rdf:Bag rdfs:subClassOf rdfs:Container .
rdf:Seq rdfs:subClassOf rdfs:Container .
rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property .

rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso .

rdf:XMLLiteral rdf:type rdfs:Datatype .
rdf:XMLLiteral rdfs:subClassOf rdfs:Literal .
rdfs:Datatype rdfs:subClassOf rdfs:Class .

rdf:_1 rdf:type rdfs:ContainerMembershipProperty .
rdf:_1 rdfs:domain rdfs:Resource .
rdf:_1 rdfs:range rdfs:Resource .

rdf:_2 rdf:type rdfs:ContainerMembershipProperty .
rdf:_2 rdfs:domain rdfs:Resource .
rdf:_2 rdfs:range rdfs:Resource .
...

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-valid �ȃg���v��.
rdfs:Resource rdf:type rdfs:Class .
rdfs:Class rdf:type rdfs:Class .
rdfs:Literal rdf:type rdfs:Class .
rdf:XMLLiteral rdf:type rdfs:Class .
rdfs:Datatype rdf:type rdfs:Class .
rdf:Seq rdf:type rdfs:Class .
rdf:Bag rdf:type rdfs:Class .
rdf:Alt rdf:type rdfs:Class .
rdfs:Container rdf:type rdfs:Class .
rdf:List rdf:type rdfs:Class .
rdfs:ContainerMembershipProperty rdf:type rdfs:Class .
rdf:Property rdf:type rdfs:Class .
rdf:Statement rdf:type rdfs:Class .

rdfs:domain rdf:type rdf:Property .
rdfs:range rdf:type rdf:Property .
rdfs:subPropertyOf rdf:type rdf:Property .
rdfs:subClassOf rdf:type rdf:Property .
rdfs:member rdf:type rdf:Property .
rdfs:seeAlso rdf:type rdf:Property .
rdfs:isDefinedBy rdf:type rdf:Property .
rdfs:comment rdf:type rdf:Property .
rdfs:label rdf:type rdf:Property .


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

4.2 �O���I�Ӗ����� (����)

��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

����RDFS �Ӗ��_�I�����̂��߂̊O���I��ֈ�.

<x,y> is in IEXT(I(rdfs:subClassOf)) if and only if x and y are in IC and ICEXT(x) is a subset of ICEXT(y)

<x,y> is in IEXT(I(rdfs:subPropertyOf)) if and only if x and y are in IP and IEXT(x) is a subset of IEXT(y)

<x,y> is in IEXT(I(rdfs:range)) if and only if (if <u,v> is in IEXT(x) then v is in ICEXT(y))

<x,y> is in IEXT(I(rdfs:domain)) if and only if (if <u,v> is in IEXT(x) then u is in ICEXT(y))

����̓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

4.3 rdfs:Literal �Ɋւ���m�[�g

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

4.4 RDFS ����

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

5. �f�[�^�^�C�v�̉���

5.1 �f�[�^�^�C�v�Ń^�C�v�t�����ꂽ����

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

XSD �f�[�^�^�C�v
xsd:string, xsd:boolean, xsd:decimal, xsd:float, xsd:double, xsd:dateTime, xsd:time, xsd:date, xsd:gYearMonth, xsd:gYear, xsd:gMonthDay, xsd:gDay, xsd:gMonth, xsd:hexBinary, xsd:base64Binary, xsd:anyURI, xsd:normalizedString, xsd:token, xsd:language, xsd:NMTOKEN, xsd:Name, xsd:NCName, xsd:integer, xsd:nonPositiveInteger, xsd:negativeInteger, xsd:long, xsd:int, xsd:short, xsd:byte, xsd:nonNegativeInteger, xsd:unsignedLong, xsd:unsignedInt, xsd:unsignedShort, xsd:unsignedByte, xsd:positiveInteger

���̂ق��̖��ߍ���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

�f�[�^�^�C�v�ɑ΂����ʓI�Ӗ��_����
���� <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

5.2 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

6. �Ӗ��_�I�g���̒P����

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

7. ���Ӄ��[��(����)

�ȉ��̕\�ł́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

7.1 �P�����Ӄ��[��

��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

�P�����Ӄ��[��
Rule name If E contains then add
se1 uuu aaa xxx .

uuu aaa _:nnn .

������ _:nnn �� ���[�� se1 ���邢�� se2 �ɂ���� xxx ���A���P�C�g�����u�����N�m�[�h�̎��ʎq�D
se2 uuu aaa xxx .

_:nnn 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

���e�����ĉ����[��
Rule Name If E contains then add
lg

uuu aaa lll .

uuu aaa _:nnn .

������ _: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

���e�����̃C���X�^���V�G�[�V�������[��
Rule Name If E contains then add
gl

uuu aaa _:nnn .

������ _:nnn �����[�� lg�ɂ���āC���e���� lll �� �A���P�C�g������u�����N�m�[�h�̎��ʎq�ł���D

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

7.2 RDF ���Ӄ��[��

RDF ���Ӄ��[��
Rule Name if E contains then add
rdf1 uuu aaa yyy . aaa rdf:type rdf:Property .
rdf2

uuu aaa lll .

������ lll �� well-typed ��XML���e�����D

_:nnn rdf:type rdf:XMLLiteral .

������ _: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

7.3 RDFS ���Ӄ��[��

RDFS ���Ӄ��[���D
Rule Name If E contains: then add:
rdfs1

uuu aaa lll.

������ lll �̓v���[�����e����(����^�O�L�肠�邢�͖���)�D

_:nnn rdf:type rdfs:Literal .

������ _:nnn �����[�� lg �ɂ���� lll ���A���P�C�g������u�����N�m�[�h���ʎq�D

rdfs2

aaa rdfs:domain xxx .
uuu aaa yyy .

uuu rdf:type xxx .
rdfs3

aaa rdfs:range xxx .
uuu aaa vvv .

vvv rdf:type xxx .
rdfs4a uuu aaa xxx . uuu rdf:type rdfs:Resource .
rdfs4b uuu aaa vvv. vvv rdf:type rdfs:Resource .
rdfs5

uuu rdfs:subPropertyOf vvv .
vvv rdfs:subPropertyOf xxx .

uuu rdfs:subPropertyOf xxx .
rdfs6 uuu rdf:type rdf:Property . uuu rdfs:subPropertyOf uuu .
rdfs7

aaa rdfs:subPropertyOf bbb .
uuu aaa yyy .

uuu bbb yyy .
rdfs8

uuu rdf:type rdfs:Class .

uuu rdfs:subClassOf rdfs:Resource .
rdfs9

uuu rdfs:subClassOf xxx .
vvv rdf:type uuu .

vvv rdf:type xxx .
rdfs10 uuu rdf:type rdfs:Class . uuu rdfs:subClassOf uuu .
rdfs11

uuu rdfs:subClassOf vvv .
vvv rdfs:subClassOf xxx .

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

7.3.1 �O���I���Ӄ��[��

�� 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

RDFS �Ӗ��_�I�����̊O���I�����łɂ����Đ����ƂȂ�lj��I���_�̂����‚��D
ext1

uuu rdfs:domain vvv .
vvv rdfs:subClassOf zzz .

uuu rdfs:domain zzz .
ext2

uuu rdfs:range vvv .
vvv rdfs:subClassOf zzz .

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 .

 

7.4 �f�[�^�^�C�v���Ӄ��[��

�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 rdf:type rdfs:Datatype .
uuu aaa "sss"^^ddd .

_:nnn rdf:type ddd .

������ _: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 rdf:type rdfs:Datatype .
uuu aaa "sss"^^ddd .

uuu aaa "ttt"^^ddd .

ddd �ŕ\��������f�[�^�^�C�v�̎���`�� sss �� eee �ŕ\��������f�[�^�^�C�v�̎���`�� ttt �������l�Ɏʑ��������̂Ƃ��悤�D���̂Ƃ����̃��[�����K�������D

rdfD3

ddd rdf:type rdfs:Datatype .
eee rdf:type rdfs:Datatype .
uuu aaa "sss"^^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 �ɂ����)
_:nnn rdf:type <ex:dtype> .
(���[�� rdfD1 �ɂ����)
<ex:dtype> rdfs:subClassOf rdfs:Literal .
(���[�� rdfs11 �ɂ����)
_:nnn rdf:type rdfs:Literal .
(���[�� rdfs9 �ɂ����)

���[�� 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 .
_:nnn rdf:type <ex:otherdtype> .
(���[�� rdfD1 �ɂ����)
_: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

�t�^ A: �����}�̏ؖ� (����)

"�ؖ��̗��_�̈�‚́C�ؖ����ꂽ���ʂɂ‚��Ċm���ȋ^���������邱�Ƃł���D" -Bertrand Russell

��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

�X�R�������̃����}�D sk(E) �� V �Ɋւ��� E �̃X�R�������Ƃ���D����� sk(E) �� E �𔺈ӂ���D�����āC���� sk(E) �� F �𔺈ӂ��āCF �̌�b�� V �ƌ݂��ɑf(disjoint)�Ȃ�΁C E �� F �𔺈ӂ���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�ƂȂ�D

QED

���͓��}�����}�̒��ړ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��
_:nnn rdf: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�� x rdf: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�Ղɕ�����D

3�Ԗڂ� 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-���߂ƂȂ�D

S �� 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���ɔ��ӂ���D

QED

���̃����}�͂����Ȃ�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��
_:nnn rdf:type rdfs:Literal .
�ƁC���[��rdf2 �ɂ���ēK�������ɓ��������g���v��
_:nnn rdf: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
rdfs2
x �� 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

�t�^ B: �q��p��W (����)

�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)

�t�^ C: �ӎ�

���̕�����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

�Q�l����

�K�͓I

[RDF-CONCEPTS]
Resource Description Framework (RDF): Concepts and Abstract Syntax, Graham Klyne and Jeremy J. Carroll, Editors, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/ . Latest version available at http://www.w3.org/TR/rdf-concepts/ .
[RDF-SYNTAX]
RDF/XML Syntax Specification (Revised), Dave Beckett, Editor, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/ . Latest version available at http://www.w3.org/TR/rdf-syntax-grammar/ .
[RDF-TESTS]
RDF Test Cases, Jan Grant and Dave Beckett, Editors, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-rdf-testcases-20040210/ . Latest version available at http://www.w3.org/TR/rdf-testcases/ .
[RDFMS]
Resource Description Framework (RDF) Model and Syntax Specification , O. Lassila and R. Swick, Editors. World Wide Web Consortium. 22 February 1999. This version is http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/. The latest version of RDF M&S is available at http://www.w3.org/TR/REC-rdf-syntax/.
[RFC 2119]
RFC 2119 - Key words for use in RFCs to Indicate Requirement Levels , S. Bradner, IETF. March 1997. This document is http://www.ietf.org/rfc/rfc2119.txt.
[RFC 2396]
RFC 2396 - Uniform Resource Identifiers (URI): Generic Syntax Berners-Lee,T., Fielding and Masinter, L., August 1998
[XSD]
XML Schema Part 2: Datatypes, Biron, P. V., Malhotra, A. (Editors) World Wide Web Consortium Recommendation, 2 May 2001

��K�͓I

[OWL]
OWL Web Ontology Language Reference, Mike Dean and Guus Schreiber, Editors, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-owl-ref-20040210/ . Latest version available at http://www.w3.org/TR/owl-ref/ .
[Conen&Klapsing]
A Logical Interpretation of RDF, Conen, W., Klapsing, R..Circulated to RDF Interest Group, August 2000.
[DAML]
Frank van Harmelen, Peter F. Patel-Schneider, Ian Horrocks (editors), Reference Description of the DAML+OIL (March 2001) ontology markup language
[Hayes&Menzel]
A Semantics for the Knowledge Interchange Format, Hayes, P., Menzel, C., Proceedings of 2001 Workshop on the IEEE Standard Upper Ontology, August 2001.
[KIF]
Michael R. Genesereth et. al., Knowledge Interchange Format, 1998 (draft American National Standard).
[Marchiori&Saarela]
Query + Metadata + Logic = Metalog, Marchiori, M., Saarela, J. 1998.
[LBASE]
Lbase: Semantics for Languages of the Semantic Web, Guha, R. V., Hayes, P., W3C Note, 10 October 2003.
[McGuinness&al]
DAML+OIL:An Ontology Language for the Semantic Web, McGuinness, D. L., Fikes, R., Hendler J. and Stein, L.A., IEEE Intelligent Systems, Vol. 17, No. 5, September/October 2002.
[RDF-PRIMER]
RDF Primer, Frank Manola and Eric Miller, Editors, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-rdf-primer-20040210/ . Latest version available at http://www.w3.org/TR/rdf-primer/ .
[RDF-VOCABULARY]
RDF Vocabulary Description Language 1.0: RDF Schema, Dan Brickley and R. V. Guha, Editors, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-rdf-schema-20040210/ . Latest version available at http://www.w3.org/TR/rdf-schema/ .

�t�^ D: �ω����O�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


RDF/XML Metadata

Valid XHTML 1.0!

Valid CSS!