W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2008

Re: Intersection of properties?

From: Rinke Hoekstra <hoekstra@uva.nl>
Date: Tue, 5 Aug 2008 08:52:58 +0200
Cc: Pavel Klinov <pklinov@cs.man.ac.uk>, Michael Schneider <schneid@fzi.de>, Jeff Thompson <jeff@thefirst.org>, public-owl-dev@w3.org, Bijan Parsia <bparsia@cs.man.ac.uk>
Message-Id: <6BB67488-83AC-4DB3-A15B-29E91111FDFE@uva.nl>
To: Rinke Hoekstra <hoekstra@uva.nl>

On 5 aug 2008, at 08:48, Rinke Hoekstra wrote:
>
> Washington subClassOf (City or Human)
>

Oops, that should have been a class assertion, not a subclass axiom.

-Rinke


> That is, the inconsistent double class assertion is an intersection,  
> whereas what you are aiming at is a union.
>
> -Rinke
>
>>
>> Second, some sort of similar ambiguity can be handled in OWL via  
>> punning.
>> Third, yes, Michael is correct, Pronto does provide non-monotonic  
>> (i.e. default) reasoning. You're welcome to read my blog posts on  
>> that [1] if you're interested. Michael's example is correct but may  
>> not be the best one here because the statements essentially  
>> represent probabilistic facts about *a single* object (which can  
>> belong to one concept or another, we don't know for sure which  
>> one). But what you're looking for is the representation of two  
>> distinct objects using the same name (unless I misunderstood).
>> Finally, if you're interested in contradictions, I suggest you take  
>> a look at the Anthony Harper's research [2]. He explains how  
>> conflicting pieces of knowledge can be backed by different  
>> arguments so that users (reasoning engines) can choose one or  
>> another during reasoning.
>>
>> [1] http://clarkparsia.com/weblog/category/semweb/probabilistic-reasoning/
>> [2] http://www.cs.ucl.ac.uk/staff/a.hunter/research/ 
>> argumentation.html
>>
>> cheers,
>> pavel
>>
>>>
>>> For the moment, it may or may not be interesting for you to have a  
>>> look at
>>> Pronto:
>>>
>>> <http://pellet.owldl.com/pronto>
>>>
>>> This Pellet extension provides probabilistic reasoning. I didn't  
>>> yet find
>>> the time to look deeper at it, but adapting your example above, I  
>>> guess you
>>> could express assertions like:
>>>
>>> * Washington is a Human with prob = 45%
>>> * Washington is a City with prob = 75%
>>>
>>> Now, the result wouldn't be a real contradiction anymore, but only  
>>> wrong
>>> with a certain (well defined) degree of probability.
>>>
>>> But I'm not sure that this is a valid example for Pronto. Bijan  
>>> can (and
>>> certainly will! :)) tell you more.
>>>
>>> Cheers,
>>> Michael
>>>
>>> --
>>> Dipl.-Inform. Michael Schneider
>>> FZI Forschungszentrum Informatik Karlsruhe
>>> Abtl. Information Process Engineering (IPE)
>>> Tel  : +49-721-9654-726
>>> Fax  : +49-721-9654-727
>>> Email: Michael.Schneider@fzi.de
>>> Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555
>>>
>>> FZI Forschungszentrum Informatik an der Universität Karlsruhe
>>> Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
>>> Tel.: +49-721-9654-0, Fax: +49-721-9654-959
>>> Stiftung des bürgerlichen Rechts
>>> Az: 14-0563.1 Regierungspräsidium Karlsruhe
>>> Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi  
>>> Studer
>>> Vorsitzender des Kuratoriums: Ministerialdirigent Günther  
>>> Leßnerkraus
>>>
>>>
>>>
>>
>
> -----------------------------------------------
> Drs. Rinke Hoekstra
>
> Email: hoekstra@uva.nl    Skype:  rinkehoekstra
> Phone: +31-20-5253499     Fax:   +31-20-5253495
> Web:   http://www.leibnizcenter.org/users/rinke
>
> Leibniz Center for Law,          Faculty of Law
> University of Amsterdam,            PO Box 1030
> 1000 BA  Amsterdam,             The Netherlands
> -----------------------------------------------
>
>
>

-----------------------------------------------
Drs. Rinke Hoekstra

Email: hoekstra@uva.nl    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------
Received on Tuesday, 5 August 2008 06:53:36 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:56 GMT