| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | MyPrefixes.java | 4513 | logplainblame |
| -rw-r--r-- | Pagoda.java | 10638 | logplainblame |
| d--------- | approx | 218 | logplain |
| d--------- | constraints | 388 | logplain |
| d--------- | endomorph | 309 | logplain |
| d--------- | hermit | 132 | logplain |
| d--------- | model | 156 | logplain |
| d--------- | multistage | 657 | logplain |
| d--------- | owl | 192 | logplain |
| d--------- | query | 501 | logplain |
| d--------- | reasoner | 549 | logplain |
| d--------- | rules | 723 | logplain |
| d--------- | summary | 305 | logplain |
| d--------- | tracking | 613 | logplain |
| d--------- | util | 611 | logplain |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |