RE: [topbraid-users] Re: combining owl and skos

Wed, 20 Nov 2019 02:57:53 -0800 


On 20 Nov 2019, at 09:36, 'Bohms, H.M. (Michel)' via TopBraid Suite Users 
<[email protected]<mailto:[email protected]>> wrote:


:x is an :Eagle
:Eagle is a :Species
:Species is a owl:Class

clearly asserts that “:x is an instance of something that, in turn, is a 
species” as far as FOL interpretations are concerned. There is no inference to 
be made wrt x: itself.  :Eagle a owl:Class would be inferred though.

> that is an interesting example.....I would argue that there should be no 
> inference here! rdf:type is not transitive I assume….

Transitivity is not the basis for the inference. rdf:type itself is the basis. 
Everything that is the rdfs:range of rdf:type is by-definition an owl:Class.

> AHH, of course...not because x a y a z means x a z!





Blending a domain model with the modelling language itself is indeed something 
to question (e.g. It may be correct but is it necessary? Does it cause anyone 
or any engine a problem?).  It may be it’s there to support query or some other 
not-100%-clear usage, so hard to be definitive.

> that is I think covering my example of adding properties to properties (other 
> example of than punning)



That’s a much more “interesting” discussion in the OWL/semantics world. 
Punning/ClassOfClass is simple by comparison. Lots of approaches depending on 
the specific business need.  FWIW in TopBraid EDG 6.3 the idea of “reification" 
is being introduced to address that business need, from the release notes:
Support for Reification
Users can now annotate facts with additional statements. This can, for example, 
support capturing a provenance of a business term definition or an effective 
date for any value. Annotations can be made for any property value – 
relationship or attribute. Properties that can be reified and the kind of 
annotations that can be made are identified in ontology models.
Technically, EDG now supports RDF* data model. Annotations can be queried in 
SPARQL. To ensure standards compliance and interoperability when data is 
exported in RDF from EDG, reified statements are exported as RDF statements.
> that is very interesting!! Do you actually now support rdf:statement or 
> really the RDF* extension?
> this dev. could even shine new light on our current modelling choices 
> involing “objectification” I guess....(now needed because of meta-data needs 
> and current rdf reification having issues)

The 6.3 Beta is available for download.

Cheers,
David




Of course all this is not intended to suggest that FOL does not solve real 
problems. It does, and so do more powerful logical systems.

And I do remember the discussions we had in which you propose to treat 
different levels of modelness in separate graphs. That would also be an 
instance of punning, but one in which one can systematically separate out the 
different meanings in contexts that are explicitly marked as different. Still a 
lot to process, but at least it becomes tractable what is what when.

> indeed: in my example: the world of property definition and the world of 
> property usage....

My general penchant is that SHACL offers a wealth of tactics to do metamodeling 
in a much more elegant way than with OWL (let alone punning). A good example 
was pointed out by Holger to me earlier today: dash:composite. I believe SHACL 
is seriously underused in tackling the hairier problems in information 
modelling on the semantic web.





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 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/663cc4990f1a4c048f13630a8c0e58fe%40tno.nl<https://groups.google.com/d/msgid/topbraid-users/663cc4990f1a4c048f13630a8c0e58fe%40tno.nl?utm_medium=email&utm_source=footer>.

UK +44 (0) 7788 561308
US +1 (336) 283-0808

--
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/FE61B72C-3CC3-4FE6-B4C2-3F32112C1A04%40topquadrant.com<https://groups.google.com/d/msgid/topbraid-users/FE61B72C-3CC3-4FE6-B4C2-3F32112C1A04%40topquadrant.com?utm_medium=email&utm_source=footer>.

-- 
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/baf41b79dc7a4f0ba1b55104807580b1%40tno.nl.






















					Reply via email to