创建Owl模型,参数可以制定那种形式的推理机,比如owl dl:
OntModel m=ModelFactory.createOntologyModel();
OntModel m=ModelFactory.createOntologyModel(OntModelSpec.OWL_DL_MEM);
| OntModelSpec | Language profile | Storage model | Reasoner |
|---|---|---|---|
| OWL_MEM | OWL full | in-memory | none |
| OWL_MEM_TRANS_INF | OWL full | in-memory | transitive class-hierarchy inference |
| OWL_MEM_RULE_INF | OWL full | in-memory | rule-based reasoner with OWL rules |
| OWL_MEM_MICRO_RULE_INF | OWL full | in-memory | optimised rule-based reasoner with OWL rules |
| OWL_MEM_MINI_RULE_INF | OWL full | in-memory | rule-based reasoner with subset of OWL rules |
| OWL_DL_MEM | OWL DL | in-memory | none |
| OWL_DL_MEM_RDFS_INF | OWL DL | in-memory | rule reasoner with RDFS-level entailment-rules |
| OWL_DL_MEM_TRANS_INF | OWL DL | in-memory | transitive class-hierarchy inference |
| OWL_DL_MEM_RULE_INF | OWL DL | in-memory | rule-based reasoner with OWL rules |
| OWL_LITE_MEM | OWL Lite | in-memory | none |
| OWL_LITE_MEM_TRANS_INF | OWL Lite | in-memory | transitive class-hierarchy inference |
| OWL_LITE_MEM_RDFS_INF | OWL Lite | in-memory | rule reasoner with RDFS-level entailment-rules |
| OWL_LITE_MEM_RULES_INF | OWL Lite | in-memory | rule-based reasoner with OWL rules |
| DAML_MEM | DAML+OIL | in-memory | none |
| DAML_MEM_TRANS_INF | DAML+OIL | in-memory | transitive class-hierarchy inference |
| DAML_MEM_RDFS_INF | DAML+OIL | in-memory | rule reasoner with RDFS-level entailment-rules |
| DAML_MEM_RULE_INF | DAML+OIL | in-memory | rule-based reasoner with DAML rules |
| RDFS_MEM | RDFS | in-memory | none |
| RDFS_MEM_TRANS_INF | RDFS | in-memory | transitive class-hierarchy inference |
| RDFS_MEM_RDFS_INF | RDFS | in-memory | rule reasoner with RDFS-level entailment-rules |
这是一个预定义的说明和语言、推理机之间的关系表