1

Тема: Возможности логического вывода в Virtuoso

В документации написано, что Virtuoso поддерживает сам по себе некоторые возможности OWL - owl:sameAs, owl:equivalentClass, owl:equivalentProperty, owl:InverseFunctionalProperty, rdfs:subClassOf, rdfs:subPropertyOf, owl:TransitiveProperty, owl:SymmetricalProperty, owl:inverseOf. Однако ж это не полный список возможностей OWL DL. Поэтому встает вопрос - как получить остальное? Можно ли использовать сторонние reasoner-ы вместе с данным продуктом?

Thumbs up Thumbs down

2

Re: Возможности логического вывода в Virtuoso

Можно, подключить другие ризонеры... например Pellet, но сразу возникнет проблема с производительностью.

3

Re: Возможности логического вывода в Virtuoso

Хм... А какой Triple Store лучше использовать вместе с Pellet для нормальной производительности? Некоторые используют Jena SDB и TDB, какие еще есть варианты, какой вариант лучше? Хотелось бы еще максимально абстрагироваться от конкретного triple store, чтобы в случае чего можно было заменить на другой. Этого можно добиться, например, использованием Jena и jena-совместимых rdf-store.

Thumbs up Thumbs down

4

Re: Возможности логического вывода в Virtuoso

какие есть можна почитать здесь -
http://alexidsa.blogspot.com/2009/05/net-java.html
А нормальная производительность это понятие очень широкое на которое очень многие факторы влияют. Если небольшой проект и немного данных то и пеллет на виртуозе будет нормально работать, если выразительность конструкций большая то может для повышения стоит использовать только те, которые хорошо уже сейчас масштабируются

5

Re: Возможности логического вывода в Virtuoso

cnt1 пишет:

Хотелось бы еще максимально абстрагироваться от конкретного triple store, чтобы в случае чего можно было заменить на другой. Этого можно добиться, например, использованием Jena и jena-совместимых rdf-store.

Virtuoso Jena Provider
http://virtuoso.openlinksw.com/dataspac … naProvider
Никогда сам не использовал, но он существует.