I am aware of OWLIM and AllegroGraph as two triple stores that are able to generate inferred triples and put them back into the dataset. Do you know others?

Bonus question: on what subset of RDFS or OWL do they do that?

Super bonus question: what do they do with the inferred triples exactly? E.g., put everything back in the same big graph? Put the inferred triples in a named graph? ...in multiple named graphs depending on the rule triggered? ...depending on the antecedent triples used by the rule?

asked 07 Dec '12, 10:18

Antoine%20Zimmermann's gravatar image

Antoine Zimm... ♦
accept rate: 34%

Jena does, using the rule engine (in forward mode, it's RETE but it has a backward mode as well : these can be combined where forwards rules generate backwards rules).

An inference graph a union of base data and the inferred triples. This is independent of named graphs or SPARQL.

permanent link

answered 07 Dec '12, 19:09

AndyS's gravatar image

AndyS ♦
accept rate: 33%

Sesame provides a forward chaining inferencer for the full RDFS closure (except, of course, the infinite set of axioms that assert rdf:_1, ... rdf:_n to be of type rdfs:ContainerMembershipProperty - it infers these as needed/used by the dataset). Currently, it operates over all graphs in the repository and inserts inferred triples into the 'null context' of the repository.

permanent link

answered 10 Dec '12, 01:40

Jeen%20Broekstra's gravatar image

Jeen Broekstra ♦
accept rate: 37%

Your answer
toggle preview

Follow this question

By Email:

Once you sign in you will be able to subscribe for any updates here



Answers and Comments

Markdown Basics

  • *italic* or _italic_
  • **bold** or __bold__
  • link:[text](http://url.com/ "title")
  • image?![alt text](/path/img.jpg "title")
  • numbered list: 1. Foo 2. Bar
  • to add a line break simply add two spaces to where you would like the new line to be.
  • basic HTML tags are also supported

Question tags:


question asked: 07 Dec '12, 10:18

question was seen: 1,399 times

last updated: 10 Dec '12, 01:40