Book contents
- Frontmatter
- Contents
- Contributors
- 1 Introduction
- 2 Skeptical and Credulous Default Unification with Applications to Templates and Inheritance
- 3 Prioritised Multiple Inheritance in DATR
- 4 Some Reflections on the Conversion of the TIC Lexicon into DATR
- 5 Norms or Inference Tickets? A Frontal Collision between Intuitions
- 6 Issues in the Design of a Language for Representing Linguistic Information Based on Inheritance and Feature Structures
- 7 Feature-Based Inheritance Networks for Computational Lexicons
- 8 A Practical Approach to Multiple Default Inheritance for Unification-Based Lexicons
- 9 The ACQUILEX LKB: An Introduction
- 10 Types and Constraints in the LKB
- 11 LKB Encoding of Lexical Knowledge
- 12 Defaults in Lexical Representation
- 13 Untangling Definition Structure into Knowledge Representation
- Appendix A A Bibliography of ACQUILEX Papers Connected with the LKB
- Appendix B The LKB Description Language Syntax
- Appendix C Software Availability
- References
- Author index
- Subject Index
Appendix C - Software Availability
Published online by Cambridge University Press: 01 April 2010
- Frontmatter
- Contents
- Contributors
- 1 Introduction
- 2 Skeptical and Credulous Default Unification with Applications to Templates and Inheritance
- 3 Prioritised Multiple Inheritance in DATR
- 4 Some Reflections on the Conversion of the TIC Lexicon into DATR
- 5 Norms or Inference Tickets? A Frontal Collision between Intuitions
- 6 Issues in the Design of a Language for Representing Linguistic Information Based on Inheritance and Feature Structures
- 7 Feature-Based Inheritance Networks for Computational Lexicons
- 8 A Practical Approach to Multiple Default Inheritance for Unification-Based Lexicons
- 9 The ACQUILEX LKB: An Introduction
- 10 Types and Constraints in the LKB
- 11 LKB Encoding of Lexical Knowledge
- 12 Defaults in Lexical Representation
- 13 Untangling Definition Structure into Knowledge Representation
- Appendix A A Bibliography of ACQUILEX Papers Connected with the LKB
- Appendix B The LKB Description Language Syntax
- Appendix C Software Availability
- References
- Author index
- Subject Index
Summary
LKB
A stand-alone version of the LKB software system, with demonstration type systems, lexicons and so on is available for distribution; contact the authors for further details.
The Sussex DATR Implementation
The Sussex implementation of DATR comprises a compiler written in Prolog, and a wide-ranging collection of DATR example files. The compiler takes a DATR theory and produces Prolog code for query evaluation relative to that theory. The code is readily customisable, and customisations for Poplog Prolog, CProlog, Arity Prolog, Prolog2, Quintus Prolog and Sicstus Prolog are provided. Source listings, documentation and many of the example files may also be found in “The DATR Papers, Volume 1” (Cognitive Science Research Report 139).
This implementation is provided ‘as is’, with no warranty or support, and for research purposes only. Copyright remains with the University of Sussex.
The Prolog source code and the example files for the DATR system are available on a 720K 3.5 inch MS-DOS disk for £12.00 (within the UK) or US $25 (outside the UK) from: Technical Reports, School of Cognitive and Computing Sciences, University of Sussex, Brighton BN1 9QH, UK. “The DATR Papers, Volume 1” (Cognitive Science Research Report 139) is also available for £6 (US $ 12) from the same address.
- Type
- Chapter
- Information
- Inheritance, Defaults and the Lexicon , pp. 280Publisher: Cambridge University PressPrint publication year: 1994