[Mulgara-general] Inference explained

[Paul Gearon]

Hi Rune,

Unfortunately, the documentation was written some time back when we
were still in the process of working on OWL, and had a different
direction. The documentation was really about how to create inferences
manually using appropriate queries.

The goal at that time was to eventually automate these inferences,
either dynamically, or as a batch job. We'd still like to do that, but

On Tue, Sep 2, 2008 at 3:15 AM, Rune Stilling <subs at rdfined.dk> wrote:
> Hi there
> I'm trying to figure out how to use inference in Mulgara (explained
> in http://docs.mulgara.org/inferencing/infermulgara.html).
> We're running Mulgara embedded Fedora.
> I have indexed some OWL-code which basically states the following:
> Class: A
> - DatatypeProperty: sProperty
> Class: B
> - subclassOf A
> - DatatypeProperty: cProperty
>
> Now I would like to construct a query, that fetches all properties on "B"
> including properties on it's superclass "A", something like:
> select $property
> from <#ri>
> where $property <http://www.w3.org/2000/01/rdf-schema#domain> <...B>
> currently I only get "cProperty" and not "sProperty".
> Now - Can I use the Mulgara inference mechanism to state something like:
> if: x <subclass> y and p <domain> y
> then: p <domain> x
> And should I then index these rules in Mulgara and will it then work on my
> queries or??

Well, you can either update your query to handle it, or you could run
rules over your data. If you apply the rdfs rules, then you'll get
what you need.
 http://mulgara.org/trac/wiki/Rules

This is a batch job, meaning that you apply the rules after all your
data has been loaded. If you need to load more data, then you'll need
to run the rules again (it's OK to run rules multiple times).

Paul