- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Wed, 14 Jul 2004 22:02:39 +0200
- 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.
cheers
--e.
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