[Pellet-users] Validation problem with restriction

[Stadlhofer Bernd]

Now I declared the property RegisteredIn as FunctionalProperty with:
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty" />

But the reasoner still makes the two assumptions (Automobile is registered in Graz and Vienna) and doesn't detect an inconsistency.

I simply want to model that the property RegisteredIn of an instance of Class AutomobileGraz must have the value 'Graz'. How is that possible with OWL if not with an owl:Restriction? I don't want the reasoner to assume that an instance of AutomobileGraz is registered in Graz, I want the reasoner to check an instance of AutomobileGraz if it is registered in Graz.
Is it possible to model this constraint with OWL? If not, maybe with a SWRL rule?

Thanks for your help!

Kind regards
Bernd

-----Ursprüngliche Nachricht-----
Von: pellet-users-bounces at lists.owldl.com [mailto:pellet-users-bounces at lists.owldl.com] Im Auftrag von Evren Sirin
Gesendet: Freitag, 13. Juli 2007 15:15
An: Stadlhofer Bernd
Cc: pellet-users at lists.owldl.com
Betreff: Re: [Pellet-users] Validation problem with restriction

This is due to the Open WorldAssumption of OWL. There is nothing in your
ontology that prevents an automobile to be registered in two cities. If
you define the property RegisteredIn to be a functional property then
you should get an inconsistency.

Cheers,
Evren

On 7/13/07 6:21 AM, Stadlhofer Bernd wrote:
>
> ------------------------------------------------------------------------
>
> Subject:
> Validation problem with restriction
> From:
> "Stadlhofer Bernd" <Bernd.Stadlhofer.ima03 at fh-joanneum.at>
> Date:
> Fri, 13 Jul 2007 12:21:50 +0200
> To:
> <pellet-users at lists.owldl.com>
>
> To:
> <pellet-users at lists.owldl.com>
>
>
> Hi!
>
> I have the following problem when validating an OWL-Instance:
>
> In the OWL-Model I define a class with ID Â"AutomobileÂ". This class has
> the property Â"RegisteredInÂ". After that I define a subclass with ID
> Â"AutomobileGrazÂ" with a restriction on the property Â"RegisteredInÂ" (as
> you can see at the end of the mail). Now I define an Instance of class
> Â"AutomobileGrazÂ" with a wrong value for Â"RegisteredInÂ".
>
> Unfortunately, when validating the OWL-Model with the Pellet-Reasoner,
> the reasoner doesnÂ't recognize the inconsistency. It seems so that the
> Reasoner ignores the inconsistency and automatically makes the two
> assumptions that the Automobile is registered in Graz (as in the
> restriction) and Vienna (as in the instance).
>
> Here you can see the relevant reasoned statements of the reasoner.
>
> (someNamespace#Automobile1 someNamespace#RegisteredIn ' Vienna
> '^^http://www.w3.org/2001/XMLSchema#string)
>
> (someNamespace#Automobile1 someNamespace#RegisteredIn ' Graz ')
>
> How is that possible? Is there a way to configure the Pellet-Reasoner,
> so that I get a ValidyReport for the inconsistency when calling
> Â"infModel.validate();Â" ?
>
> Thanks for your help!
>
> Kind regards
>
> Bernd Stadlhofer
>
> _____________________________________________________________________________________________________________
>
>
> <owl:Class rdf:ID="Automobile">
>
> <rdfs:comment>Class for a Automobile</rdfs:comment>
>
> <rdfs:label>Automobile</rdfs:label>
>
> </owl:Class>
>
> <owl:DatatypeProperty rdf:ID="LicencePlateNumber">
>
> <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
>
> <rdfs:domain rdf:resource="#Automobile "/>
>
> </owl:DatatypeProperty>
>
> <owl:DatatypeProperty rdf:ID="Type">
>
> <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
>
> <rdfs:domain rdf:resource="#Automobile "/>
>
> </owl:DatatypeProperty>
>
> <owl:DatatypeProperty rdf:ID="RegisteredIn">
>
> <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
>
> <rdfs:domain rdf:resource="#Automobile"/>
>
> </owl:DatatypeProperty>
>
> <owl:Class rdf:ID="AutomobileGraz">
>
> <rdfs:comment>Class for a Automobile registered in Graz </rdfs:comment>
>
> <rdfs:subClassOf rdf:resource="#Automobile"/>
>
> </owl:Class>
>
> <owl:Class rdf:about="#AutomobileGraz">
>
> <rdfs:subClassOf>
>
> <owl:Restriction>
>
> <owl:onProperty rdf:resource="RegisteredIn" />
>
> <owl:hasValue> Graz </owl:hasValue>
>
> </owl:Restriction>
>
> </rdfs:subClassOf>
>
> </owl:Class>
>
> <AutomobileGraz rdf:ID="Automobile1">
>
> <LicencePlateNumber>123-AB-YZ</LicencePlateNumber>
>
> <Type>Renault</Type>
>
> <RegisteredIn>Vienna</RegisteredIn>
>
> </AutomobileGraz>
>
> ------------------------------------------------------------------------
>
> FH JOANNEUM Gesellschaft mbH
> Rechtsform/Legal form: GmbH
> Firmenbuchgericht/Court of registry: Landesgericht für ZRS Graz
> Firmenbuchnummer/Company registration: FN 125888 f
> DVR: 0813559
> UID-Nr.: ATU 42361001
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/

_______________________________________________
Pellet-users mailing list
Pellet-users at lists.owldl.com
http://lists.owldl.com/mailman/listinfo/pellet-users
_______________________________________________

Sponsored by Clark & Parsia, LLC http://clarkparsia.com/

FH JOANNEUM Gesellschaft mbH
Rechtsform/Legal form: GmbH
Firmenbuchgericht/Court of registry: Landesgericht für ZRS Graz
Firmenbuchnummer/Company registration: FN 125888 f
DVR: 0813559
UID-Nr.: ATU 42361001