Entailment checking with pizza ontology

• From: Mikael Pesonen <mikael.pesonen@lingsoft.fi>
• Date: Fri, 28 Feb 2020 12:53:29 +0200
• To: semantic-web@w3.org
• Message-ID: <9342a886-7801-78b4-1002-8dedfcb831db@lingsoft.fi>

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!

Received on Friday, 28 February 2020 10:53:46 UTC