S. Confpaper and F. Confpaper, FullPaper ¬ShortPaper, Survey JournPaper P1's graph P2's graph P1:Sculptor rdfs:subClassOf P1:Artist . P2:Painting rdfs:subClassOf P2:Work

P. Les?demoiselles?d?avignon and . Picasso?pink, The?statue?of?David rdf:type P2:Sculpture

S. Bibliography, T. Abiteboul, P. Allard, G. Chatalic, A. Gardarin et al., Webcontent: efficient p2p warehousing of web data, Proceedings of the Very Large Data Base Endowment (PVLDB), p.2008

P. Adjiman, P. Chatalic, F. Goasdoué, M. Rousset, and L. Simon, Distributed reasoning in a peer-to-peer setting, European Conference on Artificial Intelligence (ECAI), 2004.

P. Adjiman, P. Chatalic, F. Goasdoué, M. Rousset, and L. Simon, Raisonnement distribué dans un environnement de type pair-` a-pair, Journées Nationales sur la résolution Pratique deProbì emes NP-Complets (JNPC), 2004.

P. Adjiman, P. Chatalic, F. Goasdoué, M. Rousset, and L. Simon, Scalability study of peer-to-peer consequence finding, International Joint Conference on Artificial Intelligence (IJCAI), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000267

P. Adjiman, P. Chatalic, F. Goasdoué, M. Rousset, and L. Simon, SomeWhere in the Semantic Web, International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR), 2005.
DOI : 10.1007/11552222_1

URL : https://hal.archives-ouvertes.fr/inria-00000268

P. Adjiman, P. Chatalic, F. Goasdoué, M. Rousset, and L. Simon, Distributed reasoning in a peer-to-peer setting: Application to the semantic web, Journal of Artificial Intelligence Research (JAIR), vol.25, pp.269-314, 2006.

N. Abdallah and F. Goasdoué, Calcul de conséquences pour le test d'extension conservative dans un système pair-` a-pair, Journées Francophones de Programmation par Contraintes (JFPC), 2008.

N. Abdallah and F. Goasdoué, Systèmes pair-` a-pair sémantiques et extension (non) conservative d'une base de connaissances, Journées de bases de données avancées (BDA), 2008. [AG09] Nada Abdallah and François Goasdoué. Non-conservative extension of a peer in a p2p inference system. AI Communications (AICOM), pp.211-233, 2009.

[. Arenas, C. Gutierrez, and J. Pérez, Foundations of RDF Databases, Reasoning Web Summer School, 2009.
DOI : 10.1016/0022-0000(84)90080-1

P. Adjiman, F. Goasdoué, and M. Rousset, Somerdfsin the semantic web, Journal on Data Semantics (JODS), vol.8, pp.158-181, 2007.

[. Abdallah, F. Goasdoué, and M. Rousset, Dl-liter in the light of propositional logic for decentralized data management, Internet Joint Conference on Artificial Intelligence (IJCAI), 2009.
URL : https://hal.archives-ouvertes.fr/inria-00429710

[. Abdallah, F. Goasdoué, and M. Rousset, Gestion décentralisée de données en dl-lite, Congrès francophone de Reconnaissance des Formes et d'Intelligence Artificielle (RFIA), 2010.

S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases, 1995.

S. [. Amir and . Mcilraith, Partition-based logical reasoning, International Conference on the Principles of Knowledge Representation and Reasoning (KR), pp.389-400, 2000.

S. [. Amir and . Mcilraith, Theorem proving with structured theories, International Joint Conference on Artificial Intelligence (IJCAI), pp.624-634, 2001.

D. J. Abadi, A. Marcus, S. R. Madden, and K. Hollenbach, Scalable semantic web data management using vertical partitioning, International Conference on Very Large Databases (VLDB), 2007.

S. Amer-yahia, S. Cho, V. S. Laks, D. Lakshmanan, and . Srivastava, Minimization of tree pattern queries, ACM SIGMOD International Conference on the Management of Data (SIGMOD), 2001.

F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. Patel-schneider, The Description Logic Handbook: Theory, Implementation, and Applications, 2003.
DOI : 10.1017/CBO9780511711787

F. Bugiotti, F. Goasdoué, Z. Kaoudi, and I. Manolescu, RDF data management in the Amazon cloud, Proceedings of the 2012 Joint EDBT/ICDT Workshops on, EDBT-ICDT '12, p.2012
DOI : 10.1145/2320765.2320790

URL : https://hal.archives-ouvertes.fr/hal-00670492

J. Broekstra and A. Kampman, Inferencing and truth maintenance in RDF Schema: Exploring a naive practical approach, Workshop on Practical and Scalable Semantic Systems (PSSS), 2003.

B. Bishop, A. Kiryakov, and D. Ognyanoff, Ivan Peikov, Zdravko Tashev, and Ruslan Velkov. OWLIM: A family of scalable semantic repositories, Semantic Web (JSW), 2011.

D. Calvanese, G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, Journal of Automated Reasoning, vol.104, issue.1,2, pp.385-429, 2007.
DOI : 10.1007/s10817-007-9078-x

G. [. Calvanese, M. De-giacomo, R. Lenzerini, and . Rosati, Logical fondation of peer-to-peer data integration, ACM SIGACT-SIGMOD-SIGART Conference on the Principles of Database Systems (PODS), 2004.

[. Grau, I. Horrocks, Y. Kazakov, and U. Sattler, Just the right amount, Proceedings of the 16th international conference on World Wide Web , WWW '07, 2007.
DOI : 10.1145/1242572.1242669

R. Castillo and U. Leser, Selecting Materialized Views for RDF Data, Workshops of the International Conference on Web Engineering (ICWE), 2010.
DOI : 10.1007/978-3-642-16985-4_12

M. Chein and M. Mugnier, Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs, 2008.
URL : https://hal.archives-ouvertes.fr/lirmm-00355336

[. Chang and R. C. Lee, Symbolic Logic and Mechanical Theorem Proving, 1973.

[. Castillo, C. Rothe, and U. Leser, RDFMatView: Indexing RDF data using Materialized SPARQL Queries, International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS), 2010.

G. [. Franconi, A. Kuper, I. Lopatenko, and . Zaihrayeu, Queries and updates in the coDB peer-topeer database system, International Conference on Very Large Databases (VLDB), 2004.

K. Goasdoué, Y. Karanasos, and . Katsis, Julien Leblay, Ioana Manolescu, and Stamatis Zampetakis. Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents, International Workshop on Searching and Integrating New Web Data Sources (VLDS), 2011.

K. Goasdoué, Y. Karanasos, and . Katsis, Julien Leblay, Ioana Manolescu, and Stamatis Zampetakis. Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents, Journées de Bases de Données Avancées (BDA), 2011.

[. Goasdoué, K. Karanasos, J. Leblay, and I. Manolescu, RDFViewS, Proceedings of the 19th ACM international conference on Information and knowledge management, CIKM '10, p.2010
DOI : 10.1145/1871437.1871778

[. Goasdoué, K. Karanasos, J. Leblay, and I. Manolescu, Materialized View-Based Processing of RDF Queries, Bases de Données Avancées (BDA), 2010.

[. Goasdoué, K. Karanasos, J. Leblay, and I. Manolescu, View selection in Semantic Web databases, Proceedings of the Very Large Data Bases endowment (PVLDB), 2011.
DOI : 10.14778/2078324.2078326

[. Goasdoué, K. Karanasos, J. Leblay, and I. Manolescu, RDFViewS, Proceedings of the 19th ACM international conference on Information and knowledge management, CIKM '10, 2011.
DOI : 10.1145/1871437.1871778

C. [. Ghilardi, F. Lutz, and . Wolter, Did i damage my ontology? a case for conservative extensions in description logics, International Conference on the Principles of Knowledge Representation and Reasoning (KR), 2006.

F. Goasdoué, I. Manolescu, and A. Roatis, Getting more RDF support from relational databases, Proceedings of the 21st international conference companion on World Wide Web, WWW '12 Companion, p.2012
DOI : 10.1145/2187980.2188104

[. Goasdoué, I. Manolescu, A. Roatis¸, and . Roatis¸, Répondre aux requêtes par reformulation dans les bases de données RDF, Congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA), 2012.

G. Gottlob, G. Orsi, and A. Pieris, Ontological queries: Rewriting and optimization, 2011 IEEE 27th International Conference on Data Engineering, 2011.
DOI : 10.1109/ICDE.2011.5767965

[. Goasdoué and M. Rousset, Querying distributed data through distributed ontologies: a simple but scalable approach, International Workshop on Information Integration on the Web, 2003.
DOI : 10.1109/MIS.2003.1234771

[. Goasdoué and M. Rousset, Querying distributed data through distributed ontologies: a simple but scalable approach, Bases de Données Avancées (BDA), pp.60-65, 2003.
DOI : 10.1109/MIS.2003.1234771

[. Goasdoué and M. Rousset, Robust Module-Based Data Management, IEEE Transactions on Knowledge and Data Engineering, vol.25, issue.3, p.2012
DOI : 10.1109/TKDE.2011.255

T. Gruber and . Ontology, In Encyclopedia of Database Systems, 2009.

Y. Alon and . Halevy, Answering queries using views: A survey. The Very Large Databases, Journal (VLDBJ), vol.10, issue.4, 2001.

Z. [. Halevy, D. Ives, I. Suciu, and . Tatarinov, Schema mediation in peer data management systems, Proceedings 19th International Conference on Data Engineering (Cat. No.03CH37405), 2003.
DOI : 10.1109/ICDE.2003.1260817

T. Imielinski and W. Lipski-jr, Incomplete information in relational databases, Journal of the ACM (JACM), vol.31, issue.4, 1984.

]. K. Ino91 and . Inoue, Consequence-finding based on ordered linear resolution, International Joint Conference on Artificial Intelligence (IJCAI), pp.158-164, 1991.

]. K. Ino92 and . Inoue, Linear resolution for consequence finding, Artificial Intelligence, issue.56, pp.2-3301, 1992.

C. [. Konev, D. Lutz, F. Walther, and . Wolter, Semantic modularity and module extraction in description logics, European Conference on Artificial Intelligence (ECAI), 2008.

Z. Kaoudi, I. Miliaraki, and M. Koubarakis, RDFS Reasoning and Query Answering on Top of DHTs, International Semantic Web Conference (ISWC), 2008.
DOI : 10.1007/3-540-45518-3_18

. Kps-+-09-]-r, L. Kontchakov, U. Pulina, T. Sattler, P. Schneider et al., Minimal module extraction from DL-Lite ontologies using QBF solvers, International Joint Conference on Artificial Intelligence (IJCAI), 2009.

]. B. Kww09a, D. Konev, F. Walther, and . Wolter, Forgetting and uniform interpolation in extensions of the description logic EL, International Workshop on Description Logics, 2009.

]. B. Kww09b, D. Konev, F. Walther, and . Wolter, Forgetting and uniform interpolation in large-scale description logic terminologies, International Joint Conference on Artificial Intelligence (IJCAI), 2009.

M. Lenzerini, Ontology-based data management, ACM Conference on Information and Knowledge Management (CIKM), 2011.
DOI : 10.1145/2064227.2064251

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.8968

P. Marquis, Handbook on Defeasible Reasoning and Uncertainty Management Systems, chapter Consequence Finding Algorithms, pp.41-145, 2000.

E. Minicozzi and R. Reiter, A note on linear resolution strategies in consequence-finding, Artificial Intelligence, vol.3, issue.1-3, pp.175-180, 1972.
DOI : 10.1016/0004-3702(72)90047-1

[. Neumann and G. Weikum, RDF-3X, Proceedings of the VLDB Endowment (PVLDB), 2008.
DOI : 10.14778/1453856.1453927

T. Neumann and G. Weikum, Scalable join processing on very large RDF graphs, Proceedings of the 35th SIGMOD international conference on Management of data, SIGMOD '09, 2009.
DOI : 10.1145/1559845.1559911

T. Neumann and G. Weikum, x-RDF-3X, Proceedings of the VLDB Endowment (PVLDB), 2010.
DOI : 10.14778/1920841.1920877

. Pbj-+-09-]-o, G. Palombi, D. Bousquet, S. Jospin, L. Hassan et al., My corporis fabrica: A unified ontological, geometrical and mechanical view of human anatomy, Modelling the Physiological Human, 3D Physiological Human Workshop (3DPH), 2009.

[. Ramakrishnan and J. Gehrke, Database management systems, 2003.

J. Stuart, P. Russell, and . Norvig, Artificial Intelligence: A Modern Approach, Series in Artificial Intelligence, 2010.

]. J. [-rob65 and . Robinson, A machine-oriented logic based on the resolution principle, Journal of the ACM (JACM), vol.12, issue.1, pp.23-41, 1965.

R. Sgk-+-08-]-lefteris-sidirourgos, M. Goncalves, N. Kersten, S. Nes, and . Manegold, Columnstore support for RDF data management: not all swans are white, Proceedings of the VLDB Endowment (PVLDB), 2008.

Z. I. Tatarinov, J. Ives, A. Madhavan, D. Halevy, N. Suciu et al., The Piazza peer data management project, ACM SIGMOD Record, vol.32, issue.3, 2003.
DOI : 10.1145/945721.945732

D. Theodoratos, S. Ligoudistianos, and T. K. Sellis, View selection for designing the global data warehouse, Data & Knowledge Engineering, vol.39, issue.3, 2001.
DOI : 10.1016/S0169-023X(01)00041-6

D. Theodoratos and T. K. Sellis, Data warehouse configuration, International Conference on Very Large Databases (VLDB), 1997.

J. Urbani, F. Van-harmelen, S. Schlobach, and H. Bal, QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases, International Semantic Web Conference (ISWC), 2011.
DOI : 10.1007/978-3-642-04930-9_43

]. M. Var82 and . Vardi, The complexity of relational query languages, ACM Symposium on Theory of Computing (STOC), 1982.

]. W3ca and . W3c, Resource description framework, 2001.

]. W3cb and . W3c, Resource description framework in XHTML attributes

]. W3cc and . W3c, Sparql protocol and query language, 2001.

C. Weiss, P. Karras, and A. Bernstein, Hexastore, Proceedings of the VLDB Endowment (PVLDB), 2008.
DOI : 10.14778/1453856.1453965

]. K. Wwt-+-09, Z. Wang, R. W. Wang, J. Z. Topor, G. Pan et al., Concept and role forgetting in ALC ontologies, International Semantic Web Conference (ISWC), 2009.

Z. Wang, K. Wang, R. W. Topor, and J. Z. Pan, Forgetting Concepts in DL-Lite, Extended Semantic Web Conference (ESWC), 2008.
DOI : 10.1007/978-3-540-68234-9_20