Modeling complex structures in object-oriented logic programming

Lécluse, Christophe; Richard, Philippe

doi:10.1145/73721.73756

Cited by 62 publications

(18 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such core usually includes classes, isarelationships between classes as the basis for representing inheritance, and attributes as a means to establish the properties of classes (see [Kim90]). First of all, we add to the basic core the possibility of referring to the complement of a class, in the spirit of [AP86,DL93], and the possibility of denoting the union and the intersection of classes (see [LR89,AK89]). Then, we introduce both the inverse of an attribute, which is rarely considered in the object-oriented framework, and the notion of n-ary relations, similarly to [AK89,AGO91].…”

Section: Introductionmentioning

confidence: 99%

Making object-oriented schemas more expressive

Calvanese

Lenzerini

1994

Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - PODS '94

View full text Add to dashboard Cite

Current object-oriented data models lack several important features that would allow one to express relevant knowledge about the classes of a schema. In particular, there is no data model supporting simultaneously the inverse of the functions represented by attributes, the union, the intersection and the complement of classes, the possibility of using nonbinary relations, and the possibility of expressing cardinality constraints on attributes and relations. In this paper we define a new data model, called CAR, which extends the basic core of current object-oriented data models with all the above mentioned features. A technique is then presented both for checking the consistency of class definitions, and for computing the logical consequences of the knowledge represented in the schema. Finally, the inherent complexity of reasoning in CAR is investigated, and the complexity of our inferencing technique is studied, depending on various assumptions on the schema.

show abstract

Section: Introductionmentioning

confidence: 99%

Making object-oriented schemas more expressive

Calvanese

Lenzerini

1994

Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - PODS '94

View full text Add to dashboard Cite

show abstract

“…For instance, complex object data models, such as O 2 [ Lécluse et al, 1989 ] , are closely related to attributive description formalisms, so that the techniques are applicable. Such an application reveals that the subtype-inference algorithm specified in [ Lécluse et al, 1989 ] is incomplete, and that the subtype-inference problem is PSPACE-complete [ Bergamaschi and Nebel, 1990 ] . Further, the study of sublanguages of ALC [ Donini et al, 1991b;Donini et al, 1991a ] can be directly applied to sublogics of K (m) .…”

Section: Resultsmentioning

confidence: 99%

Attributive description formalisms ... and the rest of the world

Nebel¹,

Smolka

1991

Text Understanding in LILOG

View full text Add to dashboard Cite

Research in knowledge representation has led to the development of so-called terminological logics, the purpose of which is to support the representation of the conceptual and terminological part of Artificial Intelligence applications. Independently, in computational linguistics, so-called feature logics have been developed which are aimed at representing the semantic and syntactic information natural language sentences convey. Since both of these logics rely mainly on attributes as the primary notational primitives for representing knowledge, they can be jointly characterized as attributive description formalisms.Although the intended applications for terminological logics and feature logics are not identical, and the computational services of systems based on the respective formalisms are quite different for this reason, the logical foundations turn out to be very similar -as we pointed out elsewhere. In this paper, we will show how attributive description formalisms relate to "the rest of the world." Recently, a number of formal results in the area of attributive description formalisms have been obtained by exploiting other research fields, such as formal language theory, automata theory, and modal logics. This connection between these different fields of formal research will be highlighted in the sequel.

show abstract

“…This approach is in the spirit of object-oriented data models [Lecluse and Richard 1989, Bancilhon and Khoshafian 1989, Hull 1988, Bergamaschi and Nebel 1994. In contrast with the idea of introducing n-ary relations, all aspects of the domain to be modeled can be represented in a uniform way, namely as concepts whose instances have certain structures.…”

Section: Structured Objects Well Foundedness and Fixpointsmentioning

confidence: 99%