- From: Matt Williams <matthew.williams@cancer.org.uk>
- Date: Fri, 18 Jan 2008 08:05:06 +0000
- 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 UTC