no superclass inference

[Bohms, H.M. (Michel)]

I have a data file (anomalies-of-ijsselbridge.ttl)

With instances of subclasses of class Anomaly.

 

When I do:

 

PREFIX anomaly: <https://w3id.org/def/anomaly#>

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

SELECT *

WHERE {

  ?Anomaly rdf:type anomaly:Anomaly .

  ?Anomaly anomaly:forPhysicalObject ?BridgePart .

  ?Anomaly anomaly:globalEffect ?GlobalEffect

}

 

Has no results since I first have to run the superclass inferences.

When I do that (or more generally run TopSpin) I do not get these superclass instances.

 

Any idea what I could do wrong?

(query on subclass runs fine)

 

Thx a lot, Michel

 

Dr. ir. H.M. (Michel) Bohms Scientist Specialist Structural Reliability T +31 (0)88 866 31 07 M +31 (0)63 038 12 20 E michel...@tno.nl Location   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.

 

[Holger Knublauch]

Hi Michel,

this SPARQL engine is configured to only run on the asserted triples. The usual mechanism to ask for instances of a given class is to use a path expression:

    ?instance rdf:type/rdfs:subClassOf* $superClass

in your case

    ?Anomaly rdf:type/rdfs:subClassOf* anomaly:Anomaly

This computes the "inferences" on the fly.

HTH
Holger

--
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.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/b3d58d518e3a44f692930205d01bbc8a%40tno.nl.

[Bohms, H.M. (Michel)]

Ahh of course, thx

 

But…still strange my inferencing does not work…any tip welcome

 

Dr. ir. H.M. (Michel) Bohms Scientist Specialist Structural Reliability T +31 (0)88 866 31 07 M +31 (0)63 038 12 20 E michel...@tno.nl Location   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.

 

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/b70342fa-ae64-8d25-ed83-107161829e8d%40topquadrant.com.

[Holger Knublauch]

On 2020-12-09 6:55 pm, 'Bohms, H.M. (Michel)' via TopBraid Suite Users wrote:

Ahh of course, thx

 

But…still strange my inferencing does not work…any tip welcome

With OWL RL profile, the SPIN engine will by default remove "redundant" inferences after the engine finishes. Active this

Complete Mode to see the rdfs:subClassOf inferences too.

Holger

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/8de0e97d9b604eb9924f6856d18e916f%40tno.nl.

[Bohms, H.M. (Michel)]

Still no success after ticking that box…no inferences are made

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/d4dcc45f-f1af-6d6c-e4c3-dbe7c4a6ced5%40topquadrant.com.

[Holger Knublauch]

On 2020-12-10 6:27 pm, 'Bohms, H.M. (Michel)' via TopBraid Suite Users wrote:

Still no success after ticking that box…no inferences are made

At this stage I don't know what inferences you are expecting and what the ontology looks like.

Thanks

Holger

[Bohms, H.M. (Michel)]

I sent them in my first mail

 

I have instances  of a subclass of Anomaly.

After reasoning no instances of Anomaly.

 

Instances are in anomalies-f—ijsselbridge, rest is just imported

 

Like

 

aib:PartialLockingRotation_3

  a anomaly:PartialLockingRotation ;

  anomaly:forPhysicalObject ib:Pillar_H ;

  anomaly:globalEffect true ;

  anomaly:parameterType anomaly:Probabilistic ;

  anomaly:rotationalStiffness [

      prob:posteriorMean [

          rdf:value "0.3E9"^^xsd:float ;

        ] ;

      prob:posteriorStdev [

          rdf:value "5E8"^^xsd:float ;

        ] ;

      prob:priorDistributionType prob:UniformDistribution ;

      prob:priorMean [

          rdf:value "5.0E14"^^xsd:float ;

        ] ;

      prob:priorStdev [

          rdf:value "2.89E14"^^xsd:float ;

        ] ;

    ] ;

.

 

Dr. ir. H.M. (Michel) Bohms Scientist Specialist Structural Reliability T +31 (0)88 866 31 07 M +31 (0)63 038 12 20 E michel...@tno.nl Location   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.

 

Van: topbrai...@googlegroups.com <topbrai...@googlegroups.com> Namens Holger Knublauch
Verzonden: vrijdag 11 december 2020 01:45
Aan: topbrai...@googlegroups.com
Onderwerp: Re: [topbraid-users] no superclass inference

 

 

On 2020-12-10 6:27 pm, 'Bohms, H.M. (Michel)' via TopBraid Suite Users wrote:

--

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.

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/b268e517-4555-cc19-1d10-ffc0640400a2%40topquadrant.com.

[Holger Knublauch]

The type triples do work for me. Try for example the Kennedys example:

Here is the configuration that I used

Are we talking about the same things?

Holger

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/da4fd617ee464b42aebe8f28128857a1%40tno.nl.