Description Logics and Feature Interaction

C. Areces, W. Bouma, and M. de Rijke. Description Logics and Feature Interaction. In Proceedings of the International Workshop on Description Logics (DL'99), pp. 28–32, Linköping, Sweden, 1999.

Download

[pdf] 

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.

BibTeX

@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.",
}