English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Symbolic Arithmetical Reasoning with Qualified Number Restrictions

Ohlbach, H. J., Schmidt, R. A., & Hustadt, U. (1995). Symbolic Arithmetical Reasoning with Qualified Number Restrictions. In A. Borgida, M. Lenzerini, D. Nardi, & B. Nebel (Eds.), Proceedings of International Workshop on Description Logics 1995 (pp. 89-95). Rome: Dipartimento di Informatica e Sistemistica, Univ. degli studia di Roma.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD27-5 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-164F-2
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Ohlbach, Hans Jürgen1, Author           
Schmidt, Renate A.1, Author           
Hustadt, Ullrich1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: Many inference systems used for concept description logics are
constraint systems that employ tableaux methods.
These have the disadvantage that for reasoning with qualified number
restrictions $n$ new constant symbols are generated for each
concept of the form $(\geq n \ R \ C)$.
In this paper we present an alternative method that avoids the
generation of constants and uses a restricted form of symbolic
arithmetic considerably different from the tableaux method.
The method we use is introduced in
Ohlbach, Schmidt and Hustadt (1995) for reasoning with graded
modalities.
We exploit the exact correspondence between the concept description
language $\cal ALCN$ and the multi-modal version of the
graded modal logic $\overline{\mbox{\bf K}}$ and show how the method
can be applied to $\cal ALCN$ as well.

This paper is a condensed version of Ohlbach et al.\ (1995).
We omit proofs and much of the technical details, but we
include some examples.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121995
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519487
Other: Local-ID: C1256104005ECAFC-2CED540786F84425C12561EB00627B8C-OhlbachSchmidtHustadt95b
BibTex Citekey: Ohlbach-et-al_DL95
 Degree: -

Event

show
hide
Title: International Workshop on Description Logics 1995
Place of Event: Rome, Italy
Start-/End Date: 1995-06-02 - 1995-06-03

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of International Workshop on Description Logics 1995
Source Genre: Proceedings
 Creator(s):
Borgida, A.1, Editor
Lenzerini, M.1, Editor
Nardi, D.1, Editor
Nebel, B.1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Rome : Dipartimento di Informatica e Sistemistica, Univ. degli studia di Roma
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 89 - 95 Identifier: -

Source 2

show
hide
Title: Rap.
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -