math - 在 RDF 中编码数学属性

Question

我一直在努力寻找添加关系的解决方案，例如 X 有单位 A < 20 到现有的本体中，但是，到目前为止找不到解决方案。

现有知识图谱 - RDF - 有很多概念和关系。为了提高推理的准确性，我们正在尝试为少数概念添加一些关键属性。

示例:

概念 X 导致概念 Y。而且，我们现在知道概念 Y 始终具有属性 ABC < 30。

请建议如何为知识图中的少数概念添加这种关系 - RDF

Answer 1

正如我在对 Functions to manipulate RDF collections in SPARQL 的回答中提到的，你可以用 SPARQL 做一些数学运算，SPARQL 是 RDF 的一种查询语言。对于编码任意数学公式(这就是标题所暗示的)，您可能还对

Wenzel, Ken, and Heiner Reinhardt. "Mathematical Computations for Linked Data Applications with OpenMath." Joint Proceedings of the 24th Workshop on OpenMath and the 7th Workshop on Mathematical User Interfaces (MathUI). 2012.

所有这一切，你在这里描述的(某些属性的值将具有小于某个数字的值)，在 OWL 中是可以表达的。你的具体情况是:

Concept X causes concept Y. And, we now know that concept Y has property ABC < 30 always.

我不确定你说的一个概念导致另一个概念是什么意思，但你可以说 Y 的每个实例对于属性 ABC 的值都小于 30。这很简单。这是公理(在曼彻斯特语法中)

Y subClassOf ABC only xsd:integer[< 30]

并在 DL 语法中:

Y ⊑ ∀ABC.xsd:integer[< 30]

在 Protégé 中，它看起来像:



在 OWL 本体的 RDF 表示中(在 Turtle 和 RDF/XML 中):

@prefix :      <https://stackoverflow.com/q/24134785/1281433/facets#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .

:ABC    a       owl:DatatypeProperty .

<https://stackoverflow.com/q/24134785/1281433/facets>
        a       owl:Ontology .

:Y      a                owl:Class ;
        rdfs:subClassOf  [ a                  owl:Restriction ;
                           owl:allValuesFrom  [ a                     rdfs:Datatype ;
                                                owl:onDatatype        xsd:integer ;
                                                owl:withRestrictions  ( [ xsd:maxExclusive
                                                                  30 ] )
                                              ] ;
                           owl:onProperty     :ABC
                         ] .

<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns="https://stackoverflow.com/q/24134785/1281433/facets#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#">
  <owl:Ontology rdf:about="https://stackoverflow.com/q/24134785/1281433/facets"/>
  <owl:Class rdf:about="https://stackoverflow.com/q/24134785/1281433/facets#Y">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="https://stackoverflow.com/q/24134785/1281433/facets#ABC"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <rdfs:Datatype>
            <owl:onDatatype rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
            <owl:withRestrictions rdf:parseType="Collection">
              <rdf:Description>
                <xsd:maxExclusive rdf:datatype="http://www.w3.org/2001/XMLSchema#integer"
                >30</xsd:maxExclusive>
              </rdf:Description>
            </owl:withRestrictions>
          </rdfs:Datatype>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
</rdf:RDF>