| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 52 | logplainblame |
| d--------- | .idea / libraries | 36 | logplain |
| -rw-r--r-- | README.md | 1685 | logplainblame |
| d--------- | cpp | 92 | logplain |
| d--------- | data | 92 | logplain |
| d--------- | example | 46 | logplain |
| d--------- | external / uk / ac / ox / cs / data | 29 | logplain |
| -rw-r--r-- | pom.xml | 5082 | logplainblame |
| d--------- | src | 95 | logplain |
| d--------- | test | 65 | logplain |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |