Proceedings Article, Paper @InProceedings Beitrag in Tagungsband, Workshop

 Show entries of: this year (2020) | last year (2019) | two years ago (2018) | Notes URL
 Action: login to update Options: Goto entry point

 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
 URL of the conference: http://rutcor.rutgers.edu/~amai URL for downloading the paper: Event Address*: Fort Lauderdale, Florida Language: English Event Date* (no longer used): January 4-6, 1998 Organization: Event Start Date: 28 January 2020 Event End Date: 28 January 2020

 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:

 (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 = {?},