| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | MyKarma.java | 15930 | logplainblame |
| d--------- | clausifier | 50 | logplain |
| d--------- | exception | 229 | logplain |
| d--------- | model | 182 | logplain |
| d--------- | profile | 96 | logplain |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |