owl full?

9 views
Skip to first unread message

Bohms, H.M. (Michel)

unread,
Jul 5, 2019, 5:34:33 AM7/5/19
to topbrai...@googlegroups.com

I have asked before but forgot exact outcome.

 

Suppose I define:

 

:height rdf:type owl:DatatypeProperty ;

rdfs:domain :Door ;

:methodToDetermine “M123” .

 

 

Is this:

- allowed OWL Full, or

- not allowed at all

 

I hope: OWL Full since this all owes use all features of RDF (ie it does not constrain).

 

Thx for advice,

Michel

 

 

 

 

 

 

 

Dr. ir. H.M. (Michel) Böhms
Senior Data Scientist

T +31888663107
M +31630381220
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.

 

 

 

 

dprice

unread,
Jul 5, 2019, 6:54:32 AM7/5/19
to topbrai...@googlegroups.com
What’s methodToDetermine?

e.g. if methodToDetermine is an OWL annotation property, it is entire ignored by reasoners so it’s even valid in DL.

FWIW no valid RDF is “not allowed at all”. Worst case a DL reasoner complains, but you are welcome to ignore those complaints or partition graphs so the complaints go away.

That said, this looks like a case where more modelling could produce a better solution. The property you’re defining is actually doorHeight, not a general height property (i.e. other things have height too, don’t they?) The value of methodToDetermine is clearly the name or code property for a MeasurementActivity which, for example, might each have a different accuracy and so you’d know that a Door height is actually the recorded value +- the accuracy value related to the MeasurementActivity - and what about a UoM?

Cheers,
David

On 5 Jul 2019, at 10:34, 'Bohms, H.M. (Michel)' via TopBraid Suite Users <topbrai...@googlegroups.com> wrote:

I have asked before but forgot exact outcome.
 
Suppose I define:
 
:height rdf:type owl:DatatypeProperty ;
rdfs:domain :Door ;
:methodToDetermine “M123” .
 
 
Is this:
- allowed OWL Full, or
- not allowed at all
 
I hope: OWL Full since this all owes use all features of RDF (ie it does not constrain).
 
Thx for advice,
Michel
 
 
 
 
 
 
Dr. ir. H.M. (Michel) Böhms
Senior Data Scientist

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 topbraid-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/58dca240d74e4789ad3e8a1d9dc8565a%40tno.nl.
For more options, visit https://groups.google.com/d/optout.


Bohms, H.M. (Michel)

unread,
Jul 5, 2019, 7:10:33 AM7/5/19
to topbrai...@googlegroups.com

 

What’s methodToDetermine?

 

e.g. if methodToDetermine is an OWL annotation property, it is entire ignored by reasoners so it’s even valid in DL.

 

 

> I meant a real property....not just annotation....

 

 

FWIW no valid RDF is “not allowed at all”. Worst case a DL reasoner complains, but you are welcome to ignore those complaints or partition graphs so the complaints go away.

 

> hmmm so the construct is valid RDF hence valid OWLFull?

 

That said, this looks like a case where more modelling could produce a better solution. The property you’re defining is actually doorHeight, not a general height property (i.e. other things have height too, don’t they?) The value of methodToDetermine is clearly the name or code property for a MeasurementActivity which, for example, might each have a different accuracy and so you’d know that a Door height is actually the recorded value +- the accuracy value related to the MeasurementActivity - and what about a UoM?

 

> sure...but to avoid modelling complexity we try to see how far we come with “language”........

> similar issue: we now objectify(in the modelling)  predicates to attach meta-data. In future we hope to use RDF* here (nesting a triple in a subject)

 

Irene Polikoff

unread,
Jul 5, 2019, 11:53:26 AM7/5/19
to topbrai...@googlegroups.com
Yes, all RDF is valid in OWL Full while DL places certain restrictions.

TopBraid products support all valid RDF.

Reply all
Reply to author
Forward
0 new messages