Web Ontology Reasoning in the SHOQ(Dn) Description Logic

Dear All,

I have recently published a paper "Web Ontology Reasoning in the SHOQ(Dn) Description Logic" in the M4M-2 workshop. Comments are welcome.

Abstract

The Semantic Web is a vision of the next generation Web in which semantic markup
will make Web resources more accessible to automatic processes. Ontologies will be
key components of the Semantic Web, and it is proposed that Description Logics will
provide the formal underpinnings and reasoning services for Web ontology languages.
In this paper we will show how one such description logic, SHOQ(D), can be extended
with n-ary datatype predicates, to give SHOQ(Dn), and we will present an algorithm for
deciding the satisfability of SHOQ(Dn) concepts, along with a proof of its soundness and
completeness. The work is motivated by the requirement for n-ary datatype predicates
in relation to "real world" properties such as size, weight and duration, in the Semantic
Web applications.

Full Paper:
http://catbells.cs.man.ac.uk/jpan/Zhilin/download/Paper/Pan-shoqdn-2001.pdf

Regards,
Jeff
--

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Jeff Z. Pan  (Home Page: http://www.cs.man.ac.uk/~panz )

Room 2.100                                       email: pan@cs.man.ac.uk
Department of Computer Science   Tel:+44 (0)161 275 6145
University of Manchester                 Fax:+44 (0)161 275 6236
Oxford Road, Manchester
M13 9PL,UK

Here is a Map to Jeff's office:
http://uk.multimap.com/p/browse.cgi?pc=M139PL&GridE=&GridN=&scale=10000&title=Welcome%20to%20Jeff's%20Office&cat=www
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~