Rdf 如何使用描述逻辑表示本体？

我正在学习本体，DL语言对我来说很难，我在网上找到了很好的练习，这里有一个问题：给定以下本体：

有两种不相交的实体：城市和国家。每个 这个国家只有一个首都，一个城市。然而，一个城市可以有更多的优势 不止一个国家。每个国家至少与一个国家相邻，而且 也许我们不区分不同的海洋

---

如何用描述逻辑表示法表示这一点？

下面的示例演示了如何处理基数。你觉得这个例子怎么样？ 为了给您留下一些工作，您可以自己建模海洋、城市和不相交的

@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix world: <http://www.world.org/ontology/world#> .

world: rdf:type owl:Ontology .


############# country ##################
world:Country 
  a owl:Class , rdfs:Class ;
  rdfs:label "Country" ;
  rdfs:comment "representing an country in the world" ;
  rdfs:subClassOf
    [a owl:Restriction ;
    owl:onProperty :hasNeighbors ;
    owl:minCardinality 1 
    ];
  rdfs:subClassOf
    [a owl:Restriction ;
    owl:onProperty :hasCapital ;
    owl:minCardinality 1 
    ];
  rdfs:isDefinedBy world: .

world:hasNeighbors
    a owl:ObjectProperty, rdf:Property ;
    rdfs:label "hasNeighbors" ;
    rdfs:comment "The neighbor countries." ;
    rdfs:domain :Country ;
    rdfs:range :Country ;
    rdfs:isDefinedBy world: .

world:hasCapital
    a owl:ObjectProperty, rdf:Property ;
    rdfs:label "hasCapital" ;
    rdfs:comment "The capital of a country." ;
    rdfs:domain :Country ;
    rdfs:range :City ;
    rdfs:isDefinedBy world: .

############### City ####################  
world:City
  a owl:Class , rdfs:Class ;
  rdfs:label "City" ;
  rdfs:comment "representing an city in the world" ;
  rdfs:isDefinedBy world: .

---

这似乎是一字不差的。泄露的是，从LaTeX生成的PDF复制“不同”的内容丢失了ff连字。我现在已经写了一个被删除的答案，但我不想在没有解释的情况下将其公开发布，我不会只是为别人做作业。我喜欢一个城市可以位于多个国家。在我的脑海中，这绝对是现实世界中的一个角落案例。@Ignazio可能是一个字面上的角落或边缘案例。任何有边界争端的地方都可以提供例子。是的，我能想到的最明显的例子是柏林，直到1989年。非常感谢，你的答案不在描述逻辑中，但它是使用rdfs和OWL描述本体的一个很好的例子，我已经解决了。你的权利。。。我被当前的环境所束缚。。。抱歉，限制只是DL的一小部分-明白了：-。如果你已经找到了解决方案，你想与我们分享你的见解吗？这样我们就能够学到一些东西。？