Suppose i have a class X and subclass XSmall
And property length
I define for XSmall an equivalentclass: (X and (length only xsd:float[< "10"^^xsd:float]))
I now have an instance of X being x with value 5 for length
What reasoner do I have to run to infer: x rdf:type XSmall?
Or am I doing something wrong in principle….
(swiftowlim is in my scenario…)
Thx michel
|
--
You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN.
To post to this group, send email to topbrai...@googlegroups.com
---
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.
Hi Holger
Ok, thx. Could you give me a hint on how to do this with SPIN or would it really require an extension of spin itself?
Guess it a kind of global spin rule you would attach to “any individual” iso to a class?
|
On 16 Feb 2015, at 08:16, Bohms, H.M. (Michel) <michel...@tno.nl> wrote:
Hi HolgerOk, thx. Could you give me a hint on how to do this with SPIN or would it really require an extension of spin itself?Guess it a kind of global spin rule you would attach to “any individual” iso to a class?
Dr. ir. H.M. (Michel) Bohms
Sr. Research Scientist
Structural Reliability T +31 (0)88 866 31 07
M +31 (0)63 038 12 20
E michel...@tno.nl
This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. TNO accepts no liability for the content of this e-mail, for the manner in which you use it and for damage of any kind resulting from the risks inherent to the electronic transmission of messages.
From: topbrai...@googlegroups.com [mailto:topbrai...@googlegroups.com] On Behalf Of Holger Knublauch
Sent: donderdag 12 februari 2015 1:12
To: topbrai...@googlegroups.com
Subject: Re: [topbraid-users] automatic classification?I don't think any of the built-in reasoners of TopBraid understand custom datatypes. It should be a doable extension to the SPIN OWL RL model, similar how spinowl.ttl already supports constraint checking on such user-defined datatypes.
Holger
On 2/11/2015 23:13, Bohms, H.M. (Michel) wrote:
Suppose i have a class X and subclass XSmallAnd property lengthI define for XSmall an equivalentclass: (X and (length only xsd:float[< "10"^^xsd:float]))I now have an instance of X being x with value 5 for lengthWhat reasoner do I have to run to infer: x rdf:type XSmall?Or am I doing something wrong in principle….(swiftowlim is in my scenario…)Thx michel
Dr. ir. H.M. (Michel) Bohms
Sr. Research Scientist
Structural Reliability T +31 (0)88 866 31 07
M +31 (0)63 038 12 20
E michel...@tno.nl
This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. TNO accepts no liability for the content of this e-mail, for the manner in which you use it and for damage of any kind resulting from the risks inherent to the electronic transmission of messages.
--
You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN.
To post to this group, send email to topbrai...@googlegroups.com
---
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.
--
You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN.
To post to this group, send email to topbrai...@googlegroups.com
---
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.
Of course, the ”type of super class” should always hold so this is a good “anchor place”!
And I now understand also Holger’s reply also dealing with the meta-level/automatic rule generation….
Thx a lot!
Michel
|
|
|
Hmm, strange, I tried what you said but it did not work (got no instance of subclass after running inference)…
If anybody knows what I did wrong..thx a lot!
|
|
|
Sent: maandag 16 februari 2015 11:26
Hi Scott, I tried and do something wrong I guess, see later mail
|
|
|
On 16 Feb 2015, at 13:16, Bohms, H.M. (Michel) <michel...@tno.nl> wrote:
Hmm, strange, I tried what you said but it did not work (got no instance of subclass after running inference)…If anybody knows what I did wrong..thx a lot!
Dr. ir. H.M. (Michel) Bohms
Sr. Research Scientist
Structural Reliability T +31 (0)88 866 31 07
M +31 (0)63 038 12 20
E michel...@tno.nl
This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. TNO accepts no liability for the content of this e-mail, for the manner in which you use it and for damage of any kind resulting from the risks inherent to the electronic transmission of messages.
<hellingbaan.ttl><hellingbaan.ttl.tbc>
That was it, thx
Hmmm, why would such a constructed triple be redundant?
|
|
Oeps, sorry. Did not look right..still not inferred..indeed only redy=undant info inferred now J
|
|
|
From: Bohms, H.M. (Michel)
Sent: maandag 16 februari 2015 16:11
To: 'topbrai...@googlegroups.com'
Subject: RE: [topbraid-users] automatic classification?
That was it, thx
Hmmm, why would such a constructed triple be redundant?
|
|
|
Indeed, redundant triples wasnt the problem
Under rule it didn’t work because not saved first, now ok! Thx!
|
Now that this subclass inferencing goes fine I see that constraint violation (and/or “show problems”) is not showing violations on the derived individual…
Was this to be expected?
Situation:
And the instance is:
So I expected a warning for the hellinghoek being not less than 3..
Thx again, Michel
|
On 17 Feb 2015, at 10:03, Bohms, H.M. (Michel) <michel...@tno.nl> wrote:
Now that this subclass inferencing goes fine I see that constraint violation (and/or “show problems”) is not showing violations on the derived individual…Was this to be expected?Situation:
<image001.png>And the instance is:<image002.png>
So I expected a warning for the hellinghoek being not less than 3..Thx again, Michel
Dr. ir. H.M. (Michel) Bohms
Sr. Research Scientist
Structural Reliability T +31 (0)88 866 31 07
M +31 (0)63 038 12 20
E michel...@tno.nl
This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. TNO accepts no liability for the content of this e-mail, for the manner in which you use it and for damage of any kind resulting from the risks inherent to the electronic transmission of messages.
From: topbrai...@googlegroups.com [mailto:topbrai...@googlegroups.com] On Behalf Of Scott Henninger
Sent: maandag 16 februari 2015 16:01
To: topbrai...@googlegroups.com
Subject: Re: FW: [topbraid-users] automatic classification?You have used spin:constructor instead of spin:rule.
-- ScottOn 2/16/2015 7:16 AM, Bohms, H.M. (Michel) wrote:
Hmm, strange, I tried what you said but it did not work (got no instance of subclass after running inference)…If anybody knows what I did wrong..thx a lot!
Dr. ir. H.M. (Michel) Bohms
Sr. Research Scientist
Structural Reliability T +31 (0)88 866 31 07
M +31 (0)63 038 12 20
E michel...@tno.nl
Ok, clear!
But then I would expect a warning after adding the equivalent spin:constraint:
|
|
On 17 Feb 2015, at 10:23, Bohms, H.M. (Michel) <michel...@tno.nl> wrote:
Ok, clear!But then I would expect a warning after adding the equivalent spin:constraint:
<image001.png>
Dr. ir. H.M. (Michel) Bohms
Sr. Research Scientist
Structural Reliability T +31 (0)88 866 31 07
M +31 (0)63 038 12 20
E michel...@tno.nl
Thx, no wit works exactly as I hoped!
Michel
|
|
Thx, using spinowl instead now, works ok!
|
From: topbrai...@googlegroups.com [mailto:topbrai...@googlegroups.com] On Behalf Of Holger Knublauch
Sent: donderdag 12 februari 2015 1:12
To: topbrai...@googlegroups.com
Subject: Re: [topbraid-users] automatic classification?
I don't think any of the built-in reasoners of TopBraid understand custom datatypes. It should be a doable extension to the SPIN OWL RL model, similar how spinowl.ttl already supports constraint checking on such user-defined datatypes.