| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Main.scala | 2788 | logplainblame |
| d--------- | approximation | 38 | logplain |
| d--------- | implicits | 103 | logplain |
| d--------- | reasoner | 158 | logplain |
| d--------- | util | 45 | logplain |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |