| Ontology Checkers |
|
|
|
| DAML+OIL |
||
| Ontology |
||
|
|
| § | Checkers |
| translate |
|
|
|
| RML |
||
| Specification |
||
| generate |
|
|
|
| Ontology |
||
| Checker |
||
|
|
|
| DAML+OIL |
||
| file (AST) |
||
| report errors |
| 13 |