English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  A Multi-Dimensional Terminological Knowledge Representation Language

Baader, F., & Ohlbach, H. J. (1995). A Multi-Dimensional Terminological Knowledge Representation Language. Journal of Applied Non-Classical Logics, 5(2), 153-198.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Baader, Franz1, Author           
Ohlbach, Hans Jürgen1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 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

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121995
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 519464
Other: Local-ID: C1256104005ECAFC-0D6C87250C8B3E55C12562D200522123-BaaderOhlbach95
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Journal of Applied Non-Classical Logics
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 5 (2) Sequence Number: - Start / End Page: 153 - 198 Identifier: -