MPI-I-98-2-017
Hybridizing concept languages
Tzakova, Miroslava and Blackburn, Patrick
October 1998, 33 pages.
.
Status: available - back from printing
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.
-
- Attachement: MPI-I-98-2-017.ps (347 KBytes)
URL to this document: https://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},
ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
NUMBER = {MPI-I-98-2-017},
MONTH = {October},
YEAR = {1998},
ISSN = {0946-011X},
}