on inverseOf

20 views
Skip to first unread message

Myungdae Cho

unread,
Apr 3, 2023, 2:29:33 AM4/3/23
to topbrai...@googlegroups.com
Hi there. 

I am a user using topbraid 4.1.1. ME version. Maybe I bought it  less than 10 years ago. 
The thing is I can see its relationship in the form "as incoming reference" and also I can see that in the browser also. But I can't see its relation in 'source code'

I certainly used rdfs:domain and rdfs:range and use owl:inverseOf relation 

Do you think I have an old version Or something else? 

On property declaration I can see its relation like this 
  <rdf:Description rdf:about="seminarHasTopic">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <owl:inverseOf rdf:resource="isTopicOfSeminar"/>
    <rdfs:range rdf:resource="Topic"/>
    <rdfs:domain rdf:resource="Seminar"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">seminar has topic</rdfs:label>
  </rdf:Description>


but when I go each instance I can't see like this

  <rdf:Description rdf:about="디지털_실크로드">
    <rdf:type rdf:resource="Theme"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">디지털 실크로드</rdfs:label>
  </rdf:Description>

Please help me on this


Myungdae Cho

Holger Knublauch

unread,
Apr 3, 2023, 4:00:31 AM4/3/23
to topbrai...@googlegroups.com
The source code view would only show the asserted forward triples for a resource. This means that it would not see inferred triples (such as those that are only computed by rules such as owl:inverseOf) and it also would not show incoming references (from object to subject). You could try to run OWL RL inferencing and assert the inverse triples.

Holger


--
The topics of this mailing list include TopBraid EDG and related technologies such as SHACL.
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.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/CAMwCAD6YX31wD0U9sHWMhiSD1M3AGcSyR6KOYfoUjdu4v-X-5w%40mail.gmail.com.

Myungdae Cho

unread,
Apr 3, 2023, 4:03:51 AM4/3/23
to topbrai...@googlegroups.com
Thank you for your quick reply

Could you tell me how can I run OWL RL inferencing? 

2023년 4월 3일 (월) 오후 5:00, Holger Knublauch <hol...@topquadrant.com>님이 작성:

Holger Knublauch

unread,
Apr 3, 2023, 4:30:46 AM4/3/23
to topbrai...@googlegroups.com
I no longer have TBC installed, but from memory I believe you need to go to the Ontology tab of the home resource and find the OWL RL checkbox there, then use the Inferences View to run the inferences. That view should also have an assert button. Maybe the help pages have more info.

Holger


Myungdae Cho

unread,
Apr 3, 2023, 6:11:52 AM4/3/23
to topbrai...@googlegroups.com
Thanks

It might be this one?

inference.jpg

Holger Knublauch

unread,
Apr 3, 2023, 6:16:11 AM4/3/23
to topbrai...@googlegroups.com
Yes. Another way of asserting the inverse values would be to use SPARQL, e.g.

INSERT {
?o ?inverseProperty ?s .
}
WHERE {
?p owl:inverseOf ?inverseProperty .
?s ?p ?o .
}

(Above is untested)

Holger


On 3 Apr 2023, at 11:12 am, Myungdae Cho <myungd...@gmail.com> wrote:

Thanks

It might be this one?

<inference.jpg>

Myungdae Cho

unread,
Apr 3, 2023, 6:37:40 AM4/3/23
to topbrai...@googlegroups.com
Thank you, Holger. You are very kind. ^^

Myungdae Cho

Myungdae Cho

unread,
Apr 5, 2023, 1:02:06 AM4/5/23
to topbrai...@googlegroups.com
Hi  Holger
One more question

Sparql you gave me was very helpful. Thanks a lot.

NOw, if I want to make every property showing URL clickable. What do I have to do?

Please help me in writing sparql. 


SELECT DISTINCT ?label (concat("<a href='", ?url, "'>", ?url, "</a>") AS ?link)
WHERE {
  ?s <http://silkroads.eventpool.kr/resource/URL> ?url .
  ?s rdfs:label ?label .
}

I need some change here.

I want to URL clickable in the following 

화면 캡처 2023-04-05 140154.png





Holger Knublauch

unread,
Apr 5, 2023, 4:27:53 AM4/5/23
to topbrai...@googlegroups.com
Sorry but I no longer have TBC installed and cannot test this. Someone else on this list may be able to help.

If ?url is a string, you can *probably* turn it into a resource link by (IRI(?url) AS ?link)

Holger


On 5 Apr 2023, at 6:03 am, Myungdae Cho <myungd...@gmail.com> wrote:

Hi  Holger
One more question

Sparql you gave me was very helpful. Thanks a lot.

NOw, if I want to make every property showing URL clickable. What do I have to do?

Please help me in writing sparql. 


SELECT DISTINCT ?label (concat("<a href='", ?url, "'>", ?url, "</a>") AS ?link)
WHERE {
  ?s <http://silkroads.eventpool.kr/resource/URL> ?url .
  ?s rdfs:label ?label .
}

I need some change here.

I want to URL clickable in the following 

<화면 캡처 2023-04-05 140154.png>





Myungdae Cho

unread,
Apr 5, 2023, 11:09:49 AM4/5/23
to topbrai...@googlegroups.com
Thanks, anyway.


Myungdae Cho

Reply all
Reply to author
Forward
0 new messages