| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AnswerTuplesWriter.java | 1384 | logplainblame |
| -rw-r--r-- | BottomFragmentManager.java | 3878 | logplainblame |
| -rw-r--r-- | QueryTracker.java | 16961 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoder.java | 13271 | 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 | 4527 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderWithoutGap.java | 4097 | logplainblame |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |