Re: More on additional semantic information

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