- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Tue, 7 Aug 2012 10:33:11 -0400
- To: Ian Horrocks <ian.horrocks@cs.ox.ac.uk>
- Cc: David Osumi-Sutherland <dosumis@gmail.com>, public-owled@w3.org
On 7 Aug 2012, at 10:28, Ian Horrocks wrote: > 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? This results in a technically non-equivalent ontology and doesn't roundtrip sensibly through tools like Protege. So, not ideal... Cheers, Bijan.
Received on Tuesday, 7 August 2012 14:33:48 UTC