Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | 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