- 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