1

Protege 4.1 alpha を使用して RDF/OWL ファイルを作成しました。また、CheapPhone という Protege の定義済みクラスも作成しました。このクラスには、以下に示す制限があります。

(hasPrice some integer[< 350])

電話の価格が 350 を下回る場合は常に、CheapPhone と見なされます。Protege 4.1 alpha では、これを推測するのに問題はありません。ただし、Jena を使用してこれを推測することはできません。

また、SmartPhone という名前の定義済みクラスも作成しました。このクラスには、以下に示す制限もあります。

(has3G value true) and (hasInternet value true)

電話に 3G とインターネットがある場合はいつでも、スマートフォンと見なされます。この状況では、Protege と Jena の両方でこれを推測しても問題はありません。

Jena のデフォルトの推論エンジンに問題があるのではないかと思い始めました。私が Java で使用するコードは以下のとおりです。

Reasoner reasoner = ReasonerRegistry.getOWLReasoner();

reasoner = reasoner.bindSchema(ontModel);
    OntModelSpec ontModelSpec = OntModelSpec.OWL_MEM_MINI_RULE_INF;
    ontModelSpec.setReasoner(reasoner);
    // Create ontology model with reasoner support
            // ontModel was created and read before, so I don't share the code in order
            // not to create garbage here
    OntModel model = ModelFactory.createOntologyModel(ontModelSpec, ontModel);

    OntClass sPhone = model.getOntClass(ns + "SmartPhone");
    ExtendedIterator s = sPhone.listInstances();
    while(s.hasNext()) {
        OntResource mp = (OntResource)s.next();
        System.out.println(mp.getURI());
    }

このコードは完全に機能し、インスタンスを返しますが、以下のコードを変更して、CheapPhone に適したものにすると、何も返されません。

OntClass sPhone = model.getOntClass(ns + "CheapPhone");

私は何か間違っていますか？

4

1 に答える 1

1

データ範囲 ([< 350]ビット) は OWL 2 の機能です。Jena は OWL 2 をサポートしていません。OWL 2 をサポートするツールのリストについては、 W3C のOWL 2 実装ページを参照してください。それらのいずれかを使用する必要があります。(Jena の実験的な進行中の作業がそこにリストされていますが、これはまだ Jena リリースにはなっていません。)

于 2010-06-13T21:55:20.000 に答える