Jena Эффекты Различных Режимов Соглашения - PullRequest
Новая
       21

Jena Эффекты Различных Режимов Соглашения

1 голос
/ 09 июня 2010

Я пытаюсь sparql и использование entailment.

В качестве примера я использовал http://www.w3.org/TR/2010/WD-sparql11-entailment-20100126/#t112

Я пытаюсь поместить их в Джене. 

     OntClass book1= model.createClass(NS+"book1");
     OntClass book2=model.createClass(NS+"book2");
     OntClass book3=model.createClass(NS+"book3");
     OntClass publication=model.createClass(NS+"publication");
     OntClass article=model.createClass(NS+"article");
     OntClass mit=model.createClass(NS+"MIT");

     ObjectProperty a = model.createObjectProperty(NS+"a");
     ObjectProperty publishes = model.createObjectProperty(NS+"publishes");

     book1.addProperty(a, publication);
     book2.addProperty(a, article);
     publication.addSubClass(article);

     publishes.addRange(publication);
     mit.addProperty(publishes, book3);

где модель типа OntModel.

, и я использовал запрос, аналогичный проблеме 

     "PREFIX table: "I have correct namespace here"+
     "SELECT *"+
    "WHERE"+
    "{"+
    " ?x ?y table:publication  ."+
    "}";

Модель была создана следующим образом.Надеюсь, что OntModelSpec в порядке.

OntModel m = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_RDFS_INF, null);

я получаю в качестве результата запроса 


 x                                                           y               
| http://www.example.com/ontologies/sample.owl#publishes   | rdfs:range                                       |
| http://www.example.com/ontologies/sample.owl#article     | rdfs:subClassOf                                  |
| http://www.example.com/ontologies/sample.owl#book1       | http://www.example.com/ontologies/sample.owl#a |
| http://www.example.com/ontologies/sample.owl#publication | rdfs:subClassOf                                  |
| http://www.example.com/ontologies/sample.owl#book3       | rdf:type                                         |

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

1 Ответ

2 голосов
/ 09 июня 2010

Ваша онтология выглядит немного подозрительно.

book1, book2, book3 и mit - это не классы, а отдельные лица. Вы должны использовать model.createIndividual(NS + "bookX", publication) для книг и создать класс для «организации» или аналогичный, а затем создать mit как отдельное лицо этого класса. Обратите внимание, что createIndividual уже заботится о назначении типа человеку, поэтому вам не нужно возиться с вашим свойством «a». Вы должны сначала исправить это, а затем повторить попытку и обновить свой вопрос.

О влечении: посмотрите на последнюю строку результата вашего запроса. Вы нигде не говорили, что book3 книга, но в любом случае это утверждение есть. Это потому, что оно было вызвано другими операторами, и именно поэтому механизм вывода RDFS делает этот оператор видимым, когда вы запрашиваете модель. Оператор влечет за собой из-за диапазона в publishes: все, что публикуется, относится к типу publication.

...