Hyper-relation - Revision history

imported>Martins at 20:05, 26 August 2013

2013-08-26T20:05:02Z

← Older revision		Revision as of 20:05, 26 August 2013
Line 16:		Line 16:
	The only difference between relations and hyper-relations is that the latter has at least one relation as one of its arguments, e.g.:		The only difference between relations and hyper-relations is that the latter has at least one relation as one of its arguments, e.g.:
	*rel(rel1(arg1;arg2);arg3;...;argn)		*rel(rel1(arg1;arg2);arg3;...;argn)
	For better readability, inner relations are normally replaced by relation ID's, to be represented by :XX, where XX is a digit		For better readability, inner relations are normally replaced by relation ID's, to be represented by :XX, where XX is a two-digit string
	*rel(rel1(arg1;arg2);arg3;...;argn) is the same as rel(:01;arg3;...;argn)rel1:01(arg1;arg2)		*rel(rel1(arg1;arg2);arg3;...;argn) is the same as rel(:01;arg3;...;argn)rel1:01(arg1;arg2)

imported>Martins at 20:04, 26 August 2013

2013-08-26T20:04:20Z

← Older revision		Revision as of 20:04, 26 August 2013
Line 16:		Line 16:
	The only difference between relations and hyper-relations is that the latter has at least one relation as one of its arguments, e.g.:		The only difference between relations and hyper-relations is that the latter has at least one relation as one of its arguments, e.g.:
	*rel(rel1(arg1;arg2);arg3;...;argn)		*rel(rel1(arg1;arg2);arg3;...;argn)
	~~As in case of [[~~relation]]s, ~~the main [[scope]] is 00 and it is not shown,~~ by ~~default~~:		For better readability, inner relations are normally replaced by relation ID's, to be represented by :XX, where XX is a digit
	*''rel(rel1~~:01~~(arg1;arg2);arg3;...;argn) '' is the same as ''rel~~:00~~(~~rel1~~:01~~(arg1;arg2)~~;arg3;...;argn)'' (~~i.e., the relation ''rel'' belongs to the main scope, i.e., the main graph~~)		*rel(rel1(arg1;arg2);arg3;...;argn) is the same as rel(:01;arg3;...;argn)rel1:01(arg1;arg2)

	== Properties ==		== Properties ==

imported>Martins at 19:24, 26 August 2013

2013-08-26T19:24:39Z

← Older revision		Revision as of 19:24, 26 August 2013
Line 8:		Line 8:

	== Notation ==		== Notation ==
	Hyper-relations and ~~relations~~ are represented in the same way, i.e.,		Hyper-relations and [[relation]]s are represented in the same way, i.e.,
	rel:scope(arg1;arg2;...;argn)		rel:scope(arg1;arg2;...;argn)
	where:		where:

imported>Martins at 19:22, 26 August 2013

2013-08-26T19:22:03Z

@@ Line 19: / Line 19: @@
 *''rel(rel1:01(arg1;arg2);arg3;...;argn) '' is the same as ''rel:00(rel1:01(arg1;arg2);arg3;...;argn)''  (i.e., the relation ''rel'' belongs to the main scope, i.e., the main graph)
-== Examples ==
+== Properties ==
 ;A hyper-relation may have one single relation as each argument
 *XP(XB(%a;%b);%c) - the source argument of the hyper-relation XP is a relation
@@ Line 31: / Line 27: @@
 ;Differently from [[nodes]], relations do not have elements (strings, headwords, features and indexes)
 *<strike>XP(XB(%a;%b),"ab",[ab],<nowiki>[[ab]]</nowiki>,A,B;%c)</strike> (the relation XB(%a;%b) may not have strings, UWs, headwords or any features)

imported>Martins at 19:21, 26 August 2013

2013-08-26T19:21:11Z

← Older revision		Revision as of 19:21, 26 August 2013
Line 16:		Line 16:
	The only difference between relations and hyper-relations is that the latter has at least one relation as one of its arguments, e.g.:		The only difference between relations and hyper-relations is that the latter has at least one relation as one of its arguments, e.g.:
	*rel(rel1(arg1;arg2);arg3;...;argn)		*rel(rel1(arg1;arg2);arg3;...;argn)
	As in case of [[relation]]s, the main scope is 00 and it is not shown, by default:		As in case of [[relation]]s, the main [[scope]] is 00 and it is not shown, by default:
	*''rel(rel1:01(arg1;arg2);arg3;...;argn) '' is the same as ''rel:00(rel1:01(arg1;arg2);arg3;...;argn)'' (i.e., the relation ''rel'' belongs to the main scope, i.e., the main graph)		*''rel(rel1:01(arg1;arg2);arg3;...;argn) '' is the same as ''rel:00(rel1:01(arg1;arg2);arg3;...;argn)'' (i.e., the relation ''rel'' belongs to the main scope, i.e., the main graph)

imported>Martins at 18:25, 19 August 2013

2013-08-19T18:25:24Z

← Older revision		Revision as of 18:25, 19 August 2013
Line 29:		Line 29:
	*XP(VC(%a;%b);VA(%a;%c)) - the source and the target argument of the hyper-relation XP are relations		*XP(VC(%a;%b);VA(%a;%c)) - the source and the target argument of the hyper-relation XP are relations
	*<strike>XP(VC(%a;%b)VA(%a;%c);VS(%a;%d))</strike> - a hyper-relation may not have more than one relation as one single argument (in this case, the hyper-relation XP contained two relations as the source argument)		*<strike>XP(VC(%a;%b)VA(%a;%c);VS(%a;%d))</strike> - a hyper-relation may not have more than one relation as one single argument (in this case, the hyper-relation XP contained two relations as the source argument)
	;Differently from [[nodes]], relations do not have elements (strings, headwords, features and ~~elements~~)		;Differently from [[nodes]], relations do not have elements (strings, headwords, features and indexes)
	*<strike>XP(XB(%a;%b),"ab",[ab],<nowiki>[[ab]]</nowiki>,A,B;%c)</strike> (the relation XB(%a;%b) may not have strings, UWs, headwords or any features)		*<strike>XP(XB(%a;%b),"ab",[ab],<nowiki>[[ab]]</nowiki>,A,B;%c)</strike> (the relation XB(%a;%b) may not have strings, UWs, headwords or any features)

imported>Martins at 18:24, 19 August 2013

2013-08-19T18:24:57Z

← Older revision		Revision as of 18:24, 19 August 2013
Line 17:		Line 17:
	*rel(rel1(arg1;arg2);arg3;...;argn)		*rel(rel1(arg1;arg2);arg3;...;argn)
	As in case of [[relation]]s, the main scope is 00 and it is not shown, by default:		As in case of [[relation]]s, the main scope is 00 and it is not shown, by default:
	*''rel(rel1:01(arg1;arg2);arg3;...;argn) '' is the same as rel:00(rel1:01(arg1;arg2);arg3;...;argn) (i.e., the relation ''rel'' belongs to the main scope, i.e., the main graph)		*''rel(rel1:01(arg1;arg2);arg3;...;argn) '' is the same as ''rel:00(rel1:01(arg1;arg2);arg3;...;argn)'' (i.e., the relation ''rel'' belongs to the main scope, i.e., the main graph)

	== Examples ==		== Examples ==

imported>Martins at 18:24, 19 August 2013

2013-08-19T18:24:36Z

← Older revision		Revision as of 18:24, 19 August 2013
Line 16:		Line 16:
	The only difference between relations and hyper-relations is that the latter has at least one relation as one of its arguments, e.g.:		The only difference between relations and hyper-relations is that the latter has at least one relation as one of its arguments, e.g.:
	*rel(rel1(arg1;arg2);arg3;...;argn)		*rel(rel1(arg1;arg2);arg3;...;argn)
			As in case of [[relation]]s, the main scope is 00 and it is not shown, by default:
			*''rel(rel1:01(arg1;arg2);arg3;...;argn) '' is the same as rel:00(rel1:01(arg1;arg2);arg3;...;argn) (i.e., the relation ''rel'' belongs to the main scope, i.e., the main graph)

	== Examples ==		== Examples ==

imported>Martins at 18:22, 19 August 2013

2013-08-19T18:22:54Z

← Older revision		Revision as of 18:22, 19 August 2013
Line 9:		Line 9:
	== Notation ==		== Notation ==
	Hyper-relations and relations are represented in the same way, i.e.,		Hyper-relations and relations are represented in the same way, i.e.,
	rel(arg1;arg2;...;argn)		rel:scope(arg1;arg2;...;argn)
	where:		where:
	*rel is the name of the relation		*rel is the name of the hyper-relation
	*arg1, arg2, ... are the arguments of the relation		*scope is the [[scope]] of the hyper-relation
	The only difference between relations and hyper-relations is that the latter has at least one relation as one of its arguments.		*arg1, arg2, ... are the arguments of the hyper-relation
			The only difference between relations and hyper-relations is that the latter has at least one relation as one of its arguments, e.g.:
			*rel(rel1(arg1;arg2);arg3;...;argn)

	== Examples ==		== Examples ==

imported>Martins at 18:05, 19 August 2013

2013-08-19T18:05:45Z

← Older revision		Revision as of 18:05, 19 August 2013
Line 25:		Line 25:
	*XP(VC(%a;%b);VA(%a;%c)) - the source and the target argument of the hyper-relation XP are relations		*XP(VC(%a;%b);VA(%a;%c)) - the source and the target argument of the hyper-relation XP are relations
	*<strike>XP(VC(%a;%b)VA(%a;%c);VS(%a;%d))</strike> - a hyper-relation may not have more than one relation as one single argument (in this case, the hyper-relation XP contained two relations as the source argument)		*<strike>XP(VC(%a;%b)VA(%a;%c);VS(%a;%d))</strike> - a hyper-relation may not have more than one relation as one single argument (in this case, the hyper-relation XP contained two relations as the source argument)
	;~~Relations~~ do not have strings, ~~UWs~~, ~~headwords or any~~ features		;Differently from [[nodes]], relations do not have elements (strings, headwords, features and elements)
	*<strike>XP(XB(%a;%b),"ab",[ab],<nowiki>[[ab]]</nowiki>,A,B;%c)</strike> (the relation XB(%a;%b) may not have strings, UWs, headwords or any features)		*<strike>XP(XB(%a;%b),"ab",[ab],<nowiki>[[ab]]</nowiki>,A,B;%c)</strike> (the relation XB(%a;%b) may not have strings, UWs, headwords or any features)