W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > July to September 2004

Re: More on additional semantic information

From: Enrico Franconi <franconi@inf.unibz.it>
Date: Wed, 14 Jul 2004 22:02:39 +0200
Message-Id: <C26EC02C-D5D0-11D8-BE20-000A9575BDDE@inf.unibz.it>
To: RDF Data Access Working Group <public-rdf-dawg@w3.org>

On 14 Jul 2004, at 17:15, Jos De_Roo wrote:
> in case we would have
> :EMPLOYEE owl:equivalentClass [ owl:unionOf (:WORKER :MANAGER)].
> which is of course different from what you said i.e.
> :WORKER owl:equivalentClass [ owl:unionOf (:EMPLOYEE :MANAGER)].
> then in that case the N3QL query
> [] q:select {(?X ?Y ?Z)};
>    q:where {?X a :WORKER.   ?X :has-friend ?Y.
>             ?Y a :EMPLOYEE. ?Y :has-friend ?Z.
>             ?Z a :MANAGER}.
> returns
> (:Paul :Andrea :Caroline) .
> using owl inferencing

I don't completely understand why you ask that. Anyway:
yes, since Andrea, being a worker, is also an employee in every model.
This can be computed without reasoning by cases; it is a trivial 
inference due to the fact that, given the ontology, worker is a 
subclass of employee.


Enrico Franconi                  - franconi@inf.unibz.it
Free University of Bozen-Bolzano - http://www.inf.unibz.it/~franconi/
Faculty of Computer Science      - Phone: (+39) 0471-016-120
I-39100 Bozen-Bolzano BZ, Italy  - Fax:   (+39) 0471-016-129
Received on Wednesday, 14 July 2004 16:03:18 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:00:44 UTC