Close world reasoning

[Maatary Okouya]

Hi, 

I'm curious to know if in the latest version of stardog, you do support some form of close world assumption reasoning. I'm interested to use it with some rules. The idea would be for instance to state things like   notExist  hasState(Indiv, violated) & hasState(Indiv, activated)  & .... & ... => hasState(indiv, fulfilled) ,   Where fulfilled, violated and acitivated are memeber of a oneOf/Enumaration Class ?

Best,

M

[Mike Grove]

On Sun, Jul 20, 2014 at 1:36 PM, Maatary Okouya <maatar...@gmail.com> wrote:

Hi, 

I'm curious to know if in the latest version of stardog, you do support some form of close world assumption reasoning. I'm interested to use it with some rules. The idea would be for instance to state things like   notExist  hasState(Indiv, violated) & hasState(Indiv, activated)  & .... & ... => hasState(indiv, fulfilled) ,   Where fulfilled, violated and acitivated are memeber of a oneOf/Enumaration Class ?

Perhaps ICV [1] is what you're looking for.

Cheers,

Mike

[1] http://docs.stardog.com/icv/

 

Best,

M

--
-- --
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