| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BugTests.java | 11751 | logplainblame |
| -rw-r--r-- | CostEvaluation.java | 4488 | logplainblame |
| -rw-r--r-- | JAIR_PAGOdA.java | 7829 | logplainblame |
| -rw-r--r-- | JAIR_Scalability.java | 3395 | logplainblame |
| -rw-r--r-- | LightEvaluation.java | 447 | logplainblame |
| -rw-r--r-- | MadeUpCases.java | 3340 | logplainblame |
| -rw-r--r-- | SkolemisationTests.java | 13135 | logplainblame |
| -rw-r--r-- | TestGapMappedToLower.java | 3269 | logplainblame |
| -rw-r--r-- | TestPagodaDBPedia.java | 900 | logplainblame |
| -rw-r--r-- | TestPagodaFLY.java | 4621 | logplainblame |
| -rw-r--r-- | TestPagodaLUBM.java | 3376 | logplainblame |
| -rw-r--r-- | TestPagodaNPD.java | 980 | logplainblame |
| -rw-r--r-- | TestPagodaReactome.java | 1877 | logplainblame |
| -rw-r--r-- | TestPagodaUOBM.java | 4296 | logplainblame |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |