[Top] [All Lists]

[ontolog-forum] FW: Public release of IKRIS technical documents: Interop

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Date: Thu, 30 Aug 2007 11:14:09 -0400
Message-id: <9F771CF826DE9A42B548A08D90EDEA80024D01F0@xxxxxxxxxxxxxxxxx>
FYI. Main deliverable: IKL, Interoperable Knowledge Language: roughly ISO Common Logic on "steroids", with a context logic, inter-theory scenarios, etc.

The major accomplishments of the IKRIS Challenge Workshop are summarized as follows:

·        IKL—the IKRIS Knowledge Language.  This is the key technical result of the IKRIS Challenge Workshop.  IKL is a formally-specified language, based on an emerging ISO standard called Common Logic, into and out of which a variety of distinctly different knowledge representation (KR) formalisms can be translated.

·        ICL—the IKRIS Context Logic.  ICL is a logic formalism for representing and reasoning about context-dependent knowledge, including alternative hypotheses, points of view, world states and scenarios.

·        ISIT—the IKRIS Scenarios Inter-Theory.  The Scenarios Inter-Theory specifies an approach to translating among the principal formalisms in current use for declaratively representing processes.

·        Evaluation Report.  The Evaluation Working Group has produced a report showing that IKL is a sound and effective mechanism for knowledge interchange.

·        Capstone Demonstration.  The Capstone Demonstration serves both as an evaluation of knowledge interchange using IKL, and as an illustration of the potential Intelligence Community impact of the IKRIS-developed approach to interoperability.

·       IKL translators.  IKRIS participants at Stanford University implemented a set of software tools for building automated translators into and out of IKL.

From: owner-ikris-all-list@xxxxxxxxxxxxxxx [mailto:owner-ikris-all-list@xxxxxxxxxxxxxxx] On Behalf Of Cheikes, Brant A.
Sent: Thursday, August 30, 2007 8:45 AM
To: ikris-all-list All Associated with ARDA IKRIS Workshop
Cc: Rita Bush; dan.doney.dto@xxxxxxxxxxx; Rosenthal, Mark L.
Subject: Public release of IKRIS technical documents

To the IKRIS community:
It has taken a long time, but at last all the technical specifications and final reports from the IKRIS workshop have been approved by the Government for public release and posted on the IKRIS public website:
Please feel free to circulate this announcement and web link widely.

Brant A. Cheikes
The MITRE Corporation
202 Burlington Road, M/S K302
Bedford, MA 01730-1420
Tel. 781-271-7505; Fax. 781-271-2352


Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] FW: Public release of IKRIS technical documents: Interoperable Knowledge Representation for Intelligence Systems, Obrst, Leo J. <=