I was expecting the ZwiecBalticPorter instance's membership of the RealStout class to be inferred.
On Thursday, 17 January 2019 18:51:04 UTC, Derek S wrote: > > Hi, > > I have a class this: > > bevon:RealStout > > rdf:type owl:Class ; > > rdfs:subClassOf bevon:Beer ; > > rdfs:subClassOf [ > > rdf:type owl:Restriction ; > > owl:onProperty bevon:EBCcolor ; > > owl:someValuesFrom [ > > rdf:type rdfs:Datatype ; > > owl:onDatatype xsd:integer ; > > owl:withRestrictions ( > > [ > > xsd:minInclusive 45 ; > > ] > > ) ; > > ] ; > > ] ; > > rdfs:subClassOf [ > > rdf:type owl:Restriction ; > > owl:onProperty bevon:abv ; > > owl:someValuesFrom [ > > rdf:type rdfs:Datatype ; > > owl:onDatatype xsd:decimal ; > > owl:withRestrictions ( > > [ > > xsd:minExclusive "7"^^xsd:decimal ; > > ] > > ) ; > > ] ; > > ] ; > > . > > > [image: class-def.png] > > > > and I have this instance > > > beverage:ZwiecBalticPorter > > rdf:type gr:ProductOrServiceModel ; > > rdf:type bevon:Beer ; > > rdf:type owl:NamedIndividual ; > > bevon:EBCcolor 46 ; > > bevon:abv 9.5 ; > > bevon:ibu "40"^^xsd:nonNegativeInteger ; > > bevon:manufacturer <https://en.wikipedia.org/wiki/Żywiec_Brewery> ; > > bevon:srm "29"^^xsd:nonNegativeInteger ; > > > > When I click on the RealStout class I don't see any inferred instances. - > am I missing something? > > > [image: inf1.png] > > > -- 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. For more options, visit https://groups.google.com/d/optout.
