2015-05-15 5 views
3

Я использую Protege 4.3, чтобы создать свою первую онтологию, так что я столкнулся с несколькими проблемамиProtege: свойство объект ограничение 1

скажу, у нас есть классы Shop, Mall и Person и свойство works-in и is-part-of

Поэтому первая проблема: мы хотим: если Personworks-inShop и Shopis-part-ofMall затем Personworks-inMall

Я попытался йо добавить свойство цепи works-in o is-part-of свойству is-part-of но рассуждающий умер, когда я активировал его

Любая идея, как решить это?

Благодаря

+0

'works-in' =>' works-for' будет решать вашу первую проблему - 'Person'' работает для' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' 'Mall'. Вы работаете в магазине, который находится в торговом центре. Я игнорирую ваш второй, потому что вы должны задать только один вопрос на вопрос. –

+0

Я не совсем понял, что вы предлагаете, но я хотел бы добавить, что я попытался определить цепочку свойств для 'works-for', но разумник умер, когда я ее активировал. не могли бы вы объяснить немного больше? –

+0

... Хорошо, перечитывая вопрос, я понимаю, что речь идет о конкретной системе. Я говорил, в общем, вы могли бы позволить, чтобы это подразумевалось, что, если кто-то работает в магазине, который находится в торговом центре, они работают в этом торговом центре. Яснее, если вы говорите, что они работают _for_ в магазине, который находится в торговом центре, что отношения косвенны. –

ответ

1

Чтобы ответить на ваш первый вопрос: вы ищете цепочки собственности. В Protege вы можете сказать, что works-in o is-part-of является subPropertyOf (Chain) works-in, это даст вам ожидается умозаключения

EDIT: я сделал следующий эксперимент:

а) создать общую онтологию следующего описания (в Манчестере синтаксис): Ontology: <http://www.semanticweb.org/o> ObjectProperty: <http://www.semanticweb.org/o#works-in> SubPropertyChain: <http://www.semanticweb.org/o#works-in> o <http://www.semanticweb.org/o#is-part-of> ObjectProperty: <http://www.semanticweb.org/o#is-part-of> Domain: <http://www.semanticweb.org/o#Department> or <http://www.semanticweb.org/o#Shop> Range: <http://www.semanticweb.org/o#Mall> or <http://www.semanticweb.org/o#Shop> Class: <http://www.semanticweb.org/o#Shop> Class: <http://www.semanticweb.org/o#Mall> Class: <http://www.semanticweb.org/o#Department> Class: <http://www.semanticweb.org/o#Person>

b) Добавьте некоторых людей в эту онтологию, чтобы проверить вывод. После классификации с помощью FaCT ++ Protege показывает, что person1 связан с mall1 через work-in. Дополнительные аксиомы заключаются в следующем: Individual: <http://www.semanticweb.org/o#shop1> Types: <http://www.semanticweb.org/o#Shop> Facts: <http://www.semanticweb.org/o#is-part-of> <http://www.semanticweb.org/o#mall1> Individual: <http://www.semanticweb.org/o#mall1> Types: <http://www.semanticweb.org/o#Mall> Individual: <http://www.semanticweb.org/o#person1> Types: <http://www.semanticweb.org/o#Person> Facts: <http://www.semanticweb.org/o#works-in> <http://www.semanticweb.org/o#shop1>

c) Добавить аксиомы, говорящие, что Человек работает в Магазине, а Магазин является частью Молла для онтологии из a). В этом случае снова Person является частью класса WorksInMall, который показывает, что аксиома цепи свойств учитывается. Дополнительные аксиомы: Class: <http://www.semanticweb.org/o#WorksInMall> EquivalentTo: <http://www.semanticweb.org/o#works-in> some <http://www.semanticweb.org/o#Mall> Class: <http://www.semanticweb.org/o#Person> SubClassOf: <http://www.semanticweb.org/o#works-in> some <http://www.semanticweb.org/o#Shop> Class: <http://www.semanticweb.org/o#Shop> SubClassOf: <http://www.semanticweb.org/o#is-part-of> some <http://www.semanticweb.org/o#Mall>

+0

Вот что я подумал , но когда я попробовал, что рассуждающий умер каждый раз, когда я активировал его –

+0

Что рассуждающий вы используете, и какова ваша онтология? Не могли бы вы поделиться этим? –

+0

Я использую 'FaCT ++' в качестве аргумента, и я должен создать с онтологией базу данных описания логики (KB) на торговых центрах и их отношение к сотрудникам и покупателям –