S-rule - Revision history

imported>Martins at 17:33, 24 June 2014

2014-06-24T17:33:10Z

← Older revision		Revision as of 17:33, 24 June 2014
Line 23:		Line 23:
	#Inside each relation, nodes may be referenced by any of its elements, isolated by comma (,):		#Inside each relation, nodes may be referenced by any of its elements, isolated by comma (,):
	#:VC(%a;%b) - syntactic relation between a node where index = %a and another node where index = %b		#:VC(%a;%b) - syntactic relation between a node where index = %a and another node where index = %b
	#:agt("a",[a],<nowiki>[[a]]</nowiki>,A;"b",[b],<nowiki>[[b]]</nowiki>,B) - semantic relation between a node having the feature A where string = "a" AND headword "a" AND UW = <nowiki>[[a]]</nowiki> AND another node having the feature B where string = "b" AND headword = [b] AND UW = <nowiki>[[b]]</nowiki>		#:agt("a",[a],<nowiki>[[a]]</nowiki>,A;"b",[b],<nowiki>[[b]]</nowiki>,B) - semantic relation between a node having the feature A where string = "a" AND headword <nowiki>[a]</nowiki> AND UW = <nowiki>[[a]]</nowiki> AND another node having the feature B where string = "b" AND headword = [b] AND UW = <nowiki>[[b]]</nowiki>
	#The arguments of a relation may be empty in case they are not affected by S-rules.		#The arguments of a relation may be empty in case they are not affected by S-rules.
	#:rel(;):=rel2(;); (replace all relations rel by rel2, regardless of their arguments)		#:rel(;):=rel2(;); (replace all relations rel by rel2, regardless of their arguments)

imported>Martins at 12:07, 4 November 2013

2013-11-04T12:07:56Z

← Older revision		Revision as of 12:07, 4 November 2013
Line 51:		Line 51:
	== Examples ==		== Examples ==
	Examples of S-rules:		Examples of S-rules:
			*composition
			**VA("into account",PP); (add the PP "into account" as the adjunct of the verb)
			*subcategorization
			**VC(PH([in])); (the complement of the verb is a prepositional phrase headed by the preposition "in")
			*agreement
			**VS(ANUM,APER); (the specifier of the verb assigns number (ANUM) and person (APER) to its head
			*case marking
			**VS(NOM); (the specifier of the verb receives the case nominative (NOM)
			*distribution
			**VA(>>); (the adjunct of the verb comes at the right side of the verb after a blank space)
			*adjacency
			**VA(AJ2); (the adjunct of the verb integrates the second projection of the head)
			*periphrasis
			**VH(%vh,FUT):=+IC([will];%vh,+INF);
			*projection
			**VS(%head;%spec)VB(%head;%comp):=VP(VB(%head;%comp);%spec); (integrate the two relations on the left side into a single relation)
			*mapping
			**agt(%source;%target):=VS(%source;%target); (the agent relation is mapped into a VS relation)

			== Formal Syntax ==
			S-rules comply with the following formal syntax:

			<<nowiki>S-RULE</nowiki>> ::= <CONDITION> ":=" (<RELATION>)+";"
			<CONDITION> ::= <TAG>(","<TAG>)* \| (<RELATION>)*
			<RELATION> ::= <SYNTACTIC RELATION> \| <SEMANTIC RELATION>
			<SEMANTIC RELATION> ::= <UNL RELATION> "(" <NODE> ";" <NODE> ")"
			<SYNTACTIC RELATION> ::= <NL RELATION> "(" (<NODE>";")? <NODE> ")"
			<UNL RELATION> ::= {one of the head-driven semantic relations defined in the [[Universal Relations\|UNL Specs]]}
			<NL RELATION> ::= {one of the head-driven syntactic relations defined in the [[Tagset\|UNDLF Tagset]]}
			<NODE> ::= <FEATURE>(","<FEATURE>)*
			<FEATURE> ::= <ID>\|<TAG>\|"""<STRING>"""\|"["<STRING>"]"\|<DIRECTION>\|<SYNTACTIC RELATION>\|<ACTION>
			<ID> ::= "%"[a-zA-Z_0-9]+
			<TAG> ::= {one of the tags defined in the [[Tagset\|UNDLF Tagset]]}
			<STRING> ::= [a..Z]+
			<DIRECTION> ::= ">"\|">>"\|"<"\|"<<"
			<ACTION> ::= <PREFIXATION> \| <SUFFIXATION> \| <INFIXATION> \| <REPLACEMENT> (cf. [[A-rule]])
			where<br />
			<a> = a is a non-terminal symbol<br />
			"a" = a is a constant<br />
			a \| b = a or b<br />
			(a)? = a can be repeated 0 or one time<br />
			(a)* = a can be repeated 0 or more times<br />
			(a)+ = a can be repeated 1 or more times<br />

imported>Martins at 19:11, 23 August 2013

2013-08-23T19:11:24Z

← Older revision		Revision as of 19:11, 23 August 2013
Line 40:		Line 40:
	#:rel("a"):=rel("an"); or rel("a"):=rel(0>"n");		#:rel("a"):=rel("an"); or rel("a"):=rel(0>"n");
	#S-rules do not affect nodes unless explicitly informed		#S-rules do not affect nodes unless explicitly informed
	#:rel("a",[a],[[a]],A,%x;"b",[b],[[b]],B,%y):=rel2(%x;%y); (the nodes %x and %y do not undergo any change)		#:rel("a",[a],[[a]],A,%x;"b",[b],<nowiki>[[b]]</nowiki>,B,%y):=rel2(%x;%y); (the nodes %x and %y do not undergo any change)
	#:rel("a",[a],[[a]],A,%x;"b",[b],[[b]],B,%y):=rel2(%x); (the node %x does not undergo any change; the node %y is deleted)		#:rel("a",[a],[[a]],A,%x;"b",[b],<nowiki>[[b]]</nowiki>,B,%y):=rel2(%x); (the node %x does not undergo any change; the node %y is deleted)
	#:rel("a",[a],[[a]],A,%x;"b",[b],[[b]],B,%y):=rel2(%x,-A;%y); (the feature A is removed from the node %x; all the rest, including the node %y, does not undergo any change)		#:rel("a",[a],[[a]],A,%x;"b",[b],<nowiki>[[b]]</nowiki>,B,%y):=rel2(%x,-A;%y); (the feature A is removed from the node %x; all the rest, including the node %y, does not undergo any change)
	#"^" is used for negation		#"^" is used for negation
	#:rel1(%x;%y)^rel2(%y;%z):=+rel2(%y;%z); (if there is a rel1 between the nodes %x and %y and there is no relation rel2 between the nodes %y and %z, create a new relation rel2 between the nodes %y and %z)		#:rel1(%x;%y)^rel2(%y;%z):=+rel2(%y;%z); (if there is a rel1 between the nodes %x and %y and there is no relation rel2 between the nodes %y and %z, create a new relation rel2 between the nodes %y and %z)

imported>Martins at 19:48, 21 August 2013

2013-08-21T19:48:49Z

← Older revision		Revision as of 19:48, 21 August 2013
Line 19:		Line 19:
	#*rel("a";"b";"c"); (relation with three arguments)		#*rel("a";"b";"c"); (relation with three arguments)
	#*etc.		#*etc.
	#:		#:Syntactic relations are not predefined, although we have been using a set of binary relations based on the [[syntactic relations\|X-bar theory]].
			#:Semantic relations constitute a predefined and closed set that can be found [[Universal Relations\|here]].
	#Inside each relation, nodes may be referenced by any of its elements, isolated by comma (,):		#Inside each relation, nodes may be referenced by any of its elements, isolated by comma (,):
	#:VC(%a;%b) - syntactic relation between a node where index = %a and another node where index = %b		#:VC(%a;%b) - syntactic relation between a node where index = %a and another node where index = %b

imported>Martins at 19:46, 21 August 2013

2013-08-21T19:46:47Z

← Older revision		Revision as of 19:46, 21 August 2013
Line 8:		Line 8:

	== Types of S-rules ==		== Types of S-rules ==
	~~There are several different types of S-rules:~~
	{{:Transformation over relations}}		{{:Transformation over relations}}

imported>Martins at 19:46, 21 August 2013

2013-08-21T19:46:25Z

← Older revision		Revision as of 19:46, 21 August 2013
Line 51:		Line 51:
	== Examples ==		== Examples ==
	Examples of S-rules:		Examples of S-rules:

	~~== Formal Syntax ==~~
	~~S-rules comply with the following formal syntax:~~

	~~<<nowiki>S-RULE</nowiki>> ::= <CONDITION> ":=" (<RELATION>)+";"~~
	<CONDITION> ::= <TAG>(","<TAG>)* \| (<RELATION>)*
	~~<RELATION> ::= <SYNTACTIC RELATION> \| <SEMANTIC RELATION>~~
	~~<SEMANTIC RELATION> ::= <UNL RELATION> "(" <NODE> ";" <NODE> ")"~~
	~~<SYNTACTIC RELATION> ::= <NL RELATION> "(" (<NODE>";")? <NODE> ")"~~
	~~<UNL RELATION> ::= {one of the head-driven semantic relations defined in the [[Universal Relations\|UNL Specs]]}~~
	~~<NL RELATION> ::= {one of the head-driven syntactic relations defined in the [[Tagset\|UNDLF Tagset]]}~~
	<NODE> ::= <FEATURE>(","<FEATURE>)*
	~~<FEATURE> ::= <ID>\|<TAG>\|"""<STRING>"""\|"["<STRING>"]"\|<DIRECTION>\|<SYNTACTIC RELATION>\|<ACTION>~~
	~~<ID> ::= "%"[a-zA-Z_0-9]+~~
	~~<TAG> ::= {one of the tags defined in the [[Tagset\|UNDLF Tagset]]}~~
	~~<STRING> ::= [a..Z]+~~
	~~<DIRECTION> ::= ">"\|">>"\|"<"\|"<<"~~
	~~<ACTION> ::= <PREFIXATION> \| <SUFFIXATION> \| <INFIXATION> \| <REPLACEMENT> (cf. [[A-rule]])~~
	~~where<br />~~
	~~<a> = a is a non-terminal symbol<br />~~
	~~"a" = a is a constant<br />~~
	~~a \| b = a or b<br />~~
	~~(a)? = a can be repeated 0 or one time<br />~~
	~~(a)* = a can be repeated 0 or more times<br />~~
	~~(a)+ = a can be repeated 1 or more times<br />~~

imported>Martins at 19:46, 21 August 2013

2013-08-21T19:46:04Z

@@ Line 51: / Line 51: @@
 == Examples ==
 Examples of S-rules:
 == Formal Syntax ==

imported>Martins at 19:42, 21 August 2013

2013-08-21T19:42:58Z

@@ Line 47: / Line 47: @@
 == Indexes ==
-;Nodes are always indexed in S-rules
+See [[Indexation]]
 == Examples ==

imported>Martins at 18:49, 21 August 2013

2013-08-21T18:49:26Z

← Older revision		Revision as of 18:49, 21 August 2013
Line 43:		Line 43:
	#:rel("a",[a],[[a]],A,%x;"b",[b],[[b]],B,%y):=rel2(%x); (the node %x does not undergo any change; the node %y is deleted)		#:rel("a",[a],[[a]],A,%x;"b",[b],[[b]],B,%y):=rel2(%x); (the node %x does not undergo any change; the node %y is deleted)
	#:rel("a",[a],[[a]],A,%x;"b",[b],[[b]],B,%y):=rel2(%x,-A;%y); (the feature A is removed from the node %x; all the rest, including the node %y, does not undergo any change)		#:rel("a",[a],[[a]],A,%x;"b",[b],[[b]],B,%y):=rel2(%x,-A;%y); (the feature A is removed from the node %x; all the rest, including the node %y, does not undergo any change)
	#"^" is used for negation~~, and may be applied over features, strings or relations:~~		#"^" is used for negation
	#:rel1(%x;%y)^rel2(%y;%z):=+rel2(%y;%z); (if there is a rel1 between the nodes %x and %y and there is no relation rel2 between the nodes %y and %z, create a new relation rel2 between the nodes %y and %z)		#:rel1(%x;%y)^rel2(%y;%z):=+rel2(%y;%z); (if there is a rel1 between the nodes %x and %y and there is no relation rel2 between the nodes %y and %z, create a new relation rel2 between the nodes %y and %z)

imported>Martins at 18:49, 21 August 2013

2013-08-21T18:49:14Z

← Older revision		Revision as of 18:49, 21 August 2013
Line 44:		Line 44:
	#:rel("a",[a],[[a]],A,%x;"b",[b],[[b]],B,%y):=rel2(%x,-A;%y); (the feature A is removed from the node %x; all the rest, including the node %y, does not undergo any change)		#:rel("a",[a],[[a]],A,%x;"b",[b],[[b]],B,%y):=rel2(%x,-A;%y); (the feature A is removed from the node %x; all the rest, including the node %y, does not undergo any change)
	#"^" is used for negation, and may be applied over features, strings or relations:		#"^" is used for negation, and may be applied over features, strings or relations:
	#rel1(%x;%y)^rel2(%y;%z):=+rel2(%y;%z); (if there is a rel1 between the nodes %x and %y and there is no relation rel2 between the nodes %y and %z, create a new relation rel2 between the nodes %y and %z)		#:rel1(%x;%y)^rel2(%y;%z):=+rel2(%y;%z); (if there is a rel1 between the nodes %x and %y and there is no relation rel2 between the nodes %y and %z, create a new relation rel2 between the nodes %y and %z)

	== Indexes ==		== Indexes ==