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):

Baader, Franz
Ohlbach, Hans Jürgen

dblp
dblp



BibTeX cite key*:

BaaderOhlbach95

Title

Title*:

A Multi-Dimensional Terminological Knowledge Representation Language

Journal

Journal Title*:

Journal of Applied Non-Classical Logics

Journal's URL:


Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:


Publisher's URL:


Publisher's
Address:


ISSN:


Vol, No, pp, Date

Volume*:

5

Number:

2

Publishing Date:

1995

Pages*:

153-198

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

An extension of the concept description language \alc\
used in {\sc kl-one}-like terminological reasoning is presented.
The extension includes multi--modal operators that can either
stand for the usual role quantifications or for modalities such as
belief, time etc.
The modal operators can be used at all
levels of the concept terms, and they can be used to modify
both concepts and roles. This is an instance of a new kind of
combination of modal logics where the modal
operators of one logic may operate
directly on the operators of the other logic.
Different versions of this logic are investigated and various results
about decidability and undecidability are presented. The main
problem, however, decidability of the basic version of the logic,
remains open

URL for the Abstract:


Categories,
Keywords:


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:

MPG publications list, university publications list, working group publication list, Fachbeirat


BibTeX Entry:

@ARTICLE{BaaderOhlbach95,
AUTHOR = {Baader, Franz and Ohlbach, Hans J{\"u}rgen},
TITLE = {A Multi-Dimensional Terminological Knowledge Representation Language},
JOURNAL = {Journal of Applied Non-Classical Logics},
YEAR = {1995},
NUMBER = {2},
VOLUME = {5},
PAGES = {153--198},
}


Entry last modified by Hans Jürgen Ohlbach/AG2/MPII/DE, 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)
Hans Jürgen Ohlbach
Created
02/16/1996 03:57:04 PM
Revision
1.
0.


Editor
Hans Jürgen Ohlbach/AG2/MPII/DE
Hans Jürgen Ohlbach/AG2/MPII/DE


Edit Date
02/16/96 04:03:37 PM
02/16/96 04:00:30 PM