この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
3 用語と定義
このドキュメントの目的のために、ISO 8879 および ISO 19757-2 に記載されている用語と定義、および以下が適用されます。このリストは、ISO 24610 のこのパート全体で使用される機能構造に関連する用語を明確にするために提供されています。XLM やその他の形式言語から派生した用語は、ここでは定義されていません。
3.1
交代
引数として指定された値の 1 つだけを返す機能 値 (3.23) の操作
注記 1:機能仕様F : a | b ここで, a | b はa とb の交互を示し、 F は値a または値b のいずれかを持ちますが、両方は持ちません。
3.2
原子値
内部構造のない 値 (3.23) 、つまり、 機能構造 (3.10) および コレクション (3.4) 以外の値
3.3
箱入りラベル
複数の 機能 (3.8) によって共有される値を示すために行列表記で使用されるボックス内のラベル
注記1ラベルは任意の英数字記号でよい。
3.4
コレクション
値のリスト、セット、またはマルチセット (3.23)
注記 1リストは、実体の順序付けられたコレクションであり、そのいくつかは同一である可能性があります。セットは、一意のエンティティの順序付けられていないコレクションです。マルチセットは、一意である場合とそうでない場合があるエンティティの順序付けられていないコレクションです。バッグと呼ばれることもあります。
3.5
複素数値
機能構造（3.10） または コレクション（3.4） として表される 値（3.23 ）
3.6
連結
2 つの 値のリスト (3.23) を 1 つのリストに結合する操作
3.7
空の特徴構造
機能 仕様 (3.9) を含まない 機能構造 (3.10 )
3.8
特徴
エンティティのプロパティ
注記1機能と機能値の組み合わせは、 機能仕様 (3.9) を構成します。たとえば、number は機能、singular は値、ペア <number, singular> は機能仕様です。
3.9
機能仕様
特徴（3.8） への 値（3.23） の割り当て。
注記 1:形式的には、特徴とその値の対として扱われる。
3.10
機能構造
機能仕様のセット (3.9)
注記1:最小の特徴構造は 空の特徴構造 (3.7) です。
3.11
グラフ表記
単根グラフでの 特徴構造 (3.10) の表記
3.12
非互換性
競合する 型 (3.19) または互換性のない 値 (3.23) を持つ少なくとも 1 つの共通 の機能 (3.8) を持つ 2 つの 機能構造 (3.10) 間の関係
注記 1:互換性のない 2 つの特徴構造は統合できません。 空の機能構造 (3.7) は、他の機能構造と互換性があります。
3.13
行列表記
属性値マトリックス
AVM
角括弧を使用して 特徴構造を表す表記 (3.10)
注記 1:行列表記では，各行は 特徴仕様 (3.9) を表し，特徴名と特徴値がコロン (:)，スペース ( ) または等号 (=) で区切られている。
3.14
マージ
セットまたはマルチセットの 和集合 (3.22) およびリストの 連結 (3.6) を含む一般的な操作
3.15
否定
(単項) 値 (3.23) に対する 操作で、それと互換性のない他の値を示します。
注記 1: ISO 24610 のこの部分では、否定は値のみに適用され、通常の二価論理のように真偽関数として理解されません。
3.16
道
グラフ内のノードを接続する一連のラベル付きアーク
3.17
構造共有
再入可能
値 (3.23) を共有する 機能構造 (3.10) 内の 2 つ以上の 機能 (3.8) 間の関係
3.18
包摂
一方が他方より具体的である 2 つの 特徴構造 (3.10) 間の関係
注記 1特徴構造A は、 A が少なくともB と同じくらい有益な場合、特徴構造B を包含すると言われる。包摂とは、2 つのフィーチャ構造間の反射的で、反対称で、推移的な関係です。
3.19
タイプ
エンティティのクラスの名前
注記1: 特徴構造(3.10) は、それらを特定のクラスにグループ化することによって特徴付けられる場合があります。型は、そのようなクラスに名前を付けるために使用されます。
3.20
型付き特徴構造
タイプ（3.19） によってラベル付けされた 機能構造（3.10 ）
注記 1: グラフ表記法 (3.11) では、各ノードにタイプのラベルが付けられています。 行列表記 (3.13) では、型は通常、型付き特徴構造を表す一対の角括弧の内側の左上隅に配置されます。 XML 表記では、型は <fs> 要素の type 属性の 値 (3.23) として提供されます。
3.21
統一
2つの互換性のある 機能構造（3.10） を組み合わせて、2つからの情報を含む最も情報量の少ない機能構造にする操作。
3.22
連合
2 つのセットまたはマルチセットを 1 つに結合する操作
注記 1リストの対応する操作は 連結 (3.6) です。
3.23
価値
エンティティに関する情報
注記 1:特徴値には、 原子値 (3.2) と 複素数値 (3.5) の 2 種類があります。
参考文献
| [1] | エイトカチ、ハッサン。ウォーレンの抽象機械、チュートリアルの再構成。 MITプレス、1991年 |
| [2] | アイトカチ、ハッサン、ポデルスキー、アンドレアス。 LIFEの賞の意味に向けて。 Journal of Logic Programming 、 16, 1993 、pp.195-234 |
| [3] | イシャウィ、ヒヤン、カーター、デビッド、ガムバック、ビョルン、レイナー、マニー。準論理フォーム転送による翻訳。 In: Proceedings 第 29 回計算言語学協会年次総会、カリフォルニア州バークレー、1991 年 |
| [4] | バッグ、ビョルン。 MALAGA 4.0 オンライン文書、言語情報学科、フリードリッヒ アレクサンダー大学、エアランゲン ニュルンベルク、ドイツ、1997 年 |
| [5] | B resnan 、J oan W.、編集者。文法関係の精神的表現。 MIT プレス、マサチューセッツ州ケンブリッジ、1982 年 |
| [6] | Callmeier 、U lrich PET における前処理およびエンコード技術。 In: Collaborative Language Engineering: A Case Study in Efficient Grammar-based Processing . （辻井順一、オーペン、ステファン、フリッキンジ、ダン、ウシュコライト、ハンス編）。 CSLI 出版物、2000 年、127 ～ 143 ページ |
| [7] | カーペンター、ボブ。型付き機能構造のロジック。ケンブリッジ大学出版局、ケンブリッジ、1992 |
| [8] | カーペンター、ボブとペン、ジェラルド。型付き属性値論理文法のコンパイル。中:解析技術の現在の問題、 2 (B unt , H. and Tomita , M. eds.)クルーワー、1995 |
| [9] | カーペンター、ボブとu an ヤン。属性値ロジックの抽象マシン。中: IWPT95 議事録、1995 年、pp. 59-70 |
| [10] | Chomsky 、N oamおよび H alle 、M orris英語の音のパターン。ハーパー＆ロウ、ニューヨーク、1968年 |
| [11] | ヴィルモンテ・ド・ラ・クレジェリー、エリック。 DyALog: NLP 用のテーブル ロジック プログラミング ベースの環境。 In:制約の解決と言語処理に関する第 2 回国際ワークショップの予備議事録、2005 年 |
| [12] | コペステーク、 nn型付き特徴構造文法の実装。 CSLI 出版物、スタンフォード、2002 年 |
| [13] | Covington 、 Michael A. GULP 2.0: 統一ベースの文法のための Prolog の拡張。研究報告 AI-1989-01, 人工知能プログラム、ジョージア大学、1989 年 |
| [14] | D örre 、J ochenおよび D orna 、M ichael CUF: 言語知識表現の形式。 In:制約ベースの言語記述の計算的側面 I 、DYANA2 成果物 R1.2.A. （ Dörre 、ヨッヘン編）。シュトゥットガルト大学、1993 年、pp. 1-22 |
| [15] | E mele 、 Martin TFS - 型付き機能構造表現形式。中:実装された形式主義に関する EAGLES ワークショップの議事録。 DFK （ Uszkoreit 、ハンス編）。 1993年 |
| [16] | E mele , Martin と Z ajac,Rémi .型付き統一文法。中:計算言語学に関する第 13 回国際会議の議事録、1990 年 |
| [17] | エアバッハ、グレゴール。 ProFit - 機能、継承、およびテンプレートをプロローグします。 CLAUS レポート第 42 号、ザールブリュッケン: ザールラント大学、1994 年 |
| [18] | エヴァンス、ロジャーとガズダー、ジェラルド。 DATR: 語彙知識表現のための言語。計算言語学, 22 , 1996, pp. 167-216 |
| [19] | Pullum 、 Geoffrey 、 Gazdar 、 Gerald 、 Klein 、E wan 、 Sag 、I van .一般化された句構造文法。ハーバード大学出版局、マサチューセッツ州ケンブリッジ、1985 年 |
| [20] | G ötz 、T hiloおよびMeures 、 Walt D etma HPSG 型制約を限定句プログラムにコンパイルします。 In:第 33 回計算言語学会年次総会の議事録、1995 年 |
| [21] | ハスター、ローランド。計算言語学の基礎: 自然言語における人間とコンピューターのコミュニケーション。 Springer Verlag, ベルリン、第 2 版、1999 年 |
| [22] | ハスター、ローランド。自然言語のデータベース セマンティクス。人工知能、 13, 2001 年、pp. 27-74 |
| [23] | Hohfeld 、 MarkusおよびS molka 、G ert制約言語で関係を定義します。 LILOG レポート 53, IWBS, IBM ドイツ、1988 年 |
| [24] | J affar 、J oxanおよび L assez 、Jean -louis制約論理プログラミング。 In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of programming languages 、pp. 111-119, ミュンヘン、1987 |
| [25] | ジョンソン、マーク。属性値論理と文法理論。 CSLI, スタンフォード、1988 年。CSLI 講義ノート 16 |
| [26] | Kaplan 、 Ronald M. およびBresnan 、J oan W. 字句機能文法: 文法表現のための正式なシステム。中：文法関係の精神的表現。 (ブレスナン、ジョアン W. 編) MIT プレス、1982 年、173 ～ 281 ページ |
| [27] | カプラン、ロナルドmm およびＭａｘｗｅｌｌ ＩＩＩ、Ｊ ｏｈｎＴ．ＧｒａｍｍａｒＷｒｉｔｅｒ'ｓ Ｗｏｒｋｂｅｎｃｈ ． Xerox Corporation, 1996 年。ftp: //ftp.parc.xerox.com/pub/lfg/lfgmanual.ps |
| [28] | K asper 、 Robert T. およびRounds 、 William C. 機能構造の論理セマンティクス。中:計算言語学協会の第 24 回年次総会の議事録、1986 年、pp. 235-242 |
| [29] | カトール、アンドレアス。線形化ベースのドイツ語構文.博士論文、オハイオ州立大学、1995 |
| [30] | ケイ、マーチンay 統一。中：計算言語学と形式的意味論。 （ロスナー、マイケルとジョンソン、ロデリック編）。ケンブリッジ大学出版局、ケンブリッジ、1992 年。pp. 1-30 |
| [31] | ay 、ポール。構築文法のための正式なアーキテクチャの非公式なスケッチ。文法、 5 、2002年、 1-19 |
| [32] | Krieger 、 Hans-U lrich および S schäfer, Ulrich TDL - HPSG の型記述言語、Part 1: 概要。テクニカル レポート RR9437, DFKI, 1994 年 11 月 |
| [33] | Krieger 、 Hans-U lrich および S schäfer, Ulrich TDL - HPSG の型記述言語、Part 2: ユーザー ガイド。テクニカルレポート d9414, DFKI, 1994 年 11 月 |
| [34] | Langendoen 、 Terence D. およびSimons 、 Gary F. 機能構造マークアップに関する TEI 推奨事項の理論的根拠。コンピュータと人文科学、 29, 1995 、pp.191-209 |
| [35] | リー、キヨン、バーナード、ルー、ロマリー、ローラン、デラクレジェリー、エリック、シェイファー、ウルリッヒ、デクラーク、 ee 、バウマン、シド、バント、ハリー、クレマン、ライオネル、エルヤヴェック、トマズ、ルサナリー、アジム、ルー、クロード。特徴構造表現の国際標準に向けて (2) Integrated Language Resources Repository Area (INTERA) 内の言語データ カテゴリのレジストリに関するワークショップ、LREC 2004 国際会議、リスボン、2004 |
| [36] | マキノ、タカキ、ミヤオ、ユウスケ、トリサワ、ケンタロウ、辻井潤一。機能構造のネイティブ コード コンパイル。 In: Collaborative Language Engineering: A Case Study in Efficient Grammar-based Processing . （辻井順一、オーペン、ステファン、フリキンガー、ダン、ウシュコライト、ハンス編）。 CSLI出版物、2000年 |
| [37] | Manandhar 、 Suresh CLONE に対するユーザーの Guxml:ide 。認知科学センター、エジンバラ大学、スコットランド、1994 |
| [38] | ミュラー、ステファン。 Babel システム - HPSG プロローグの実装。 In: Prolog の実用化に関する第 4 回国際会議の議事録、1996 年、263 ～ 277 ページ、ロンドン。 http://www.cl.uni-bremen.de/~stefan/Pub/babel.html |
| [39] | Pereira 、 Fernando CN部分情報の文法と論理。 SRI インターナショナル テクニカル ノート 420, SRI インターナショナル、カリフォルニア州メンロー パーク、1987 年 |
| [40] | Pereira 、 Fernando CN およびWarren 、David HD 言語分析のための確定節文法 - 形式主義の調査と拡張遷移ネットワークとの比較。人工知能、 13, 1980 、pp.231-278 |
| [41] | ポラード、カール、レヴィーン、ロバート、カスパー、ロバート。構成要素順序付けの研究: ヘッド駆動句構造文法における線形化の理論に向けて、1994年。国立科学財団への助成金提案 |
| [42] | ポラード、カールJ. およびモシエ、M .アンドリュー。セットの部分的な記述の統一。中:情報、言語および認知。 (Hanson, Philip P.ed.)ブリティッシュ コロンビア大学出版局、バンクーバー、1990 年、285 ～ 322 ページ |
| [43] | Pollard 、 Carl J. およびSag 、I van A. Fundamentals 、Information-based Syntax and Semantics の第 1 巻。 CSLI, スタンフォード、1987 年。CSLI 講義ノート 13 |
| [44] | Pollard 、Carl J. およびSag 、I van A. Head-driven Phrase Structure Grammar。シカゴ大学出版局、シカゴ、1994 |
| [45] | リープ、マイク。ドイツ語のドメイン ユニオンと語順のバリエーション。 In: Head-Driven Phrase Structure Grammar のドイツ語。 (J. Nerbonne et al. , eds.) CSLI出版物、1994年、pp.151-198 |
| [46] | Sag 、I van A.およびWasow 、T homas構文理論: 正式な紹介. CSLI 出版物、スタンフォード、1999 年 |
| [47] | Sag 、I van A.、 Wasow 、Thomas and Bender, Emily M. Syntactic Theory: A FormalIntroduction 。 CSLI 出版物、スタンフォード、第 2 版、2003 年 |
| [48] | Schieber 、 Stuart M.文法への統一ベースのアプローチの紹介。 CSLI, スタンフォード、1986 年。CSLI 講義ノート 4 |
| [49] | Simpkins 、 NeilおよびGroenendijk, Marius ALEP プロジェクト。テクニカル レポート、Cray Systems/CEC, ルクセンブルグ、1994 年 |
| [50] | S perberg-mcqueen , CM およびBurnard , Lou, eds.テキストのエンコードと交換に関するガイドライン: TEI P5 . Text Encoding Initiative Consortium, 2004 年 。http: //www.tei-c.org/P5/ で入手可能 |
| [51] | 辻井純一、オーペン、ステファン、フリキンガーan ダン、ウズコレイト、ハンス。 Collaborative Language Engineering: A Case Study in Efficient Grammar-based Processing . CSLI出版物、2000年 |
| [52] | S perberg-mcqueen 、CM, B ray 、T im 、 Paoli 、 Jean and M aler 、Eve (eds.)拡張マークアップ言語 (XML) 1.0 。第 2 版、2000 年。ワールド ワイド ウェブ コンソーシアム (W3C) 勧告。 ISO 16642 で参照され、 http: //www.w3.org/TR/2000/REC-xml-20001006 で入手可能 |
| [53] | 鶴岡義正宮尾祐介辻井淳一効率的な確率論的 HPSG 解析に向けて: 解析をガイドするためのセマンティックおよびシンタックス プリファレンスの統合。中: IJCNLP04 ワークショップの議事録: 浅い分析を超えて形式主義と深い分析のための統計モデリング、2004 |
| [54] | Vijayshanker , K. およびJoshi , A ravind K. 機能構造ベースのツリー隣接文法。 In:第 12 回国際計算言語学会議 (COLING'88) の議事録、1988 年 |
| [55] | W intner 、S huly 、 Gabrielovich 、 Evgeniy 、 Francez 、 Nissim Amalia - 解析と生成のための統合プラットフォーム。中:自然言語プログラミングにおける最近の進歩の議事録 (RANLP97) 、1997 年、pp.135-142, |
| [56] | ニノミヤ、タカシ、ミヤオ、ユウスケ、ツジイ、ジュンイチ。 penn treebank からヘッドドリブン句構造文法を獲得するためのコーパス指向の文法開発。中: IJCNLP04 議事録、2004 |
3 Terms and definitions
For the purposes of this document, the terms and definitions given in ISO 8879 and ISO 19757-2 and the following apply. This list is provided to clarify the terminology relating to feature structures used throughout this part of ISO 24610. Terminology derived from XLM and other formal languages is not defined here.
3.1
alternation
operation on feature values (3.23) that returns one and only one of the values supplied as its argument
Note 1 to entry: Given a feature specification F: a | b ここで, a | b denotes the alternation of a and b , F has either the value a or the value b , but not both.
3.2
atomic value
value (3.23) without internal structure, i.e. value other than feature structure (3.10) and collection (3.4)
3.3
boxed label
label in box used in a matrix notation to denote a value shared by several features (3.8)
Note 1 to entry: The label may be any alphanumeric symbol.
3.4
collection
list, set, or multiset of values (3.23)
Note 1 to entry: A list is an ordered collection of entities some of which may be identical. A set is an unordered collection of unique entities. A multiset is an unordered collection of entities that may or may not be unique; it is sometimes referred to as a bag.
3.5
complex value
value (3.23) represented either as a feature structure (3.10) or as collection (3.4)
3.6
concatenation
operation of combining two lists of values (3.23) into a single list
3.7
empty feature structure
feature structure (3.10) containing no feature specifications (3.9)
3.8
feature
property of an entity
Note 1 to entry: The combination of feature and feature-value constitutes a feature specification (3.9) . For example, number is a feature, singular is a value, and a pair <number, singular> is a feature specification.
3.9
feature specification
assignment of a value (3.23) to a feature (3.8)
Note 1 to entry: Formally, it is treated as a pair of a feature and its value.
3.10
feature structure
set of feature specifications (3.9)
Note 1 to entry: The minimum feature structure is the empty feature structure (3.7) .
3.11
graph notation
notation of feature structure (3.10) in a single rooted graph
3.12
incompatibility
relation between two feature structures (3.10) which have conflicting types (3.19) or at least one common feature (3.8) with incompatible values (3.23)
Note 1 to entry: Two feature structures that are incompatible cannot be unified. The empty feature structure (3.7) is compatible with any other feature structure.
3.13
matrix notation
attribute-value matrix
AVM
notation that uses square brackets to represent feature structures (3.10)
Note 1 to entry: In a matrix notation, each row represents a feature specification (3.9) , with the feature name and the feature value separated by a colon (:), space ( ) or the equals sign (=).
3.14
merge
generic operation that includes union (3.22) of sets or multisets and concatenation (3.6) of lists
3.15
negation
(unary) operation on a value (3.23) denoting any other value incompatible with it
Note 1 to entry: In this part of ISO 24610, negation applies to values only and is not understood as a truth function as in ordinary bivalent logics.
3.16
path
sequence of labeled arcs connecting nodes in a graph
3.17
structure sharing
re-entrancy
relation between two or more features (3.8) within a feature structure (3.10) that share a value (3.23)
3.18
subsumption
relationship between two feature structures (3.10) in which one is more specific than the other
Note 1 to entry: A feature structure A is said to subsume a feature structure B if A is at least as informative as B . Subsumption is a reflexive, antisymmetric, and transitive relation between two feature structures.
3.19
type
name of a class of entities
Note 1 to entry: Feature structures (3.10) may be characterized by grouping them into certain classes. Types are used to name such classes.
3.20
typed feature structure
feature structure (3.10) labelled by a type (3.19)
Note 1 to entry: In the graph notation (3.11) , each node is labelled with a type. In the matrix notation (3.13) , a type is ordinarily placed at the upper left corner of the inside of the pair of square brackets that represents a typed feature structure. In XML notation, the type is supplied as the value (3.23) of a type attribute on the <fs> element.
3.21
unification
operation that combines two compatible feature structures (3.10) into the least informative feature structure that contains the information from the two
3.22
union
operation that combines two sets, or multisets, into one
Note 1 to entry: The corresponding operation for lists is concatenation (3.6) .
3.23
value
information about an entity
Note 1 to entry: There are two kinds of feature values: atomic value (3.2) and complex value (3.5) .
Bibliography
| [1] | Aït-kaci, Hassan. Warren’s Abstract Machine, A Tutorial Reconstruction. The MIT Press, 1991 |
| [2] | Aït-kaci, Hassan and Podelski, Andreas. Towards a meaning of LIFE. Journal of Logic Programming, 16 , 1993, pp. 195-234 |
| [3] | Alshawi, Hiyan, Carter, David, Gamback, Bjorn, and Rayner, Manny. Translation by quasi-logical form transfer. In: Proceedings 29th Annual Meeting of Association of Computational Linguistics, Berkeley, CA, 1991 |
| [4] | Beutel, Björn. MALAGA 4.0 On-line documentation, Abteilung für Linguistische Informatik, Friedrich Alexander Universität, Erlangen Nürnberg, Germany, 1997 |
| [5] | Bresnan, Joan W., editor. The Mental Representation of Grammatical Relations. The MIT Press, Cambridge, Massachusetts, 1982 |
| [6] | Callmeier, Ulrich. Preprocessing and encoding techniques in PET. In: Collaborative Language Engineering: A Case Study in Efficient Grammar-based Processing. (Tsujii, Junichi, Oepen, Stephan, Flickinge, Dan and Uszkoreit, Hans, eds.). CSLI Publications, 2000, pp. 127-143 |
| [7] | Carpenter, Bob. The Logic of Typed Feature Structures. Cambridge University Press, Cambridge, 1992 |
| [8] | Carpenter, Bob and Penn, Gerard. Compiling typed attribute-value logic grammars. In: Current Issues in Parsing Technologies, 2 . (Bunt, H. and Tomita, M. eds.). Kluwer, 1995 |
| [9] | Carpenter, Bob and Qu, Yan. An abstract machine for attribute-value logics. In: Proceedings of IWPT95, 1995, pp. 59-70 |
| [10] | Chomsky, Noam and Halle, Morris. The Sound Pattern of English. Harper & Row, New York, 1968 |
| [11] | Villemonte de la Clergerie, Eric. DyALog: A Tabular Logic Programming based enviroment for NLP. In: Preliminary Proceedings of the Second International Workshop on Constraint Solving and Lanuage Processing, 2005 |
| [12] | Copestake, Ann. Implementing Typed Feature Structure Grammars. CSLI Publications, Stanford, 2002 |
| [13] | Covington, Michael A. GULP 2.0: An Extension of Prolog for Unification-Based Grammar. Research Report AI-1989-01, Artificial Intelligence Program, University of Georgia, 1989 |
| [14] | Dörre, Jochen and Dorna, Michael. CUF: A formalism for linguistic knowledge representation. In: Computational Aspects of Constraint-based Linguistic Descriptions I, DYANA2 Deliverable R1.2.A. (Dörre, Jochen ed.). Universität Stuttgart, 1993, pp. 1-22 |
| [15] | Emele, Martin. TFS - the typed feature structure representation formalism. In: Proceedings of the EAGLES Workshop on Implemented Formalisms. DFKI. (Uszkoreit, Hans ed.). 1993 |
| [16] | Emele, Martin and Zajac, Rémi. Typed unification grammars. In: Proceedings of the 13th International Conference on Computational Linguistics, 1990 |
| [17] | Erbach, Gregor. ProFit - prolog with features, inheritance, and templates. CLAUS Report no. 42, Saarbrücken: Universität des Saarlandes, 1994 |
| [18] | Evans, Roger and Gazdar, Gerald. DATR: A language for lexical knowledge representation. Computational Linguistics, 22 , 1996, pp. 167-216 |
| [19] | Pullum, Geoffrey, Gazdar, Gerald, Klein, Ewan and Sag, Ivan. Generalized Phrase Structure Grammar. Harvard University Press, Cambridge, MA, 1985 |
| [20] | Götz, Thilo and Meurers, Walt Detmar. Compiling HPSG type constraints into definite clause programs. In: Proceedings of the 33rd Annual Meeting of the Association for Computational Linguistics, 1995 |
| [21] | Hausser, Roland. Foundations of Computational Linguistics: Human-Computer Communication in Natural Language. Springer-Verlag, Berlin, 2nd edition, 1999 |
| [22] | Hausser, Roland. Database semantics for natural language. Artificial Intelligence, 130 (1), 2001, pp. 27-74 |
| [23] | Hohfeld, Markus and Smolka, Gert. Definite relations over constraint languages. LILOG report 53, IWBS, IBM Deutschland, 1988 |
| [24] | Jaffar, Joxan and Lassez, Jean-louis. Constraint logic programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of programming languages, pp. 111-119, Munich, 1987 |
| [25] | Johnson, Mark. Attribute-Value Logic and the Theory of Grammar. CSLI, Stanford, 1988. CSLI Lecture Notes 16 |
| [26] | Kaplan, Ronald M. and Bresnan, Joan W. Lexical-functional grammar: A formal system for grammatical representation. In: The Mental Representation of Grammatical Relations. (Bresnan, Joan W. ed.). The MIT Press, 1982, pp. 173-281 |
| [27] | Kaplan, Ronaldm. and Maxwell III, John T. Grammar Writer’s Workbench. Xerox Corporation, 1996. ftp://ftp.parc.xerox.com/pub/lfg/lfgmanual.ps |
| [28] | Kasper, Robert T. and Rounds, William C. A logical semantics for feature structures. In: Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics, 1986, pp. 235-242 |
| [29] | Kathol, Andreas. Linearization-Based German Syntax. PhD thesis, Ohio State University, 1995 |
| [30] | Kay, Martin. Unification. In: Computational Linguistics and Formal Semantics. (rosner, Michael and Johnson, Roderick, eds.). Cambridge University Press, Cambridge, 1992. pp. 1-30 |
| [31] | Kay, Paul. An informal sketch of a formal architecture for construction grammar. Grammars, 5 , 2002, p. 1-19 |
| [32] | Krieger, Hans-Ulrich and Schäfer, Ulrich. TDL - a type description language for HPSG, part 1: Overview. Technical report RR9437, DFKI, 11 1994 |
| [33] | Krieger, Hans-Ulrich and Schäfer, Ulrich. TDL - a type description language for HPSG, part 2: User guide. Technical report d9414, DFKI, 11 1994 |
| [34] | Langendoen, Terence D. and Simons, Gary F. A rationale for the TEI recommendations for feature structure markup. Computers and the Humanities, 29 , 1995, pp. 191-209 |
| [35] | Lee, Kiyong, Burnard, Lou, Romary, Laurent, De la Clergerie, Eric, Schaefer, Ulrich, Declerck, Theirry, Bauman, Syd, Bunt, Harry, Clément, Lionel, Erjavec, Tomaz , Roussanaly, Azim, and Roux, Claude. Towards an international standard on feature structure representation (2). Workshop on a Registry of Linguistic Data Categories within an Integrated Language Resources Repository Area (INTERA), LREC 2004 International Conference, Lisbon, 2004 |
| [36] | Makino, Takaki, Miyao, Yusuke, Torisawa, Kentaro and Tsujii, Jun’ichi. Native-code compilation of feature structures. In: Collaborative Language Engineering: A Case Study in Efficient Grammar-based Processing. (Tsujii, Junichi, Oepen, Stephan, Flickinger, Dan and Uszkoreit, Hans eds.). CSLI Publications, 2000 |
| [37] | Manandhar, Suresh. User’s Guxml:ide for CLONE. Centre for Cognitive Science, University of Edinburgh, Scotland, 1994 |
| [38] | Müller, Stefan. The babel system - an HPSG prolog implementation. In: Proceedings of the Fourth International Conference on the Practical Application of Prolog, 1996, pp. 263-277, London. http://www.cl.uni-bremen.de/~stefan/Pub/babel.html |
| [39] | Pereira, Fernando C.N. Grammars and logics of partial information. SRI International Technical Note 420, SRI International, Menlo Park, CA, 1987 |
| [40] | Pereira, Fernando C.N. and Warren, David H.D. Definite clause grammars for language analysis - a survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence, 13 , 1980, pp. 231-278 |
| [41] | Pollard, Carl, Levine, Robert, and Kasper, Robert. Studies in constituent ordering: Toward a theory of linearization in headdriven phrase structure grammar, 1994. Grant proposal to the National Science Foundation |
| [42] | Pollard, Carl J. and Moshier, M. andrew. Unifying partial descriptions of sets. In: Information, Language and Cognition. (Hanson, Philip P. ed.). The University of British Columbia Press, Vancouver, 1990, pp. 285-322 |
| [43] | Pollard, Carl J. and Sag, Ivan A. Fundamentals, volume 1 of Information-based Syntax and Semantics. CSLI, Stanford, 1987. CSLI Lecture Notes 13 |
| [44] | Pollard, Carl J. and Sag, Ivan A. Head-driven Phrase Structure Grammar. The University of Chicago Press, Chicago, 1994 |
| [45] | Reape, Mike. Domain union and word order variation in German. In: German in Head-Driven Phrase Structure Grammar. (J. Nerbonne et al., eds.). CSLI Publications, 1994, pp. 151-198 |
| [46] | Sag, Ivan A. and Wasow, Thomas. Syntactic Theory: A Formal Introduction. CSLI Publications, Stanford, 1999 |
| [47] | Sag, Ivan A., Wasow, Thomas and Bender, Emily M. Syntactic Theory: A Formal Introduction. CSLI Publications, Stanford, 2nd edition, 2003 |
| [48] | Shieber, Stuart M. An Introduction to Unification-Based Approaches to Grammar. CSLI, Stanford, 1986. CSLI Lecture Notes 4 |
| [49] | Simpkins, Neil and Groenendijk, Marius. The ALEP Project. Technical report, Cray Systems/CEC, Luxembourg, 1994 |
| [50] | Sperberg-mcqueen, C.M. and Burnard, Lou, eds. Guidelines for Text Encoding and Interchange: TEI P5. Text Encoding Initiative Consortium, 2004. Available at http://www.tei-c.org/P5/ |
| [51] | Tsujii, Jun’ichi, Oepen, Stephan, Flickinger, Dan and Uszkoreit, Hans. Collaborative Language Engineering: A Case Study in Efficient Grammar-based Processing. CSLI Publications, 2000 |
| [52] | Sperberg-mcqueen, C.M., Bray, Tim, Paoli, Jean and Maler, Eve (eds.). eXtensible Markup Language (XML) 1.0. second edition, 2000. World Wide Web Consortium (W3C) Recommendation. Referenced in ISO 16642 and available at http://www.w3.org/TR/2000/REC-xml-20001006 |
| [53] | Tsuruoka, Yoshimasa, Miyao, Yusuke and Tsujii, Jun’ichi. Towards efficient probabilistic HPSG parsing: integrating semantic and syntactic preference to guide the parsing. In: Proceedings of IJCNLP04 Workshop: Beyond Shallow Analyses Formalisms and Statistical Modeling for Deep Analyses, 2004 |
| [54] | Vijayshanker, K. and Joshi, Aravind K. Feature-structure based tree adjoining grammar. In: Proceedings of 12nd International Conference on Computational Linguistics(COLING’88), 1988 |
| [55] | Wintner, Shuly, Gabrilovich, Evgeniy and Francez, Nissim. Amalia - a unified platform for parsing and generation. In: Proceedings of Recent Advances in Natural Language Programming (RANLP97), 1997, pp. 135-142, |
| [56] | Ninomiya, Takashi, Miyao, Yusuke and Tsujii, Jun’ichi. Corpus-oriented grammar development for acquiring a head-driven phrase structure grammar from the penn treebank. In: Proceedings of IJCNLP04, 2004 |