[Pellet-users] Validation problem with restriction

Fri Jul 13 15:41:08 UTC 2007

On 7/13/07 11:38 AM, Swanson, Tim wrote:
> It is also possible here that 'Graz' and 'Vienna' have not been declared different.
>   
> Because of the lack of a unique name assumption (UNA) in RDF/OWL, it is possible for a vehicle to be registered in two different cities even if the ontology says that it can only be registered in one (via the functional property). In this case, the reasoner will simply make 'Graz' and 'Vienna' equivalent.
>
> For an inconsistency to show up, you would have to declare them (the cities) to be different (using owl:differentFrom).
>   
In this ontology, 'Graz' and 'Vienna' are used as plain literal values 
which are assumed to be different since their lexical form is different. 
If they were defined as individuals then you are right that an explicit 
owl:differentFrom assertion would be required for the inconsistency to 
show up.

Cheers,
Evren
> Tim Swanson
> Semantic Arts, Inc.
> Fort Collins, Colorado
>
>
>
>   
>> -----Original Message-----
>> From: pellet-users-bounces at lists.owldl.com [mailto:pellet-users-
>> bounces at lists.owldl.com] On Behalf Of Evren Sirin
>> Sent: Friday, July 13, 2007 8:42 AM
>> To: Stadlhofer Bernd
>> Cc: pellet-users at lists.owldl.com
>> Subject: Re: [Pellet-users] Validation problem with restriction
>>
>> On 7/13/07 10:16 AM, Stadlhofer Bernd wrote:
>>     
>>> 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.
>>     
>> No, this should work. I wouldn't be surprised if this was a URI
>> problem.
>> For example, looking at the OWL snippet you sent, I see that in the
>> restriction you have:
>>
>> <owl:onProperty rdf:resource="RegisteredIn" />
>>
>> Note that, ReigsteredIn is missing a # which would change how that
>> relative URI will be resolved, e.g. if the xml:base is
>> http://www.example.org/test then this would resolve as
>> http://www.example.org/RegisteredIn which is different from how
>> rdf:ID=""RegisteredIn" is resolved. If you run species validation, you
>> would see a warning message printed about it.
>>
>> When I fix the # in the snippet, add the functionality restriction and
>> load it to Pellet I get an inconsistency as expected. If you are sure
>> that all URI's are correct and still don't see this result please send
>> us the exact ontology and the code you are using so we will see if
>> there
>> is a bug somewhere.
>>     
>>> 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.
>>     
>> That's what will happen with open world semantics and you cannot
>> disable
>> it in Pellet. See [1] for more information on closed world reasoning.
>>
>> Cheers,
>> Evren
>>
>> [1] http://pellet.owldl.com/faq/closed-world/
>>     
>>> 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
>>>
>>>       
>> _______________________________________________
>> 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/
>>