| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | EqualitiesEliminator.java | 4649 | logplainblame |
| -rw-r--r-- | MyHornAxiomVisitorEx.java | 13984 | logplainblame |
| -rw-r--r-- | OWLHelper.java | 20861 | logplainblame |
| -rw-r--r-- | QueryRoller.java | 7297 | logplainblame |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |