W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2008

Re: Literals in OWL - Clarification

From: Matt Williams <matthew.williams@cancer.org.uk>
Date: Fri, 18 Jan 2008 08:05:06 +0000
Message-ID: <47905DB2.9040902@cancer.org.uk>
To: Bijan Parsia <bparsia@cs.man.ac.uk>
CC: Owl Dev <public-owl-dev@w3.org>

Dear Bijan,

Thanks for these - I should have been more exact: I am looking for a 
definition of an OWL literal. Something of the form:

"An atom is of the form C(i) or R(i,j) or S(i,d); A literal is an atom 
or a negated atom"

I'm sure it exists - I just can't find it.

Thanks,

Matt

Bijan Parsia wrote:
> 
> For the syntax (and some discussion) in abstract syntax:
>     http://www.w3.org/TR/owl-semantics/syntax.html
> e.g.,:
>     "The built-in RDF datatype, rdf:XMLLiteral, is also an OWL built-in 
> datatype."
> 
> See:
>     http://www.w3.org/TR/owl-semantics/direct.html#3.1
> e.g.,:
>     "Definition: An OWL vocabulary V consists of a set of literals VL 
> and seven sets of URI references...VD, the datatype names of a 
> vocabulary, contains the URI references for the built-in OWL datatypes 
> and rdfs:Literal.
> Definition: As in RDF, a datatype d is characterized by a lexical space, 
> L(d), which is a set of Unicode strings; a value space, V(d); and a 
> total mapping L2V(d) from the lexical space to the value space.
> 
> Definition: A datatype map D is a partial mapping from URI references to 
> datatypes that maps xsd:string and xsd:integer to the appropriate XML 
> Schema datatypes.
> 
> A datatype map may contain datatypes for the other built-in OWL 
> datatypes. It may also contain other datatypes, but there is no 
> provision in the OWL syntax for conveying what these datatypes are."
> 
> etc.
> 
> Cheers,
> Bijan.
> 

-- 
http://acl.icnet.uk/~mw
http://adhominem.blogsome.com/
+44 (0)7834 899570
Received on Friday, 18 January 2008 08:05:39 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:55 GMT