First-order-logic

[Agustín Martínez]

Sorry for asking, this is not a support question. I was wondering if there's a roadmap where rules based on First-order-logic are included (quantifiers specifically). I've seen some AI papers that have proposed an extension of SWRL for this. Are you looking for this?

Regards,

Agustín

[Kendall Clark]

Agustín,

We don't presently have this on the roadmap for a future Stardog release. That is, of course, subject to change as we learn more.

Cheers,

Kendall Clark

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