Re: Literals in OWL - Clarification

Thanks for that (and an interesting paper!).

I've got the DL handbook, so have something similar - I was looking for 
the OWL defn.

Thanks,

Matt

guilin qi wrote:
> Dear Matt,
> 
> I think you can find what you want in the following paper (but it only 
> gives literals in ALC):
> 
> Meghyn Bienvenu. Consequence Finding in ALC 
> <http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-250/paper_49.pdf>
> 
> Regards,
> 
> Guilin
> 
> ----- Original Message ----
> From: Matt Williams <matthew.williams@cancer.org.uk>
> To: Bijan Parsia <bparsia@cs.man.ac.uk>
> Cc: Owl Dev <public-owl-dev@w3.org>
> Sent: Friday, 18 January, 2008 9:05:06 AM
> Subject: Re: Literals in OWL - Clarification
> 
> 
> 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://acl.icnet.uk/%7Emw>
> http://adhominem.blogsome.com/
> +44 (0)7834 899570
> 
> 
> 
> ------------------------------------------------------------------------
> Sent from Yahoo! 
> <http://us.rd.yahoo.com/mailuk/taglines/isp/control/*http://us.rd.yahoo.com/evt=51949/*http://uk.docs.yahoo.com/mail/winter07.html> 
> - a smarter inbox.

-- 
http://acl.icnet.uk/~mw
http://adhominem.blogsome.com/
+44 (0)7834 899570

Received on Friday, 18 January 2008 08:33:21 UTC