validation - CIM RDF を検証する方法

Question

私は Common Information Model を扱っており、RDF ファイルを使用して変電所を表しています。しかし、RDF スキーマでファイル RDF を検証する際にいくつか問題があることがわかりました。この問題で助けが必要です。JAVAを使ってそれを行う方法を誰かが知っています。

Answer 1

私はCommon Information Modelについて何も知らないこと、そしてRDF、RDFS、および「検証」について一般的に話していることに注意して、これを序文にします...

Valid to parse は自明なので、それはあなたの言いたいことではないと思います。私の推測では、あなたは XML から来ており、XML スキーマが XML 文書にあるのと同じように、RDFS は RDF にあると考えているのではないでしょうか。

そうではありません。

たとえば、プロパティに 2 つの範囲 (A と B と呼びます) を指定した場合、そのプロパティの値が A または B である必要があるという意味ではないことを覚えておく必要があります。両方、つまり、A と B の交点です。ドメインも同様に機能し、所定のドメイン/範囲外の値を使用することを妨げるものは何もありません。そのため、検証に期待することに注意する必要があるかもしれません。

さらに、OWL の世界に足を踏み入れると、スキーマ (別名オントロジー) の一貫性とその充足可能性に対する懸念が追加されます。これらは、データの有効性と同様に有効な懸念事項です。

言うまでもなく、OWL では、テーブルに 4 つの脚があるという制限を検証するのは困難です。3 つのレッグを定義でき、それが有効であると見なされます。システムがまだ認識していない 4 番目のレグだけがあります。同様に、5 つのレッグを定義すると、2 つのレッグが同じであると想定されるため、厳密には無効ではありません。

RDFS、または実際には OWL を制約言語として使用したい場合は、Pellet の Integrity Constraint Validator (ICV)を参照してください。スキーマによってデータに課される制約を形式化するための言語として OWL を使用できます。これは、OWL のセマンティクスをわずかに変更して、このユース ケースにより適したものにすることによって実現されます。このソフトウェアは実際にStardogに移植されており、データベースのトランザクション サポートと組み合わせてデータの整合性を維持することができます。Stardog のサイトには、完全性制約がどのように評価されるかについての正式なセマンティクスへの参照もあります。

それを超えて、これがあなたが興味を持っている検証のタイプであると仮定すると、検証を行うカスタムソフトウェアが必要になります。または、Jena Eyeballと呼ばれる ICV よりも機能が少ない (& 正式な) ソフトウェアのビットを見ることができます。 .