Reasoning with Individuals in Concept Languages

Reasoning with Individuals in Concept Languages (1994)

Cached

Download Links

[krr.irst.itc.it:1024]

Other Repositories/Bibliography

DBLP

by Andrea Schaerf

Venue:	Data and Knowledge Engineering
Citations:	70 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Reasoning with Individuals in Concept Languages	user correction - Legacy Corrections
AUTHOR NAME	Andrea Schaerf	SVM HeaderParse 0.1
AUTHOR AFFIL	Dipartimento di Informatica e Sistemistica,; Universit`a di Roma "La Sapienza",	SVM HeaderParse 0.2
AUTHOR ADDR	via Salaria 113, I-00198 Roma, Italy.	SVM HeaderParse 0.1
ABSTRACT	One of the main characteristics of knowledge representation systems based on the description of concepts is the clear distinction between terminological and assertional knowledge. Although this characteristic leads to several computational and representational advantages, it usually limits the expressive power of the system. For this reason, some attempts have been done, allowing for a limited form of amalgamation between the two components and a more complex interaction between them. In particular, one of these attempts is based on letting the individuals to be referenced in the concept expressions. This is generally performed by admitting a constructor for building a concept from a set of enumerated individuals. In this paper we investigate on the consequences of introducing constructors of this type in the concept description language. We also provide a complete reasoning procedure to deal with these constructors and we obtain some complexity results on it. 1 Introduction The ide...	user correction - Legacy Corrections
YEAR	1994	INFERENCE
VENUE	Data and Knowledge Engineering	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	141--176	INFERENCE
VOLUME	13	INFERENCE
CITATIONS	28 found	ParsCit 1.0