| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .classpath | 1211 | logplainblame |
| -rw-r--r-- | .gitignore | 52 | logplainblame |
| d--------- | .idea / libraries | 36 | logplain |
| -rw-r--r-- | .project | 538 | logplainblame |
| -rw-r--r-- | README.md | 1725 | logplainblame |
| d--------- | config | 197 | logplain |
| d--------- | cpp | 92 | logplain |
| d--------- | data | 92 | logplain |
| d--------- | example | 46 | logplain |
| d--------- | external / uk / ac / ox / cs / data | 29 | logplain |
| d--------- | lib | 62 | logplain |
| -rw-r--r-- | pom.xml | 3404 | logplainblame |
| d--------- | src | 59 | logplain |
| d--------- | test | 115 | logplain |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |