Re: Entailment checking with pizza ontology

Mikael Pesonen <[email protected]> Fri, 6 Mar 2020 11:30:55 +0200

Newsgroups	gmane.org.w3c.semantic-web
Message-ID	<[email protected]>

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.

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.