W3C home > Mailing lists > Public > semantic-web@w3.org > August 2006

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

From: Jie Bao <baojie@cs.iastate.edu>
Date: Thu, 17 Aug 2006 13:25:48 -0500
Message-ID: <b6b357670608171125i19a3ac43y521d1eef9bc5f21e@mail.gmail.com>
To: "Chuming Chen" <chen@musc.edu>
Cc: "Semantic Web" <semantic-web@w3.org>

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
Received on Thursday, 17 August 2006 18:25:59 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:58 UTC