Unification of Disjunctive Feature Descriptions

  title={Unification of Disjunctive Feature Descriptions},
  author={Andreas Eisele and Jochen D{\"o}rre},
The paper describes a new implementation of feature structures containing disjunctive values, which can be characterized by the following main points: Local representation of embedded disjunctions, avoidance of expansion to disjunctive normal form and of repeated test-unifications for checking consistence. The method is based on a modification of Kasper and Rounds' calculus of feature descriptions and its correctness therefore is easy to see. It can handle cyclic structures and has been… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS
18 Citations
4 References
Similar Papers


Publications referenced by this paper.
Showing 1-4 of 4 references

A Lexlcal Functional Grammar System in Prolog

  • S. Sddmpf
  • 1986

A Logic ~ l Semantics for Feature Structures

  • M. Kay
  • 1986

LO - GIN : A Logic Programming Language with Built - In Inheritance

  • J. Bear
  • 1986

Similar Papers

Loading similar papers…