MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Blackburn, Patrick
Tzakova, Miroslava		dblp
dblp
Editor(s):
Boros, Endre
Greiner, Russel		dblp
dblp
BibTeX cite key*:
Tzakova98a
Title, Booktitle
Title*:
A Hybrid Concept Language
Booktitle*:
Proceedings of the 5th International Symposium on Artificial Intelligence and Mathematics
Event, URLs
Conference URL::
http://rutcor.rutgers.edu/~amai
Downloading URL:
Event Address*:
Fort Lauderdale, Florida
Language:
English
Event Date*
(no longer used):
January 4-6, 1998
Organization:
Event Start Date:
28 April 2024
Event End Date:
28 April 2024
Publisher
Name*:
http://rutcor.rutgers.edu/~amai
URL:
Address*:
Rutgers University, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
?
Year*:
1998
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
We introduce a concept language for representing knowledge.
Relying on the well-known correspondence between the description
logic ${\cal ALC}$ and the multi-modal logic $K_{(m)}$,
we define a {\em hybrid language\/} that is an extension of $K_{(m)}$.
The language (in addition to the propositional variables and
modal operators) contains variables across individuals and
a quantifier that binds them. Combining features of modal
and first-order logic, our formalism increases the expressivity
of $\cal{ALC}$ in a natural and uniform way.
In particular, it can define number restrictions,
collections of individuals and membership assertions.
In fact, the hybrid language is a general formalism in which a
variety of descriptive concepts as well as TBox-
and ABox-statements can be formulated in a natural way.
We present an axiomatisation and prove its completeness
by using so-called {\it witnessed} models as a
bridge between modal and first-order completeness techniques.
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, working group publication list, Fachbeirat



BibTeX Entry:
@INPROCEEDINGS{Tzakova98a,
AUTHOR = {Blackburn, Patrick and Tzakova, Miroslava},
 EDITOR = {Boros, Endre and Greiner, Russel},
 TITLE = {A Hybrid Concept Language},
 BOOKTITLE = {Proceedings of the 5th International Symposium on Artificial Intelligence and Mathematics},
 PUBLISHER = {http://rutcor.rutgers.edu/~amai},
 YEAR = {1998},
 PAGES = {?},
 ADDRESS = {Fort Lauderdale, Florida},
}

Entry last modified by Miroslava Tzakova, 03/12/2010
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
01/16/1998 01:49:52 PM
Revisions
5.
4.
3.
2.
1.		Editor(s)
Miroslava Tzakova
Uwe Brahm
Miroslava Tzakova
Miroslava Tzakova
Miroslava Tzakova		Edit Dates
19/05/99 16:05:54
03/25/98 06:49:27 PM
06/03/98 15:10:01
16/01/98 14:37:42
16/01/98 13:58:02