On 6/24/2014 22:06, Nikolaos Beredimas wrote:
Thanks Holger. It works ok with your suggestion.
However, now, I get a lot of lag when trying to change/update values
and sometimes TBC gets to a completely unresponsive state.
I cannot see a correlation between activating SPIN and what you
describe. The SPIN engine would only run once and not affect other
operations (unless it infers so many triples that you run out of memory,
which sounds unlikely)
Holger
I don't know whether this is due to the inferencing rules, or my
development machine is just too old. I will do some further testing
and explore further.
On Tue, Jun 24, 2014 at 2:28 AM, Holger Knublauch
<[email protected] <mailto:[email protected]>> wrote:
Hi Nikolaos,
note that if you select only spinowl on the Ontology Profile tab,
then no inferences will happen because that file does not define
any spin:rules but just spin:constraints. To get inferences, you
should also activate the OWL 2 RL check box and then his the run
inference button. Once you do that, it will infer the sub-property
triple and your constraint violation will disappear too. Your
understanding of how sub-properties work was correct.
HTH
Holger
On 6/23/2014 21:57, Nikolaos Beredimas wrote:
Brief description of the ontology and the problem I face:
Datatype Property :parent
Datatype Property :child1 (subproperty of :parent)
Class A defined with restrictions:
:parent cardinality min 1
:child_1 cardinality exactly 1
I create an individual :a and declare the statement:
:a :child_1 "abcd"
It is my understanding this should infer also
:a :parent "abcd".
However, it seems it doesn't and I get a constraint violation
warning for the :parent property.
Is this a bug? A feature? Maybe an error of my understanding of
how subproperties ought to work?
See attached file for above example.
Using TBC FE 4.4.1
--
-- 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]
<mailto:[email protected]>
To unsubscribe from this group, send email to
[email protected]
<mailto:[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]
<mailto:[email protected]>
To unsubscribe from this group, send email to
[email protected]
<mailto:topbraid-users%[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 a topic in
the Google Groups "TopBraid Suite Users" group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/topbraid-users/0MEL7kFnMn0/unsubscribe.
To unsubscribe from this group and all its topics, 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]
<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.
