Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor(s)

Author(s):

Blackburn, Patrick
Tzakova, Miroslava

dblp
dblp



BibTeX cite key*:

Tzakova98c

Title

Title*:

Hybridizing Concept Languages

Journal

Journal Title*:

Annals of Mathematics and Artificial Intelligence

Journal's URL:


Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Baltzer

Publisher's URL:


Publisher's
Address:


ISSN:

1012-2443

Vol, No, pp, Date

Volume*:

24

Number:

1/4

Publishing Date:

1998

Pages*:

23-49

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

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.

URL for the Abstract:


Categories,
Keywords:

Knowledge Representation, Description Logics, Hybrid Languages, Modal Logic

HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat


BibTeX Entry:

@ARTICLE{Tzakova98c,
AUTHOR = {Blackburn, Patrick and Tzakova, Miroslava},
TITLE = {Hybridizing Concept Languages},
JOURNAL = {Annals of Mathematics and Artificial Intelligence},
PUBLISHER = {Baltzer},
YEAR = {1998},
NUMBER = {1/4},
VOLUME = {24},
PAGES = {23--49},
ISBN = {1012-2443},
}


Entry last modified by Christine Kiesel, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Miroslava Tzakova
Created
10/06/1998 02:56:48 PM
Revisions
7.
6.
5.
4.
3.
Editor(s)
Christine Kiesel
Christine Kiesel
Miroslava Tzakova
Uwe Brahm
Uwe Brahm
Edit Dates
05.09.2001 16:31:15
04.09.2001 15:15:26
20/04/99 20:36:32
30.03.99 21:50:53
03/03/99 22:36:44