Hi Derek,
1) I believe the inference that you expect will not be made unless you
use owl:equivalentClass instead of rdfs:subClassOf. As stated, the
restriction just defines necessary conditions for being an instance of
RealStout, but no "sufficient" conditions that would classify the given
in
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 [
