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

RE: Entailment checking with pizza ontology

From: William Van Woensel <William.Van.Woensel@Dal.Ca>
Date: Fri, 28 Feb 2020 14:50:18 +0000
To: Mikael Pesonen <mikael.pesonen@lingsoft.fi>, "semantic-web@w3.org" <semantic-web@w3.org>
Message-ID: <YTOPR0101MB1530E80520B4D1CC690289FCD4E80@YTOPR0101MB1530.CANPRD01.PROD.OUTLOOK.COM>
Hi Mikael,

You are right, your prior version results in a syntax error when I try opening it in Protégé. At least to me, this seems to be in contradiction with the Open World Assumption, and its resulting lack of negation as failure – i.e., just because a resource does not have an object property type does not mean that it is not in fact an object property.

It is also strange that a syntax exception is thrown since your ontology does seem to be in line with the Manchester syntax document, which stipulates that an objectPropertyIRI is simply an IRI<https://www.w3.org/TR/owl2-manchester-syntax/#IRIs.2C_Integers.2C_Literals.2C_and_Entities>, but I could be wrong. At the same time, the exact same ontology in Turtle does not raise an exception:

@prefix : <http://www.co-ode.org/ontologies/pizza/pizza.owl#> .

@prefix owl: <http://www.w3.org/2002/07/owl#> .

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

:Margherita rdf:type owl:Class ;

                rdfs:subClassOf [ rdf:type owl:Restriction ;

                                  owl:onProperty :hasTopping ;

                                  owl:someValuesFrom :MozzarellaTopping

                ] .


-----Original Message-----

From: Mikael Pesonen <mikael.pesonen@lingsoft.fi>

Sent: February-28-20 7:04 AM

To: semantic-web@w3.org

Subject: 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


        hasTopping some MozzarellaTopping

Received on Friday, 28 February 2020 14:50:34 UTC

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