Как представить онтологию с помощью логики описания?

Я изучаю онтологию, и язык DL для меня сложен, я нашел в Интернете хорошие упражнения, и вот один вопрос: учитывая следование онтологии:

Есть два непересекающихся вида сущностей: города и страны. Каждая страна имеет единую столицу, город. Однако город может находиться более чем в одной стране. Каждая страна граничит по крайней мере с одной страной, а также, возможно, с морем (мы не делаем различий между разными морями).

Как я могу выразить это в логической нотации описания?


ontology owl rdf semantic-web description-logic
person alex    schedule 15.10.2014    source источник
comment
This seems to appear verbatim in этот экзамен, CSE 636: Тест №1. (Отдача заключалась в том, что копирование «отличного» от PDF-файла, сгенерированного LaTeX, теряло лигатуру ff.)   -  person Joshua Taylor    schedule 16.10.2014
comment
Я написал ответ (на данный момент удален), но не хочу публиковать его публично без объяснения того, что я не буду просто делать чью-то домашнюю работу за них.   -  person Joshua Taylor    schedule 16.10.2014
comment
Мне нравится, что город может находиться более чем в одной стране. На мой взгляд, это определенно угловой случай в реальном мире.   -  person Ignazio    schedule 17.10.2014
comment
@Ignazio Вероятно, буквальный угол или крайний случай. (Везде, где есть пограничные споры, можно привести примеры.)   -  person Joshua Taylor    schedule 17.10.2014
comment
Да, самым очевидным, что я мог придумать, был бы Берлин до 1989 года. Но это отступление от вопроса.   -  person Ignazio    schedule 18.10.2014

Ответы (1)


arrow_upward
0
arrow_downward

В следующем примере показано, как можно обрабатывать кардинальности. Что вы думаете об этом примере? Для того, чтобы оставить вам немного работы, вы можете моделировать море, города и дизъюнкт самостоятельно?

@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: .
person jerger    schedule 24.10.2014
comment
большое спасибо, ваш ответ не в логике описания, но это отличный пример описания онтологии с использованием rdfs и OWL, я уже разобрался. - person alex; 25.10.2014
comment
Ваше право... я был привязан к моему текущему контексту... извините (ограничения - это только представление небольшой части DL - я понял :-). Если вы нашли свое решение, не хотите ли вы поделиться с нами своими мыслями, чтобы мы могли чему-то научиться? - person jerger; 27.10.2014