- From: Michael Smith <msmith@clarkparsia.com>
- Date: Tue, 19 Aug 2008 17:42:45 -0400
- To: public-owl-wg <public-owl-wg@w3.org>
On Wed, 2008-08-13 at 21:36 +0200, Michael Schneider wrote: > * RDF mapping from Functional Syntax to RDF: none (can remain as is, because > the old owl:distinctMembers property would still be available) > > * Reverse RDF mapping: The reverse-mapping will need one new entry in table > 15, "Parsing of Axioms", which is: > > RDF: > _:x rdf:type owl:AllDifferent > _:x owl:members T(SEQ x1 ... xn) > FS: > DifferentIndividuals( x1 ... xn ) > > That's the analog entry to the one which is already there for > 'owl:distinctMembers'. So it's mainly copy&paste. I apologize for missing the telecon discussion of ISSUE-136. I have one clarifying question. If the FS->RDF mapping for different individuals does not change, then how would such ontologies be produced to then be mapped RDF->FS? I.e., this appears to be a reverse mapping for RDF that does not exist now, and will not exist in the future unless someone goes out of their way to add it by hand, just because we put this in. What am I missing? -- Mike Smith Clark & Parsia
Received on Tuesday, 19 August 2008 21:43:29 UTC