From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.ams.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!newsfeed.eweka.nl!feeder3.eweka.nl!81.171.88.15.MISMATCH!eweka.nl!lightspeed.eweka.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 15 Jul 2013 09:44:48 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130620 Thunderbird/17.0.7
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ada-Python demo
References: <dac2c1cc-25f7-4ce0-831c-69b164c8b49a@googlegroups.com>
 <20130712075752.46e2cf01@atmarama.noip.me>
 <7619c730-b138-4bd9-a0e7-9c80d26f7f00@googlegroups.com>
 <ab62770e-f9be-4982-8fae-b263c11ce15b@googlegroups.com>
 <a976d7cd-8571-4bd1-8375-9008aaee12bf@googlegroups.com>
 <81e2d51a-90a5-4c82-b275-80b345b894f6@googlegroups.com>
In-Reply-To: <81e2d51a-90a5-4c82-b275-80b345b894f6@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <51e3a86f$0$6565$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 15 Jul 2013 09:44:47 CEST
NNTP-Posting-Host: e2f05e44.newsspool4.arcor-online.net
X-Trace: 
 DXC=[Z>3`=h1KKc>jlK2>IgHGd4IUK<Cl32<a4Fo<]lROoRa8kF<OcfhCOk5LCKWkH=]UoPCY\c7>ejVh7>\MG;
 7[4Thl]9_NW1^2gk
X-Complaints-To: usenet-abuse@arcor.de
Xref: number.nntp.dca.giganews.com comp.lang.ada:182518
Date: 2013-07-15T09:44:47+02:00
List-Id: <comp.lang.ada>

On 15.07.13 08:43, Peter Brooks wrote:
> On Saturday, 13 July 2013 23:06:31 UTC+2, Maciej Sobczak  wrote:

>> YAMI4 allows you to write your next (!) distributed system without sacrificing the advantages of Ada. Integration with the Ada tasking model and type safety are features that you should be asking for.
>>
> There's a lot of wheel re-inventing here. The advantage of using an ontology is that all the mappings are defined independent of language, so should be easy to port into any language that can interpret ontologies without the need for specific, error-prone interfaces for each language.

A translation from OWL to YDL should be straight forward, using an XSL
translation. OTOH, XML seems hugely unpopular with Adaists who, while
they like using a language sensitive editor for data types written in Ada,
would never accept language sensitive editing of data types written in OWL,
since the latter uses XML which is always to be dismissed in favor of
more direct expression in Ada. Even when the portable description would
eventually be mapped to Ada.

AFAIK, DGs are usually handled with the help of maps (Ada.Containers,
Booch components) or graphs' nodes (Booch components).
There are some Prolog engines written in Ada, see e.g. adapower.com.