Duane -
I suggest you not settle for anything less expressive than common logic.
For broad semantic interoperability it will be necessary to be able to
express meanings unambiguously, so all users can agree on the meaning. In
some cases, this will actually require procedural code when the meanings of
physical properties depend on the method of measurement - and the
measurement procedure needs to be encoded procedurally to avoid ambiguity
(i.e. code to automatically operate specific measuring devices, thus
unambiguously specifying the measuring process). This capability is not
likely to be needed immediately but must be available when required). (01)
At this stage in the development of knowledge representation methods, it
is likely that baby steps such as OWL will rapidly be superseded, so if your
project is expected to last more than, say, 5 years, don't compromise the
ability to avoid ambiguity. (02)
If IKL is not considered as a variant of common logic, it should be added
to the list of possibilities. (03)
If you are interested in "mapping" different languages (each having a
grammar and a vocabulary) to each other, I believe it will also be necessary
to agree on a common basic vocabulary - what I call the "Primitive Inventory
Foundation Ontology" (PIFO), containing representations of all the known
semantic primitives so that complex concepts in each language can be
decomposed into their parts and thereby related to complex concepts in other
languages. Settling on an ontology language by itself will not guarantee
that the vocabularies of separately developed ontologies can be accurately
mapped. (04)
Pat (05)
Patrick Cassidy
MICRA, Inc.
908-561-3416
cell: 908-565-4053
cassidy@xxxxxxxxx (06)
> -----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
> ontology languages
>
> 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
> (07)
_________________________________________________________________
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 (08)
|