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>

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
         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
  (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