David, Irene Thx. Will keep owl code for representation only and only expect logical inconsistency checking ...indeed better term than 'infer problem'....from derived/extended shacl variants. Gr michel
Op 1 mrt. 2020 15:49 schreef Irene Polikoff <ir...@topquadrant.com>: Correct. These OWL axioms are outside of the standard OWL-RL profile. Thus, only OWL-DL reasoner will be able to identify inconsistencies “out of the box” - without some change in the ontology or rules. TopBraid does not include OWL DL reasoner and OWL DL, in general, due to its performance characteristics is not recommended for working with data of any scale. In TopBraid, you have the following options: 1. Use SHACL equivalent of these statements 2. Extend rules defining OWL-RL profile to support working with these patterns We recommend #1. On Mar 1, 2020, at 8:54 AM, dprice <dpr...@topquadrant.com<mailto:dpr...@topquadrant.com>> wrote: Hi Michel, First, WRT terminology: OWL DL reasoner do not “infer problems". OWL DL reasoners infers triples and as a separate feature they can report inconsistencies within the limits of the open world assumption. Due to issues discussed many times in this forum, Composer does not come integrated with an OWL DL reasoner. Instead, since many of our customers found the open world assumption and OWL DL inferencing inadequate, and TopQuadrant create SPIN and then helped push SHACL through the W3C. Composer can infer RDFS and OWL RL profile triples using TopSPIN engine. Composer can generate SHACL from OWL where their semantics overlap, and customers can extend that converter as it’s delivered largely as SHACL SPARQL rules rather than as compiled code. Composer can identify errors in data using the SHACL language and engine under a closed world assumption. For more complex data constraints, customers can write SHACL shapes using Composer. There’s a lot of SHACL overview and explanation at https://www.topquadrant.com/technology/shacl/ Hope that clarifies the situation. Cheers, David On 1 Mar 2020, at 11:45, 'Bohms, H.M. (Michel)' via TopBraid Suite Users <topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com>> wrote: Just to be sure, in tbc-owl no way to infer problem for: ex:Bridge rdf:type owl:Class ; rdfs:subClassOf owl:Thing ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom [ rdf:type rdfs:Datatype ; owl:onDatatype xsd:decimal ; owl:withRestrictions ( [ xsd:minExclusive 12 ; ] [ xsd:maxInclusive 19 ; ] ) ; ] ; owl:onProperty ex:heightValue ; ] ; . ex:heightValue rdf:type owl:DatatypeProperty ; owl:propertyChainAxiom ( ex:height rdf:value ) ; . ex:Bridge_1 rdf:type ex:Bridge ; ex:height [ rdf:value 50.0 ; ] ; . I HAVE to revert to shacl first, right? thx Dr. ir. H.M. (Michel) Böhms Senior Data Scientist T +31888663107 M +31630381220 E michel.bo...@tno.nl<mailto:michel.bo...@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. -----Oorspronkelijk bericht----- Van: topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com> <topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com>> Namens Holger Knublauch Verzonden: Thursday, February 27, 2020 11:24 PM Aan: topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com> Onderwerp: Re: [topbraid-users] dat range question On 27/02/2020 21:27, 'Bohms, H.M. (Michel)' via TopBraid Suite Users wrote: - hi holger Some more on this - would tbc syntactically handle this constraint type? Not really. You could enter the definitions using source code. - would onDatatype not be double since range is already xsd:double? - would i need propertychaining first since 2 steps? ex:height.rdf:value... There may be better mailing lists for support of these more obscure features of OWL 2, e.g. the Protege list. Holger -- 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-users+unsubscr...@googlegroups.com<mailto:topbraid-users+unsubscr...@googlegroups.com>. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/078b224b-e51b-07fc-5a07-fdb6962ff35f%40topquadrant.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-users+unsubscr...@googlegroups.com<mailto:topbraid-users+unsubscr...@googlegroups.com>. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/48e81b57ba12440ea95f93dec10d2eb3%40tno.nl. 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 topbraid-users+unsubscr...@googlegroups.com<mailto:topbraid-users+unsubscr...@googlegroups.com>. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/1693C82E-DF32-4D77-96F8-31AC65707D0F%40topquadrant.com<https://groups.google.com/d/msgid/topbraid-users/1693C82E-DF32-4D77-96F8-31AC65707D0F%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 topbraid-users+unsubscr...@googlegroups.com<mailto:topbraid-users+unsubscr...@googlegroups.com>. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/581C2045-EDEA-44B4-9D5C-134319E14BE7%40topquadrant.com<https://groups.google.com/d/msgid/topbraid-users/581C2045-EDEA-44B4-9D5C-134319E14BE7%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 topbraid-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/28faa480-28fd-43fd-87b7-69a43d9754ea%40email.android.com.