Hi Holger
It is not really one specific model.
The context is CEN TC442/WG4/TG3 EN17632 “Semantic Modelling and Linking”
standard, where we want to give recommendations for patterns on how to model
with LD/SW-tech.
So we would like to give a guideline on how to model a Meronony (typical
typical decomposition) in both OWL/OWA and SHACL/CWA.
In case cardinality constraint are in place (typically minCard=1) the situation
is simple:
ex:Bridge
a owl:Class ;
rdfs:subClassOf [
a owl:Restriction ;
owl:onClass ex:Deck ;
owl:onProperty sml:hasPart ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] .
The issue is in case there is no constraint, like with optional BridgeFurniture.
So my proposal to always add a “closing” restriction like:
ex:Bridge
a owl:Class ;
rdfs:subClassOf [
a owl:Restriction ;
owl:allValuesFrom owl:unionOf (ex:Deck, ex:BridgeFurnuture, …) ;
owl:onProperty sml:hasPart ;
] .
To indicate that the BridgeFurniture is an optional part and all other things
not mentioned are not.
Gr Michel
From: [email protected] <[email protected]> On
Behalf Of Holger Knublauch
Sent: dinsdag 14 november 2023 09:34
To: 'Bohms, H.M. (Michel)' via TopBraid Suite Users
<[email protected]>
Subject: Re: [topbraid-users] question wrt qualified constraint
On 13 Nov 2023, at 11:42 pm, 'Bohms, H.M. (Michel)' via TopBraid Suite Users
<[email protected]<mailto:[email protected]>> wrote:
Too many extra classes that are nonsemantical...would my proposed solution not
be more natural?
I don't know the full model and cannot really comment further on this.
Holger
Op 13 nov. 2023 23:28 schreef Holger Knublauch
<[email protected]<mailto:[email protected]>>:
Can you not simply introduce a superclass :VehiclePart?
Holger
On 13 Nov 2023, at 6:09 pm, 'Bohms, H.M. (Michel)' via TopBraid Suite Users
<[email protected]<mailto:[email protected]>> wrote:
One more idea on this.
Would it be better to model the typical decomposition via some union range.
:Vehicle
a owl:Class ;
rdfs:subClassOf [
a owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Engine ;
owl:onProperty :hasPart ;
] .
>>>
:Vehicle
a owl:Class ;
rdfs:subClassOf [
a owl:Restriction ;
owl:allValuesFrom owl:unionOf (:Engine, :Chassis, …) ;
owl:onProperty :hasPart ;
] .
???
(similar in shacl, sh:class being a union etc.)
Thx Michel
From: 'Bohms, H.M. (Michel)' via TopBraid Suite Users
<[email protected]<mailto:[email protected]>>
Sent: vrijdag 10 november 2023 15:14
To: [email protected]<mailto:[email protected]>
Subject: Re: [topbraid-users] question wrt qualified constraint
Hi holger, david
See all your points.
Wished decomposition was better incorporated in our modelling languages, like
in uml eg.
Specializing properties like hasEngine is a solution but you loose the actual
decomposition semantics or you have to assume it in the "has" of "hasX" but
typically "has" is also used for attributes or nonpart relations.
Anyway, thx for your views
Michel
Op 10 nov. 2023 13:21 schreef David Price
<[email protected]<mailto:[email protected]>>:
Following on from Holger’s comment …
Typical” and “relevance” are not generally supported modeling concepts in
RDF-land. “possible" and “cardinality" are basically it.
Min 0 just means optional and is therefore ignored by every rdf-based engine I
know.
I guess in SHACL you could make a property shape that did a SPARQL NOT EXISTS
and report an sh:Warning or sh:Info rather than a sh:Violation. But users might
get tired of seeing the warnings repeatedly.
If you need to communicate “typical” to humans, then the documentation is a
much better place. If I see “min 0” in a data model, I usually assume it’s a
mistake and so would probably not understand the intent.
Cheers,
David
On 10 Nov 2023, at 12:20, Holger Knublauch
<[email protected]<mailto:[email protected]>> wrote:
In almost all cases that I have seen, qualified value constraints are a pain to
work with, either in OWL or SHACL. I have no recommendations for them as I
almost never use them. I would just introduce a property :hasEngine and get rid
of :hasPart.
Holger
On 10 Nov 2023, at 1:09 pm, 'Bohms, H.M. (Michel)' via TopBraid Suite Users
<[email protected]<mailto:[email protected]>> wrote:
Ok, thx
So there is also no better way to model that y and z are typical (can be) parts
of x where say r and s are not.
Like kind of qualified closure like sh:closed is on property level....
Michel
Op 10 nov. 2023 12:08 schreef Holger Knublauch
<[email protected]<mailto:[email protected]>>:
In both cases the constraint isn't doing any validation at all, so you can
leave the sh:qualifiedMinCount out, if you only intend to use it to indicate
relevance.
Holger
On 10 Nov 2023, at 10:23 am, 'Bohms, H.M. (Michel)' via TopBraid Suite Users
<[email protected]<mailto:[email protected]>> wrote:
I have a qualified constraint question.
To define a meronomy (typical hasPart hierarchy) we now use in OWA/OWL:
:Vehicle
a owl:Class ;
rdfs:subClassOf [
a owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Engine ;
owl:onProperty :hasPart ;
] .
We explicitly model this mincard=0 to indicate relevance (it is not an
obligatory part).
(because we cannot leave the restriction out).
Now my question how does this translate into cwa/shacl?
:VehicleShape
a sh:NodeShape ;
sh:targetClass :Vehicle ;
sh:property [
sh:path :hasPart ;
sh:qualifiedMinCount 0 ;
sh:qualifiedValueShape [
sh:class :Engine ;
] ;
sh:qualifiedMinCount 0 ;
.
Or can I delete the red now?
Similar (example not for decomposition):
sh:property [ sh:path
https://w3id.org/nen2660/def#hasInterior ;
sh:qualifiedValueShape [ sh:class
https://otl.waternet.nl/def/cff9206f-72ae-4eb8-a671-9c3dd73b62c0 ]
] .
Is it ok to leave minCard/maxCard out?
Personally I guess NOT since I always have to give the actual constraint where
the valueshape is ‘just’ the context when to be applied, right?
So I put in minCar = 0 again or is there in shape a smarter way to indicate
this “relevance”?
Thx a lot, Michel
Michel Böhms
Data Scientist
<image001.png>
Mobile +31 630381220
E-mail [email protected]<mailto:[email protected]>
Location<https://nextdelft.com/>
<image002.gif><http://www.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.
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to
[email protected]<mailto:[email protected]>
---
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]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/8f1ba4e23ebe4932bcaff5319933f7d1%40tno.nl<https://groups.google.com/d/msgid/topbraid-users/8f1ba4e23ebe4932bcaff5319933f7d1%40tno.nl?utm_medium=email&utm_source=footer>.
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to
[email protected]<mailto:[email protected]>
---
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]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/7D5006D9-9F88-4482-A825-EF3EB4B0B7F2%40topquadrant.com<https://groups.google.com/d/msgid/topbraid-users/7D5006D9-9F88-4482-A825-EF3EB4B0B7F2%40topquadrant.com?utm_medium=email&utm_source=footer>.
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to
[email protected]<mailto:[email protected]>
---
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]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/b5380627-e2e2-4a25-a985-9a27f54149aa%40email.android.com<https://groups.google.com/d/msgid/topbraid-users/b5380627-e2e2-4a25-a985-9a27f54149aa%40email.android.com?utm_medium=email&utm_source=footer>.
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to
[email protected]<mailto:[email protected]>
---
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]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/B4EF38BA-6BD7-487B-ADE3-425A09A6457D%40topquadrant.com<https://groups.google.com/d/msgid/topbraid-users/B4EF38BA-6BD7-487B-ADE3-425A09A6457D%40topquadrant.com?utm_medium=email&utm_source=footer>.
UK +44 (0) 7788 561308
US +1 (336) 283-0808
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to
[email protected]<mailto:[email protected]>
---
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
[email protected]<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/7AB6C76E-D683-4DD5-BAC3-9B5011EF65A8%40topquadrant.com<https://groups.google.com/d/msgid/topbraid-users/7AB6C76E-D683-4DD5-BAC3-9B5011EF65A8%40topquadrant.com?utm_medium=email&utm_source=footer>.
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to
[email protected]<mailto:[email protected]>
---
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
[email protected]<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/a494b31e-32a1-4e43-9cc5-34136d2e374b%40email.android.com<https://groups.google.com/d/msgid/topbraid-users/a494b31e-32a1-4e43-9cc5-34136d2e374b%40email.android.com?utm_medium=email&utm_source=footer>.
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to
[email protected]<mailto:[email protected]>
---
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]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/b24cd7aba5c94defb458f3fb52145698%40tno.nl<https://groups.google.com/d/msgid/topbraid-users/b24cd7aba5c94defb458f3fb52145698%40tno.nl?utm_medium=email&utm_source=footer>.
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to
[email protected]<mailto:[email protected]>
---
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]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/889C0FF6-3716-4AA5-A070-D2A0B5FAD5DB%40topquadrant.com<https://groups.google.com/d/msgid/topbraid-users/889C0FF6-3716-4AA5-A070-D2A0B5FAD5DB%40topquadrant.com?utm_medium=email&utm_source=footer>.
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to
[email protected]<mailto:[email protected]>
---
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]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/3341cd83-5795-409f-9939-070f2c7b9780%40email.android.com<https://groups.google.com/d/msgid/topbraid-users/3341cd83-5795-409f-9939-070f2c7b9780%40email.android.com?utm_medium=email&utm_source=footer>.
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to
[email protected]<mailto:[email protected]>
---
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]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/8E3C2DA6-2102-45B2-A906-A56C0AF3335B%40topquadrant.com<https://groups.google.com/d/msgid/topbraid-users/8E3C2DA6-2102-45B2-A906-A56C0AF3335B%40topquadrant.com?utm_medium=email&utm_source=footer>.
--
The topics of this mailing list include TopBraid EDG and related technologies
such as SHACL.
To post to this group, send email to [email protected]
---
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].
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/cba1eaf7c5bd47758d20b8e4173fe43d%40tno.nl.
