default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEnrico Franconi
Person information
- affiliation: Free University of Bozen-Bolzano, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c112]Eva Feng, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell:
Equality Generating Dependencies in Description Logics via Path Agreements. AI (2) 2024: 214-227- [c111]Théo Abgrall, Enrico Franconi
:
Understanding the Semantic SQL Transducer. CAiSE Workshops 2024: 135-146 - [e15]Italo Jose da Silva Oliveira, Pedro Paulo F. Barcelos, Rodrigo F. Calhau, Claudenir M. Fonseca, Guendalina Righetti, Stefano De Giorgis, Guendalina Righetti, Gabriele Sacco, Maria M. Hedblom, Oliver Kutz, Martin Glauer, Mirjam Stappel, Cássia Trojahn, María Poveda-Villalón, Daniel Garijo, César Henrique Bernabé, Asiyah Yu Lin, Francesco Compagno, Anna Fensel, Walter Terkaj, Guendalina Righetti, Greta Adamo, Damion M. Dooley, Michaela Kümpel, Georgeta Bordea, Robert Warren, Anoosha Sehar, Matthew Lange, Felix Bindt, Ido Toxopeus, Davide Audrito, Francesca Grasso, Roberto Nai, Emilio Sulis, John Beverley, Mark Jensen, Sergio de Cesare, Frederik Gailly, Giancarlo Guizzardi, Chris Partridge, Oscar Pastor, Alexander García Castro, Thomas Hubauer, Wolfgang Süß, Philipp Schmurr, Greta Adamo, Max Willis, Daniele Francesco Santamaria, Thijs van Ede, Dan Klein, Gal Engelberg, Gianpietro Castiglione, Giampaolo Bella, Andrea Continella, Giancarlo Guizzardi, Davide Lanti, Alessandro Mosca, Federico Maria Scafoglieri, Guohui Xiao, Krzysztof Kutt, Jesualdo Tomás Fernández-Breis, Alois Pichler, Gábor Palkó, Grzegorz J. Nalepa, Pawel Garbacz, Robert Pergl, Zubeida Casmod Khan, Pedro Paulo F. Barcelos, João Moreira, Adrien Barton, Emilio M. Sanfilippo, Laura Daniele, João Paulo A. Almeida, Enrico Franconi, Paul Johannesson, Chiara Ghidini, Veruska Zamborlini:
Proceedings of the Joint Ontology Workshops (JOWO) - Episode X: The Tukker Zomer of Ontology, and satellite events co-located with the 14th International Conference on Formal Ontology in Information Systems (FOIS 2024), Enschede, The Netherlands, July 15-19, 2024. CEUR Workshop Proceedings 3882, CEUR-WS.org 2024 [contents] - [i11]Théo Abgrall, Enrico Franconi:
Understanding the Semantic SQL Transducer. CoRR abs/2407.07502 (2024) - 2023
- [c110]Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell:
Path Description Dependencies in Feature-Based DLs. Description Logics 2023 - 2022
- [c109]Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell:
Understanding Document Data Sources Using Ontologies with Referring Expressions. AI 2022: 367-380 - [c108]Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell:
Accessing Document Data Sources using Referring Expression Types. Description Logics 2022 - [i10]Enrico Franconi, Sergio Tessaris:
Relational Algebra and Calculus with SQL Null Values. CoRR abs/2202.10898 (2022) - 2020
- [j21]Nonyelum Ndefo, Enrico Franconi:
A Study on Information-Preserving Schema Transformations. Int. J. Semantic Comput. 14(1): 27-53 (2020)
2010 – 2019
- 2019
- [j20]Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente:
OCLFO: first-order expressive OCL constraints for efficient integrity checking. Softw. Syst. Model. 18(4): 2655-2678 (2019) - [c107]Nonyelum Ndefo, Enrico Franconi:
On Preserving Information in Schema Transformations: A Constructive Perspective. AIKE 2019: 57-64 - [c106]Alessandro Artale, Enrico Franconi:
Towards a Logical Foundation of Reification in Modelling Languages. Ontology Makes Sense 2019: 242-256 - [c105]Enrico Franconi, Volha Kerhet:
Effective Query Answering with Ontologies and DBoxes. Description Logic, Theory Combination, and All That 2019: 301-328 - [c104]Francesco Sportelli, Enrico Franconi:
A Formalisation and a Computational Characterisation of ORM Derivation Rules. OTM Conferences 2019: 678-694 - 2018
- [p2]Diego Calvanese, Enrico Franconi:
First-Order Ontology Mediated Database Querying via Query Reformulation. A Comprehensive Guide Through the Italian Database Research 2018: 169-185 - 2017
- [c103]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract). SEBD 2017: 33 - [c102]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive Description Logic for Databases. ISWC (1) 2017: 37-52 - [e14]Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel:
Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017. CEUR Workshop Proceedings 1875, CEUR-WS.org 2017 [contents] - [e13]Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman:
Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. Lecture Notes in Computer Science 10364, Springer 2017, ISBN 978-3-319-61251-5 [contents] - [i9]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive Description Logic for Databases (Extended Version). CoRR abs/1707.08468 (2017) - 2016
- [c101]Nhung Ngo, Enrico Franconi:
Unique Solutions in Data Exchange under STS Mappings. AMW 2016 - [c100]Alessandro Artale, Enrico Franconi:
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification. Description Logics 2016 - [c99]Francesco Sportelli, Enrico Franconi:
Formalisation of ORM Derivation Rules and Their Mapping into OWL. OTM Conferences 2016: 827-843 - [i8]Alessandro Artale, Enrico Franconi:
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version). CoRR abs/1604.00799 (2016) - 2015
- [j19]Ingo Feinerer, Enrico Franconi, Paolo Guagliardo:
Lossless Selection Views under Conditional Domain Constraints. IEEE Trans. Knowl. Data Eng. 27(2): 504-517 (2015) - [i7]Ingo Feinerer, Enrico Franconi, Paolo Guagliardo:
Lossless Selection Views under Conditional Domain Constraints. CoRR abs/1506.03625 (2015) - 2014
- [c98]Ingo Feinerer, Paolo Guagliardo, Enrico Franconi:
Lossless Selection Views under Constraints. AMW 2014 - [c97]Nhung Ngo, Enrico Franconi:
Unique Solutions in Data Exchange. DEXA (2) 2014: 281-294 - [c96]Enrico Franconi, Paolo Guagliardo:
Translatable Updates of Selection Views under Constant Complement. DEXA (2) 2014: 295-309 - [c95]Laura Perez-Beltrachini, Claire Gardent, Enrico Franconi:
Incremental Query Generation. EACL 2014: 183-191 - [c94]Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente:
Logic Foundations of the OCL Modelling Language. JELIA 2014: 657-664 - [c93]Nhung Ngo, Enrico Franconi:
Unique Solutions in Data Exchange. SEBD 2014: 185-192 - 2013
- [j18]Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca:
Logic-based Reasoning Support for SBVR. Fundam. Informaticae 124(4): 543-560 (2013) - [j17]Balder ten Cate, Enrico Franconi, Inanç Seylan:
Beth Definability in Expressive Description Logics. J. Artif. Intell. Res. 48: 347-414 (2013) - [j16]Enrico Franconi, Volha Kerhet, Nhung Ngo:
Exact Query Reformulation over Databases with First-order and Description Logics Ontologies. J. Artif. Intell. Res. 48: 885-922 (2013) - [c92]Enrico Franconi, Paolo Guagliardo:
Effectively Updatable Conjunctive Views. AMW 2013 - [c91]Ingo Feinerer, Enrico Franconi, Paolo Guagliardo:
Lossless Horizontal Decomposition with Domain Constraints on Interpreted Attributes. BNCOD 2013: 77-91 - [c90]Enrico Franconi, Alessandro Mosca:
Towards a Core ORM2 Language (Research Note). OTM Workshops 2013: 448-456 - [c89]Enrico Franconi, Claudio Gutierrez, Alessandro Mosca, Riccardo Rosati, Giuseppe Pirrò:
The Logic of Extensional RDFS (Extended Abstract). SEBD 2013: 75-86 - [c88]Enrico Franconi, Claudio Gutierrez, Alessandro Mosca, Giuseppe Pirrò, Riccardo Rosati:
The Logic of Extensional RDFS. ISWC (1) 2013: 101-116 - 2012
- [j15]Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
The ICOM 3.0 intelligent conceptual modelling tool and methodology. Semantic Web 3(3): 293-306 (2012) - [c87]Enrico Franconi, Sergio Tessaris:
On the Logic of SQL Nulls. AMW 2012: 114-128 - [c86]Enrico Franconi, Paolo Guagliardo:
On the Translatability of View Updates. AMW 2012: 154-167 - [c85]Volha Kerhet, Enrico Franconi:
On Checking Domain Independence. CILC 2012: 246-250 - [c84]Enrico Franconi, Volha Kerhet, Nhung Ngo:
Exact Query Reformulation over SHOQ DBoxes. Description Logics 2012 - [c83]Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin:
ORM2 Encoding into Description Logic (Extended Abstract). Description Logics 2012 - [c82]Enrico Franconi, Volha Kerhet, Nhung Ngo:
Exact Query Reformulation with First-Order Ontologies and Databases. JELIA 2012: 202-214 - [c81]Riccardo Rosati, Enrico Franconi:
Generalized Ontology-Based Production Systems. KR 2012 - [c80]Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin:
ORM2: Formalisation and Encoding in OWL2. OTM Workshops 2012: 368-378 - [c79]Ronéll Alberts, Enrico Franconi:
An Integrated Method Using Conceptual Modelling to Generate an Ontology-based Query Mechanism. OWLED 2012 - [c78]Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov:
The Definability Abduction Problem for Data Exchange - (Abstract). RR 2012: 217-220 - [c77]Enrico Franconi, Sergio Tessaris:
The Algebra and the Logic for SQL Nulls. SEBD 2012: 163-176 - [c76]Peter F. Patel-Schneider, Enrico Franconi:
Ontology Constraints in Incomplete and Complete Data. ISWC (1) 2012: 444-459 - [i6]Enrico Franconi, Paolo Guagliardo:
The View Update Problem Revisited. CoRR abs/1211.3016 (2012) - 2011
- [c75]Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca:
Logic-based reasoning support for SBVR. CILC 2011: 311-325 - [c74]Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology. Description Logics 2011 - [c73]Enrico Franconi, Paolo Guagliardo, Marco Trevisan, Sergio Tessaris:
Quelo: an Ontology-Driven Query Interface. Description Logics 2011 - [c72]Enrico Franconi, David Toman:
Fixpoints in Temporal Description Logics. IJCAI 2011: 875-880 - [c71]Balder ten Cate, Enrico Franconi, Inanç Seylan:
Beth Definability in Expressive Description Logics. IJCAI 2011: 1099-1106 - [c70]Enrico Franconi, Paolo Guagliardo:
A Constructive Framework for View Updating (Extended Abstract). SEBD 2011: 147-154 - [c69]Enrico Franconi, Yazmín Angélica Ibáñez-García, Inanç Seylan:
Query Answering with DBoxes is Hard. M4M/LAMAS 2011: 71-84 - [i5]Alessandro Artale, Enrico Franconi:
A Temporal Description Logic for Reasoning about Actions and Plans. CoRR abs/1105.5446 (2011) - 2010
- [c68]Inanç Seylan, Enrico Franconi, Jos de Bruijn:
Optimal Rewritings in Definitorially Complete Description Logics. Description Logics 2010 - [c67]Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell:
On Finding Query Rewritings under Expressive Constraints. SEBD 2010: 426-437
2000 – 2009
- 2009
- [c66]Alessandro Artale, Enrico Franconi:
Foundations of Temporal Conceptual Data Models. Conceptual Modeling: Foundations and Applications 2009: 10-35 - [c65]Inanç Seylan, Enrico Franconi, Jos de Bruijn:
Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract). Description Logics 2009 - [c64]Inanç Seylan, Enrico Franconi, Jos de Bruijn:
Effective Query Rewriting with Ontologies over DBoxes. IJCAI 2009: 923-925 - [e12]Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt:
Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures. Lecture Notes in Computer Science 5689, Springer 2009, ISBN 978-3-642-03753-5 [contents] - 2008
- [j14]Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
The complexity and approximation of fixing numerical attributes in databases under integrity constraints. Inf. Syst. 33(4-5): 407-434 (2008) - [j13]Enrico Franconi:
Ontologies and databases: myths and challenges. Proc. VLDB Endow. 1(2): 1518-1519 (2008) - 2007
- [c63]Enrico Franconi:
Conceptual Schemas and Ontologies for Database Access: Myths and Challenges. ER 2007: 22 - [e11]Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris:
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. CEUR Workshop Proceedings 250, CEUR-WS.org 2007 [contents] - [e10]Enrico Franconi, Michael Kifer, Wolfgang May:
The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4519, Springer 2007, ISBN 978-3-540-72666-1 [contents] - 2006
- [c62]Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
The new ICOM Ontology Editor. Description Logics 2006 - [c61]Paolo Dongilli, Enrico Franconi:
An Intelligent Query Interface with Natural Language Support. FLAIRS 2006: 658-663 - [c60]Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris:
Reasoning Support for Ontology Design. OWLED 2006 - [c59]Enrico Franconi, Sergio Tessaris:
The logic of RDF and SPARQL: a tutorial. PODS 2006: 355 - [e9]Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens:
Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings. IEEE Computer Society 2006, ISBN 0-7695-2652-7 [contents] - [e8]Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler:
Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures. Lecture Notes in Computer Science 4126, Springer 2006, ISBN 3-540-38409-X [contents] - 2005
- [c58]Enrico Franconi, Andrei Lopatenko:
The coDBz Information Integration System for Autonomous Data Sources. EMOI-INTEROP 2005 - [c57]Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints. DBPL 2005: 262-278 - [c56]Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
Fixing Inconsistent Databases by Updating Numerical Attributes. DEXA Workshops 2005: 854-858 - [c55]Sergio Tessaris, Enrico Franconi:
Rules and Queries with Ontologies: a Unifying Logical Framework. Description Logics 2005 - [c54]Enrico Franconi, Jos de Bruijn, Sergio Tessaris:
Logical Reconstruction of Normative RDF. OWLED 2005 - [c53]Jos de Bruijn, Enrico Franconi, Sergio Tessaris:
Logical Reconstruction of RDF and Ontology Languages. PPSWR 2005: 65-71 - [c52]Grigoris Antoniou, Enrico Franconi, Frank van Harmelen:
Introduction to Semantic Web Ontology Languages. Reasoning Web 2005: 1-21 - [c51]Paolo Dongilli, Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies. SEBD 2005: 75-86 - [c50]Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
Data Cleansing for Numerical Data Sets. SEBD 2005: 292-299 - [c49]Enrico Franconi, Sergio Tessaris:
A Unified Logical Framework for Rules (and Queries) with Ontologies. Rule Languages for Interoperability 2005 - [e7]Andrea Calì, Diego Calvanese, Enrico Franconi, Maurizio Lenzerini, Letizia Tanca:
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005. 2005, ISBN 88-548-0122-4 [contents] - [r1]Alessandro Artale, Enrico Franconi:
Temporal Description Logics. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 375-388 - [i4]Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints. CoRR abs/cs/0503032 (2005) - [i3]Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi:
Data complexity of answering conjunctive queries over SHIQ knowledge bases. CoRR abs/cs/0507059 (2005) - 2004
- [j12]Christopher Brewster, Kieron O'Hara, Steve Fuller, Yorick Wilks, Enrico Franconi, Mark A. Musen, Jeremy Ellman, Simon Buckingham Shum:
Knowledge Representation with Ontologies: The Present and Future. IEEE Intell. Syst. 19(1): 72-81 (2004) - [j11]Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi:
Editorial. J. Log. Comput. 14(1): 1 (2004) - [c48]Enrico Franconi:
Description Logics for Interoperability. CAiSE Workshops (3) 2004: 307-310 - [c47]Enrico Franconi, Anand Kamble:
The GMD Data Model and Algebra for Multidimensional Information. CAiSE 2004: 446-462 - [c46]Paolo Dongilli, Enrico Franconi, Sergio Tessaris:
Semantics Driven Support for Query Formulation. Description Logics 2004 - [c45]Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris:
An Ontology Based Visual Tool for Query Formulation Support. ECAI 2004: 308-312 - [c44]Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu:
A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks. EDBT Workshops 2004: 446-455 - [c43]Enrico Franconi, Sergio Tessaris:
Rules and Queries with Ontologies: A Unified Logical Framework. PPSWR 2004: 50-60 - [c42]Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu:
The coDB Robust Peer-to-Peer Database System. SEBD 2004: 382-393 - [c41]Enrico Franconi, Anand Kamble:
A Data Warehouse Conceptual Data Model. SSDBM 2004: 435-436 - [c40]Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu:
Queries and Updates in the coDB Peer to Peer Database System. VLDB 2004: 1277-1280 - [e6]Jürgen Dix, Thomas Eiter, Enrico Franconi:
Logic Based Information Agents, 18.04. - 23.04.2004. Dagstuhl Seminar Proceedings 04171, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - [i2]Jürgen Dix, Thomas Eiter, Enrico Franconi:
04171 Abstracts Collection - Logic Based Information Agents. Logic Based Information Agents 2004 - 2003
- [j10]Martin Peim, Enrico Franconi, Norman W. Paton:
Estimating the quality of answers when querying over description logic ontologies. Data Knowl. Eng. 47(1): 105-129 (2003) - [c39]Alessandro Artale, Enrico Franconi, Federica Mandreoli:
Description Logics for Modeling Dynamic Information. Logics for Emerging Applications of Databases 2003: 239-275 - [c38]Enrico Franconi, Anand Kamble:
The GMD Data Model for Multidimensional Information: A Brief Introduction. DaWaK 2003: 55-65 - [c37]Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini:
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. DBISP2P 2003: 64-76 - [c36]Enrico Franconi, David Toman:
Fixpoint Extensions of Temporal Description Logics. Description Logics 2003 - [c35]Tiziana Catarci, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris:
An Ontology Based Visual Tool for Query Formulation Support. OTM Workshops 2003: 32-33 - [c34]Enrico Franconi, Anand Kamble:
The GMD Data Model for Multidimensional Information: a brief introduction. SEBD 2003: 109-118 - [p1]Enrico Franconi:
Natural Language Processing. Description Logic Handbook 2003: 450-461 - [e5]Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi:
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. CEUR Workshop Proceedings 81, CEUR-WS.org 2003 [contents] - [i1]Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini:
A Robust and Computational Characterisation of Peer-to-Peer Database Systems. CoRR cs.DC/0308013 (2003) - 2002
- [j9]Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke:
Combinations of Modal Logics. Artif. Intell. Rev. 17(1): 1-20 (2002) - [c33]Martin Peim, Enrico Franconi, Norman W. Paton:
Estimating Soundness and Completeness over Queries Over Description Logics. Description Logics 2002 - [c32]Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble:
Querying Objects with Description Logics. Description Logics 2002 - [c31]Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev:
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110 - [c30]