- From: Ian Horrocks <ian.horrocks@cs.ox.ac.uk>
- Date: Tue, 7 Aug 2012 15:28:24 +0100
- To: David Osumi-Sutherland <dosumis@gmail.com>
- Cc: public-owled@w3.org
Dear David, According to the spec (http://www.w3.org/TR/owl2-manchester-syntax/), it should be possible to translate OWL 2 FS into OWL 2 MS. Translating a GCI with a complex expression on the LHS requires the introduction of a new class name in an axiom that makes it equivalent to the relevant expression: "Some axioms that become part of a frame in the Manchester syntax do not need to have a name for the frame, e.g., a SubClassOf axiom between two complex descriptions, so the construction below cannot be directly used. To transform these axioms to the Manchester syntax, take a fresh name and turn the axiom into two axioms, one that makes the new name equivalent to the first piece of the axiom and the other the axiom with the sub-construct replaced by the new name. This would turn a SubClassOf axiom into an EquivalentClasses axiom plus a SubClassOf axiom." Is this a problem for you? Regards, Ian On 27 Jul 2012, at 14:40, David Osumi-Sutherland wrote: > Hi all, The expressiveness of OWL Manchester Syntax (omn) is limited compared to > other OWL2 syntaxes. For example, it is not possible to express GCIs in omn. > I would like to extend omn so that is has the expressiveness of all the other > official OWL2 syntaxes. This post is intended to start the ball rolling on > discussion [...] > > > > ---------- > > This post sent on OWL: Experiences and Directions Community Group > > > > 'Extending Manchester Syntax' > > http://www.w3.org/community/owled/2012/07/27/extending-manchester-syntax/ > > > > Learn more about the OWL: Experiences and Directions Community Group: > > http://www.w3.org/community/owled > > > >
Received on Tuesday, 7 August 2012 14:28:52 UTC