Patent Island

９６．　請求項の一般化関数表現

請求項記述言語では、請求項を、構成要素，構成要素間のリンクと請求項を示す名前からなるものとして表現できる。たとえば、４つの構成要素からなる請求項claimを次のようにＣ言語のような関数としても表現できる。

claim(title,categ,num)
{

inoutrel1 = {inoutname1,sourcename1};
inoutrel2 = {inoutname2,sourcename2};
inoutrel3 = {inoutname3,sourcename3};
inoutrel4 = {inoutname4,sourcename4};

charrel1 = {rcompn1,charname1};
charrel2 = {rcompn2,charname2};
charrel3 = {rcompn3,charname3};
charrel4 = {rcompn4,charname4};

extrel1 = {extname1,charname_e1};
extrel2 = {extname2,charname_e2};
extrel3 = {extname3,charname_e3};
extrel4 = {extname4,charname_e4};

reldesc1 = {inoutrel1,charrel1};
reldesc2 = {inoutrel2,charrel2};
reldesc3 = {inoutrel3,charrel3};
reldesc4 = {inoutrel4,charrel4};

absdesc1 = {extrel1,extinout1,schar1};
absdesc2 = {extrel2,extinout2,schar2};
absdesc3 = {extrel3,extinout3,schar3};
absdesc4 = {extrel4,extinout4,schar4};

modinfo1 = {reldesc1,absdesc1};
modinfo2 = {reldesc2,absdesc2};
definfo3 = {reldesc3,absdesc3};
definfo4 = {reldesc4,absdesc4};

compo(cname1,modinfo1);
compo(cname2,modinfo2);
compo(cname3,definfo3);
compo(cname4,definfo4);

}

請求項は、請求項記述言語を用いれば、タグ混じり文でも表現できるし、上記のようにプログラミング言語に類似した関数表現にも変換できる。関数表現にできるということは、実際に関数に対応するプログラムを記述できれば、機能合成やサービス合成のための知識モジュールやプログラムモジュールとできることも示唆している。