W3C home > Mailing lists > Public > semantic-web@w3.org > October 2010

Are literals owl:Things?

From: Jesse Weaver <weavej3@rpi.edu>
Date: Fri, 8 Oct 2010 12:39:51 -0400
Message-Id: <3C41EB05-2637-4724-BBDA-F2659195256A@rpi.edu>
To: semantic-web@w3.org
Semantic Web Mailing List,

I was recently asked a question by a former colleague about whether  
literals are considered owl:Things.  Initially, my intuition was that  
literals are rdfs:Resources but they are not owl:Things.  However,  
having looked into the matter more closely, I think I have come to a  
different conclusion which I would like to sanity check with the  
semantic web community.  Are the following statements true?

Under OWL 1 Direct Model-Theoretic Semantics, literals are not  
(EC(owl:Thing) = O where O is a subset of R that is disjoint from LV  

Under OWL 1 RDFS-Compatible Semantics, literals are owl:Things for OWL  
1 Full and not for OWL 1 DL.
(CEXT_I(S_I(owl:Thing)) = IOT [2], where IOT = R_I for OWL Full [3]  
and IOT is disjoint with LV_I for OWL DL [4].)

Under OWL 2 Direct Semantics, literals are not owl:Things.
((owl:Thing)^C = \Delta_I where \Delta_I is disjoint with \Delta_D [5].)

Under OWL 2 RDF-Based Semantics, literals are owl:Things.
(ICEXT(I(owl:Thing)) = IR [6].)

[1] http://www.w3.org/TR/owl-semantics/direct.html#3.1
[2] http://www.w3.org/TR/owl-semantics/rdfs.html#5.2
[3] http://www.w3.org/TR/owl-semantics/rdfs.html#5.3
[4] http://www.w3.org/TR/owl-semantics/rdfs.html#5.4
[5] http://www.w3.org/TR/owl2-direct-semantics/#Interpretations
[6] http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_the_Vocabulary_Classes

Jesse Weaver
Ph.D. Student, Patroon Fellow
Tetherless World Constellation
Rensselaer Polytechnic Institute

Received on Sunday, 10 October 2010 21:22:21 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:20 UTC