D-rule

D-rules or disambiguation rules are used to prevent wrong lexical choices, to provoke best matches and to check the consistency of graphs, trees and lists. The set of D-rules form the Disambiguation grammar, or D-Grammar.

Syntax

D-rules follow the general syntax:

STATEMENT=P;

Where
STATEMENT is the left side (condition) of a L-rule or a S-rule; and
P, which can range from 0 (impossible) to 255 (necessary), is the probability of occurrence of the STATEMENT

Scope of Disambiguation Rules

Disambiguation rules may apply:

• Only during tokenization, in order to control the dictionary retrieval
• Only during transformation, in order to control the application of T-rules
• During tokenization and transformation

Types of Disambiguation Rules

There are two types of disambiguation rules:

• Linear disambiguation rules, when the rule applies over lists of nodes
• Non-linear disambiguation rules, when the rule applies over non-linear relations between nodes

Linear Disambiguation Rules

Linear disambiguation rules apply over the natural language list structure to constrain word selection (dictionary retrieval) or the application of both Tree-to-List (TL) and List-to-List (LL) Transformation Rules. They have the following format:

(A)(B)...=P;

Where A and B are nodes, and P is an integer (from 0 to 255).

Examples

(ART)(VER)=0;

An article (ART) may not precede a verb (VER).

(ART)(NOU)=255;

Articles (ART) always precede nouns (NOU).

Use

Rule Disambiguation

INPUT	TRANSFORMATION RULES	DISAMBIGUATION RULES	OUTPUT
X(A,B,C;D,E,F)	X(A;D)=(A)(D); (higher priority) X(A;F)=(F)(A); (lower priority)	(B)(E)=0;	(D,E,F)(A,B,C)

Word Disambiguation

INPUT	DICTIONARY	DISAMBIGUATION RULES	OUTPUT
the book	[book] "22222" (POS=VER); (higher priority) [book] "11111" (POS=NOU); (lower priority)	(ART)(BLK)(VER)=0;	[book] "1111" (POS=NOU);

Non-Linear Disambiguation Rules

Non-linear disambiguation rules apply over the syntactic or the network structure to constrain the application of List-to-Tree (LT), Tree-to-Tree (TT), Tree-to-Network (TN) and Network-to-Network (NN) Transformation Rules. They have the following format:

REL(A;B)=P;

Where REL is either a syntactic or a semantic relation, A and B are nodes, and P is an integer (from 0 to 255).

Examples

VS(VER;ADJ)=0;

An adjective (ADJ) may not be an specifier (VS) of a verb (VER).

NS(NOU;DET)=255;

Determiners (DET) are always specifiers (NS) of nouns (NOU).

agt(VER;ADJ)=0;

An adjective (ADJ) may not be an agent (agt) of a verb (VER).

agt(VER;NOU)=255;

Agents (agt) of verbs (VER) are always nouns (NOU).

Use

INPUT	TRANSFORMATION RULES	DISAMBIGUATION RULES	OUTPUT
SYN(A,B,C;D,E,F)	SYN(A;D)=agt(;); (higher priority) SYN(A;E)=aoj(;); (lower priority)	agt(A;F)=0;	aoj(A,B,C;D,E,F)
(A,B,C)(D,E,F)	(A)(D)=X(A;D); (higher priority) (A)(E)=X(E;A); (lower priority)	X(F;A)=255;	X(D,E,F;A,B,C)
agt(A,B,C;D,E,F)	agt(A;D)=X(A;D); (higher priority) agt(A;E)=Y(A;E); (lower priority)	X(B;F)=0;	Y(A,B,C;D,E,F)

Formal Syntax of Disambiguation Rules

Disambiguation rules must comply with the following syntax

<DISAMBIGUATION RULE> ::= <NN RULE> | <TT RULE> | <LL RULE> 
<NN RULE>             ::= (<SEM>)+ "=" [0-255]";"
<TT RULE>             ::= (<SYN>)+ "=" [0-255]";"
<LL RULE>             ::= "(" <NODE> ")" ( "(" <NODE> ")" )+ "=" [0-255]";"
<SEM>                 ::= <TEXT> "(" <NODE> ";" <NODE> ")"
<SYN>                 ::= <TEXT> "(" <NODE> ";" <NODE> ")"
<NODE>                ::= ( (<DESCRIPTION>)( "," <DESCRIPTION> )* )?
<DESCRIPTION>         ::= <STRING> | <ENTRY> | <FEATURE> | <RELATION>
<STRING>              ::= """<text>"""
<ENTRY>               ::= "["<entry>"]"
<FEATURE>             ::= <VALUE> | <ATTRIBUTE> | <ATTRIBUTE>"="<VALUE>
<RELATION>            ::= <SEM>|<SYN>
<VALUE>               ::= <TEXT>
<ATTRIBUTE>           ::= <TEXT>
<TEXT>                ::= any sequence of characters except whitespace | <REGULAR EXPRESSION>
<REGULAR EXPRESSION>  ::= "/"<PERL COMPATIBLE REGULAR EXPRESSIONS>"/"

Examples

• List structures
  • (ART)(BLK)(VER)=0; (an article (ART) may not precede a verb (VER))
  • (ART)(BLK)(NOU)=255; (articles (ART) always precede nouns (NOU))
• Syntactic and semantic structures
  • agt(VER;ADJ)=0; (an adjective (ADJ) may not be an agent (agt) of a verb (VER))
  • agt(VER;NOU)=255; (agents (agt) of verbs (VER) are always nouns (NOU))
  • VS(VER;ADJ)=0; (an adjective (ADJ) may not be an specifier (VS) of a verb (VER))
  • NS(NOU;DET)=255; (determiners (DET) are always specifiers (NS) of nouns (NOU))