설명 논리를 사용하여 온톨로지를 표현하는 방법은 무엇입니까?

Question

내가 온톨로지를 배우고 및 DL 언어가 나를 위해 어려운, 내가 온라인 좋은 운동을 발견하고 여기에 하나의 질문입니다 : 주어진 다음과 온톨로지 :

기관의 끊긴 두 종류가 있습니다 : 도시 및 국가. 각 국가에는 하나의 자본 인 도시가 있습니다. 그러나 도시는 한 국가보다 에 더 많이있을 수 있습니다. 각 국가는 최소한 하나의 국가와 이웃하고 아마도 바다 일 것입니다 (우리는 다른 바다를 구별하지 않습니다).

어떻게 설명 논리 표기법으로 표현할 수 있습니까?

Answer 1

다음 예제는 카디널리티를 처리하는 방법을 보여줍니다. 이 예제에 대해 어떻게 생각하십니까? 몇 가지 작업을 남기기 위해 바다와 도시를 모델링하고 자신의 것으로 분리 할 수 ​​있습니까?

@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: .