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: : <http://www.co-ode.org/ontologies/pizza/pizza.owl#>
Ontology: <http://www.co-ode.org/ontologies/pizza/pizza.owl>

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

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