D. Calvanese, G. De Giacomo, and M. Lenzerini. Identi cation constraints and functional dependencies in description logics. In Proc. of IJCAI 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Reasoning on UML Class Diagrams - Daniela Berardi Andrea (2003) (5 citations) Self-citation (Calvanese De giacomo) (Correct)
No context found.
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Identi cation constraints and functional dependencies in description logics. In Proc. of the 17th Int. Joint Conf. on Arti cial Intelligence (IJCAI 2001.
Reasoning on UML Class Diagrams using Description.. - Berardi, Calvanese.. (2001) (5 citations) Self-citation (Calvanese De giacomo) (Correct)
....[19, 20, 18] Such systems are candidates to form the core reasoning engine for advanced UML CASE tools. In this paper, we illustrate a formalization of UML class diagrams in terms of DLs [2] In particular, we show how UML class diagrams can be captured by knowledge bases expressed in the DL DLR [4, 3]. This logic is particularly well tailored towards the high expressiveness of UML information structuring mechanisms, and allows one to easily model important additional properties, such as disjointness of classes, or partitions of classes into subclasses, that are typically speci ed by means of ....
....FaCT [17] and Racer [13] for reasoning about UML class diagrams, and show some results of our experimentation with such systems. Section 5 concludes the paper. In the appendix, we show the UML class diagrams used in the reported experiments. 2 The Description Logic DLR The basic elements of DLR [4, 3] are concepts and n ary relations. We assume to deal with a nite set of atomic relations and atomic concepts, denoted by P and A, respectively. Arbitrary relations (of given arity between 2 and n max ) denoted by R, and arbitrary concepts, denoted by C, are built according to the following ....
[Article contains additional citation context not shown here]
D. Calvanese, G. De Giacomo, and M. Lenzerini. Identication constraints and functional dependencies in description logics. In Proc. of IJCAI
Using DLs to reason on UML class diagrams - Berardi (2002) (Correct)
No context found.
D. Calvanese, G. De Giacomo, and M. Lenzerini. Identi cation constraints and functional dependencies in description logics. In Proc. of IJCAI 2001.
Fine Grained Information Integration - With Description Logics (2002) (Correct)
No context found.
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Identi cation Constraints and Functional Dependencies in Description Logics. In Proc. of the 17th Int. Joint Conf. on Arti cial Intelligence (IJCAI 2001.
On Reasoning about Structural Equality in XML: A Description.. - Toman, Weddell (Correct)
No context found.
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Identi cation Constraints and Functional Dependencies in Description Logics. In International Joint Conference on Arti cial Intelligence, pages 155-160, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC