Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Enrico Franconi
@inproceedings{DBLP:conf/dlog/FengBFP0W23,
author = {Eva Feng and
Alexander Borgida and
Enrico Franconi and
Peter F. Patel{-}Schneider and
David Toman and
Grant E. Weddell},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {Path Description Dependencies in Feature-Based DLs},
booktitle = {Proceedings of the 36th International Workshop on Description Logics
{(DL} 2023) co-located with the 20th International Conference on Principles
of Knowledge Representation and Reasoning and the 21st International
Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes,
Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/paper-10.pdf},
timestamp = {Thu, 26 Oct 2023 16:59:55 +0200},
biburl = {https://dblp.org/rec/conf/dlog/FengBFP0W23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/BorgidaFTW22,
author = {Alexander Borgida and
Enrico Franconi and
David Toman and
Grant E. Weddell},
editor = {Haris Aziz and
D{\'{e}}bora Corr{\^{e}}a and
Tim French},
title = {Understanding Document Data Sources Using Ontologies with Referring
Expressions},
booktitle = {{AI} 2022: Advances in Artificial Intelligence - 35th Australasian
Joint Conference, {AI} 2022, Perth, WA, Australia, December 5-8, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13728},
pages = {367--380},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22695-3\_26},
doi = {10.1007/978-3-031-22695-3\_26},
timestamp = {Sat, 30 Sep 2023 09:34:57 +0200},
biburl = {https://dblp.org/rec/conf/ausai/BorgidaFTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaFTW22,
author = {Alexander Borgida and
Enrico Franconi and
David Toman and
Grant E. Weddell},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Accessing Document Data Sources using Referring Expression Types},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/paper-6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaFTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-10898,
author = {Enrico Franconi and
Sergio Tessaris},
title = {Relational Algebra and Calculus with {SQL} Null Values},
journal = {CoRR},
volume = {abs/2202.10898},
year = {2022},
url = {https://arxiv.org/abs/2202.10898},
eprinttype = {arXiv},
eprint = {2202.10898},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-10898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsc/NdefoF20,
author = {Nonyelum Ndefo and
Enrico Franconi},
title = {A Study on Information-Preserving Schema Transformations},
journal = {Int. J. Semantic Comput.},
volume = {14},
number = {1},
pages = {27--53},
year = {2020},
url = {https://doi.org/10.1142/S1793351X20400024},
doi = {10.1142/S1793351X20400024},
timestamp = {Mon, 06 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsc/NdefoF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranconiMORT19,
author = {Enrico Franconi and
Alessandro Mosca and
Xavier Oriol and
Guillem Rull and
Ernest Teniente},
title = {OCL\({}_{\mbox{FO}}\): first-order expressive {OCL} constraints for
efficient integrity checking},
journal = {Softw. Syst. Model.},
volume = {18},
number = {4},
pages = {2655--2678},
year = {2019},
url = {https://doi.org/10.1007/s10270-018-0688-z},
doi = {10.1007/S10270-018-0688-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranconiMORT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aike/NdefoF19,
author = {Nonyelum Ndefo and
Enrico Franconi},
title = {On Preserving Information in Schema Transformations: {A} Constructive
Perspective},
booktitle = {2nd {IEEE} International Conference on Artificial Intelligence and
Knowledge Engineering, {AIKE} 2019, Sardinia, Italy, June 3-5, 2019},
pages = {57--64},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/AIKE.2019.00019},
doi = {10.1109/AIKE.2019.00019},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/aike/NdefoF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ArtaleF19,
author = {Alessandro Artale and
Enrico Franconi},
editor = {Stefano Borgo and
Roberta Ferrario and
Claudio Masolo and
Laure Vieu},
title = {Towards a Logical Foundation of Reification in Modelling Languages},
booktitle = {Ontology Makes Sense - Essays in honor of Nicola Guarino},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {316},
pages = {242--256},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/978-1-61499-955-3-242},
doi = {10.3233/978-1-61499-955-3-242},
timestamp = {Sun, 14 Apr 2019 14:33:54 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ArtaleF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FranconiK19,
author = {Enrico Franconi and
Volha Kerhet},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {Effective Query Answering with Ontologies and DBoxes},
booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11560},
pages = {301--328},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_14},
doi = {10.1007/978-3-030-22102-7\_14},
timestamp = {Mon, 29 Jul 2019 16:00:26 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FranconiK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/SportelliF19,
author = {Francesco Sportelli and
Enrico Franconi},
editor = {Herv{\'{e}} Panetto and
Christophe Debruyne and
Martin Hepp and
Dave Lewis and
Claudio Agostino Ardagna and
Robert Meersman},
title = {A Formalisation and a Computational Characterisation of {ORM} Derivation
Rules},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2019 Conferences
- Confederated International Conferences: CoopIS, ODBASE, C{\&}TC
2019, Rhodes, Greece, October 21-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11877},
pages = {678--694},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33246-4\_42},
doi = {10.1007/978-3-030-33246-4\_42},
timestamp = {Wed, 16 Oct 2019 10:17:19 +0200},
biburl = {https://dblp.org/rec/conf/otm/SportelliF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/CalvaneseF18,
author = {Diego Calvanese and
Enrico Franconi},
editor = {Sergio Flesca and
Sergio Greco and
Elio Masciari and
Domenico Sacc{\`{a}}},
title = {First-Order Ontology Mediated Database Querying via Query Reformulation},
booktitle = {A Comprehensive Guide Through the Italian Database Research Over the
Last 25 Years},
series = {Studies in Big Data},
volume = {31},
pages = {169--185},
publisher = {Springer International Publishing},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-61893-7\_10},
doi = {10.1007/978-3-319-61893-7\_10},
timestamp = {Thu, 13 Jul 2017 09:04:08 +0200},
biburl = {https://dblp.org/rec/books/sp/18/CalvaneseF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ArtaleFPS17,
author = {Alessandro Artale and
Enrico Franconi and
Rafael Pe{\~{n}}aloza and
Francesco Sportelli},
editor = {Sergio Flesca and
Sergio Greco and
Elio Masciari and
Domenico Sacc{\`{a}}},
title = {A Decidable Very Expressive n-ary Description Logic for Database Applications
(extended abstract)},
booktitle = {Proceedings of the 25th Italian Symposium on Advanced Database Systems,
Squillace Lido (Catanzaro), Italy, June 25-29, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2037},
pages = {33},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2037/paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/sebd/ArtaleFPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ArtaleFPS17,
author = {Alessandro Artale and
Enrico Franconi and
Rafael Pe{\~{n}}aloza and
Francesco Sportelli},
editor = {Claudia d'Amato and
Miriam Fern{\'{a}}ndez and
Valentina A. M. Tamma and
Freddy L{\'{e}}cu{\'{e}} and
Philippe Cudr{\'{e}}{-}Mauroux and
Juan F. Sequeda and
Christoph Lange and
Jeff Heflin},
title = {A Decidable Very Expressive Description Logic for Databases},
booktitle = {The Semantic Web - {ISWC} 2017 - 16th International Semantic Web Conference,
Vienna, Austria, October 21-25, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10587},
pages = {37--52},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68288-4\_3},
doi = {10.1007/978-3-319-68288-4\_3},
timestamp = {Tue, 07 Sep 2021 13:48:04 +0200},
biburl = {https://dblp.org/rec/conf/semweb/ArtaleFPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2017s,
editor = {Nick Bassiliades and
Antonis Bikakis and
Stefania Costantini and
Enrico Franconi and
Adrian Giurca and
Roman Kontchakov and
Theodore Patkos and
Fariba Sadri and
William Van Woensel},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1875},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1875},
urn = {urn:nbn:de:0074-1875-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/2017s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2017,
editor = {Stefania Costantini and
Enrico Franconi and
William Van Woensel and
Roman Kontchakov and
Fariba Sadri and
Dumitru Roman},
title = {Rules and Reasoning - International Joint Conference, RuleML+RR 2017,
London, UK, July 12-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10364},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61252-2},
doi = {10.1007/978-3-319-61252-2},
isbn = {978-3-319-61251-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArtaleFPS17,
author = {Alessandro Artale and
Enrico Franconi and
Rafael Pe{\~{n}}aloza and
Francesco Sportelli},
title = {A Decidable Very Expressive Description Logic for Databases (Extended
Version)},
journal = {CoRR},
volume = {abs/1707.08468},
year = {2017},
url = {http://arxiv.org/abs/1707.08468},
eprinttype = {arXiv},
eprint = {1707.08468},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArtaleFPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/NgoF16,
author = {Nhung Ngo and
Enrico Franconi},
editor = {Reinhard Pichler and
Altigran Soares da Silva},
title = {Unique Solutions in Data Exchange under {STS} Mappings},
booktitle = {Proceedings of the 10th Alberto Mendelzon International Workshop on
Foundations of Data Management, Panama City, Panama, May 8-10, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1644},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1644/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/NgoF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleF16,
author = {Alessandro Artale and
Enrico Franconi},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {Extending {DLR} with Labelled Tuples, Projections, Functional Dependencies
and Objectification},
booktitle = {Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1577},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1577/paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/SportelliF16,
author = {Francesco Sportelli and
Enrico Franconi},
editor = {Christophe Debruyne and
Herv{\'{e}} Panetto and
Robert Meersman and
Tharam S. Dillon and
Eva K{\"{u}}hn and
Declan O'Sullivan and
Claudio Agostino Ardagna},
title = {Formalisation of {ORM} Derivation Rules and Their Mapping into {OWL}},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2016 Conferences
- Confederated International Conferences: CoopIS, C{\&}TC, and
{ODBASE} 2016, Rhodes, Greece, October 24-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10033},
pages = {827--843},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48472-3\_52},
doi = {10.1007/978-3-319-48472-3\_52},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/otm/SportelliF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArtaleF16,
author = {Alessandro Artale and
Enrico Franconi},
title = {Extending {DLR} with Labelled Tuples, Projections, Functional Dependencies
and Objectification (full version)},
journal = {CoRR},
volume = {abs/1604.00799},
year = {2016},
url = {http://arxiv.org/abs/1604.00799},
eprinttype = {arXiv},
eprint = {1604.00799},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArtaleF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/FeinererFG15,
author = {Ingo Feinerer and
Enrico Franconi and
Paolo Guagliardo},
title = {Lossless Selection Views under Conditional Domain Constraints},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {27},
number = {2},
pages = {504--517},
year = {2015},
url = {https://doi.org/10.1109/TKDE.2014.2334327},
doi = {10.1109/TKDE.2014.2334327},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tkde/FeinererFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FeinererFG15,
author = {Ingo Feinerer and
Enrico Franconi and
Paolo Guagliardo},
title = {Lossless Selection Views under Conditional Domain Constraints},
journal = {CoRR},
volume = {abs/1506.03625},
year = {2015},
url = {http://arxiv.org/abs/1506.03625},
eprinttype = {arXiv},
eprint = {1506.03625},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FeinererFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/FeinererGF14,
author = {Ingo Feinerer and
Paolo Guagliardo and
Enrico Franconi},
editor = {Georg Gottlob and
Jorge P{\'{e}}rez},
title = {Lossless Selection Views under Constraints},
booktitle = {Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of
Data Management, Cartagena de Indias, Colombia, June 4-6, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1189},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1189/paper\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/FeinererGF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/NgoF14,
author = {Nhung Ngo and
Enrico Franconi},
editor = {Hendrik Decker and
Lenka Lhotsk{\'{a}} and
Sebastian Link and
Marcus Spies and
Roland R. Wagner},
title = {Unique Solutions in Data Exchange},
booktitle = {Database and Expert Systems Applications - 25th International Conference,
{DEXA} 2014, Munich, Germany, September 1-4, 2014. Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8645},
pages = {281--294},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10085-2\_26},
doi = {10.1007/978-3-319-10085-2\_26},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dexa/NgoF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/FranconiG14,
author = {Enrico Franconi and
Paolo Guagliardo},
editor = {Hendrik Decker and
Lenka Lhotsk{\'{a}} and
Sebastian Link and
Marcus Spies and
Roland R. Wagner},
title = {Translatable Updates of Selection Views under Constant Complement},
booktitle = {Database and Expert Systems Applications - 25th International Conference,
{DEXA} 2014, Munich, Germany, September 1-4, 2014. Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8645},
pages = {295--309},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10085-2\_27},
doi = {10.1007/978-3-319-10085-2\_27},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dexa/FranconiG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/Perez-BeltrachiniGF14,
author = {Laura Perez{-}Beltrachini and
Claire Gardent and
Enrico Franconi},
editor = {Gosse Bouma and
Yannick Parmentier},
title = {Incremental Query Generation},
booktitle = {Proceedings of the 14th Conference of the European Chapter of the
Association for Computational Linguistics, {EACL} 2014, April 26-30,
2014, Gothenburg, Sweden},
pages = {183--191},
publisher = {The Association for Computer Linguistics},
year = {2014},
url = {https://doi.org/10.3115/v1/e14-1020},
doi = {10.3115/V1/E14-1020},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/Perez-BeltrachiniGF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/FranconiMORT14,
author = {Enrico Franconi and
Alessandro Mosca and
Xavier Oriol and
Guillem Rull and
Ernest Teniente},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Logic Foundations of the {OCL} Modelling Language},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {657--664},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_49},
doi = {10.1007/978-3-319-11558-0\_49},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/FranconiMORT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/NgoF14,
author = {Nhung Ngo and
Enrico Franconi},
editor = {Sergio Greco and
Antonio Picariello},
title = {Unique Solutions in Data Exchange},
booktitle = {22nd Italian Symposium on Advanced Database Systems, {SEBD} 2014,
Sorrento Coast, Italy, June 16-18, 2014},
pages = {185--192},
year = {2014},
timestamp = {Fri, 14 Nov 2014 14:33:58 +0100},
biburl = {https://dblp.org/rec/conf/sebd/NgoF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SolomakhinFM13,
author = {Dmitry Solomakhin and
Enrico Franconi and
Alessandro Mosca},
title = {Logic-based Reasoning Support for {SBVR}},
journal = {Fundam. Informaticae},
volume = {124},
number = {4},
pages = {543--560},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-848},
doi = {10.3233/FI-2013-848},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SolomakhinFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CateFS13,
author = {Balder ten Cate and
Enrico Franconi and
Inan{\c{c}} Seylan},
title = {Beth Definability in Expressive Description Logics},
journal = {J. Artif. Intell. Res.},
volume = {48},
pages = {347--414},
year = {2013},
url = {https://doi.org/10.1613/jair.4057},
doi = {10.1613/JAIR.4057},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/CateFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/FranconiKN13,
author = {Enrico Franconi and
Volha Kerhet and
Nhung Ngo},
title = {Exact Query Reformulation over Databases with First-order and Description
Logics Ontologies},
journal = {J. Artif. Intell. Res.},
volume = {48},
pages = {885--922},
year = {2013},
url = {https://doi.org/10.1613/jair.4058},
doi = {10.1613/JAIR.4058},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/FranconiKN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/FranconiG13,
author = {Enrico Franconi and
Paolo Guagliardo},
editor = {Loreto Bravo and
Maurizio Lenzerini},
title = {Effectively Updatable Conjunctive Views},
booktitle = {Proceedings of the 7th Alberto Mendelzon International Workshop on
Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1087},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1087/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/FranconiG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bncod/FeinererFG13,
author = {Ingo Feinerer and
Enrico Franconi and
Paolo Guagliardo},
editor = {Georg Gottlob and
Giovanni Grasso and
Dan Olteanu and
Christian Schallhart},
title = {Lossless Horizontal Decomposition with Domain Constraints on Interpreted
Attributes},
booktitle = {Big Data - 29th British National Conference on Databases, {BNCOD}
2013, Oxford, UK, July 8-10, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7968},
pages = {77--91},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39467-6\_10},
doi = {10.1007/978-3-642-39467-6\_10},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/bncod/FeinererFG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/FranconiM13,
author = {Enrico Franconi and
Alessandro Mosca},
editor = {Yan Tang Demey and
Herv{\'{e}} Panetto},
title = {Towards a Core {ORM2} Language (Research Note)},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2013 Workshops -
Confederated International Workshops: {OTM} Academy, {OTM} Industry
Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM,
SMS, and {SOMOCO} 2013, Graz, Austria, September 9 - 13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8186},
pages = {448--456},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41033-8\_58},
doi = {10.1007/978-3-642-41033-8\_58},
timestamp = {Tue, 21 Mar 2023 21:01:50 +0100},
biburl = {https://dblp.org/rec/conf/otm/FranconiM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FranconiGMRP13,
author = {Enrico Franconi and
Claudio Gutierrez and
Alessandro Mosca and
Riccardo Rosati and
Giuseppe Pirr{\`{o}}},
editor = {Francesco Buccafurri and
Domenico Sacc{\`{a}}},
title = {The Logic of Extensional {RDFS} (Extended Abstract)},
booktitle = {21st Italian Symposium on Advanced Database Systems, {SEBD} 2013,
Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013},
pages = {75--86},
publisher = {Curran Associates},
year = {2013},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/FranconiGMRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/FranconiGMPR13,
author = {Enrico Franconi and
Claudio Gutierrez and
Alessandro Mosca and
Giuseppe Pirr{\`{o}} and
Riccardo Rosati},
editor = {Harith Alani and
Lalana Kagal and
Achille Fokoue and
Paul Groth and
Chris Biemann and
Josiane Xavier Parreira and
Lora Aroyo and
Natasha F. Noy and
Chris Welty and
Krzysztof Janowicz},
title = {The Logic of Extensional {RDFS}},
booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference,
Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8218},
pages = {101--116},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41335-3\_7},
doi = {10.1007/978-3-642-41335-3\_7},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/FranconiGMPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/FillottraniFT12,
author = {Pablo R. Fillottrani and
Enrico Franconi and
Sergio Tessaris},
title = {The {ICOM} 3.0 intelligent conceptual modelling tool and methodology},
journal = {Semantic Web},
volume = {3},
number = {3},
pages = {293--306},
year = {2012},
url = {https://doi.org/10.3233/SW-2011-0038},
doi = {10.3233/SW-2011-0038},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/FillottraniFT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/FranconiT12,
author = {Enrico Franconi and
Sergio Tessaris},
editor = {Juliana Freire and
Dan Suciu},
title = {On the Logic of {SQL} Nulls},
booktitle = {Proceedings of the 6th Alberto Mendelzon International Workshop on
Foundations of Data Management, Ouro Preto, Brazil, June 27-30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {866},
pages = {114--128},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-866/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/FranconiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/FranconiG12,
author = {Enrico Franconi and
Paolo Guagliardo},
editor = {Juliana Freire and
Dan Suciu},
title = {On the Translatability of View Updates},
booktitle = {Proceedings of the 6th Alberto Mendelzon International Workshop on
Foundations of Data Management, Ouro Preto, Brazil, June 27-30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {866},
pages = {154--167},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-866/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amw/FranconiG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/KerhetF12,
author = {Volha Kerhet and
Enrico Franconi},
editor = {Francesca A. Lisi},
title = {On Checking Domain Independence},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
Rome, Italy, June 6-7, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {857},
pages = {246--250},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-857/paper\_s03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/KerhetF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FranconiKN12,
author = {Enrico Franconi and
Volha Kerhet and
Nhung Ngo},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Exact Query Reformulation over {SHOQ} DBoxes},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_64.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FranconiKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FranconiMS12,
author = {Enrico Franconi and
Alessandro Mosca and
Dmitry Solomakhin},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {{ORM2} Encoding into Description Logic (Extended Abstract)},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_38.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FranconiMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/FranconiKN12,
author = {Enrico Franconi and
Volha Kerhet and
Nhung Ngo},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {Exact Query Reformulation with First-Order Ontologies and Databases},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {202--214},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_16},
doi = {10.1007/978-3-642-33353-8\_16},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/FranconiKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RosatiF12,
author = {Riccardo Rosati and
Enrico Franconi},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Generalized Ontology-Based Production Systems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4551},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RosatiF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/FranconiMS12,
author = {Enrico Franconi and
Alessandro Mosca and
Dmitry Solomakhin},
editor = {Pilar Herrero and
Herv{\'{e}} Panetto and
Robert Meersman and
Tharam S. Dillon},
title = {{ORM2:} Formalisation and Encoding in {OWL2}},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2012 Workshops,
Confederated International Workshops: {OTM} Academy, Industry Case
Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM,
and {SOMOCO} 2012, Rome, Italy, September 10-14, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7567},
pages = {368--378},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33618-8\_51},
doi = {10.1007/978-3-642-33618-8\_51},
timestamp = {Thu, 14 Oct 2021 10:28:28 +0200},
biburl = {https://dblp.org/rec/conf/otm/FranconiMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/AlbertsF12,
author = {Ron{\'{e}}ll Alberts and
Enrico Franconi},
editor = {Pavel Klinov and
Matthew Horridge},
title = {An Integrated Method Using Conceptual Modelling to Generate an Ontology-based
Query Mechanism},
booktitle = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
Crete, Greece, May 27-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {849},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-849/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/AlbertsF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/FranconiNS12,
author = {Enrico Franconi and
Nhung Ngo and
Evgeny Sherkhonov},
editor = {Markus Kr{\"{o}}tzsch and
Umberto Straccia},
title = {The Definability Abduction Problem for Data Exchange - (Abstract)},
booktitle = {Web Reasoning and Rule Systems - 6th International Conference, {RR}
2012, Vienna, Austria, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7497},
pages = {217--220},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33203-6\_18},
doi = {10.1007/978-3-642-33203-6\_18},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/FranconiNS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FranconiT12,
author = {Enrico Franconi and
Sergio Tessaris},
editor = {Nicola Ferro and
Letizia Tanca},
title = {The Algebra and the Logic for {SQL} Nulls},
booktitle = {Twentieth Italian Symposium on Advanced Database Systems, {SEBD} 2012,
Venice, Italy, June 24-27, 2012, Proceedings},
pages = {163--176},
publisher = {Edizioni Libreria Progetto, Padova, Italy},
year = {2012},
url = {http://sebd2012.dei.unipd.it/documents/188475/9bd4389a-fa7b-4bd0-8752-98dcffff84a4},
timestamp = {Fri, 07 Jun 2019 10:59:18 +0200},
biburl = {https://dblp.org/rec/conf/sebd/FranconiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Patel-SchneiderF12,
author = {Peter F. Patel{-}Schneider and
Enrico Franconi},
editor = {Philippe Cudr{\'{e}}{-}Mauroux and
Jeff Heflin and
Evren Sirin and
Tania Tudorache and
J{\'{e}}r{\^{o}}me Euzenat and
Manfred Hauswirth and
Josiane Xavier Parreira and
Jim Hendler and
Guus Schreiber and
Abraham Bernstein and
Eva Blomqvist},
title = {Ontology Constraints in Incomplete and Complete Data},
booktitle = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference,
Boston, MA, USA, November 11-15, 2012, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7649},
pages = {444--459},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35176-1\_28},
doi = {10.1007/978-3-642-35176-1\_28},
timestamp = {Tue, 07 Sep 2021 13:47:37 +0200},
biburl = {https://dblp.org/rec/conf/semweb/Patel-SchneiderF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-3016,
author = {Enrico Franconi and
Paolo Guagliardo},
title = {The View Update Problem Revisited},
journal = {CoRR},
volume = {abs/1211.3016},
year = {2012},
url = {http://arxiv.org/abs/1211.3016},
eprinttype = {arXiv},
eprint = {1211.3016},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-3016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/SolomakhinFM11,
author = {Dmitry Solomakhin and
Enrico Franconi and
Alessandro Mosca},
editor = {Fabio Fioravanti},
title = {Logic-based reasoning support for {SBVR}},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {311--325},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l19.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/SolomakhinFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FillottraniFT11,
author = {Pablo R. Fillottrani and
Enrico Franconi and
Sergio Tessaris},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Ontology Design and Integration with {ICOM} 3.0 - Tool Description
and Methodology},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_45.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FillottraniFT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FranconiGTT11,
author = {Enrico Franconi and
Paolo Guagliardo and
Marco Trevisan and
Sergio Tessaris},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Quelo: an Ontology-Driven Query Interface},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_58.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FranconiGTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FranconiT11,
author = {Enrico Franconi and
David Toman},
editor = {Toby Walsh},
title = {Fixpoints in Temporal Description Logics},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {875--880},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-152},
doi = {10.5591/978-1-57735-516-8/IJCAI11-152},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FranconiT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CateFS11,
author = {Balder ten Cate and
Enrico Franconi and
Inan{\c{c}} Seylan},
editor = {Toby Walsh},
title = {Beth Definability in Expressive Description Logics},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1099--1106},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-188},
doi = {10.5591/978-1-57735-516-8/IJCAI11-188},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CateFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FranconiG11,
author = {Enrico Franconi and
Paolo Guagliardo},
editor = {Giansalvatore Mecca and
Sergio Greco},
title = {A Constructive Framework for View Updating (Extended Abstract)},
booktitle = {Sistemi Evoluti per Basi di Dati - {SEBD} 2011, Proceedings of the
Nineteenth Italian Symposium on Advanced Database Systems, Maratea,
Italy, June 26-29, 2011},
pages = {147--154},
year = {2011},
timestamp = {Mon, 28 May 2012 10:17:09 +0200},
biburl = {https://dblp.org/rec/conf/sebd/FranconiG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FranconiIS11,
author = {Enrico Franconi and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Inan{\c{c}} Seylan},
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {Query Answering with DBoxes is Hard},
booktitle = {Proceedings of the 7th Workshop on Methods for Modalities, {M4M} 2011,
and the 4th Workshop on Logical Aspects of Multi-Agent Systems, {LAMAS}
2011, Osuna, Spain, November 10-12, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {71--84},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.10.007},
doi = {10.1016/J.ENTCS.2011.10.007},
timestamp = {Fri, 10 Mar 2023 15:30:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FranconiIS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-5446,
author = {Alessandro Artale and
Enrico Franconi},
title = {A Temporal Description Logic for Reasoning about Actions and Plans},
journal = {CoRR},
volume = {abs/1105.5446},
year = {2011},
url = {http://arxiv.org/abs/1105.5446},
eprinttype = {arXiv},
eprint = {1105.5446},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-5446.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SeylanFB10,
author = {Inan{\c{c}} Seylan and
Enrico Franconi and
Jos de Bruijn},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Optimal Rewritings in Definitorially Complete Description Logics},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573/paper\_47.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SeylanFB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/BorgidaBFSSTW10,
author = {Alexander Borgida and
Jos de Bruijn and
Enrico Franconi and
Inan{\c{c}} Seylan and
Umberto Straccia and
David Toman and
Grant E. Weddell},
editor = {Sonia Bergamaschi and
Stefano Lodi and
Riccardo Martoglia and
Claudio Sartori},
title = {On Finding Query Rewritings under Expressive Constraints},
booktitle = {Proceedings of the Eighteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2010, Rimini, Italy, June 20-23, 2010},
pages = {426--437},
publisher = {Esculapio Editore},
year = {2010},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/BorgidaBFSSTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ArtaleF09,
author = {Alessandro Artale and
Enrico Franconi},
editor = {Alexander Borgida and
Vinay K. Chaudhri and
Paolo Giorgini and
Eric S. K. Yu},
title = {Foundations of Temporal Conceptual Data Models},
booktitle = {Conceptual Modeling: Foundations and Applications - Essays in Honor
of John Mylopoulos},
series = {Lecture Notes in Computer Science},
volume = {5600},
pages = {10--35},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02463-4\_2},
doi = {10.1007/978-3-642-02463-4\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ArtaleF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SeylanFB09,
author = {Inan{\c{c}} Seylan and
Enrico Franconi and
Jos de Bruijn},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SeylanFB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SeylanFB09,
author = {Inan{\c{c}} Seylan and
Enrico Franconi and
Jos de Bruijn},
editor = {Craig Boutilier},
title = {Effective Query Rewriting with Ontologies over DBoxes},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {923--925},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/157.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SeylanFB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2009,
editor = {Sergio Tessaris and
Enrico Franconi and
Thomas Eiter and
Claudio Gutierrez and
Siegfried Handschuh and
Marie{-}Christine Rousset and
Renate A. Schmidt},
title = {Reasoning Web. Semantic Technologies for Information Systems, 5th
International Summer School 2009, Brixen-Bressanone, Italy, August
30 - September 4, 2009, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5689},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03754-2},
doi = {10.1007/978-3-642-03754-2},
isbn = {978-3-642-03753-5},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rweb/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/BertossiBFL08,
author = {Leopoldo E. Bertossi and
Loreto Bravo and
Enrico Franconi and
Andrei Lopatenko},
title = {The complexity and approximation of fixing numerical attributes in
databases under integrity constraints},
journal = {Inf. Syst.},
volume = {33},
number = {4-5},
pages = {407--434},
year = {2008},
url = {https://doi.org/10.1016/j.is.2008.01.005},
doi = {10.1016/J.IS.2008.01.005},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/BertossiBFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/Franconi08,
author = {Enrico Franconi},
title = {Ontologies and databases: myths and challenges},
journal = {Proc. {VLDB} Endow.},
volume = {1},
number = {2},
pages = {1518--1519},
year = {2008},
url = {http://www.vldb.org/pvldb/vol1/1454218.pdf},
doi = {10.14778/1454159.1454218},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/Franconi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/Franconi07,
author = {Enrico Franconi},
editor = {Christine Parent and
Klaus{-}Dieter Schewe and
Veda C. Storey and
Bernhard Thalheim},
title = {Conceptual Schemas and Ontologies for Database Access: Myths and Challenges},
booktitle = {Conceptual Modeling - {ER} 2007, 26th International Conference on
Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4801},
pages = {22},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75563-0\_3},
doi = {10.1007/978-3-540-75563-0\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/Franconi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2007,
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-250},
urn = {urn:nbn:de:0074-250-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esws/2007,
editor = {Enrico Franconi and
Michael Kifer and
Wolfgang May},
title = {The Semantic Web: Research and Applications, 4th European Semantic
Web Conference, {ESWC} 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4519},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72667-8},
doi = {10.1007/978-3-540-72667-8},
isbn = {978-3-540-72666-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esws/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FillottraniFT06,
author = {Pablo R. Fillottrani and
Enrico Franconi and
Sergio Tessaris},
editor = {Bijan Parsia and
Ulrike Sattler and
David Toman},
title = {The new {ICOM} Ontology Editor},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics
(DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {189},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-189/submission\_38.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FillottraniFT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/DongilliF06,
author = {Paolo Dongilli and
Enrico Franconi},
editor = {Geoff Sutcliffe and
Randy Goebel},
title = {An Intelligent Query Interface with Natural Language Support},
booktitle = {Proceedings of the Nineteenth International Florida Artificial Intelligence
Research Society Conference, Melbourne Beach, Florida, USA, May 11-13,
2006},
pages = {658--663},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/FLAIRS/2006/flairs06-130.php},
timestamp = {Wed, 26 Oct 2022 08:35:26 +0200},
biburl = {https://dblp.org/rec/conf/flairs/DongilliF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/LutzBFLMRSST06,
author = {Carsten Lutz and
Franz Baader and
Enrico Franconi and
Domenico Lembo and
Ralf M{\"{o}}ller and
Riccardo Rosati and
Ulrike Sattler and
Boontawee Suntisrivaraporn and
Sergio Tessaris},
editor = {Bernardo Cuenca Grau and
Pascal Hitzler and
Conor Shankey and
Evan Wallace},
title = {Reasoning Support for Ontology Design},
booktitle = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions,
Athens, Georgia, USA, November 10-11, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {216},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-216/submission\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/LutzBFLMRSST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FranconiT06,
author = {Enrico Franconi and
Sergio Tessaris},
editor = {Stijn Vansummeren},
title = {The logic of {RDF} and {SPARQL:} a tutorial},
booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
{USA}},
pages = {355},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142351.1142402},
doi = {10.1145/1142351.1142402},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/FranconiT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2006,
editor = {Thomas Eiter and
Enrico Franconi and
Ralph Hodgson and
Susie Stephens},
title = {Rules and Rule Markup Languages for the Semantic Web, Second International
Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006,
Proceedings},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://ieeexplore.ieee.org/xpl/conhome/4032374/proceeding},
isbn = {0-7695-2652-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2006,
editor = {Pedro Barahona and
Fran{\c{c}}ois Bry and
Enrico Franconi and
Nicola Henze and
Ulrike Sattler},
title = {Reasoning Web, Second International Summer School 2006, Lisbon, Portugal,
September 4-8, 2006, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {4126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11837787},
doi = {10.1007/11837787},
isbn = {3-540-38409-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FranconiL05,
author = {Enrico Franconi and
Andrei Lopatenko},
editor = {Michele Missikoff and
Antonio De Nicola},
title = {The coDBz Information Integration System for Autonomous Data Sources},
booktitle = {{EMOI} - INTEROP'05, Enterprise Modelling and Ontologies for Interoperability,
Proceedings of the Open Interop Workshop on Enterprise Modelling and
Ontologies for Interoperability, Co-located with CAiSE'05 Conference,
Porto (Portugal), 13th-14th June 2005},
series = {{CEUR} Workshop Proceedings},
volume = {160},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-160/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:35 +0100},
biburl = {https://dblp.org/rec/conf/caise/FranconiL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/BertossiBFL05,
author = {Leopoldo E. Bertossi and
Loreto Bravo and
Enrico Franconi and
Andrei Lopatenko},
editor = {Gavin M. Bierman and
Christoph Koch},
title = {Complexity and Approximation of Fixing Numerical Attributes in Databases
Under Integrity Constraints},
booktitle = {Database Programming Languages, 10th International Symposium, {DBPL}
2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3774},
pages = {262--278},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601524\_17},
doi = {10.1007/11601524\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/BertossiBFL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/BertossiBFL05,
author = {Leopoldo E. Bertossi and
Loreto Bravo and
Enrico Franconi and
Andrei Lopatenko},
title = {Fixing Inconsistent Databases by Updating Numerical Attributes},
booktitle = {16th International Workshop on Database and Expert Systems Applications
{(DEXA} 2005), 22-26 August 2005, Copenhagen, Denmark},
pages = {854--858},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DEXA.2005.92},
doi = {10.1109/DEXA.2005.92},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/BertossiBFL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TessarisF05,
author = {Sergio Tessaris and
Enrico Franconi},
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {Rules and Queries with Ontologies: a Unifying Logical Framework},
booktitle = {Proceedings of the 2005 International Workshop on Description Logics
(DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-147/20-franconi-tessaris.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TessarisF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/FranconiBT05,
author = {Enrico Franconi and
Jos de Bruijn and
Sergio Tessaris},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Bijan Parsia and
Peter F. Patel{-}Schneider},
title = {Logical Reconstruction of Normative {RDF}},
booktitle = {Proceedings of the OWLED*05 Workshop on {OWL:} Experiences and Directions,
Galway, Ireland, November 11-12, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {188},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-188/sub24.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/FranconiBT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/BruijnFT05,
author = {Jos de Bruijn and
Enrico Franconi and
Sergio Tessaris},
editor = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Logical Reconstruction of {RDF} and Ontology Languages},
booktitle = {Principles and Practice of Semantic Web Reasoning, Third International
Workshop, {PPSWR} 2005, Dagstuhl Castle, Germany, September 11-16,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3703},
pages = {65--71},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11552222\_7},
doi = {10.1007/11552222\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/BruijnFT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/AntoniouFH05,
author = {Grigoris Antoniou and
Enrico Franconi and
Frank van Harmelen},
editor = {Norbert Eisinger and
Jan Maluszynski},
title = {Introduction to Semantic Web Ontology Languages},
booktitle = {Reasoning Web, First International Summer School 2005, Msida, Malta,
July 25-29, 2005, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {3564},
pages = {1--21},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526988\_1},
doi = {10.1007/11526988\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rweb/AntoniouFH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/DongilliFFT05,
author = {Paolo Dongilli and
Pablo R. Fillottrani and
Enrico Franconi and
Sergio Tessaris},
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {A Multi-Agent System for Querying Heterogeneous Data Sources with
Ontologies},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {75--86},
year = {2005},
timestamp = {Mon, 27 Jun 2005 14:46:36 +0200},
biburl = {https://dblp.org/rec/conf/sebd/DongilliFFT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/BertossiBFL05,
author = {Leopoldo E. Bertossi and
Loreto Bravo and
Enrico Franconi and
Andrei Lopatenko},
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {Data Cleansing for Numerical Data Sets},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {292--299},
year = {2005},
timestamp = {Mon, 27 Jun 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sebd/BertossiBFL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w3c/FranconiT05,
author = {Enrico Franconi and
Sergio Tessaris},
title = {A Unified Logical Framework for Rules (and Queries) with Ontologies},
booktitle = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April
2005, Washington, DC, {USA}},
publisher = {{W3C}},
year = {2005},
url = {http://www.w3.org/2004/12/rules-ws/paper/71},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/w3c/FranconiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sebd/2005,
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
year = {2005},
isbn = {88-548-0122-4},
timestamp = {Mon, 27 Jun 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sebd/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/ArtaleF05,
author = {Alessandro Artale and
Enrico Franconi},
editor = {Michael Fisher and
Dov M. Gabbay and
Llu{\'{\i}}s Vila},
title = {Temporal Description Logics},
booktitle = {Handbook of Temporal Reasoning in Artificial Intelligence},
series = {Foundations of Artificial Intelligence},
volume = {1},
pages = {375--388},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/S1574-6526(05)80014-8},
doi = {10.1016/S1574-6526(05)80014-8},
timestamp = {Mon, 06 Nov 2023 17:08:49 +0100},
biburl = {https://dblp.org/rec/reference/fai/ArtaleF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0503032,
author = {Leopoldo E. Bertossi and
Loreto Bravo and
Enrico Franconi and
Andrei Lopatenko},
title = {Complexity and Approximation of Fixing Numerical Attributes in Databases
Under Integrity Constraints},
journal = {CoRR},
volume = {abs/cs/0503032},
year = {2005},
url = {http://arxiv.org/abs/cs/0503032},
eprinttype = {arXiv},
eprint = {cs/0503032},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0503032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507059,
author = {Magdalena Ortiz and
Diego Calvanese and
Thomas Eiter and
Enrico Franconi},
title = {Data complexity of answering conjunctive queries over {SHIQ} knowledge
bases},
journal = {CoRR},
volume = {abs/cs/0507059},
year = {2005},
url = {http://arxiv.org/abs/cs/0507059},
eprinttype = {arXiv},
eprint = {cs/0507059},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0507059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/BrewsterOFWFMES04,
author = {Christopher Brewster and
Kieron O'Hara and
Steve Fuller and
Yorick Wilks and
Enrico Franconi and
Mark A. Musen and
Jeremy Ellman and
Simon Buckingham Shum},
title = {Knowledge Representation with Ontologies: The Present and Future},
journal = {{IEEE} Intell. Syst.},
volume = {19},
number = {1},
pages = {72--81},
year = {2004},
url = {https://doi.org/10.1109/MIS.2004.1265889},
doi = {10.1109/MIS.2004.1265889},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/BrewsterOFWFMES04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArtaleDFF04,
author = {Alessandro Artale and
Clare Dixon and
Michael Fisher and
Enrico Franconi},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {14},
number = {1},
pages = {1},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.1.1},
doi = {10.1093/LOGCOM/14.1.1},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ArtaleDFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/Franconi04,
author = {Enrico Franconi},
editor = {Janis Grundspenkis and
Marite Kirikova},
title = {Description Logics for Interoperability},
booktitle = {CAiSE'04 Workshops in connection with The 16th Conference on Advanced
Information Systems Engineering, Riga, Latvia, 7-11 June, 2004, Knowledge
and Model Driven Information Systems Engineering for Networked Organisations,
Proceedings, Vol. 3},
pages = {307--310},
publisher = {Faculty of Computer Science and Information Technology, Riga Technical
University, Riga, Latvia},
year = {2004},
timestamp = {Tue, 28 Sep 2004 12:40:18 +0200},
biburl = {https://dblp.org/rec/conf/caise/Franconi04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FranconiK04,
author = {Enrico Franconi and
Anand Kamble},
editor = {Anne Persson and
Janis Stirna},
title = {The {GMD} Data Model and Algebra for Multidimensional Information},
booktitle = {Advanced Information Systems Engineering, 16th International Conference,
CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3084},
pages = {446--462},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25975-6\_32},
doi = {10.1007/978-3-540-25975-6\_32},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/FranconiK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/DongilliFT04,
author = {Paolo Dongilli and
Enrico Franconi and
Sergio Tessaris},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Semantics Driven Support for Query Formulation},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/14Dongilli-final.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/DongilliFT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CatarciDMFST04,
author = {Tiziana Catarci and
Paolo Dongilli and
Tania Di Mascio and
Enrico Franconi and
Giuseppe Santucci and
Sergio Tessaris},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {An Ontology Based Visual Tool for Query Formulation Support},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {308--312},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CatarciDMFST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbtw/FranconiKLZ04,
author = {Enrico Franconi and
Gabriel M. Kuper and
Andrei Lopatenko and
Ilya Zaihrayeu},
editor = {Wolfgang Lindner and
Marco Mesiti and
Can T{\"{u}}rker and
Yannis Tzitzikas and
Athena Vakali},
title = {A Distributed Algorithm for Robust Data Sharing and Updates in {P2P}
Database Networks},
booktitle = {Current Trends in Database Technology - {EDBT} 2004 Workshops, {EDBT}
2004 Workshops PhD, DataX, PIM, P2P{\&}DB, and ClustWeb, Heraklion,
Crete, Greece, March 14-18, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3268},
pages = {446--455},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30192-9\_44},
doi = {10.1007/978-3-540-30192-9\_44},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edbtw/FranconiKLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/FranconiT04,
author = {Enrico Franconi and
Sergio Tessaris},
editor = {Hans J{\"{u}}rgen Ohlbach and
Sebastian Schaffert},
title = {Rules and Queries with Ontologies: {A} Unified Logical Framework},
booktitle = {Principles and Practice of Semantic Web Reasoning, Second International
Workshop, {PPSWR} 2004, St. Malo, France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3208},
pages = {50--60},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30122-6\_4},
doi = {10.1007/978-3-540-30122-6\_4},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/FranconiT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FranconiKLZ04,
author = {Enrico Franconi and
Gabriel M. Kuper and
Andrei Lopatenko and
Ilya Zaihrayeu},
editor = {Maristella Agosti and
Nicoletta Dess{\`{\i}} and
Fabio Alberto Schreiber},
title = {The coDB Robust Peer-to-Peer Database System},
booktitle = {Proceedings of the Twelfth Italian Symposium on Advanced Database
Systems, {SEBD} 2004, S. Margherita di Pula, Cagliari, Italy, June
21-23, 2004},
pages = {382--393},
year = {2004},
timestamp = {Wed, 15 Jan 2020 18:09:51 +0100},
biburl = {https://dblp.org/rec/conf/sebd/FranconiKLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdbm/FranconiK04,
author = {Enrico Franconi and
Anand Kamble},
title = {A Data Warehouse Conceptual Data Model},
booktitle = {Proceedings of the 16th International Conference on Scientific and
Statistical Database Management {(SSDBM} 2004), 21-23 June 2004, Santorini
Island, Greece},
pages = {435--436},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SSDBM.2004.2},
doi = {10.1109/SSDBM.2004.2},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssdbm/FranconiK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/FranconiKLZ04,
author = {Enrico Franconi and
Gabriel M. Kuper and
Andrei Lopatenko and
Ilya Zaihrayeu},
editor = {Mario A. Nascimento and
M. Tamer {\"{O}}zsu and
Donald Kossmann and
Ren{\'{e}}e J. Miller and
Jos{\'{e}} A. Blakeley and
K. Bernhard Schiefer},
title = {Queries and Updates in the coDB Peer to Peer Database System},
booktitle = {(e)Proceedings of the Thirtieth International Conference on Very Large
Data Bases, {VLDB} 2004, Toronto, Canada, August 31 - September 3
2004},
pages = {1277--1280},
publisher = {Morgan Kaufmann},
year = {2004},
url = {http://www.vldb.org/conf/2004/DEMP7.PDF},
doi = {10.1016/B978-012088469-8.50126-1},
timestamp = {Fri, 07 Jun 2019 12:44:00 +0200},
biburl = {https://dblp.org/rec/conf/vldb/FranconiKLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2004P4171,
editor = {J{\"{u}}rgen Dix and
Thomas Eiter and
Enrico Franconi},
title = {Logic Based Information Agents, 18.04. - 23.04.2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04171},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/portals/04171/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2004P4171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DixEF04,
author = {J{\"{u}}rgen Dix and
Thomas Eiter and
Enrico Franconi},
editor = {J{\"{u}}rgen Dix and
Thomas Eiter and
Enrico Franconi},
title = {04171 Abstracts Collection - Logic Based Information Agents},
booktitle = {Logic Based Information Agents, 18.04. - 23.04.2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04171},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/468/},
timestamp = {Thu, 10 Jun 2021 13:02:08 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DixEF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/PeimFP03,
author = {Martin Peim and
Enrico Franconi and
Norman W. Paton},
title = {Estimating the quality of answers when querying over description logic
ontologies},
journal = {Data Knowl. Eng.},
volume = {47},
number = {1},
pages = {105--129},
year = {2003},
url = {https://doi.org/10.1016/S0169-023X(03)00067-3},
doi = {10.1016/S0169-023X(03)00067-3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dke/PeimFP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ArtaleFM03,
author = {Alessandro Artale and
Enrico Franconi and
Federica Mandreoli},
editor = {Jan Chomicki and
Ron van der Meyden and
Gunter Saake},
title = {Description Logics for Modeling Dynamic Information},
booktitle = {Logics for Emerging Applications of Databases [outcome of a Dagstuhl
seminar]},
pages = {239--275},
publisher = {Springer},
year = {2003},
timestamp = {Thu, 04 Sep 2003 15:52:12 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ArtaleFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dawak/FranconiK03,
author = {Enrico Franconi and
Anand Kamble},
editor = {Yahiko Kambayashi and
Mukesh K. Mohania and
Wolfram W{\"{o}}{\ss}},
title = {The {GMD} Data Model for Multidimensional Information: {A} Brief Introduction},
booktitle = {Data Warehousing and Knowledge Discovery, 5th International Conference,
DaWaK 2003, Prague, Czech Republic, September 3-5,2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2737},
pages = {55--65},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45228-7\_7},
doi = {10.1007/978-3-540-45228-7\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dawak/FranconiK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbisp2p/FranconiKLS03,
author = {Enrico Franconi and
Gabriel M. Kuper and
Andrei Lopatenko and
Luciano Serafini},
editor = {Karl Aberer and
Vana Kalogeraki and
Manolis Koubarakis},
title = {A Robust Logical and Computational Characterisation of Peer-to-Peer
Database Systems},
booktitle = {Databases, Information Systems, and Peer-to-Peer Computing, First
International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003,
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2944},
pages = {64--76},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24629-9\_6},
doi = {10.1007/978-3-540-24629-9\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/dbisp2p/FranconiKLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FranconiT03,
author = {Enrico Franconi and
David Toman},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Fixpoint Extensions of Temporal Description Logics},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/franconi.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FranconiT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/CatarciMFST03,
author = {Tiziana Catarci and
Tania Di Mascio and
Enrico Franconi and
Giuseppe Santucci and
Sergio Tessaris},
editor = {Robert Meersman and
Zahir Tari},
title = {An Ontology Based Visual Tool for Query Formulation Support},
booktitle = {On The Move to Meaningful Internet Systems 2003: {OTM} 2003 Workshops,
{OTM} Confederated International Workshops, HCI-SWWA, IPW, JTRES,
WORM, WMS, and {WRSM} 2003, Catania, Sicily, Italy, November 3-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2889},
pages = {32--33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39962-9\_15},
doi = {10.1007/978-3-540-39962-9\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/CatarciMFST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FranconiK03,
author = {Enrico Franconi and
Anand Kamble},
editor = {Sergio Flesca and
Sergio Greco and
Domenico Sacc{\`{a}} and
Ester Zumpano},
title = {The {GMD} Data Model for Multidimensional Information: a brief introduction},
booktitle = {Proceedings of the Eleventh Italian Symposium on Advanced Database
Systems, {SEBD} 2003, Cetraro (CS), Italy, June 24-27, 2003},
pages = {109--118},
publisher = {Rubettino Editore},
year = {2003},
timestamp = {Wed, 17 Dec 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/FranconiK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/dlog/Franconi03,
author = {Enrico Franconi},
editor = {Franz Baader and
Diego Calvanese and
Deborah L. McGuinness and
Daniele Nardi and
Peter F. Patel{-}Schneider},
title = {Natural Language Processing},
booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
pages = {450--461},
publisher = {Cambridge University Press},
year = {2003},
timestamp = {Mon, 20 Nov 2017 13:02:05 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Franconi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2003,
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81},
urn = {urn:nbn:de:0074-81-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0308013,
author = {Enrico Franconi and
Gabriel M. Kuper and
Andrei Lopatenko and
Luciano Serafini},
title = {A Robust and Computational Characterisation of Peer-to-Peer Database
Systems},
journal = {CoRR},
volume = {cs.DC/0308013},
year = {2003},
url = {http://arxiv.org/abs/cs/0308013},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0308013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/BennettDFHFHR02,
author = {Brandon Bennett and
Clare Dixon and
Michael Fisher and
Ullrich Hustadt and
Enrico Franconi and
Ian Horrocks and
Maarten de Rijke},
title = {Combinations of Modal Logics},
journal = {Artif. Intell. Rev.},
volume = {17},
number = {1},
pages = {1--20},
year = {2002},
url = {https://doi.org/10.1023/A:1015057926707},
doi = {10.1023/A:1015057926707},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/air/BennettDFHFHR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PeimFP02,
author = {Martin Peim and
Enrico Franconi and
Norman W. Paton},
editor = {Ian Horrocks and
Sergio Tessaris},
title = {Estimating Soundness and Completeness over Queries Over Description
Logics},
booktitle = {Proceedings of the 2002 International Workshop on Description Logics
(DL2002), Toulouse, France, April 19-21, 2002},
series = {{CEUR} Workshop Proceedings},
volume = {53},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-53/peim.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PeimFP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PeimFPG02,
author = {Martin Peim and
Enrico Franconi and
Norman W. Paton and
Carole A. Goble},
editor = {Ian Horrocks and
Sergio Tessaris},
title = {Querying Objects with Description Logics},
booktitle = {Proceedings of the 2002 International Workshop on Description Logics
(DL2002), Toulouse, France, April 19-21, 2002},
series = {{CEUR} Workshop Proceedings},
volume = {53},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-53/franconi.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PeimFPG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ArtaleFWZ02,
author = {Alessandro Artale and
Enrico Franconi and
Frank Wolter and
Michael Zakharyaschev},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {A Temporal Description Logic for Reasoning over Conceptual Schemas
and Queries},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {98--110},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_9},
doi = {10.1007/3-540-45757-7\_9},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/ArtaleFWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/PeimFPG02,
author = {Martin Peim and
Enrico Franconi and
Norman W. Paton and
Carole A. Goble},
editor = {Alexander Borgida and
Diego Calvanese and
Laurence Cholvy and
Marie{-}Christine Rousset},
title = {Querying Objects with Description Logics},
booktitle = {Proceedings of the 9th International Workshop on Knowledge Representation
meets Databases {(KRDB} 2002), Toulouse France, April 21, 2002},
series = {{CEUR} Workshop Proceedings},
volume = {54},
publisher = {CEUR-WS.org},
year = {2002},
url = {http://www.cs.man.ac.uk/dl2002/review/camera-ready/franconi.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:33 +0100},
biburl = {https://dblp.org/rec/conf/krdb/PeimFPG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/PeimFPG02,
author = {Martin Peim and
Enrico Franconi and
Norman W. Paton and
Carole A. Goble},
editor = {Paolo Ciaccia and
Fausto Rabitti and
Giovanni Soda},
title = {Query Processing with Description Logic Ontologies over Object-Wrapped
Databases},
booktitle = {Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, {SEBD}
2002, Portoferraio, Isola d'Elba, Italy, 19-21 Giugno 2002},
pages = {42--49},
year = {2002},
timestamp = {Mon, 18 Jan 2016 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/sebd/PeimFPG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdbm/PeimFPG02,
author = {Martin Peim and
Enrico Franconi and
Norman W. Paton and
Carole A. Goble},
title = {Query Processing with Description Logic Ontologies Over Object-Wrapped
Databases},
booktitle = {Proceedings of the 14th International Conference on Scientific and
Statistical Database Management, July 24-26, 2002, Edinburgh, Scotland,
{UK}},
pages = {27--36},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/SSDM.2002.1029703},
doi = {10.1109/SSDM.2002.1029703},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssdbm/PeimFPG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleFMWZ01,
author = {Alessandro Artale and
Enrico Franconi and
Milenko Mosurovic and
Frank Wolter and
Michael Zakharyaschev},
editor = {Carole A. Goble and
Deborah L. McGuinness and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {The {DLRUS} Temporal Description Logic},
booktitle = {Working Notes of the 2001 International Description Logics Workshop
(DL-2001), Stanford, CA, USA, August 1-3, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {49},
publisher = {CEUR-WS.org},
year = {2001},
url = {https://ceur-ws.org/Vol-49/ArtaleFranconiMosurovicWolterZakharyaschev-96start.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleFMWZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FranconiPLPS01,
author = {Enrico Franconi and
Antonio Laureti Palma and
Nicola Leone and
Simona Perri and
Francesco Scarcello},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Census Data Repair: a Challenging Application of Disjunctive Logic
Programming},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {561--578},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_39},
doi = {10.1007/3-540-45653-8\_39},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FranconiPLPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ArtaleFMWZ01,
author = {Alessandro Artale and
Enrico Franconi and
Milenko Mosurovic and
Frank Wolter and
Michael Zakharyaschev},
editor = {Augusto Celentano and
Letizia Tanca and
Paolo Tiberio},
title = {Reasoning over Conceptual Schemas and Queries in Temporal Databases},
booktitle = {Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, {SEBD} 2001,
Venezia, Italy, 27-29 Giugno 2001},
pages = {201--214},
year = {2001},
timestamp = {Mon, 18 Jan 2016 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/sebd/ArtaleFMWZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ArtaleF00,
author = {Alessandro Artale and
Enrico Franconi},
title = {A survey of temporal extensions of description logics},
journal = {Ann. Math. Artif. Intell.},
volume = {30},
number = {1-4},
pages = {171--210},
year = {2000},
url = {https://doi.org/10.1023/A:1016636131405},
doi = {10.1023/A:1016636131405},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ArtaleF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArecesFGRS00,
author = {Carlos Areces and
Enrico Franconi and
Rajeev Gor{\'{e}} and
Maarten de Rijke and
Bernd{-}Holger Schlingloff},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {8},
number = {3},
pages = {231--237},
year = {2000},
url = {https://doi.org/10.1093/jigpal/8.3.231},
doi = {10.1093/JIGPAL/8.3.231},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ArecesFGRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/FranconiGM00,
author = {Enrico Franconi and
Fabio Grandi and
Federica Mandreoli},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {A Semantic Approach for Schema Evolution and Versioning in Object-Oriented
Databases},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1048--1062},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_70},
doi = {10.1007/3-540-44957-4\_70},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cl/FranconiGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delos/Franconi00,
author = {Enrico Franconi},
title = {Knowledge Representation meets Digital Libraries},
booktitle = {Proceedings of the First {DELOS} Network of Excellence Workshop on
Information Seeking, Searching and Querying in Digital Libraries,
{DELOS} 2000, Zurich, Switzerland, December 11-12, 2000},
series = {{ERCIM} Workshop Proceedings},
volume = {01/W001},
publisher = {{ERCIM}},
year = {2000},
url = {http://www.ercim.org/publication/ws-proceedings/DelNoe01/2\_Franconi.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/delos/Franconi00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FranconiGM00,
author = {Enrico Franconi and
Fabio Grandi and
Federica Mandreoli},
editor = {Franz Baader and
Ulrike Sattler},
title = {A Semantic Approach for Schema Evolution and Versioning in Object-Oriented
Databases},
booktitle = {Proceedings of the 2000 International Workshop on Description Logics
(DL2000), Aachen, Germany, August 17-19, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {33},
pages = {99--112},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-33/Franconi99-112.ps},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FranconiGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BorgidaFH00,
author = {Alexander Borgida and
Enrico Franconi and
Ian Horrocks},
editor = {Werner Horn},
title = {Explaining {ALC} Subsumption},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {209--213},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BorgidaFH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmldo/FranconiGM00,
author = {Enrico Franconi and
Fabio Grandi and
Federica Mandreoli},
editor = {Herman Balsters and
Bert O. de Brock and
Stefan Conrad},
title = {Schema Evolution and Versioning: {A} Logical and Computational Characterisation},
booktitle = {Database Schema Evolution and Meta-Modeling, 9th International Workshop
on Foundations of Models and Languages for Data and Objects, FoMLaDO/DEMM
2000, Dagstuhl Castle, Germany, September 18-21, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2065},
pages = {85--99},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-48196-6\_5},
doi = {10.1007/3-540-48196-6\_5},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmldo/FranconiGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/FranconiN00,
author = {Enrico Franconi and
Gary Ng},
editor = {Mokrane Bouzeghoub and
Matthias Klusch and
Werner Nutt and
Ulrike Sattler},
title = {The i.com tool for Intelligent Conceptual Modeling},
booktitle = {Proceedings of the 7th International Workshop on Knowledge Representation
meets Databases {(KRDB} 2000), Berlin, Germany, August 21, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {29},
pages = {45--53},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-29/04-franconi.ps},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/krdb/FranconiN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FranconiGM00,
author = {Enrico Franconi and
Fabio Grandi and
Federica Mandreoli},
title = {A general framework for evolving schemata support},
booktitle = {Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, {SEBD}
2000, Palazzo dell'Emiciclo, L'Aquila, Italy, 26-28 Giugno 2000},
pages = {371--384},
year = {2000},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sebd/FranconiGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/JarkeQCLFLVV00,
author = {Matthias Jarke and
Christoph Quix and
Diego Calvanese and
Maurizio Lenzerini and
Enrico Franconi and
Spyros Ligoudistianos and
Panos Vassiliadis and
Yannis Vassiliou},
editor = {Weidong Chen and
Jeffrey F. Naughton and
Philip A. Bernstein},
title = {Concept Based Design of Data Warehouses: The {DWQ} Demonstrators},
booktitle = {Proceedings of the 2000 {ACM} {SIGMOD} International Conference on
Management of Data, May 16-18, 2000, Dallas, Texas, {USA}},
pages = {591},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/342009.336570},
doi = {10.1145/342009.336570},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/JarkeQCLFLVV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/ArtaleF99,
author = {Alessandro Artale and
Enrico Franconi},
title = {Representing a robotic domain using temporal description logics},
journal = {Artif. Intell. Eng. Des. Anal. Manuf.},
volume = {13},
number = {2},
pages = {105--117},
year = {1999},
url = {http://journals.cambridge.org/action/displayAbstract?aid=38691},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedam/ArtaleF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FranconiGHMNPW99,
author = {Enrico Franconi and
Giuseppe De Giacomo and
Ian Horrocks and
Deborah L. McGuinness and
Werner Nutt and
Peter F. Patel{-}Schneider and
Christopher A. Welty},
title = {Report on the 1998 International Workshop on Description Logics (DL'98)},
journal = {J. Log. Comput.},
volume = {9},
number = {3},
pages = {449--456},
year = {1999},
url = {https://doi.org/10.1093/logcom/9.3.449},
doi = {10.1093/LOGCOM/9.3.449},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FranconiGHMNPW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/ArtaleF99,
author = {Alessandro Artale and
Enrico Franconi},
title = {Reasoning with Enhanced Temporal Entity-Relationship Models},
booktitle = {10th International Workshop on Database {\&} Expert Systems Applications,
Florence, Italy, September 1-3, 1999, Proceedings},
pages = {482--486},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/DEXA.1999.795231},
doi = {10.1109/DEXA.1999.795231},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/ArtaleF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaFHMP99,
author = {Alexander Borgida and
Enrico Franconi and
Ian Horrocks and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider},
editor = {Patrick Lambrix and
Alexander Borgida and
Maurizio Lenzerini and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {Explaining {ALC} Subsumption},
booktitle = {Proceedings of the 1999 International Workshop on Description Logics
(DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999},
series = {{CEUR} Workshop Proceedings},
volume = {22},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-22/borgida.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaFHMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmdw/FranconiS99,
author = {Enrico Franconi and
Ulrike Sattler},
editor = {Stella Gatziu and
Manfred A. Jeusfeld and
Martin Staudt and
Yannis Vassiliou},
title = {A Data Warehouse Conceptual Data Model for Multidimensional Aggregation},
booktitle = {Proceedings of the Intl. Workshop on Design and Management of Data
Warehouses, DMDW'99, Heidelberg, Germany, June 14-15, 1999},
series = {{CEUR} Workshop Proceedings},
volume = {19},
pages = {13},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-19/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/dmdw/FranconiS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/ArtaleF99,
author = {Alessandro Artale and
Enrico Franconi},
editor = {Jacky Akoka and
Mokrane Bouzeghoub and
Isabelle Comyn{-}Wattiau and
Elisabeth M{\'{e}}tais},
title = {Temporal {ER} Modeling with Description Logics},
booktitle = {Conceptual Modeling - {ER} '99, 18th International Conference on Conceptual
Modeling, Paris, France, November, 15-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1728},
pages = {81--95},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-47866-3\_6},
doi = {10.1007/3-540-47866-3\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/ArtaleF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/ArtaleF99,
author = {Alessandro Artale and
Enrico Franconi},
editor = {Enrico Franconi and
Michael Kifer},
title = {Reasoning with enhanced Temporal Entity-Relationship Models},
booktitle = {Proceedings of the 6th International Workshop on Knowledge Representation
meets Databases (KRDB'99), Link{\"{o}}ping, Sweden, July 29-30,
1999},
series = {{CEUR} Workshop Proceedings},
volume = {21},
pages = {1--5},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-21/artalefranconi.ps},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/krdb/ArtaleF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ArtaleF99,
author = {Alessandro Artale and
Enrico Franconi},
editor = {Elisa Bertino and
Silvana Castano},
title = {Temporal {E-R} Modelling with description logics},
booktitle = {Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati,
{SEBD} 1999, Villa Olmo, Como, Italy, 23-25 Giugno 1999},
pages = {357--369},
year = {1999},
timestamp = {Mon, 18 Jan 2016 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/sebd/ArtaleF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ArtaleF99,
author = {Alessandro Artale and
Enrico Franconi},
title = {Introducing Temporal Description Logics},
booktitle = {6th International Workshop on Temporal Representation and Reasoning,
{TIME} '99, Orlando, Florida, USA, May 1-2, 1999},
pages = {2--5},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/TIME.1999.777963},
doi = {10.1109/TIME.1999.777963},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/ArtaleF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/krdb/99,
editor = {Enrico Franconi and
Michael Kifer},
title = {Proceedings of the 6th International Workshop on Knowledge Representation
meets Databases (KRDB'99), Link{\"{o}}ping, Sweden, July 29-30,
1999},
series = {{CEUR} Workshop Proceedings},
volume = {21},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-21},
urn = {urn:nbn:de:0074-21-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/krdb/99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ArtaleF98,
author = {Alessandro Artale and
Enrico Franconi},
title = {A Temporal Description Logic for Reasoning about Actions and Plans},
journal = {J. Artif. Intell. Res.},
volume = {9},
pages = {463--506},
year = {1998},
url = {https://doi.org/10.1613/jair.516},
doi = {10.1613/JAIR.516},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/ArtaleF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Franconi98,
author = {Enrico Franconi},
editor = {Enrico Franconi and
Giuseppe De Giacomo and
Robert M. MacGregor and
Werner Nutt and
Christopher A. Welty},
title = {{CRACK}},
booktitle = {Proceedings of the 1998 International Workshop on Description Logics
(DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998},
series = {{CEUR} Workshop Proceedings},
volume = {11},
publisher = {CEUR-WS.org},
year = {1998},
url = {https://ceur-ws.org/Vol-11/CRACK.ps},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Franconi98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/1998,
editor = {Enrico Franconi and
Giuseppe De Giacomo and
Robert M. MacGregor and
Werner Nutt and
Christopher A. Welty},
title = {Proceedings of the 1998 International Workshop on Description Logics
(DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998},
series = {{CEUR} Workshop Proceedings},
volume = {11},
publisher = {CEUR-WS.org},
year = {1998},
url = {https://ceur-ws.org/Vol-11},
urn = {urn:nbn:de:0074-11-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Franconi97,
author = {Enrico Franconi},
editor = {Ronald J. Brachman and
Francesco M. Donini and
Enrico Franconi and
Ian Horrocks and
Alon Y. Levy and
Marie{-}Christine Rousset},
title = {Sofware Asset Classification and Retrieval with {DL:} the Intelligent
Reuse Assistant},
booktitle = {Proceedings of the 1997 International Workshop on Description Logics,
Universit{\'{e}} Paris-Sud, Centre d'Orsay, Laboratoire de Recherche
en Informatique LRI, France},
series = {{URA-CNRS}},
volume = {410},
year = {1997},
url = {http://dl.kr.org/dl97/proceedings/franconi.ps.gz},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/dlog/Franconi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/1997,
editor = {Ronald J. Brachman and
Francesco M. Donini and
Enrico Franconi and
Ian Horrocks and
Alon Y. Levy and
Marie{-}Christine Rousset},
title = {Proceedings of the 1997 International Workshop on Description Logics,
Universit{\'{e}} Paris-Sud, Centre d'Orsay, Laboratoire de Recherche
en Informatique LRI, France},
series = {{URA-CNRS}},
volume = {410},
year = {1997},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/ArtaleFGP96,
author = {Alessandro Artale and
Enrico Franconi and
Nicola Guarino and
Luca Pazzi},
title = {Part-Whole Relations in Object-Centered Systems: An Overview},
journal = {Data Knowl. Eng.},
volume = {20},
number = {3},
pages = {347--383},
year = {1996},
url = {https://doi.org/10.1016/S0169-023X(96)00013-4},
doi = {10.1016/S0169-023X(96)00013-4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dke/ArtaleFGP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleFG96,
author = {Alessandro Artale and
Enrico Franconi and
Nicola Guarino},
editor = {Lin Padgham and
Enrico Franconi and
Manfred Gehrke and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider},
title = {Open Problems with Part-Whole Relations},
booktitle = {Proceedings of the 1996 International Workshop on Description Logics,
November 2-4, 1996, Cambridge, MA, {USA}},
series = {{AAAI} Technical Report},
volume = {{WS-96-05}},
pages = {70--73},
publisher = {{AAAI} Press},
year = {1996},
timestamp = {Fri, 05 Mar 2004 14:36:40 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleFG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/1996,
editor = {Lin Padgham and
Enrico Franconi and
Manfred Gehrke and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider},
title = {Proceedings of the 1996 International Workshop on Description Logics,
November 2-4, 1996, Cambridge, MA, {USA}},
series = {{AAAI} Technical Report},
volume = {{WS-96-05}},
publisher = {{AAAI} Press},
year = {1996},
isbn = {1-57735-014-6},
timestamp = {Fri, 05 Mar 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/BaaderHNPF94,
author = {Franz Baader and
Bernhard Hollunder and
Bernhard Nebel and
Hans{-}J{\"{u}}rgen Profitlich and
Enrico Franconi},
title = {Am empirical analysis of optimization techniques for terminological
representation systems},
journal = {Appl. Intell.},
volume = {4},
number = {2},
pages = {109--132},
year = {1994},
url = {https://doi.org/10.1007/BF00872105},
doi = {10.1007/BF00872105},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/BaaderHNPF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArtaleF94,
author = {Alessandro Artale and
Enrico Franconi},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {A Computational Account for a Description Logic of Time and Action},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {3--14},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/ArtaleF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mima/Franconi93,
author = {Enrico Franconi},
title = {A treatment of plurals and plural quantifications based on a theory
of collections},
journal = {Minds Mach.},
volume = {3},
number = {4},
pages = {453--474},
year = {1993},
url = {https://doi.org/10.1007/BF00974106},
doi = {10.1007/BF00974106},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mima/Franconi93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FranconiGP93,
author = {Enrico Franconi and
Alessandra Giorgi and
Fabio Pianesi},
editor = {Ruzena Bajcsy},
title = {Tense and Aspect: {A} Mereological Approach},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {1222--1229},
publisher = {Morgan Kaufmann},
year = {1993},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FranconiGP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Franconi92,
author = {Enrico Franconi},
editor = {Robert M. MacGregor and
Deborah L. McGuinness and
Eric Mays and
Thomas A. Russ},
title = {Collective Entities and Relations in Concept Languages},
booktitle = {Issues in Description Logics: Users Meet Developers, Boston, MA, USA,
October 1992},
series = {{AAAI} Fall Symposium Series},
pages = {31--35},
publisher = {{AAAI} Press},
year = {1992},
timestamp = {Wed, 10 Mar 2004 15:26:01 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Franconi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AllgayerF92,
author = {J{\"{u}}rgen Allgayer and
Enrico Franconi},
editor = {Gerhard Lakemeyer and
Bernhard Nebel},
title = {Collective Entities and Relations in Concept Languages},
booktitle = {Foundation of Knowledge Representation and Reasoning [the book grew
out of an {ECAI-92} workshop]},
series = {Lecture Notes in Computer Science},
volume = {810},
pages = {13--29},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-58107-3\_2},
doi = {10.1007/3-540-58107-3\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AllgayerF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaaderHNPF92,
author = {Franz Baader and
Bernhard Hollunder and
Bernhard Nebel and
Hans{-}J{\"{u}}rgen Profitlich and
Enrico Franconi},
editor = {Bernhard Nebel and
Charles Rich and
William R. Swartout},
title = {An Empirical Analysis of Optimization Techniques for Terminological
Representation Systems, or Making {KRIS} Get a Move On},
booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge
Representation and Reasoning (KR'92). Cambridge, MA, USA, October
25-29, 1992},
pages = {270--281},
publisher = {Morgan Kaufmann},
year = {1992},
timestamp = {Fri, 22 Jun 2018 07:35:19 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaaderHNPF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Franconi91,
author = {Enrico Franconi},
editor = {Bernhard Nebel and
Kai von Luck and
Christof Peltason},
title = {Extending Hybridity within the {YAK} Knowledge Representation System},
booktitle = {Proceedings of the International Workshop on Terminological Logics
1991, Dagstuhl, Germany},
series = {{DFKI} Documents},
volume = {{DFKI-D-91-13}},
pages = {43--46},
year = {1991},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/Franconi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-18 20:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
