On the complexities of consistency checking for restricted UML class diagrams

Reasoning on UML class diagrams

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo · Artificial Intelligence · 2005 · 538 citations · Full text

Architecture, Computer Science, Diagramming +8

EXPtime tableaux for ALC

Francesco M. Donini, Fabio Massacci · Artificial Intelligence · 2000 · 125 citations

Computing, Computer Science, Mathematics +7

Generalized quantifiers and pebble games on finite structures

Phokion G. Kolaitis, Jouko Väänánen · Annals of Pure and Applied Logic · 1995 · 118 citations

Natural Sciences, Computer Science, Mathematics +11

On the complexity of inferring functional dependencies

Heikki Mannila, Kari‐Jouko Räihä · Discrete Applied Mathematics · 1992 · 92 citations

Computing, Computer Science, Computational Linguistics +10

Reasoning with UML class diagrams

Andy Evans · 2002 · 87 citations

Computing, Computer Science, Formal Methods +16