如何验证CIM RDF

问题描述 投票:3回答:1

我正在使用通用信息模型,我们正在使用RDF文件,代表电力变电站。但是我发现使用您的RDF架构验证文件RDF时会遇到一些问题。在这个问题上我需要帮助。有人知道如何使用JAVA做到这一点。

validation rdf rdfs
1个回答
1
投票

[我会在此之前先指出一点,我对通用信息模型一无所知,而我通常是在谈论RDF,RDFS和“验证” ...

有效解析非常容易,所以我认为这不是您的意思。我的猜测是,您来自XML,并且您认为RDFS是RDF,就像XML模式是XML文档一样。

不是。

[您必须记住,如果为某个属性指定两个范围(我们将它们称为A和B),这并不意味着该属性的值应该为A或B。它实际上意味着它们都是A和B的交集。Domain的工作原理类似,没有什么可以阻止您使用超出规定的域/范围的值。因此,您可能需要谨慎对待验证的期望。

此外,如果您开始涉足OWL世界,则会增加对架构(也称为本体)的一致性及其可满足性的关注。这些都是值得关注的问题数据的有效性。

更不用说,在OWL中很难验证一张桌子有4条腿的限制。您可以定义三个分支,并假设它是有效的。系统尚不了解,只有四分之一。同样,如果您定义五个支腿,则将假定其中两条支腿可以相同,因此它并非严格无效。

如果要使用RDFS或真正的OWL作为约束语言,可能要看的是Pellet's Integrity Constraint Validator (ICV)。它允许您使用OWL作为语言来规范该模式对数据施加的约束。它通过稍微改变OWL的语义来做到这一点,以使其更适合此用例。该软件实际上已移植到Stardog,在此可以与数据库中的事务支持结合使用以保持数据完整性。如果您有足够的好奇心进一步深入研究该定义,那么Stardog站点还引用了如何评估完整性约束的形式语义。

[除此之外,您需要定制软件来为您进行验证,假设这是您感兴趣的验证类型。或者您可以查看与ICV类似但功能较少(和形式化)的软件Jena Eyeball

© www.soinside.com 2019 - 2024. All rights reserved.