| | | | |
| Offset 1, 9 lines modified | Offset 1, 80 lines modified |
| 1 | .\"·DO·NOT·MODIFY·THIS·FILE!··It·was·generated·by·help2man·1.47.8. | 1 | .\"·DO·NOT·MODIFY·THIS·FILE!··It·was·generated·by·help2man·1.47.8. |
| 2 | .TH·{INFO}·"1"·"May·2019"·"{info}·17:49:39:011·>>·Starting·Konclude·...·\xd"·"User·Commands" | 2 | .TH·{INFO}·"1"·"May·2019"·"{info}·13:43:33:167·>>·Starting·Konclude·...·\xd"·"User·Commands" |
| 3 | .SH·NAME | 3 | .SH·NAME |
| 4 | {info}·\-·Reasoner·for·the·SROIQV(D)·Description·Logic | 4 | {info}·\-·Reasoner·for·the·SROIQV(D)·Description·Logic |
| 5 | .SH·DESCRIPTION | 5 | .SH·DESCRIPTION |
| 6 | {info}·17:49:38:902·>>·Starting·Konclude·...·\xd | |
| 7 | {info}·17:49:38:902·>>·Konclude·\-·Uni·Ulm·Parallel·Reasoner\xd | |
| 8 | {info}·17:49:38:903·>>·Reasoner·for·the·SROIQV(D)·Description·Logic,·64\-bit,·Version·v0.6.2\-544·\-·f07c265·(May·31·2019). | 6 | .PP |
| | 7 | Konclude·<command>·[parameters] |
| | 8 | .SS·"Available·commands:" |
| | 9 | .IP |
| | 10 | .TP |
| | 11 | .B·owllinkfile |
| | 12 | Processes·an·OWLlink·request·file,·which·has·to·be·specified·with·the·parameter·\fB\-i\fR. |
| | 13 | .TP |
| | 14 | .B·owllinkserver |
| | 15 | Listening·on·the·specified·port·(default·8080)·for·OWLlink·requests·sent·over·HTTP. |
| | 16 | .TP |
| | 17 | .B·classification |
| | 18 | Classifies·the·ontology·that·is·specified·with·the·parameter·\fB\-i\fR. |
| | 19 | .TP |
| | 20 | .B·consistency |
| | 21 | Checks·the·consistency·of·the·ontology·that·is·specified·with·the·parameter·\fB\-i\fR. |
| | 22 | .TP |
| | 23 | .B·satisfiability |
| | 24 | Checks·the·satisfiability·of·the·class·that·is·specified·with·\fB\-x\fR·for·the·ontology·specified·with·\fB\-i\fR. |
| | 25 | .TP |
| | 26 | .B·realization |
| | 27 | Realizes·the·ontology·that·is·specified·with·\fB\-i\fR·(or·only·a·certain·individual·that·is·specified·with·\fB\-x\fR). |
| | 28 | .SS·"Configurable·parameter:" |
| | 29 | .HP |
| | 30 | .TP |
| | 31 | .B·\fB\-w\fR·X· |
| | 32 | Configures·the·number·of·processing·threads.·X·has·to·be·an·integer·greater·than·0·or·'AUTO'·for |
| | 33 | .IP |
| | 34 | scaling·the·number·of·processing·threads·to·the·number·of·computer·cores. |
| | 35 | .HP |
| | 36 | .TP |
| | 37 | .B·\fB\-c\fR·FILEPATH· |
| | 38 | Path·and·file·name·of·the·config·file. |
| | 39 | .HP |
| | 40 | .TP |
| | 41 | .B·\fB\-i\fR·FILEPATH· |
| | 42 | Path·and·file·name·of·the·input·file·/·OWLlink·request·file. |
| | 43 | .HP |
| | 44 | .TP |
| | 45 | .B·\fB\-o\fR·FILEPATH· |
| | 46 | Path·and·file·name·of·the·output·file·/·OWLlink·response·file. |
| | 47 | .HP |
| | 48 | .TP |
| | 49 | .B·\fB\-x\fR·IRI· |
| | 50 | IRI·of·the·input·entity. |
| | 51 | .HP |
| | 52 | .TP |
| | 53 | .B·\fB\-p\fR·PORT |
| | 54 | Specifies·PORT·as·the·listening·port·for·the·OWLlink·server. |
| | 55 | .HP |
| | 56 | .TP |
| | 57 | .B·\fB\-a\fR· |
| | 58 | Periodically·prints·the·progress·of·the·current·activities. |
| | 59 | .HP |
| | 60 | .TP |
| | 61 | .B·\fB\-v\fR· |
| | 62 | Shows·more·detailed·loading·and·processing·times. |
| | 63 | .HP |
| | 64 | .TP |
| | 65 | .B·\fB\-h\fR· |
| | 66 | Shows·this·help·(dominates·all·previous·parameters). |
| | 67 | .SH·EXAMPLES |
| | 68 | .PP |
| | 69 | Konclude·owllinkfile·\-i·Tests/test\-request.xml·\-o·test\-response.xml |
| | 70 | .PP |
| | 71 | Konclude·owllinkfile·\-c·Configs/default\-config.xml·\-i·Tests/test\-request.xml·\-o·test\-response.xml |
| | 72 | .PP |
| | 73 | Konclude·owllinkserver·\-w·2·\-c·Configs/default\-config.xml·\-p·8080 |
| | 74 | .PP |
| | 75 | Konclude·satisfiability·\-i·Tests/galen.owl.xml·\-x·http://ex.test/galen#ExternalIliacVein |
| | 76 | .PP |
| | 77 | Konclude·classification·\-w·AUTO·\-i·Tests/roberts\-family\-full\-D.owl.xml·\-o·Tests/roberts\-family\-full\-D\-class.owl.xml |
| | 78 | .PP |
| | 79 | Konclude·realization·\-w·AUTO·\-i·Tests/roberts\-family\-full\-D.owl.xml·\-o·Tests/roberts\-family\-full\-D\-real.owl.xml |
| 9 | .PP | 80 | .PP |