English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  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'95 (pp. 89-95). Rome: Dipartimento di Informatica e Sistemistica, Univ. degli studia di Roma.

Item is

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: Rome : Dipartimento di Informatica e Sistemistica, Univ. degli studia di Roma
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519487
Other: Local-ID: C1256104005ECAFC-2CED540786F84425C12561EB00627B8C-OhlbachSchmidtHustadt95b
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Rome, Italy
Start-/End Date: 1995

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of International Workshop on Description Logics'95
Source Genre: Proceedings
 Creator(s):
Borgida, A., Editor
Lenzerini, M., Editor
Nardi, D., Editor
Nebel, B., Editor
Affiliations:
-
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: -