Re: Entailment checking with pizza ontology

Got explanation in HermiT forum: since entailment is OWL, it's part of 
the spec that all named entities, except named individuals, must have a 
declaration in the ontology or in its imports closure.

Received on Friday, 6 March 2020 09:31:16 UTC