Re: Fwd: OWL2

Hello List,

I have a question relating to the naming of datatypes which surfaced 
earlier in this thread. Form the EBNF of the OWL Functional Syntax I 
don't see the possibility to name datatypes.

Example:
Ontology(<http://someontology.com/ont.owl/>

DataPropertyDomain(ap Xc)
DataPropertyRange(ap UnionOf("1" "2" "3") )

DataPropertyDomain(bp Xc)
DataPropertyRange(bp UnionOf("1" "2" "3") )

// so far everything is fine
// but we want to name the UnionOf("1" "2" "3") and give it a name
// I define the datatype:
Datatype( mydt )
// and then use it in the Propertyranges above e.g.
// DataPropertyRange(bp mydt)

// But I cannot say that mydt _is_ the UnionOf("1" "2" "3")
)

Or am I something missing here?

Nice greetings
Jonas