Logic-based ontology comparison and module extraction, with an application to DL-Lite

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo et al. · Journal of Automated Reasoning · 2007 · 1.3K citations

Natural Language Processing, Engineering, Automated Reasoning +11

The first order properties of products of algebraic systems

Solomon Feferman, Robertl. Vaught · Fundamenta Mathematicae · 1959 · 482 citations · Full text

First Order Properties, Algebraic Analysis, Algebraic Structure +1

Handbook of Modal Logic

Patrick Blackburn, Johan van Benthem, Frank Wolter · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 424 citations

Engineering, Automated Reasoning, Propositional Logic +4

Modular Reuse of Ontologies: Theory and Practice

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov et al. · Journal of Artificial Intelligence Research · 2008 · 403 citations · Full text

Engineering, Ontology Engineering, Semantic Web +17

DL-Lite: tractable description logics for ontologies

Diego Calvanese, Giuseppe De Giacomo, Domenico Lemho et al. · National Conference on Artificial Intelligence · 2005 · 345 citations