Re: [topbraid-users] owl full?

2019-07-05 Thread Irene Polikoff
Yes, all RDF is valid in OWL Full while DL places certain restrictions. TopBraid products support all valid RDF. > On Jul 5, 2019, at 7:10 AM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > wrote: > > > What’s methodToDetermine? > > e.g. if methodToDetermine is an OWL annotation

RE: [topbraid-users] owl full?

2019-07-05 Thread 'Bohms, H.M. (Michel)' via TopBraid Suite Users
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 propertynot just annotation FWIW no valid RDF is “not allowed at all”. Worst case a DL reasoner complains, but you are

Re: [topbraid-users] owl full?

2019-07-05 Thread dprice
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

[topbraid-users] owl full?

2019-07-05 Thread 'Bohms, H.M. (Michel)' via TopBraid Suite Users
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