Export all data inferred

[Fardel Simon]

Hi, 

I had testing the code example : https://github.com/Complexible/stardog-examples/blob/master/examples/api/main/src/com/complexible/stardog/examples/api/ReasoningExample.java

Protégé can "Export inferred axioms as ontology". I would know if it's possible with Stardog Api ? 

Bests regards, 

Simon F.

[Zachary Whitley]

I'm not familiar with the Protégé can "Export inferred axioms as ontology" function so please excuse me if this isn't exactly what you're looking for but I think you can accomplish what you're looking for by enabling reasoning on the connection and issuing a "CONSTRUCT WHERE {?s ?p ?o}" query. That would get the entailments and the asserted tbox. You can probably remove the tbox to just get the entailments in a follow up query. I don't think there's any way to do it in a single query as there's no way to differentiate between what is asserted and what is entailed.

--
-- --
You received this message because you are subscribed to the C&P "Stardog" group.
To post to this group, send email to sta...@clarkparsia.com
To unsubscribe from this group, send email to
stardog+u...@clarkparsia.com
For more options, visit this group at
http://groups.google.com/a/clarkparsia.com/group/stardog?hl=en
---
You received this message because you are subscribed to the Google Groups "Stardog" group.
To unsubscribe from this group and stop receiving emails from it, send an email to stardog+u...@clarkparsia.com.

[Zachary Whitley]

Here's an interesting follow up question, does Stardog apply reasoning to update queries? For some reason I was under the impression that it did not but then realized that I don't think I've seen anything that says that is the case.

[Pavel Klinov]

Yes it does. The WHERE clause in INSERT and DELETE queries is evaluated under the same entailment regime as for SELECT and CONSTRUCT queries.

Regarding the original question, I'd not recommend using "CONSTRUCT WHERE {?s ?p ?o}" with reasoning. SPARQL queries with unbound predicates aren't allowed in the standard SPARQL entailment regimes, in particular, because of computational issues. Stardog does support such queries but it's very likely that there're more efficient ways to solve the end problem. For example, the special predicates [1] can help retrieving all super-classes, all types for an individual, etc.

Cheers,

Pavel

[1] "CONSTRUCT WHERE {?s ?p ?o}"

[Pavel Klinov]

Sorry, bad reference:

[1] http://docs.stardog.com/#_special_predicates

[Zachary Whitley]

Thanks, good info on performance and unbound predicates. I wasn't aware of that.

[Ray Rashif]

If you're looking to infer everything at one go at load time, i.e.
"offline materialization", then there's no such function through the
API (I asked about this on Gitter).

> --
> -- --
> You received this message because you are subscribed to the C&P "Stardog"
> group.
> To post to this group, send email to sta...@clarkparsia.com
> To unsubscribe from this group, send email to
> stardog+u...@clarkparsia.com
> For more options, visit this group at
> http://groups.google.com/a/clarkparsia.com/group/stardog?hl=en
> ---
> You received this message because you are subscribed to the Google Groups
> "Stardog" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to stardog+u...@clarkparsia.com.



--

GPG/PGP ID: C0711BF1