| TITLE: | The TMASD 1.2 Topic Map Application Definition |
| SOURCE: | Steven R. Newcomb |
| PROJECT: | Topic Maps |
| PROJECT EDITORS: | Michel Biezunski, Martin Bryan, Steven R. Newcomb |
| STATUS: | Editor's Draft, Revision 1.2 |
| ACTION: | For review and comment |
| DATE: | 27 April 2003 |
| SUMMARY: | |
| DISTRIBUTION: | SC34 and Liaisons |
| REFER TO: | |
| SUPERCEDES: | |
| REPLY TO: | Dr. James David Mason (ISO/IEC JTC1/SC34 Chairman) Y-12 National Security Complex Information Technology Services Bldg. 9113 M.S. 8208 Oak Ridge, TN 37831-8208 U.S.A. Telephone: +1 865 574-6973 Facsimile: +1 865 574-1896 E-mail: mailto:mxm@y12.doe.gov http://www.y12.doe.gov/sgml/sc34/sc34oldhome.htm Ms. Sara Hafele Desautels, ISO/IEC JTC 1/SC 34 Secretariat American National Standards Institute 25 West 43rd Street New York, NY 10036 Tel: +1 212 642-4937 Fax: +1 212 840-2298 E-mail: sdesaute@ansi.org |
27 April 2003
CHANGE HISTORY:[parid0000] (First version.) |
| 0 | [parid0001]Introduction |
[parid0128] The best available introduction to this document is ISO/IEC JTC1 SC34/WG3 N0393.
[parid0004] The Topic Map Application defined by this document is designed to be included as a module in other Topic Map Applications, thus serving as a portion of the logical and semantic foundation of all topic maps that conform to such Topic Map Applications.
[parid0047] The following naming conventions are used in this TM Application Definition:
[parid0048] PR_ is the prefix of all property names.
[parid0049] AT_ is the prefix of all assertion type names.
[parid0050] RL_ is the prefix of all role names.
| 1 | [parid0003] Scope |
[parid0002] This document defines a "Topic Map Application" as that term is defined in ISO/IEC JTC1 SC34/WG3 N0393.
[parid0054] This TM Application provides properties, assertion types, built-in topics, and merging rules for specifying topics whose subjects are:
[parid0129] assertion types,
[parid0130] assertion roles, and
[parid0131] constraints on the role players of assertions.
| 2 | [parid0025] References |
[parid0008] ISO/IEC JTC1 SC34/WG3 N0393
| 3 | [parid0011] Application Name |
[parid0012] The name of the TM Application defined in this document is IS13250-TMASD-1.2
|
| 4 | [parid0042] Included TM Application Definitions |
[parid0127] (This TM Application does not depend on any other TM Applications.)
| 5 | [parid0015] Property Classes |
| 5.1 | [parid0058] IS13250-TMASD-1.2::PR_t-roles{ } |
[parid0060] Value type: list of topics treated as a set
[parid0061] Semantic: The value is the set of all r-topics whose subjects are the roles defined for the assertion type that is the subject of the t-topic.
[parid0062] Constraints on values: There must be two or more r-topics in the list.
[parid0063] Consistency constraints:
[parid0052] Each of the r-topics in the value of the property must have a reciprocal IS13250-TMASD-1.2::PR_r-type property whose value is the t-topic.
[parid0053] It is an error if the values of the IS13250-TMASD-1.2::PR_t-roles{ } properties of any two topics have any members in common.
[parid0059] SIDP or OP? SIDP
[parid0134] Topic Merging Rule: Whenever two or more topics both exhibit values for their IS13250-TMASD-1.2::PR_t-roles{ } properties, the topics must be merged if their values are the same set of topics.
[parid0038] Effect of merging on values: Whenever two or more topics that exhibit values for their IS13250-TMASD-1.2::PR_t-roles{ } properties are merged, one of the two values must become the value of the same property of the merged topic. If any of the members of either value are built-in, they are built-in in the merged topic.
| 5.2 | [parid0055] IS13250-TMASD-1.2::PR_r-type |
[parid0056] Value type: single topic
[parid0057] Semantic: The value is the topic whose subject is the assertion type of which the subject of the topic is one of the roles.
[parid0070] Constraints on values: The value must be a topic whose subject is an assertion type.
[parid0071] Consistency constraint: The topic that is the value must have a reciprocal IS13250-TMASD-1.2::PR_t-roles{ } property, one of the members of which must be the topic.
[parid0072] SIDP or OP? OP
[parid0073] Effect of merging on values: Whenever two or more topics that exhibit values for their IS13250-TMASD-1.2::PR_r-type properties are merged, one of the two values must become the value of the same property of the merged topic. The following situations require implementations to report conflicts:
[parid0074] The two topics to be merged have different values for their IS13250-TMASD-1.2::PR_r-type properties.
[parid0075] After merging the two topics, the assertion type that is the value of the IS13250-TMASD-1.2::PR_r-type property has fewer than two different roles.
| 5.3 | [parid0076] IS13250-TMASD-1.2::PR_r-RPC |
[parid0077] Value type: single topic
[parid0078] Semantic: The value is the topic whose subject is the qualification (or set of qualifications) that players of the role (the role that is the subject of the topic that exhibits the value) must have.
[parid0079] Constraints on values: The subject of the topic that is the value, if any, must be a qualification or a set of qualifications.
[parid0080] Consistency constraint: The subject of the topic that exhibits the value must be a role.
[parid0081] SIDP or OP? OP
[parid0084] Effect of merging on values: Whenever two or more topics that exhibit values for their IS13250-TMASD-1.2::PR_r-RPC properties are merged, the following rule applies:
[parid0093] If both values are the same single topic, that single topic becomes the value of the IS13250-TMASD-1.2::PR_r-RPC property of the merged topic.
[parid0094] In all other cases, the values are regarded as sets (converting single constraints into sets of constraints that contain one constraint), and the union of those sets becomes the value of the IS13250-TMASD-1.2::PR_r-RPC property of the merged topic.
| 5.4 | [parid0005] IS13250-TMASD-1.2::PR_httpSubjectIndicator |
[parid0095] Value type: string
[parid0096] Semantic: The value is the HTTP address (possibly including a fragment identifier) of information that, when rendered for human perception, is assumed to indicate to the human perceivers the subject of the topic that exhibits the value.
[parid0097] Constraints on values: The value must be suitable for use as the addressing parameter of an HTTP GET process. The value is not suitable if an HTTP GET returns an error or an empty data stream.
[parid0098] Consistency constraint: (None.)
[parid0099] SIDP or OP? SIDP
[parid0145] Topic Merging Rule: Whenever two or more topics both exhibit values for their IS13250-TMASD-1.2::httpSubjectIndicator properties, the topics must be merged if both of the following conditions are met:
[parid0135] Under the rules for URI interpretation specified in IETF RFC 2396: Uniform Resource Identifiers (URI): Generic Syntax, as modified in IETF RFC 2732: Format for Literal IPv6 Addresses in URLs, the two values must be regarded as identifying the same resource; and
[parid0136] Either both values include the same fragment identifier, or neither value includes a fragment identifier.
[parid0100] Effect of merging on values: Whenever two or more topics that exhibit values for their IS13250-TMASD-1.2::httpSubjectIndicator properties are merged, it is a reportable inconsistency if the two values are not equivalent, according to the merging rule specified in [parid0145] 5.4. If they are equivalent, one of the values must become the value of the IS13250-TMASD-1.2::httpSubjectIndicator property of the merged topic, with any built-in value being preferred over any conferred value.
| 6 | [parid0024] Assertion Type |
| 6.1 | [parid0082] IS13250-TMASD-1.2::AT_tTopic-role-RPC |
[parid0083] Semantic: Each instance asserts that a specific assertion type (represented by a t-topic, the player of the IS13250-TMASD-1.2::RL_tTopic role) has, as one of its roles, a specific role, represented by an r-topic, the player of the IS13250-TMASD-1.2::RL_role role. It may optionally also specify one or more "Role Player Constraints (RPCs)", represented by a topic (the player of the IS13250-TMASD-1.2::RL_RPC role) whose subject is the qualifications that must be met by the player of the role in any valid instance of the assertion type.
| 6.1.1 | [parid0085] Role: IS13250-TMASD-1.2::RL_tTopic |
[parid0086] Semantic: The player of the role is the t-topic whose subject is, in part, being conferred upon it by virtue of the existence of this assertion.
[parid0087] Constraints on player: The role must be played.
[parid0088] Value conferred on the IS13250-TMASD-1.2::PR_t-roles{ } property of the role player: The r-topic that is the player of the IS13250-TMASD-1.2::RL_role role of the assertion is made a member of the set that is the value of the property.
| 6.1.2 | [parid0089] Role: IS13250-TMASD-1.2::RL_role |
[parid0090] Semantic: The player of the role is a topic whose subject is being asserted to be one of the roles of the assertion type that plays the IS13250-TMASD-1.2::RL_tTopic role.
[parid0091] Constraints on player: The role must be played, and the player's subject must be an assertion role.
[parid0092] Value conferred on the IS13250-TMASD-1.2::PR_r-type property of the role player: The t-topic that is the player of the IS13250-TMASD-1.2::RL_tTopic role of the assertion becomes the value.
[parid0146] Value conferred on the IS13250-TMASD-1.2::PR_r-RPC property of the role player: The topic that is the player of the IS13250-TMASD-1.2::RL_RPC role of the assertion becomes the value.
| 6.1.3 | [parid0006] Role: IS13250-TMASD-1.2::RL_RPC |
[parid0101] Semantic: The subject of the player of the role, if any, is the set of qualifications that must be met, in all instances of the assertion type that plays the IS13250-TMASD-1.2::RL_tTopic role, by the player of the same role in any such instance that also plays the IS13250-TMASD-1.2::RL_role role in the current instance of the IS13250-TMASD-1.2::AT_tTopic-role-RPC assertion type. If the role is unplayed, the qualifications of the players of the role, in instances of the assertion type, will not be checked at times when assertions are checked for consistency with their constraints.
|
[parid0103] Constraints on player: The role may be unplayed. If the role is played, the subject must be either a single role-player qualification, or a set of such qualifications. The set may be empty, in which case the semantic is the same as if the role were unplayed.
[parid0104] (No values are conferred on properties of the role player.)
| 7 | [parid0032] Built-in Topics and Assertions |
|
| 7.1 | [parid0009] Built-in Topic |
[parid0113] Subject: The IS13250-TMASD-1.2::AT_tTopic-role-RPC assertion type
[parid0114] Built-in value of the
| 7.2 | [parid0105] Built-in Topic |
[parid0106] Subject: The IS13250-TMASD-1.2::RL_tTopic role
[parid0107] Built-in value of the
| 7.3 | [parid0108] Built-in Topic |
[parid0109] Subject: The IS13250-TMASD-1.2::RL_role role
[parid0110] Built-in value of the
| 7.4 | [parid0111] Built-in Topic |
[parid0143] Subject: The IS13250-TMASD-1.2::RL_RPC role
[parid0144] Built-in value of the