| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AllTests.java | 1254 | logplainblame |
| -rw-r--r-- | ClauseTester.java | 5093 | logplainblame |
| -rw-r--r-- | CostEvaluation.java | 3901 | logplainblame |
| -rw-r--r-- | FullEvaluation.java | 269 | logplainblame |
| -rw-r--r-- | JAIR_PAGOdA.java | 6074 | logplainblame |
| -rw-r--r-- | JAIR_Scalability.java | 2811 | logplainblame |
| -rw-r--r-- | LightEvaluation.java | 1724 | logplainblame |
| -rw-r--r-- | PagodaDBPedia.java | 739 | logplainblame |
| -rw-r--r-- | PagodaELU.java | 386 | logplainblame |
| -rw-r--r-- | PagodaFLY.java | 578 | logplainblame |
| -rw-r--r-- | PagodaLUBM.java | 952 | logplainblame |
| -rw-r--r-- | PagodaNPD.java | 1208 | logplainblame |
| -rw-r--r-- | PagodaNPD_bench.java | 718 | logplainblame |
| -rw-r--r-- | PagodaRLU.java | 394 | logplainblame |
| -rw-r--r-- | PagodaUOBM.java | 1423 | logplainblame |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |