Message Validation with a Semantic 

Reasoning Tool 

Peter Denno

Nenad Ivezic

NISTIR 7347
 

NISTIR 7347

Message Validation with a Semantic 

Reasoning Tool

Peter Denno 

Nenad Ivezic

Manufacturing Systems Integration Division 

Manufacturing Engineering Laboratory 

September 2006

U.S. Department of Commerce 

Carlos M. Gutierrez, Secretary 

Technology Administration 

Robert Cresanti, Under Secretary of Commerce for Technology 

National Institute of Standards and Technology 

 William Jeffrey, Director 


	
	
	


	
	


	





	

			!

"	#$#

#$#



""			"%

&!'()* 	'(+%#,	)

	)		"	""		&* &+#

-%		#""		"		"

,	.#	%	"	%	)

	%#

 

	


	,		%%%%	

"			-,	.#.%.	"	

%%,		%"	

"	"%!%	"		,

	"	,		%		,).,%

	%"		%.%%		

	%%%"	,"	

"	#

%		%		,	

	%,		%	/%

"				"		%"	,,

0"	"	#

		""	-%#,"%"	

%%*		+		%%"0

		"#			%%"

.,%#	%.,

#1		)%%"%.0"#!%"

%"		.#


%%,	%"		%#2,	%,

"	"	%#		%"

		%%,	%#

""			"	"%#	


		""	#	"		,%,

%"%	 &3%"			0%	

	%#	""	,%""	#

 
	
	


			%%		4	%%%%5*+

"	%	"	"0/*6+%

		"0%0	"/*7+

%%""		"	%			#

*6+*7+"	"-	89:8;:#"	"

%			<(%	"%#*+

-	%	#%"%

	4	%)".,	,

""	,	.%		

		.)%"	#
	,	.	

*+	"0%	%

"	",0%	"-%#

				%#	%	

	"	%,""	,%	

"	%"%#&""	%	


	


	#

!


	
	,"		

	4	%%,%,	.#=	0%",%

	%	%.		0"	"#		

%"%		)			,%"	.,	

#<()%		)	""	%"%

%	8>:#%	"			,		,	.	

	4	<(		%#%	""	

				)	0)	#


	8:%,

,	."%	*	+"%#


	"	"	"	%#?*,	)	+

	"		"%"	"	#%		,7

"%	"#


 ""		,	.,			

		"		



#%	

	%
	





%%


#

	




"	"		,		%,	

		%%,		%%	#

%,	%	%						,

	##'4

,	,	.	%.	.		

%#

"%	#
 
	,	.#!


 
	,	
	



	%		%%"			%*

	%	%		+8:#	%		

	#,%#

#%	,	/		"	%%	#

	





	



	

	



	




	
		


	
	

	
	

	

	













		)		%	,0	%

"	%%%%"#		)	%,

"	%,	"	"	

			#*
 +#

	 
 

	)		""		"	-%

",,0	%#	%


		0"	

		"		%#	)		4

	





	



	

	



	









	
	 	
	

	
	


	
	

	
 

	





	



	

	



	









	
	 	
	

	
	


	!
"

	!
;

,	#		"		0"	

"			"*@	0!###A

@=	!###A+,	!#			4%

"	"	#*=,

%%+#)		,@	0!=	

BC%#A2	!%"	*)	%	+

045	*

"	"+=	C%#2				%%*%	0"	

	)		+0	0"	%"	"5.,

"	%"	"%#(

0"		)		8>:*,	0"	D(+

	"#	"87:		%			

"	%%,#"	"	%%	"

5"	"			%""

,#

"			%*%

	0	"	.	"+	%%	

	"	"	,	."		

0"%#%%	"	%,	

-%			%%#!	)

				%,	4	%#4		

,	%%	"		%"	%

%#"	"	"%

-	)		#

  	
!	"	


"	"%,	%%"	

		"%	"			%,%

	%%#@A""#

,.""	#

  !#$	


	.	0		%%%"		E	

,			%,%,""%			

	%<(%"#	<(%	'(

86F:%		%<(%&"

!""	"*&!+'&-%*'&
+8G:#%

	"		%"	%	,	

%0		%#,	

%%%		%#0		

		,
 #

!	" #

0	"		<(		%

<(%,	%#0	%"%	!
	
	

H	,	<8G:0"	%

<(#BB		%",%<#	

		.,

#<0"			

		"		<(%*%"	%	

#2	"#		%		%%#$%

	




!&'


!&%

#%


!&	%		%	

%	0%"		%	#.	"			)					%

,,	#			

#
>

%"+#=	0%"					B	

		%&		'	!	#

 
 ("0		

"		#
 )"<(%		'(&		%#


%"0			%%%	#

I	%%	"		"		"#


 (		,		"	

	%J1111))

K#

$	%  #
&' (#

 

 
  

 )

)	" &*+ 
,-  
 

#


C0			0%	

.,#"		%%

%#
",		,	.	"	

		%%#2,	,)"%

	%	#

			"@.,	A,%%5*+,

#
		"	<(%%%&-"		%#

		%		"<(%#
	

,	)%%	.	*6+,,	0		

%		%	,%/*7+,,	 %

#	"%0"	%	L,	=	%*L=+

""		&* &+8:%%

0"	#

		"%,0	,

'(M	M%"#8:.,M	M%""

*MM+%,"		""		

#2,			"MM,	

*		"		+%."#

"			MM"8:,	"

,	"#		"'('	%?

*'?+86F:%%	""	"	0	%		

"	#%		#

  



%"		3%"	8;:	)				

%	#3%"	,			

"	#C		,"#

"	"	%	%"3%"	

	
	#	*#

%

			4"		%#		

"		0"	4-,,	%@%"	A

"				#+				,	

,	%	%		%

,%	%#	)						

%	#

I				)					4		%

%"	*L=8:+	%	
	
	!3%"	

		%*@A+"	"	"	-

%"	"	"			%	%	%

	L=#

&	3%"	
		
	%	%		

"	*%"	+"

		#C"					%


	,			#		%

	 ,#				

	%"%	0,#

	%"3%"	"%)3%"	,".	

#3%"	"		%"#"	- &)L=	, &#

#%)%%%	#

!"		0,	

,5,"	%,	

"	,		%#			

		#

  %
&

%%%%	"		%.			""

	"	%,		#			)	

)""	.		"	"	

,	#	%%,"		"		

				%		%

%#.,@A%	

		E			),	#

	%%6

	""		

%-%	@%	AE%	

	%%%		,	#


	86:87:8:#	%"	,		""	

"			%	%/-%

	#2,		0"	,"	-%)

"	"""	%	#C	*		%+	"

""	,	  C4	,	.

%"	 &#

 &*""		&+),	.???

		# &BN;FF0%	,	 &)L=*	""	&)

L,	=	%+86:M%%(89:#		 &

	
 -	% &%8:#

#@"				A	)""			)	#	0"	)

%		)		".,

"		"	%		E%%	.			)	#

6#'
	,%	%	%	,		#	

,%%"	#

7#!	 &,			.,	%%"	"		%		#

C,	,				"	%		,,	#

	@			A*#	%	

			%?+#


.	" , 
/01/*02

C0"4"		

@%A & 		 &)

L= &		#"	

 &)L="	%-"	#=	0%"

"	%%	%%##	


 .#

3	/*045
6 


!	
 .#	

-"	
	"	

"	,	%

*	

+,%

	%$%&*	/
*			L=

,B B+#!4	%		4			



	


	


'	()(#	*
#

+	#*	,-.


/	


	
	


	
	

	
		

	
		
								

					
	  	!	"

#!								$			 		

	 	
"%

&'(

			
	)*+

				$ !,
	)*+

								,
	)*+


%	"	#"					

#	

0	
12#
.
2#
#0%
 .

#	

				,0	
12#


-
%"	##	

-				#

 "	 &%	%#	

"	3
-	


1
-	
%	%"00%		-0

%"0"#

%)%"	%	%%#

!""%"

	#	"	#C(,,%.

,		@%)#A	,%)%

,"%%# &

	"	#=	0%",	

4 -	,	



"-
	
4
	,	"-
	
#,	

		",,"%%)%	"#	)

		*		"+"	%

"	"	"	"#"	"		)		

,	%@%A%

		#

 ' 
	
(	

I		%*"	%

		0"	%	#+#,	.,,%

%	"(*(+		86:		

%#

		,%"	%5%"%

	#0	,	%"		#!%

	-4%*%+#%4%%

	%			%"#

	%*##G!676FF;+	

%""	%%"#C)	"	

%,		%"%		%"#

C"@	A%"#(5%"FF5FF5FFO6FFF#

	(%	%"	

	%#%(		,		

%51!	(	%	*,%"

%.@	A+/1!	2	

#4		"		)		#C,	"	"		0"4	%"

	%,			,,#"				#	

"3%"		#


	(6(7	(7(6/1!	(

			08	0!	0!#*	0!

		"@	#A+

0%*"	(+		%"	"	
 2#

7	"
" 



" 


-





!..		""		%	

4,%		,%"%		

	%"	#=	0%"		%"6

%"94		%"6		N#



#=	0"	,		%"	#%"%%"

*##
	(7(#
	
(
1	(5(7*	7*
+#%"%	

	%	*##*	7*
#

	-
./	0/

	-
./	-

	-
./		-


1	-
./	-


	222				-
				"

&'(	

			3	4.0	-
./	4-

					-5!/	-6	4-	4,0

									-5!/	-6	4.0	4,0

								3	4,0	,/	4,0	7/		7,

222	- 				-
		3"

'(			3	-
./	4-

													-
./	4-8

			3	4-	4-8

222	#!	-
		-6		 				-
"

'(

	

				4-	-


				3	4-	-6

	$	4-

			3	4-	-
./	4-

222	- 			-
		4-		-
./	4-

'(

			4-	-


									4-8	-


									4-9	-


								3	-
./	4-	4-8

									3	4-9	4-

									3	4-9	4-8

		

					4-9	4-

					4-8	4-9		
7

"	"		4	%.	%"			

	#(9		

	%*"	%			%%	B%+#


 3		%%		2	
"#

8	9
5:;

,			)	%,

	"	0%		#&		%	

""	,",#=	3%"		%#

	2	
"%	

#0%"
 #

	:;

<=
 


'(

			4-	-


							-5!/	-6		4,

							-5!/	-6	4-	4,8

							-5!/	-6	-
./	4-	4,9

	3	,/	4,	4,8	4,9

'(

		

				4-	-


				4-8	-


				-5!/	-6		4,

				-5!/	-6	4-	4,

				-5!/	-6	4-8	4,8

			'(	

				$	4-
8	

								-5!/	-6	4-
8	4,9

				3	

					,/	4,	4,8

					,/	4,	,/	4,	4,9

				

		

		

&'(	3	4-8	,/	4-	4,

					$	40:5-	4-,	4:	4:8

									

											-5!/	-6	4-	7/	4:	40:5-

											-5!/	-6	4-,	4,

										3	7/	4:8	40:5-	4,

											-5!/	-6	4-8	

 																				7/	/	4:	4:8	40:5-


 ) *
	

!0% &0%	"4#		,

,	/	

5*+
	
/	

		"	

%*%	)-+
*		%*		

*	6*
2	

 2/*6+
/	

	

%"
	
/	

		#=	0%"2


*	7+	*	6
	"	6	%"		#


*	%		

	4	" 

	
2	#C &""	

%	4		#

 + &,,




 &#	

		(		
(		
	,,# &"

	"	"	,		

	
 

;

	;#



!		 &)L=	%.4,,

	%4	#		%			

	))4	%	"4			

		#&.4%		

#&	%	L=	%	%	866:,

4		.4	%#%	0%"4	"	

	,	%"		%".#


 		,	%	"	"

#

		

			.1

		8	1

		;	4.#<<5:=	4=#:-		 

		

			>1

		8	1!1

		;	4>0?5:=	4=#:-		 

222	7	1		 			"

'(

	

				4>0?5:=	4>0?#

	4.#<<5:=	4.#<<#


	4>0?5:=	4
0@.#

			
	4.#<<5:=	4
0@.#

		4
0@.#	/-


	4
0@.#	4*>A#-

			4*>A#-	47*:#?

	$	4
?7#:-

				

								
	4
?7#:-	4
0@.#

									4
?7#:-	


									4
?7#:-	47*:#?

									4
?7#:-	4.#<<#

								1	4
?7#:-	4
0?#

4=#:-	
			.1	
	4.#<<5:=%"

4=#:-	
			>1	
	4>0?5:=%"


	/


-  


 - 


	%	%%%#',%	%

%"0	,

#	%6FFF8:
(&M&
?8N:	0%"#

@=&'A	%		%	"".,@=	'	A

,		"	.			%			

	"%		#@ !A(&M&
?		

			!#

		%	%		%	

	#=	0%"				;FFFF(&M&
?

"%%""	"	,		

"		"			%		%#&	

		7	%		%"0	

%#

	(&M&
?"	%"%	,

"				,	#."#

%"0	%"	%	,,"

	%"	5!"

	%	",	%	

			"	%	#!"	%,

%%	%.%	"	

""	#	-	/0%""	

222		
 	!!		;	%	  		*1

'(

	

			4>0?5:=	4>0?#

			4.#<<5:=	4.#<<#

		
	4>0?5:=	4
0@.#

			4
0@.#	/-

	$	4*775-	4.#:-#:#	4
*
*.5-5*:

				

							4*775-	1

						

	4*775-	

						17	4*775-	4>0?#

						17	4*775-	4.#<<#

							4.#:-#:#	.

						
	4.#:-#:#	4
0@.#

						5	4.#:-#:#	4
*
*.5-5*:

						

	4
*
*.5-5*:	*1
>

	""	-%#		"		

*+,		""		%"	%"	

%"%/*6+,	""		

	"	,",-%#C	"

*+,				""		

	"%	#C	"*6+	0"	

 &	.	#

' 
	


!"	""	-,	)			

%.#C%,

%"%*0	"			0%"+,	-,

,#0"		)		@	

	A, &,	#!			%,

	0"	%"0	%#2,			"	%

	%			0"	#C	,"	

.3%"	/,%"4	#"				%

	4	,"		#%"0

0"	#.%%"	,	",

%	0"	#

				%		0"	%#C"

"	""%!%	!	"*!!+

	""8F:,	,%"%0"	#

) 


8: 
#!#0#
		
	4
	%#5
			
	

6
	
		
	%		6
		$%6
33'M	C

'		%	&4&	>)6FF#

86: &"M%			

"5HH		#H"	-H"H6FF;#

87: M##7
7	8/
	8-	0	7
7	9

			

%	5

	+
66FF7#

8N: IO#!#3	.!#*	+:"		1	+	

6FF#

#	,	@%)A, &(&,%0%)

","%.#2,	,%		#
	

8;: I!#6		;	0
	5
/

		

	LO6FF7#

89: &H?M6
	0	,		9	$9'	,	1	
#
"	
				

9	9OMHM76
77F"5HH"#%#HHO676FF;#

8>: &H?M6
	0	,	8		8	9	$889'	,	

5
		+	/	,	
>;>)7%	>;>)7OMHM7N=

M%%	6FF;#

8G: C7M<=9	5	9	$<5'	
3C7MC	.	"5H,,,#,7#	HIH

0"6FH!"	N6FF;#

8: I=#6
	
	1
		-#6FF#

8F: !!=
	#	6/	,	
	%
			0#	:	=

	"5HH,,,##	HH%	P,#%O7F6FF;#

8: ?##L#		
	!%	N#

86: &6
				
	,	5
			,	5
	

	%
	
	8
	0
"5HH,,,#%##H"H")H"	7H	##%6FFN#

87: '	=#
C#>	8
	9"5HH,,,###HQ	HH	H

H)F6#"6FF6#

8N: 
?M?4	?		
	0
		0

	9	4?@9%%8;

 
?%M%%	?	""5HH,,,##	HHH	H

%#%6FF;

8;: 
?60	=
	>		>	$>
>'	6

	0"5HH

,,,#%##H%H6H6FF;#

89: L'#
#	#O!##1	>		>	6

	

0	1	%/
/#=	M	?	M%%		

!#&	6FF7#

8>: 
#2I#33#		8	0	9	9/!)

CN#

8G: &"!""	"%1A6	23	"5HH,,,#"""#	H,H

,#%#

8: 
HM?=!M<=9	
		0		B
	.(


M			=?	'"%	7F6FF6#

86F: &!4/
	>	9	3&		!%		

	%	*&!+"%	;6FFN#

86: ???6;;;	
	4
	%	$4%'		A
	C#	6
	


"5HH##	H &HL=H%	6FF7#


866: 
	#5
		1
	6	5

					

9	L%	6#