Problem involving CWA rules (spinowl) and subproperties

[Nikolaos Beredimas]

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

 

[Holger Knublauch]

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

--
-- 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
topbrai...@googlegroups.com
To unsubscribe from this group, send email to
topbraid-user...@googlegroups.com
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 topbraid-user...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Nikolaos Beredimas]

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

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 topbraid-user...@googlegroups.com.

[Holger Knublauch]

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