Rdf 在OWL中定义具有节点距离的图

假设我想用OWL中的节点A、B和C表示下面的图， 连接：

A-B d=1 
B-C d=2 
A-C d=3 

例如，从A到B有一条边，距离d=1

我想用OWL对这些关系进行建模，我想让大家明白 3连接类型为“边缘距离”，但它们的值不同（d=1,2,3） 如果遵循使用A、B、C作为类并定义一个对象属性“边距离”并为距离关系指定不同值的方法，我将无法完成此操作

或者换句话说，在OWL中对上述图形建模的有效方法是什么

---

多谢各位

您可以通过定义一个微小的“网络”本体并使用OWL注释属性来表示距离来表示它。这种解决方案有一些缺点（没有对注释属性进行智能推理），但理解起来相对简单

曼彻斯特语法中的伪代码：

# Prefix used for the demo:
Prefix: network: <http://www.example.org/>

# Annotation property that will hold the distance value between two nodes
AnnotationProperty: <network:distance>

# Edges will be modelled with an object property
ObjectProperty: <network:edge>

# We define the concept of "Node" as a class.
Class: <network:Node>

# Two individuals A and B are declared. They represent node instances
Individual: <network:B>

Individual: <network:A>

  Facts:  

   # Annotation of the axiom below (link A -> B)
   # with a value for the distance
   Annotations: <network:distance> "1"

              # The object property linking the node A to the node B
              <network:edge>  <network:B>

演示使用的前缀： 前缀：网络： #将保留两个节点之间距离值的注释属性 注释属性： #将使用对象特性对边进行建模 对象属性： #我们将“节点”的概念定义为一个类。 类别： #声明两个人A和B。它们表示节点实例 个人： 个人： 事实： #注释下面的公理（链接A->B） #具有一个距离值 附注：“1” #将节点A链接到节点B的对象属性

---

您可以通过定义一个微小的“网络”本体并使用OWL注释属性来表示距离来表示它。这种解决方案有一些缺点（没有对注释属性进行智能推理），但理解起来相对简单

曼彻斯特语法中的伪代码：

# Prefix used for the demo:
Prefix: network: <http://www.example.org/>

# Annotation property that will hold the distance value between two nodes
AnnotationProperty: <network:distance>

# Edges will be modelled with an object property
ObjectProperty: <network:edge>

# We define the concept of "Node" as a class.
Class: <network:Node>

# Two individuals A and B are declared. They represent node instances
Individual: <network:B>

Individual: <network:A>

  Facts:  

   # Annotation of the axiom below (link A -> B)
   # with a value for the distance
   Annotations: <network:distance> "1"

              # The object property linking the node A to the node B
              <network:edge>  <network:B>

演示使用的前缀： 前缀：网络： #将保留两个节点之间距离值的注释属性 注释属性： #将使用对象特性对边进行建模 对象属性： #我们将“节点”的概念定义为一个类。 类别： #声明两个人A和B。它们表示节点实例 个人： 个人： 事实： #注释下面的公理（链接A->B） #具有一个距离值 附注：“1” #将节点A链接到节点B的对象属性

---

您可以通过定义一个微小的“网络”本体并使用OWL注释属性来表示距离来表示它。这种解决方案有一些缺点（没有对注释属性进行智能推理），但理解起来相对简单

曼彻斯特语法中的伪代码：

# Prefix used for the demo:
Prefix: network: <http://www.example.org/>

# Annotation property that will hold the distance value between two nodes
AnnotationProperty: <network:distance>

# Edges will be modelled with an object property
ObjectProperty: <network:edge>

# We define the concept of "Node" as a class.
Class: <network:Node>

# Two individuals A and B are declared. They represent node instances
Individual: <network:B>

Individual: <network:A>

  Facts:  

   # Annotation of the axiom below (link A -> B)
   # with a value for the distance
   Annotations: <network:distance> "1"

              # The object property linking the node A to the node B
              <network:edge>  <network:B>

演示使用的前缀： 前缀：网络： #将保留两个节点之间距离值的注释属性 注释属性： #将使用对象特性对边进行建模 对象属性： #我们将“节点”的概念定义为一个类。 类别： #声明两个人A和B。它们表示节点实例 个人： 个人： 事实： #注释下面的公理（链接A->B） #具有一个距离值 附注：“1” #将节点A链接到节点B的对象属性

---

您可以通过定义一个微小的“网络”本体并使用OWL注释属性来表示距离来表示它。这种解决方案有一些缺点（没有对注释属性进行智能推理），但理解起来相对简单

曼彻斯特语法中的伪代码：

# Prefix used for the demo:
Prefix: network: <http://www.example.org/>

# Annotation property that will hold the distance value between two nodes
AnnotationProperty: <network:distance>

# Edges will be modelled with an object property
ObjectProperty: <network:edge>

# We define the concept of "Node" as a class.
Class: <network:Node>

# Two individuals A and B are declared. They represent node instances
Individual: <network:B>

Individual: <network:A>

  Facts:  

   # Annotation of the axiom below (link A -> B)
   # with a value for the distance
   Annotations: <network:distance> "1"

              # The object property linking the node A to the node B
              <network:edge>  <network:B>

演示使用的前缀： 前缀：网络： #将保留两个节点之间距离值的注释属性 注释属性： #将使用对象特性对边进行建模 对象属性： #我们将“节点”的概念定义为一个类。 类别： #声明两个人A和B。它们表示节点实例 个人： 个人： 事实： #注释下面的公理（链接A->B） #具有一个距离值 附注：“1” #将节点A链接到节点B的对象属性

---

首先，属性与OWL中的类不相关。相反，它们与个人有关。您可以声明属性的域和范围，在这种情况下，当发现属性的用法时，可以推断出主题和对象的类型。如果属性P具有域D和范围R，这意味着当您看到一个三元组

xPy

，您可以推断

xRDF:type D

和

yRDF:type R

听起来您试图表示具有关联权重的属性。严格地说，这是一个三元关系，因为你想说一些像edgeBetween（来源、目标、权重）的东西。在RDF或OWL中表示此类信息的一种常见方法是使用新节点表示关系的实例，并将这三个部分与该个体关联起来。例如：

:edge345 :hasSource :nodeA .
:edge345 :hasTarget :nodeB .
:edge345 :hasWeight 34 .

或者更紧凑地说：

:edge345 :hasSource :nodeA ;
         :hasTarget :nodeB ;
         :hasWeight 34 .

由于通常情况下，您不需要识别关系的实例，而只需要识别关系的部分，因此您也可以在此处使用空白节点：

[] :hasSource :nodeA ;
   :hasTarget :nodeB ;
   :hasWeight 34 .

或

你的图表

A-B d=1 
B-C d=2 
A-C d=3 

看起来像这样：

[ :hasSource :A ; :hasTarget :B ; :hasWeight 1 ] .
[ :hasSource :B ; :hasTarget :C ; :hasWeight 2 ] .
[ :hasSource :A ; :hasTarget :C ; :hasWeight 3 ] .

---

首先，属性与OWL中的类不相关。相反，它们与个人有关。您可以声明属性的域和范围，在这种情况下，当发现属性的用法时，可以推断出主题和对象的类型。如果属性P具有域D和范围R，这意味着当您看到一个三元组

xPy

，您可以推断

xRDF:type D

和

yRDF:type R

听起来您试图表示具有关联权重的属性。严格地说，这是一个三元关系，因为你想说一些像edgeBetween（来源、目标、权重）的东西。在RDF或OWL中表示此类信息的常用方法是