W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2004

Can there be a decidable subset of OWL FULl?

From: Shengping Liu <lsp@is.pku.edu.cn>
Date: Tue, 29 Jun 2004 23:36:55 +0800
To: <www-rdf-logic@w3.org>
Message-ID: <000001c45dee$e8c264b0$ab4669a2@tcl.is.pku.edu.cn>

  When trying to use OWL in real applications, Im in trouble: 
1) If I use OWL DL, most of constructs in RDF(S) cant be used, such as
statement about statement, class as instance. The corresponding RDF
become only a web-ized DL Abox language and arguably can be still called
RDF. We know that one design goals of RDF is "anyone can make statements
about any resource". But when using OWL DL, RDF loses its interesting
2)If I use OWL FULL, RDF(S) is okay, but reasoning in OWL full is
undecidable and there are no inference engine for OWL FULL.

I hope there can be a decidable subset of OWL FULL that is fully
compatible with  
RDF(S)(in syntax and semantics) and is more expressive than RDF Schema.
Since reasoning in RDF(S) is decidable, is there a conclusion that
RDF(S) is the most expressive and decidable language under the RDF

One application of the decidable subset of OWL Full is RDF Schema
mapping, for example, mapping a class in RDF Schema_A to an instance in
RDF Schema_B. 

Thanks for any comments.

= = = = = = = = = = = = = = = = = = = = = = = = = = = =  
Shengping Liu(ƽ)
Department of Information Science, Peking University, China.
Phone: 86-10-62757175
Mail:  lsp@is.pku.edu.cn
Received on Tuesday, 29 June 2004 11:36:52 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:42 UTC