W3C home > Mailing lists > Public > semantic-web@w3.org > February 2020

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

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:46:02 UTC