| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | pagoda-fly-rolledup.json | 162242 | logplainblame |
| -rw-r--r-- | pagoda-fly-with-GJ-FC-individuals.json | 4132 | logplainblame |
| -rw-r--r-- | pagoda-lubm1.json | 3186059 | logplainblame |
| -rw-r--r-- | pagoda-uobm1.json | 1800129 | logplainblame |
| -rw-r--r-- | pagoda-uobm2.json | 3169557 | logplainblame |
| -rw-r--r-- | pagoda-uobm3.json | 2432130 | logplainblame |
| -rw-r--r-- | pagoda-uobm4.json | 4630599 | logplainblame |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |