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