| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .classpath | 1088 | logplainblame |
| -rw-r--r-- | .gitignore | 52 | logplainblame |
| -rw-r--r-- | .project | 538 | logplainblame |
| -rw-r--r-- | README.md | 1725 | logplainblame |
| d--------- | config | 110 | logplain |
| d--------- | cpp | 92 | logplain |
| d--------- | data | 92 | logplain |
| d--------- | example | 46 | logplain |
| d--------- | lib / RDFox | 32 | logplain |
| -rw-r--r-- | pom.xml | 3227 | logplainblame |
| d--------- | src | 103 | logplain |
| d--------- | target | 38 | logplain |
| d--------- | test / uk / ac / ox / cs | 29 | logplain |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |