max planck institut
informatik

# MPI-I-98-2-017

## 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.
Acknowledgement:
References to related material:

347 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: http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1998-2-017
BibTeX
@TECHREPORT{TzakovaBlackburn98,
AUTHOR = {Tzakova, Miroslava and Blackburn, Patrick},
TITLE = {Hybridizing concept languages},
TYPE = {Research Report},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},