| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Clique.java | 693 | logplainblame |
| -rw-r--r-- | DependencyGraph.java | 8049 | logplainblame |
| -rw-r--r-- | Endomorph.java | 3808 | logplainblame |
| -rw-r--r-- | EndomorphChecker.java | 321 | logplainblame |
| -rw-r--r-- | EndomorphChecker1.java | 1394 | logplainblame |
| -rw-r--r-- | EndomorphChecker2.java | 4131 | logplainblame |
| d--------- | plan | 183 | logplain |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |