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

["Obrst, Leo J." <lobrst@xxxxxxxxx>]

FYI. Main deliverable: IKL, Interoperable Knowledge Language: roughly ISO Common Logic on "steroids", with a context logic, inter-theory scenarios, etc.

 

From the MITRE_IKRIS_Final_Report_05Dec06.doc: MITRE Final Report on IKRIS doc, p. ii:

 

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:

 

http://nrrc.mitre.org/NRRC/ikris.htm

 

Please feel free to circulate this announcement and web link widely.

 

Cheers,

/Brant

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)