| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AnswerTuplesWriter.java | 1384 | logplainblame |
| -rw-r--r-- | BottomFragmentManager.java | 3946 | logplainblame |
| -rw-r--r-- | QueryTracker.java | 16917 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoder.java | 15404 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderDisj.java | 6206 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderDisj1.java | 5844 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderDisj2.java | 3246 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderDisjVar1.java | 15850 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderDisjVar2.java | 7988 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderWithGap.java | 4524 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderWithoutGap.java | 3900 | logplainblame |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |