Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society


Hybridizing concept languages

Tzakova, Miroslava and Blackburn, Patrick

MPI-I-98-2-017. October 1998, 33 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:
This paper shows how to increase the expressivity of concept languages
using a strategy called {\em hybridization}. Building on the
well-known correspondences between modal and description logics, two
{\em hybrid languages\/} are defined. These languages are called
`hybrid' because, as well as the familiar propositional variables and
modal operators, they also contain {\em variables across
individuals\/} and a binder that {\em binds\/} these variables. As is
shown, combining aspects of modal and first-order logic in this manner
allows the expressivity of concept languages to be boosted in a
natural way, making it possible to define number restrictions,
collections of individuals, irreflexivity of roles, and TBox- and
ABox-statements. Subsequent addition of the {\em universal
modality\/} allows the notion of subsumption to be internalized, and
enables the representation of queries to arbitrary first-order
knowledge bases. The paper notes themes shared by the hybrid and
concept language literatures, and draws attention to a little-known
body of work by the late Arthur Prior.
References to related material:

To download this research report, please select the type of document that fits best your needs.Attachement Size(s):
MPI-I-98-2-017.ps347 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView
URL to this document:
Hide details for BibTeXBibTeX
  AUTHOR = {Tzakova, Miroslava and Blackburn, Patrick},
  TITLE = {Hybridizing concept languages},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-98-2-017},
  MONTH = {October},
  YEAR = {1998},
  ISSN = {0946-011X},