- From: guilin qi <guilin_qi@yahoo.co.uk>
- Date: Fri, 18 Jan 2008 08:26:12 +0000 (GMT)
- To: Matt Williams <matthew.williams@cancer.org.uk>
- Cc: public-owl-dev@w3.org
Dear Matt,=0A=0AI think you can find what you want in the following paper (=
but it only gives literals in ALC):=0A=0AMeghyn Bienvenu.=0A Conseque=
nce Finding in ALC=0A=0ARegards,=0A=0AGuilin=0A=0A----- 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://adhominem.blogsome.com/
+44 (0)7834 899570
__________________________________________________________
Sent from Yahoo! Mail - a smarter inbox http://uk.mail.yahoo.com
--0-1428995237-1200644772=:29504
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: quoted-printable
<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:times new roman, new york, times, serif;font-size:12pt"><div style="font-family: times new roman,new york,times,serif; font-size: 12pt;">Dear Matt,<br><br>I think you can find what you want in the following paper (but it only gives literals in ALC):<br><br>Meghyn Bienvenu.
<a href="http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-250/paper_49.pdf">Consequence Finding in ALC</a><br><br>Regards,<br><br>Guilin<br><br><div style="font-family: times new roman,new york,times,serif; font-size: 12pt;">----- Original Message ----<br>From: Matt Williams <matthew.williams@cancer.org.uk><br>To: Bijan Parsia <bparsia@cs.man.ac.uk><br>Cc: Owl Dev <public-owl-dev@w3.org><br>Sent: Friday, 18 January, 2008 9:05:06 AM<br>Subject: Re: Literals in OWL - Clarification<br><br><br>Dear Bijan,<br><br>Thanks for these - I should have been more exact: I am looking for a <br>definition of an OWL literal. Something of the form:<br><br>"An atom is of the form C(i) or R(i,j) or S(i,d); A literal is an atom <br>or a negated atom"<br><br>I'm sure it exists - I just can't find it.<br><br>Thanks,<br><br>Matt<br><br>Bijan Parsia wrote:<br>> <br>> For the syntax (and some discussion) in abstract
syntax:<br>> <a href="http://www.w3.org/TR/owl-semantics/syntax.html" target="_blank">http://www.w3.org/TR/owl-semantics/syntax.html</a><br>> e.g.,:<br>> "The built-in RDF datatype, rdf:XMLLiteral, is also an OWL
built-in <br>> datatype."<br>> <br>> See:<br>> <a href="http://www.w3.org/TR/owl-semantics/direct.html#3.1" target="_blank">http://www.w3.org/TR/owl-semantics/direct.html#3.1</a><br>> e.g.,:<br>> "Definition: An OWL vocabulary V consists of a set of literals VL
<br>> and seven sets of URI references...VD, the datatype names of a <br>> vocabulary, contains the URI references for the built-in OWL
datatypes <br>> and rdfs:Literal.<br>> Definition: As in RDF, a datatype d is characterized by a lexical
space, <br>> L(d), which is a set of Unicode strings; a value space, V(d); and a <br>> total mapping L2V(d) from the lexical space to the value space.<br>> <br>> Definition: A datatype map D is a partial mapping from URI references
to <br>> datatypes that maps xsd:string and xsd:integer to the appropriate XML
<br>> Schema datatypes.<br>> <br>> A datatype map may contain datatypes for the other built-in OWL <br>> datatypes. It may also contain other datatypes, but there is no <br>> provision in the OWL syntax for conveying what these datatypes are."<br>> <br>> etc.<br>> <br>> Cheers,<br>> Bijan.<br>> <br><br>-- <br><a href="http://acl.icnet.uk/%7Emw" target="_blank">http://acl.icnet.uk/~mw</a><br><a href="http://adhominem.blogsome.com/" target="_blank">http://adhominem.blogsome.com/</a><br>+44 (0)7834 899570<br><br></div><br></div></div><br>
<hr size=1> Sent from <a href="http://us.rd.yahoo.com/mailuk/taglines/isp/control/*http://us.rd.yahoo.com/evt=51949/*http://uk.docs.yahoo.com/mail/winter07.html">Yahoo!</a> - a smarter inbox.</body></html>
--0-1428995237-1200644772=:29504--
Received on Friday, 18 January 2008 18:12:37 UTC