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. (01)
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. (02)
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. (03)
-Cory (04)
-----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 (05)
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. (06)
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. (07)
* 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 (08)
Thank you in advance and apologies in advance if this turns into a holy war
;-) (09)
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/ (010)
_________________________________________________________________
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 (011)
_________________________________________________________________
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 (012)
|