UCFS
1.0.0
注意：重大發展下的項目！
UCFS是一種雜亂無章的信息：解決與無上下文和常規語言相交有關的問題的工具。此類問題的例子：
Usage: kotgll options_list
Options:
--input -> Input format (always required) { Value should be one of [string, graph] }
--grammar -> Grammar format (always required) { Value should be one of [cfg, rsm] }
--sppf [ON] -> Sppf mode { Value should be one of [on, off] }
--inputPath -> Path to input txt file (always required) { String }
--grammarPath -> Path to grammar txt file (always required) { String }
--outputPath -> Path to output txt file (always required) { String }
--help, -h -> Usage info
git clone https://github.com/FormalLanguageConstrainedPathQuerying/kotgll.git
或者
git clone [email protected]:FormalLanguageConstrainedPathQuerying/kotgll.git
或者
gh repo clone FormalLanguageConstrainedPathQuerying/kotgll
cd kotgll
gradle run --args="--help"
您將看到“選項列表”消息。
gradle run --args="--input graph --grammar rsm --sppf off --inputPath src/test/resources/cli/TestGraphReadWriteCSV/dyck.csv --grammarPath src/test/resources/cli/TestRSMReadWriteTXT/dyck.txt --outputPath ./result.txt"
curl -L -O https://github.com/FormalLanguageConstrainedPathQuerying/kotgll/releases/download/v1.0.0/kotgll-1.0.0.jar
java -jar kotgll-1.0.0.jar --input graph --grammar rsm --sppf off --inputPath src/test/resources/cli/TestGraphReadWriteCSV/dyck.csv --grammarPath src/test/resources/cli/TestRSMReadWriteTXT/dyck.txt --outputPath ./result.txt
StartNonterminal("S")
Nonterminal("S") -> Terminal("subClassOf_r") Nonterminal("S") Terminal("subClassOf")
Nonterminal("S") -> Terminal("subClassOf_r") Terminal("subClassOf")
Nonterminal("S") -> Terminal("type_r") Nonterminal("S") Terminal("type")
Nonterminal("S") -> Terminal("type_r") Terminal("type")
StartState(id=0,nonterminal=Nonterminal("S"),isStart=true,isFinal=false)
State(id=0,nonterminal=Nonterminal("S"),isStart=true,isFinal=false)
State(id=1,nonterminal=Nonterminal("S"),isStart=false,isFinal=false)
State(id=4,nonterminal=Nonterminal("S"),isStart=false,isFinal=false)
State(id=3,nonterminal=Nonterminal("S"),isStart=false,isFinal=true)
State(id=2,nonterminal=Nonterminal("S"),isStart=false,isFinal=false)
State(id=6,nonterminal=Nonterminal("S"),isStart=false,isFinal=true)
State(id=5,nonterminal=Nonterminal("S"),isStart=false,isFinal=false)
TerminalEdge(tail=0,head=1,terminal=Terminal("subClassOf_r"))
TerminalEdge(tail=0,head=4,terminal=Terminal("type_r"))
TerminalEdge(tail=1,head=3,terminal=Terminal("subClassOf"))
NonterminalEdge(tail=1,head=2,nonterminal=Nonterminal("S"))
TerminalEdge(tail=4,head=6,terminal=Terminal("type"))
NonterminalEdge(tail=4,head=5,nonterminal=Nonterminal("S"))
TerminalEdge(tail=2,head=3,terminal=Terminal("subClassOf"))
TerminalEdge(tail=5,head=6,terminal=Terminal("type"))
GLL算法已修改以支持圖形輸入。已在幾個實際圖上評估了所提出的修改，以查找所有可及性對的情況。
機器配置：帶有Ubuntu 20.04的PC，Intel Core i7-6700 3.40GHz CPU，DDR4 64GB RAM。
環境配置：
該圖數據是從CFPQ_DATA數據集中選擇的。
列出了圖形的詳細描述。
| 圖名稱 | | V | | | E | | #subclassof | ＃類型 | #BROADERSTANSITIVE |
|---|---|---|---|---|---|
| 酶 | 48 815 | 86 543 | 8 163 | 14 989 | 8 156 |
| Eclass | 239 111 | 360 248 | 90 962 | 72 517 | 0 |
| 進行層次結構 | 45 007 | 490 109 | 490 109 | 0 | 0 |
| 去 | 582 929 | 1 437 437 | 94 514 | 226 481 | 0 |
| 地理貨物 | 450 609 | 2 201 532 | 0 | 89 065 | 20 867 |
| 分類學 | 5 728 398 | 14 922 125 | 2 112 637 | 2 508 635 | 0 |
評估中使用的所有查詢都是相同代查詢的變體。 x關係和各個邊緣的倒數表示為x_r 。
用於RDF圖的語法：
G 1
S -> subClassOf_r S subClassOf | subClassOf_r subClassOf
| type_r S type | type_r type
可以在此處找到存儲庫中G 1無上下文語法的表示。
可以在此處找到G 1無上下文語法作為存儲庫中遞歸自動機的表示。
下面列出了與RDF分析相關的圖表上所有對可及性查詢評估的結果。
在每一行中，幾秒鐘內的最佳平均時間以粗體突出顯示。
| 圖形 | CFG | RSM | Gll4Graph |
|---|---|---|---|
| 酶 | 0.107 | 0.044 | 0.22 |
| Eclass | 0.94 | 0.43 | 1.5 |
| 進行層次結構 | 4.1 | 3.0 | 3.6 |
| 去 | 3.2 | 1.86 | 5.55 |
| 地理貨物 | 0.97 | 0.34 | 2.89 |
| 分類學 | 31.2 | 14.8 | 45.4 |
更多的結果，但以原始形式可以在存儲庫kotgll_benchs中找到
