Re: Entailment checking with pizza ontology

There was couple of errors, Ontology needs to be the same and it seems 
all properties and classes need to be introduced?

Atleast this works:

Prefix: : <>
Ontology: <>

ObjectProperty: hasTopping
Class: MozzarellaTopping
Class: Margherita
         hasTopping some MozzarellaTopping

Received on Friday, 28 February 2020 11:04:51 UTC