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