[Pellet-users] Validation problem with restriction

[Evren Sirin]

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/