Descargar UCFS - Descargar código fuente UCFS

UCFS

Otro código fuente

1.0.0

Descargar

UCFS

Construir Prueba

Acerca de
Uso
- De fuentes
- Uso de jar
- Ejemplo de formato CFG
- Ejemplo de formato RSM
Actuación
- Gráficos
- Gramática
- Resultados
- Más resultados

Nota: ¡Proyecto bajo un gran desarrollo!

Acerca de

UCFS es un O Olver de U NUVersal C OnText : una herramienta para resolver problemas relacionados con la intersección del lenguaje libre y sin contexto y sin contexto. Ejemplos de tales problemas:

Analizador
Consulta de ruta sin contexto (CFPQ)
Accesibilidad del lenguaje libre de contexto (CFL-R)

Uso

Interfaz de línea de comando

 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

De fuentes

Paso 1. Repositorio de clones

git clone https://github.com/FormalLanguageConstrainedPathQuerying/kotgll.git

o

git clone [email protected]:FormalLanguageConstrainedPathQuerying/kotgll.git

o

gh repo clone FormalLanguageConstrainedPathQuerying/kotgll

Paso 2. Vaya a la carpeta

cd kotgll

Paso 3. Ejecute el comando de ayuda

gradle run --args="--help"

Verá el mensaje "Lista de opciones".

Ejemplo

 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"

Uso de jar

Paso 1. Descargue el último frasco

 curl -L -O https://github.com/FormalLanguageConstrainedPathQuerying/kotgll/releases/download/v1.0.0/kotgll-1.0.0.jar

Paso 2. Ejecute frasco con Java

 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

Ejemplo de formato CFG

 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")

Ejemplo de formato RSM

 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"))

Actuación

El algoritmo GLL se ha modificado para admitir la entrada de gráficos. La modificación propuesta se ha evaluado en varios gráficos reales para el escenario de encontrar todos los pares de accesibilidad.

Configuración de la máquina : PC con Ubuntu 20.04, CPU Intel Core i7-6700 3.40GHz, DDR4 64GB RAM.

Configuración de entorno :

Java Hotspot (TM) Máquina virtual del servidor de 64 bits (compilación 15.0.2+7-27, modo mixto, compartir).
Configuración del montón JVM: 55 GB tanto XMS como XMX.

Gráficos

Los datos del gráfico se seleccionan del conjunto de datos CFPQ_DATA.

Una descripción detallada de los gráficos se enumera a continuación.

Gráficos de análisis RDF

Nombre del gráfico	\| V \|	\| E \|	#subclassof	#tipo	#Broadertransitive
Enzima	48 815	86 543	8 163	14 989	8 156
Eclado	239 111	360 248	90 962	72 517	0
Jerarquía	45 007	490 109	490 109	0	0
Ir	582 929	1 437 437	94 514	226 481	0
Geoespecies	450 609	2 201 532	0	89 065	20 867
Taxonomía	5 728 398	14 922 125	2 112 637	2 508 635	0

Gramática

Todas las consultas utilizadas en la evaluación son variantes de consulta de la misma generación. El inverso de una relación x y el borde respectivo se denota como x_r .

Gramáticas utilizadas para gráficos RDF :

G ₁

 S -> subClassOf_r S subClassOf | subClassOf_r subClassOf 
     | type_r S type | type_r type

La representación de G ₁ Gramática libre de contexto en el repositorio se puede encontrar aquí.

Aquí se puede encontrar la representación de la gramática sin contexto G ₁ como autómata recursiva en el repositorio.

Resultados

Los resultados de la evaluación de consultas de accesibilidad de todos los pares en gráficos relacionados con el análisis RDF se enumeran a continuación.

En cada fila, el mejor tiempo medio en segundos se destaca en negrita .