Re: From OWL to SHIF(D) and SHION(D)

Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From
SHIQ and RDF to OWL: The making of a web ontology language. J. of Web
Semantics, 1(1):7-26, 2003.
http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/HoPH03a.pdf

Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. OWL web
ontology language semantics and abstract syntax. W3C Recommendation,
10 February 2004. Available at http://www.w3.org/TR/owl-semantics/.

Ian Horrocks and Peter Patel-Schneider. Reducing OWL entailment to
description logic satisfiability. J. of Web Semantics, 1(4):345-357,
2004.
http://www.cs.man.ac.uk/~horrocks/Publications/download/2004/HoPa04b.pdf

On 8/16/06, Chuming Chen <chen@musc.edu> wrote:
>
> Dear All,
>
> Can anyone point some references regarding the mapping from OWLs to
> their corresponding description logics SHIF(D) and SHION(D)?
>
> Thanks,
>
> Chuming
>
>


-- 
Jie Bao