rdf - RDF/OWL 中的字符串操作

Question

关于语义网的初学者问题。

我有一个颜色知识库，其中包括相似的颜色、颜色修饰符(暗、亮、~ish 等)、颜色关系(更深、更亮)、颜色同义词等。我想弄清楚 RDF/OWL 是否是一个操作(主要是查询)这个 KB 的好选择。以下是我需要支持的查询。

1) 找出与给定颜色相似的所有颜色。如果我用“相似”谓词表示颜色相似性，一个简单的 Sparql 查询就可以了。同义词和关系也是如此。好的。

2) 当我需要查找标记或短语 x 是否为有效颜色时，问题变得更加棘手。如果 x 是未修改的颜色，则可以通过创建 Color 类并确保所有已知颜色都是该类的实例来解决该问题。但是如果 x 是像 "redish"这样的修改颜色呢？显然，一种解决方案是通过明确添加知识库的所有修改颜色部分。

但是，是否可以将所有修改后的颜色自动添加到 RDF 中？换句话说，是否可以定义一类包含所有修改颜色的修改颜色？这需要一些连接运算符。这可能吗？

另一种解决方案是有一些逻辑来分解 x 并检查 a) 它是否包含已知的修饰符和 b) 修改的东西是否是有效的颜色。当然，我也希望在 RDF/OWL 中描述这种逻辑。任何的想法？

在此先感谢您的任何意见或建议。

Answer 1

您想要做的事情似乎可以更好地处理，IMO，使用您最喜欢的编程语言的自定义代码段。在OWL中很难表达这些东西，而且效率肯定不高。

但是 FWIW，这是您可以做的事情。系好安全带，这里开始高级 OWL 2 建模之旅。假设您有基色“蓝色”、“绿色”、“红色”。您可以定义包含三个字符串的数据类型(我使用 Turtle 语法):

:baseColor  a  rdfs:Datatype;
    owl:equivalentClass  [
        a  rdfs:Datatype;
        owl:withRestrictions ( [ xsd:pattern "blue|green|red" ] )
    ] .

然后您可以定义修改后的颜色:

:modColor  a  rdfs:Datatype;
    owl:equivalentClass  [
        a  rdfs:Datatype;
        owl:withRestrictions (
            [ xsd:pattern "(dark|light)?(blue|green|red)(ish)?" ]
        )
    ] .

你甚至可以有更多的数据类型，比如 :lightColor , :darkColor , mediumColor .

然后你做一个类(class) :Color具有数据类型属性 :hasColor :

:hasColor  a  owl:DatatypeProperty;
    rdfs:domain  :Color;
    rdfs:range  [
        a  rdfs:Dataype;
        owl:unionOf  ( :baseColor :modColor )
    ]
:Color  a  owl:Class;
    rdfs:subClassOf  [
       a  owl:Restriction;
       owl:onProperty  :hasColor;
       owl:someValuesFrom  xsd:string
    ];
    owl:hasKey  ( :hasColor ) .

在这里，我强加了 :Color 的实例至少有一个颜色字符串，我强加颜色字符串是颜色的唯一标识符(它是一个键)。因此，每当我用颜色字符串给出颜色时，我就可以验证该字符串是否在上面给出的正则表达式模式中。假设我定义了数据类型 :darkColor , :lightColor和 :mediumColor ，我也可以 express :darker和 :lighter关系:

:DarkColor  a  owl:Class;
    rdfs:subClassOf  :Color, [
        a  owl:Restriction;
        owl:onProperty  :hasColor;
        owl:allValuesFrom  :darkColor
    ] .
:LightColor  a  owl:Class;
    rdfs:subClassOf  :Color, [
        a  owl:Restriction;
        owl:onProperty  :hasColor;
        owl:allValuesFrom  :lightColor
    ] .
:MediumColor  a  owl:Class;
    rdfs:subClassOf  :Color, [
        a  owl:Restriction;
        owl:onProperty  :hasColor;
        owl:allValuesFrom  :mediumColor
    ] .

那你要说的都是 :DarkColor s 是 :darker比所有 :MediumColor和所有 :LightColor .这样的公理实现起来并不容易，因为它需要引入辅助项。论文 All Elephants are Bigger than All Mice中有解释在 DL 术语中，它被称为概念产品:

:p1  a  owl:ObjectProperty . # auxiliary property (do not reuse elsewhere)
:p2  a  owl:ObjectProperty . # idem
:x  a  owl:Thing .           # auxiliary individual
:darker  owl:propertyChainAxiom ( :p1 :p2 ) .
:DarkColor  rdfs:subClassOf  [
    a  owl:Restriction;
    owl:onProperty  :p1;
    owl:hasValue  :x
] .
[ owl:unionOf ( :LightColor :MediumColor ) ] rdfs:SubClassOf  [
    a  owl:Restriction;
    owl:onProperty  [ owl:inverseOf :p2 ];
    owl:hasValue  :x
] .

对 :lighter 执行相同操作.

您无法真正自动引入修改后的颜色。您确实必须提供一个包含所有基色 + 修饰符的图案。但这可以很容易地以编程方式完成。无论如何，不​​应使用我提供的 OWL 代码，IMO，因为定制程序可以更好/更有效地解决它。