Dear M. Ravi,
SPIN is just a language that can have any number of engines and RMSs, so
I guess you are more asking about the existing implementation that we
provide as the TopBraid SPIN API.
I am not too familiar with the term reason maintenance system, but I can
tell you what the SPIN API does. When you execute SPIN rules, the
inferred triples usually go into a dedicated inferences graph that can
have its own life cycle, e.g. to reset and re-run inferences when new
information comes in that contradicts prior knowledge. We do not have a
(RETE-like) rule chaining implemented but this could be achieved, at
least for a sub-set of the SPIN expressivity. Complex WHERE clauses with
difficult patterns are likely not implementable - that's why most other
rule languages have a limited expressivity. I am not sure if the
inference graph covers part of the RMS requirements.
Another feature of the SPIN API is that it can maintain "explanations",
so that each inferred triple can be traced back to the rule that created
it. You can see this in action when you run inferences with TopBraid and
then hit the Explain button that shows the underlying rule.
Regards,
Holger
On 5/6/2014 0:37, Ravi Mondi wrote:
Dear all,
We work on "Reasoning with assumptions on RDF models". We came to know
about SPIN from the W3C document
http://www.w3.org/Submission/2011/SUBM-spin-modeling-20110222/
We would like to know if SPIN includes reason maintenance system (RMS
<http://en.wikipedia.org/wiki/Reason_maintenance>)?
Thanks in advance for your reply.
Sincerely,
M.Ravi
--
-- You received this message because you are subscribed to the Google
Group "TopBraid Suite Users", the topics of which include Enterprise
Vocabulary Network (EVN), TopBraid Composer, TopBraid Live, TopBraid
Insight, SPARQLMotion, SPARQL Web Pages and SPIN.
To post to this group, send email to
[email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/topbraid-users?hl=en
---
You received this message because you are subscribed to the Google
Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected]
<mailto:[email protected]>.
For more options, visit https://groups.google.com/d/optout.
--
-- You received this message because you are subscribed to the Google
Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary
Network (EVN), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL
Web Pages and SPIN.
To post to this group, send email to
[email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/topbraid-users?hl=en
---
You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
