Тема: подкласс по ограничению свойства

Здравствуйте,
я только начал изучать семантические сети. Накачал кучу книг, начал читать и уже кое-что понимаю.

Сейчас я пытаюсь разобраться с выводами на основе ограничений. Вот, взял семплы из http://www.w3.org/2007/OWL/wiki/Primer и совместил их в:

test: a owl:Ontology .

test:Person a owl:Class .

test:Woman rdfs:subClassOf test:Person .

test:Parent owl:equivalentClass [
    a owl:Restriction ;
    owl:onProperty test:hasChild ;
    owl:someValuesFrom test:Person
] .

test:Mother owl:equivalentClass [
    a owl:Class ;
    owl:intersectionOf (
        test:Woman test:Parent
    )
] .

test:HeroineMother a [ # из того же праймера, где John определяется количеством детей
    a owl:Restriction ;
    owl:onProperty test:hasChild ;
    owl:minCardinality

Thumbs up Thumbs down

Re: подкласс по ограничению свойства

обрезалось

"3"^^xsd:nonNegativeInteger
] .

test:hasChild a owl:AsymmetricProperty .



INSERT { [ a :Woman ; :hasChild [ a :Person ] , [ a :Person ] , [ a :Person ] ] . } WHERE {}

SELECT * WHERE { ?s a :Mother . } - 747736a1:13b30a575db:-7ff2
SELECT * WHERE { ?s a :HeroineMother . } - ничего

Использую Jena с моделью в режиме OntModelSpec.OWL_DL_MEM_RDFS_INF.

Хочу вывести мать-героиню. Если я записал неправильно, пожалуйста, покажите как написать правильно.

Thumbs up Thumbs down

3

Re: подкласс по ограничению свойства

Тут сразу несколько проблем. Во-первых, героическая мать у тебя является индивидуалом (видимо из-за копирования с John в примере), в то время как должна быть классом. Во-вторых, из-за OWA и отсутствия UNA наличие 3-х детей с разными URI отнюдь не означает, что детей именно 3. Может быть как больше (OWA) так и меньше (отсутствие UNA означает, что 2 или более имен могут принадлежать одному объекту модели).
Советую для разбора примеров использовать Protege, а не RDF-модель с лог. выводом.

PS. и переименуй все же свою героиновую мать в мать-героиню smile

Re: подкласс по ограничению свойства

Ура, дождался! Почти такой же я получил от Сергея по почте smile

отсутствие UNA означает, что 2 или более имен могут принадлежать одному объекту модели

А теперь понял! Спасибо!

В СССР они были героиновыми lol
http://slovari.yandex.ru/%D0%BC%D0%B0%D … n/#lingvo/

Thumbs up Thumbs down