Re: Entailment checking with pizza ontology

Hi,

you may be interested in PEW, the Possible World Explorer.

http://people.irisa.fr/Sebastien.Ferre/software/pew/

The main benefit is that the user interface guides the
user in the building of satisfiable class expressions.
Selecting class Margherita pizza, it will suggest "has topping",
and from there it will suggest possible ingredients.

With PEW, we discovered that vegetarian pizza can have meat
or fish inside, for example !

There is a screencast to give an idea of what can be done.

Best,
Sébastien Ferré

On 02/28/2020 11:53 AM, Mikael Pesonen wrote:
> Hi,
> 
> I'm learning to do entailment with HermiT and I'm trying to do basic 
> checking: does Margherita pizza have Mozzarella topping?
> 
> I'm using the pizza ontology from here: 
> https://protege.stanford.edu/ontologies/pizza/pizza.owl and trying to 
> write entailment ontology with Manchester syntax:
> 
> 
> Prefix: : <http://example.org/margherita.owl#>
> Ontology: <http://example.org/margherita.owl>
> Class: Margherita
>      SubClassOf:
>          hasTopping some MozzarellaTopping
> 
> 
> This results error:
> 
> Parser: ManchesterOWLSyntaxOntologyParser
> Encountered hasTopping at line 5 column 8. Expected one of:
>          Class name
>          Object property name
>          Data property name
>          inverse
>          not
>          (
>          {
>   (Line 5)
> 
> 
> I'm failing to find any examples for entailment ontologies. Anyone know 
> any, or can help with this one?
> 
> Thank you!
> 
>