Issue No. 03 - June (1993 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.224192
<p>The logic-based knowledge representation language L_LILOG, which is used to represent both the semantic background knowledge as well as the information extracted from German texts within the LILOG project, is discussed. L_LILOG integrates frame-like features-value descriptions used in computational linguistics into an order-sorted predicated logic framework. The basis design principles of L_LILOG and examples of how L_LILOG is used to model real world knowledge are presented. The implementation of the first LILOG prototype is described. A formal semantics definition is provided.</p>
natural language understanding; L/sub LILOG/ approach; logic-based knowledge representation language; semantic background knowledge; frame-like features-value descriptions; computational linguistics; order-sorted predicated logic framework; formal semantics; knowledge representation; natural languages
C. Beierle, R. Studer and U. Pletat, "Knowledge Representation for Natural Language Understanding: The L_LILOG Approach," in IEEE Transactions on Knowledge & Data Engineering, vol. 5, no. , pp. 386-401, 1993.