@InProceedings{Areces1999d,
  author =       "C. Areces and W. Bouma and M. de Rijke",
  booktitle =    "Proceedings of the International Workshop on
                 Description Logics (DL'99)",
  title =        "Description Logics and Feature Interaction",
  year =         "1999",
  address =      "Link{\"o}ping, Sweden",
  editor =       "P. Lambrix and A. Borgida and M. Lenzerini and R.
                 M{\"{o}}ller and P. Patel-Schneider",
  pages =        "28--32",
  abstract =     "We present a formal model for the specification of
                 telephone features by means of description logics. Our
                 framework permits the formal definition of the basic
                 telephone system as well as the specification of
                 additional features. By using standard techniques from
                 description logic reasoning, properties of features can
                 be proved and interactions detected. An ExpTime upper
                 bound for the complexity of detecting feature
                 interaction as a satisfiability problem is obtained by
                 well known results for expressive description
                 languages.",
}