Merci Cory and everyone else who contributed back. This has given us a lot of think about.
Duane
On 5/27/11 11:58 AM, "Cory Casanave" <cory-c@xxxxxxxxxxxxxxx> wrote:
Duane,
We suffer this question also. What we are doing now is modeling most of what we need in UML with a combination of standard and proprietary profiles. Note that we are using UML in an ontological fashion, not to model the software as many people do. We do this so we have an environment to bring together domain information, processes, services and collaborations. From this we can generate lightweight ontologies (about the level you can do with OWL) in a variety of logical languages - mostly OWL since we can get implementations and some name recognition. Of course we can also provision out software to implement the architectures using MDA. We find the tools (we use magicdraw) very mature and the models something non-technical stakeholders can deal with. You can, of course, then add axioms in your language of choice if you want stronger ontological reasoning support.
That said, I am by no means suggesting that this is the ideal environment - but one that works for us and our customers with smart people who know how to "bend" UML in this way. It is a tradeoff of expressability, scope and acceptability. I don't think the right environment exists yet, at least not in any production software. This is the reason we have been pursuing the "architecture ecosystem" (http://www.omgwiki.org/architecture-ecosystem/doku.php) and SIMF we have referenced previously.
My bias is that we have to capture the semantics of the domain in as technology neutral and user friendly way as possible. Everything you mentioned (as well as OWL) is optimized for other purposes, generally supporting a reasoner. If I were to pick one I would probably pick CL, but then have to augment it with a lot of ontologies to represent the architectural perspectives as well as provide the tooling for modeling in a user friendly way as well as the backend reasoning and provisioning support - that is a lot to put together, something I hope we (the global we) can do at some point.
-Cory
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Duane Nickull
Sent: Tuesday, May 24, 2011 3:22 PM
To: [ontolog-forum]
Subject: [ontolog-forum] Need advice - Request a quick opinion on ontologylanguages
I am working on a large project and I would like to solicit input for a major architectural decision. The context is an enterprise that must choose one single knowledge interchange and persistence language to preserve all their ontological work. They require tooling (open source preferred) to support visual modeling and taxonomy development based on the ontological
work. The industry is military/international intelligence with an eye
towards context driven rule-sets and dynamic decision making based on computational intelligence agents. It must be able to cross reference symbols/terms in multiple languages and map them back to the concept, noting the nuances between them.
What I would like is to request (if you have time) is a vote for a single language from the following candidates or a suggestion of another I may have missed if they make suitable candidates. I do not wish for this to turn into a thread contemplating the merits of each language as my belief is they all have strengths. Just a quick response like "KIF - <tools> <links>" etc.
* Common Logic - and/or its dialects
* CycL
* DOGMA (Developing Ontology-Grounded Methods and Applications)
* F-Logic (Frame Logic)
* KIF (Knowledge Interchange Format)
* Ontolingua based on KIF
* KL-ONE
* KM programming language
* LOOM (ontology)
* OCML (Operational Conceptual Modelling Language)
* OKBC (Open Knowledge Base Connectivity
* PLIB (Parts LIBrary)
* RACER
Thank you in advance and apologies in advance if this turns into a holy war
;-)
Duane Nickull
---
Adobe LiveCycle Enterprise Architecture - http://www.adobe.com/products/livecycle/
Adobe MAX 2011 - http://technoracle.blogspot.com/2011/03/adobe-max-2011.html
TV Show - http://tv.adobe.com/show/duanes-world/
Blog – http://technoracle.blogspot.com/
Music – http://22ndcenturyofficial.com/
Twitter – http://twitter.com/duanechaos/
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
---
Adobe LiveCycle Enterprise Architecture - http://www.adobe.com/products/livecycle/
Adobe MAX 2011 - http://technoracle.blogspot.com/2011/03/adobe-max-2011.html
TV Show - http://tv.adobe.com/show/duanes-world/
Blog – http://technoracle.blogspot.com/
Music – http://22ndcenturyofficial.com/
Twitter – http://twitter.com/duanechaos/
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01)
|