W3C home > Mailing lists > Public > semantic-web@w3.org > August 2015

Why this ontology is not marked as inconsistent?

From: Mauro Dragoni <dragoni@fbk.eu>
Date: Sat, 22 Aug 2015 18:06:50 +0200
Message-ID: <CAFvSjQsTyN3DUfv1vDoh9CeYZFUdbLJ_RWZHSeKuYey+JFRYEg@mail.gmail.com>
To: Semantic Web <semantic-web@w3.org>
Dear all,
I'm trying to model some inconsistency examples for working purposes but
I'm not able to understand why this ontology is not marked as inconsistent
by the Hermit reasoner through Protege.

Briefly, I defined three concepts "Shop", "Customer", and "Worker".
A property "hasCustomer" with domain "Shop" and range "Customer".
Three individuals "S1", "C1", and "W1" of types "Shop", "Customer", and
"Worker" respectively.
On the "Shop" concept I defined a universal restriction on the
"hasCustomer" property.
Then, on the individual "S1", I instantiated the relationship "hasCustomer"
with the individual "W1" (type Worker) instead of "C1" (type Customer).

So, I expected an inconsistency message by the reasoner about the property
Instead, it infers that "W1" is also of type Customer.

I'm trying to figuring it out... but any help is appreciated.

Kind regards,

Dr. Mauro Dragoni
Post-Doc Researcher at Fondazione Bruno Kessler (FBK-IRST)
Via Sommarive 18, 38123, Povo, Trento, Italy
Tel. 0461-314053

Received on Saturday, 22 August 2015 16:42:13 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:43:02 UTC