SATAC knowledge representation and automated reasoning with JC3IEDM – Task 4—knowledge representation capabilities and limitations of JC3IEDM and P-JC3IEDM

PDF

Authors
  1. Demers, H.
  2. Duquet, J-R.
Corporate Authors
Defence R&D Canada - Valcartier, Valcartier QUE (CAN);Lockheed Martin Canada Inc, Montreal Que (CAN)
Abstract
This report describes the knowledge representation languages that are used by the Joint Consultation Command and Control Information Exchange Data Model (JC3IEDM) and the Protégé-JC3IEDM (P-JC3IEDM). It then describes the semantic expressiveness of JC3IEDM and P-JC3IEDM and how these can be used to support automated reasoning with respect to reasoning examples that were developed in Task 3 of this contract. [1]

Il y a un résumé en français ici.

Report Number
DRDC-VALCARTIER-CR-2008-255 — Contractor Report
Date of publication
01 Sep 2008
Number of Pages
66
DSTKIM No
CA031618
CANDIS No
530570
Format(s):
CD ROM

Permanent link

Document 1 of 1

Date modified: