On 12/5/2013 23:12, Wasin wrote:
Thank you, for your reply Holger.
In first place, i'm sorry for double replay. Because, i think my
internet has a problem that why my post don't shows.
This mailing list has a moderation queue, which means that any message
from a new member needs to be manually OKed by a moderator. After that
first message, your messages will show up instantly. So to everyone:
there is no need to post questions twice - if they are genuine questions
then they will show up after a while.
From your reply, i don't understand completely.
I see example in this blog
<http://composing-the-semantic-web.blogspot.com/2009/10/owl-2-support-in-topbraid-composer.html>
that show the usage of this issues.
<http://2.bp.blogspot.com/_44lV0kDjySE/SuezZctDH6I/AAAAAAAAANw/f9sq_8H1D48/s400/OWL2-ClassAxioms.png>
It says that OWL2 support in topbraid. Maybe, i misunderstand some
part of that blog.
OWL 2 is supported syntactically, i.e. you can use TopBraid to load,
save, edit OWL 2 ontologies. But this does not mean that all of the OWL
2 DL semantics are implemented. The OWL RL file bundled with TopBraid
follows the official spec which does not include user-defined data type
reasoning. Being written in SPIN means that anyone can add those rules
to their local copy though.
And from your suggestion.
In my project, i want to use both OWL and SPIN. Cause both two
language have strongside of themselves.
Such as SPIN is suitable for creating new resource, and manage
temporal logic. In contrary, OWL can be used to inference concept that
can be extended in the future.
Then i think, i need to develop the program that use both SPIN API and
other Inference engine such as Pellet.
And let them loop inference until there are no new triple occur.
Is you or anyone think this approach is make sense?
Mixing SPIN with other inference engines works in principle, and in fact
you can already configure the inferencers in TopBraid (SE and above) to
execute on top of each other. It won't be pretty and won't be fast, but
should be fine for an experiment.
Is there any suitable use-case for SPIN?
Hmmm, yes. What do you mean specifically?
Or someone know suitable OWL2-DL library than Pellet. Because
currently, Pellet is not compatible with Jena latest version (2.11.0).
But SPIN API, is dependency with them.
In our practical experience, OWL DL is basically limited to the academic
world, as it covers only a limited set of features, and this set is not
even particularly interesting IMHO. See
http://composing-the-semantic-web.blogspot.com.au/2010/04/where-owl-fails.html
for a discussion.
Holger
--
-- 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/groups/opt_out.
