Decidable reasoning in terminological knowledge representation systems

Authors:
Martin Buchheit;Francesco M. Donini;Andrea Schaerf
Affiliations:
Deutsches Forschungszentrum fur KI, Saarbrücken, Germany;Dipartimento di Informatica e Sistemistica, Universita di Roma "La Sapienza", Roma, Italy;Dipartimento di Informatica e Sistemistica, Universita di Roma "La Sapienza", Roma, Italy
Venue:
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Year:
1993

Citing 3
Cited 5

Reasoning and revision in hybrid representation systems

Reasoning and revision in hybrid representation systems
Attributive concept descriptions with complements

Artificial Intelligence
CAKE: an implemented hybrid knowledge representation and limited reasoning system

ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems

A fuzzy description logic

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Is PL2 a Tractable Language?

EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
CARSA: A context-aware reasoning-based service agent model for AI planning of web service composition

Journal of Network and Computer Applications
An alternative proof method for possibilistic logicand its application to terminological logics

UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Further study of the fuzzy reasoning based on propositional modal logic

RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Terminological Knowledge Representation Systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). The TKRS we consider in this paper is of practical interest since it goes beyond the capabilities of presently available TKRSs. First, our TKRS is equipped with a highly expressive concept, language, called ALCNR, including general complements of concepts, number restrictions and role conjunction. Second, it allows one to express inclusion statements between general concepts, in particular to express terminological cycles. We provide a sound, complete and terminating calculus for reasoning in ALCNR-knowledge bases based on the general technique of constraint systems.