Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alessandro Artale
@article{DBLP:journals/tocl/ArtaleJMOW23,
author = {Alessandro Artale and
Jean Christoph Jung and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
title = {Living without Beth and Craig: Definitions and Interpolants in Description
and Modal Logics with Nominals and Role Inclusions},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {4},
pages = {34:1--34:51},
year = {2023},
url = {https://doi.org/10.1145/3597301},
doi = {10.1145/3597301},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ArtaleJMOW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ArtaleGGMM23,
author = {Alessandro Artale and
Luca Geatti and
Nicola Gigante and
Andrea Mazzullo and
Angelo Montanari},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Complexity of Safety and coSafety Fragments of Linear Temporal Logic},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6236--6244},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25768},
doi = {10.1609/AAAI.V37I5.25768},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ArtaleGGMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleGRZ23,
author = {Alessandro Artale and
Anton R. Gnatenko and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {A Decidable Temporal DL-Lite Logic with Undecidable First-Order and
Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended
Abstract)},
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/abstract-3.pdf},
timestamp = {Thu, 26 Oct 2023 16:59:55 +0200},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleGRZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleM23,
author = {Alessandro Artale and
Andrea Mazzullo},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {Non-Rigid Designators in Epistemic and Temporal Free Description Logics
(Extended Abstract)},
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/abstract-4.pdf},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArtaleGGMM23,
author = {Alessandro Artale and
Luca Geatti and
Nicola Gigante and
Andrea Mazzullo and
Angelo Montanari},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {A Singly Exponential Transformation of LTL[X, {F]} into Pure Past
{LTL}},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {65--74},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/7},
doi = {10.24963/KR.2023/7},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/ArtaleGGMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/ArtaleGGM23,
author = {Alessandro Artale and
Luca Geatti and
Nicola Gigante and
Andrea Mazzullo},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {A Landscape of First-Order Linear Temporal Logics in Infinite-State
Verification and Temporal Ontologies},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {85--92},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper14.pdf},
timestamp = {Wed, 07 Feb 2024 16:02:39 +0100},
biburl = {https://dblp.org/rec/conf/overlay/ArtaleGGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ArtaleGGMM23,
author = {Alessandro Artale and
Luca Geatti and
Nicola Gigante and
Andrea Mazzullo and
Angelo Montanari},
editor = {Alexander Artikis and
Florian Bruse and
Luke Hunsberger},
title = {{LTL} over Finite Words Can Be Exponentially More Succinct Than Pure-Past
LTL, and vice versa},
booktitle = {30th International Symposium on Temporal Representation and Reasoning,
{TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
series = {LIPIcs},
volume = {278},
pages = {2:1--2:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.TIME.2023.2},
doi = {10.4230/LIPICS.TIME.2023.2},
timestamp = {Mon, 18 Sep 2023 16:35:37 +0200},
biburl = {https://dblp.org/rec/conf/time/ArtaleGGMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-08640,
author = {Alessandro Artale and
Andrea Mazzullo},
title = {Non-Rigid Designators in Epistemic and Temporal Free Description Logics
(Extended Version)},
journal = {CoRR},
volume = {abs/2308.08640},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.08640},
doi = {10.48550/ARXIV.2308.08640},
eprinttype = {arXiv},
eprint = {2308.08640},
timestamp = {Fri, 25 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-08640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ArtaleKKRWZ22,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {First-Order Rewritability and Complexity of Two-Dimensional Temporal
Ontology-Mediated Queries},
journal = {J. Artif. Intell. Res.},
volume = {75},
pages = {1223--1291},
year = {2022},
url = {https://doi.org/10.1613/jair.1.13511},
doi = {10.1613/JAIR.1.13511},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/ArtaleKKRWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArtaleKKRWZ22,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Luc De Raedt},
title = {On the First-Order Rewritability of Ontology-Mediated Queries in Linear
Temporal Logic (Extended Abstract)},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {5703--5707},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/794},
doi = {10.24963/IJCAI.2022/794},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ArtaleKKRWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jist/2022,
editor = {Alessandro Artale and
Diego Calvanese and
Haofen Wang and
Xiaowang Zhang},
title = {Proceedings of the 11th International Joint Conference on Knowledge
Graphs, {IJCKG} 2022, Hangzhou, China, October 27-28, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3579051},
doi = {10.1145/3579051},
isbn = {978-1-4503-9987-6},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jist/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-00610,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki},
title = {First-order Temporal Logic on Finite Traces: Semantic Properties,
Decidable Fragments, and Applications},
journal = {CoRR},
volume = {abs/2202.00610},
year = {2022},
url = {https://arxiv.org/abs/2202.00610},
eprinttype = {arXiv},
eprint = {2202.00610},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-00610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-14913,
author = {Alessandro Artale and
Luca Geatti and
Nicola Gigante and
Andrea Mazzullo and
Angelo Montanari},
title = {Complexity of Safety and coSafety Fragments of Linear Temporal Logic},
journal = {CoRR},
volume = {abs/2211.14913},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.14913},
doi = {10.48550/ARXIV.2211.14913},
eprinttype = {arXiv},
eprint = {2211.14913},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-14913.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ArtaleKKRWZ21,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {First-order rewritability of ontology-mediated queries in linear temporal
logic},
journal = {Artif. Intell.},
volume = {299},
pages = {103536},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103536},
doi = {10.1016/J.ARTINT.2021.103536},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/ArtaleKKRWZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ArtaleJMOW21,
author = {Alessandro Artale and
Jean Christoph Jung and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
title = {Living Without Beth and Craig: Definitions and Interpolants in Description
Logics with Nominals and Role Inclusions},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {6193--6201},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i7.16770},
doi = {10.1609/AAAI.V35I7.16770},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ArtaleJMOW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TahratBAO21,
author = {Sabiha Tahrat and
Germ{\'{a}}n Alejandro Braun and
Alessandro Artale and
Ana Ozaki},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract)},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/abstract-25.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:15 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TahratBAO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArtaleMOW21,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {On Free Description Logics with Definite Descriptions},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {63--73},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/7},
doi = {10.24963/KR.2021/7},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/ArtaleMOW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-15513,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
title = {On Free Description Logics with Definite Descriptions},
journal = {CoRR},
volume = {abs/2106.15513},
year = {2021},
url = {https://arxiv.org/abs/2106.15513},
eprinttype = {arXiv},
eprint = {2106.15513},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-15513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-06806,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {First-Order Rewritability and Complexity of Two-Dimensional Temporal
Ontology-Mediated Queries},
journal = {CoRR},
volume = {abs/2111.06806},
year = {2021},
url = {https://arxiv.org/abs/2111.06806},
eprinttype = {arXiv},
eprint = {2111.06806},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-06806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleJMOW20,
author = {Alessandro Artale and
Jean Christoph Jung and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {Living Without Beth and Craig: Explicit Definitions and Interpolants
in Description Logics with Nominals (Extended Abstract)},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics
{(DL} 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2020), Online Event
[Rhodes, Greece], September 12th to 14th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2663/abstract-1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleJMOW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleMOW20,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {On Free Description Logics with Definite Descriptions},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics
{(DL} 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2020), Online Event
[Rhodes, Greece], September 12th to 14th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2663/paper-4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleMOW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TahratBAGO20,
author = {Sabiha Tahrat and
Germ{\'{a}}n Alejandro Braun and
Alessandro Artale and
Marco Gario and
Ana Ozaki},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {Automated Reasoning in Temporal DL-Lite (Extended Abstract)},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics
{(DL} 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2020), Online Event
[Rhodes, Greece], September 12th to 14th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2663/abstract-22.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TahratBAGO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/ArtaleMO20,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki},
editor = {Riccardo De Benedictis and
Luca Geretti and
Andrea Micheli},
title = {Finite vs. Infinite Traces in Temporal Logics},
booktitle = {Proceedings of the 2nd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Bolzano
Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2785},
pages = {23--27},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2785/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/overlay/ArtaleMO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-07221,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal
Logic},
journal = {CoRR},
volume = {abs/2004.07221},
year = {2020},
url = {https://arxiv.org/abs/2004.07221},
eprinttype = {arXiv},
eprint = {2004.07221},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-07221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-02736,
author = {Alessandro Artale and
Jean Christoph Jung and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
title = {Living Without Beth and Craig: Explicit Definitions and Interpolants
in Description Logics with Nominals},
journal = {CoRR},
volume = {abs/2007.02736},
year = {2020},
url = {https://arxiv.org/abs/2007.02736},
eprinttype = {arXiv},
eprint = {2007.02736},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-02736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-07463,
author = {Sabiha Tahrat and
Germ{\'{a}}n Alejandro Braun and
Alessandro Artale and
Marco Gario and
Ana Ozaki},
title = {Automated Reasoning in Temporal DL-Lite},
journal = {CoRR},
volume = {abs/2008.07463},
year = {2020},
url = {https://arxiv.org/abs/2008.07463},
eprinttype = {arXiv},
eprint = {2008.07463},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-07463.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/ArtaleCMA19,
author = {Alessandro Artale and
Diego Calvanese and
Marco Montali and
Wil M. P. van der Aalst},
editor = {Stefano Borgo and
Roberta Ferrario and
Claudio Masolo and
Laure Vieu},
title = {Enriching Data Models with Behavioral Constraints},
booktitle = {Ontology Makes Sense - Essays in honor of Nicola Guarino},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {316},
pages = {257--277},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/978-1-61499-955-3-257},
doi = {10.3233/978-1-61499-955-3-257},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ArtaleCMA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ArtaleKMA19,
author = {Alessandro Artale and
Alisa Kovtunova and
Marco Montali and
Wil M. P. van der Aalst},
editor = {Thomas T. Hildebrandt and
Boudewijn F. van Dongen and
Maximilian R{\"{o}}glinger and
Jan Mendling},
title = {Modeling and Reasoning over Declarative Data-Aware Processes with
Object-Centric Behavioral Constraints},
booktitle = {Business Process Management - 17th International Conference, {BPM}
2019, Vienna, Austria, September 1-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11675},
pages = {139--156},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26619-6\_11},
doi = {10.1007/978-3-030-26619-6\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/ArtaleKMA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleMO19,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Temporal DL-Lite over Finite Traces (Preliminary Results)},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-2.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleMO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArtaleMO19,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki},
editor = {Sarit Kraus},
title = {Do You Need Infinite Time?},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1516--1522},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/210},
doi = {10.24963/IJCAI.2019/210},
timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ArtaleMO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleMO18,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Temporal Description Logics over Finite Traces},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleMO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AalstAMT17,
author = {Wil M. P. van der Aalst and
Alessandro Artale and
Marco Montali and
Simone Tritini},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Object-Centric Behavioral Constraints: Integrating Data and Declarative
Process Modelling},
booktitle = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879/paper51.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/AalstAMT17.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}
}
@inproceedings{DBLP:conf/time/ArtaleKKRWZ17,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {Ontology-Mediated Query Answering over Temporal Data: {A} Survey (Invited
Talk)},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
pages = {1:1--1:37},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.1},
doi = {10.4230/LIPICS.TIME.2017.1},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/ArtaleKKRWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2017,
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879},
urn = {urn:nbn:de:0074-1879-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/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/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}
}
@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}
}
@inproceedings{DBLP:conf/aaai/ArtaleKRZ15,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Blai Bonet and
Sven Koenig},
title = {Tractable Interval Temporal Propositional and Description Logics},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1417--1423},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9406},
doi = {10.1609/AAAI.V29I1.9406},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ArtaleKRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleKRZ15,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Diego Calvanese and
Boris Konev},
title = {Interval Temporal Description Logics},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleKRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArtaleKKRWZ15,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {First-Order Rewritability of Temporal Ontology-Mediated Queries},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2706--2712},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/383},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ArtaleKKRWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ArtaleKRZ14,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
title = {A Cookbook for Temporal Conceptual Data Modelling with Description
Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {25:1--25:50},
year = {2014},
url = {https://doi.org/10.1145/2629565},
doi = {10.1145/2629565},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ArtaleKRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleKKRWZ14,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Temporal {OBDA} with {LTL} and DL-Lite},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {21--32},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_60.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleKKRWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ArtaleBMSR14,
author = {Alessandro Artale and
Davide Bresolin and
Angelo Montanari and
Guido Sciavicco and
Vladislav Ryzhikov},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {DL-Lite and Interval Temporal Logics: a Marriage Proposal},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {957--958},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-957},
doi = {10.3233/978-1-61499-419-0-957},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ArtaleBMSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArtaleCKZ14,
author = {Alessandro Artale and
Diego Calvanese and
Roman Kontchakov and
Michael Zakharyaschev},
title = {The DL-Lite Family and Relations},
journal = {CoRR},
volume = {abs/1401.3487},
year = {2014},
url = {http://arxiv.org/abs/1401.3487},
eprinttype = {arXiv},
eprint = {1401.3487},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArtaleCKZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MasoloA13,
author = {Claudio Masolo and
Alessandro Artale},
editor = {Matteo Baldoni and
Cristina Baroglio and
Guido Boella and
Roberto Micalizio},
title = {Entity-from-Relationship Modelling},
booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International
Conference of the Italian Association for Artificial Intelligence,
Turin, Italy, December 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8249},
pages = {85--96},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03524-6\_8},
doi = {10.1007/978-3-319-03524-6\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/MasoloA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleKWZ13,
author = {Alessandro Artale and
Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Temporalising {OWL} 2 {QL}},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {17--28},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_22.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleKWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArtaleKWZ13,
author = {Alessandro Artale and
Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Francesca Rossi},
title = {Temporal Description Logic for Ontology-Based Data Access},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {711--717},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6824},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ArtaleKWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ArtaleKRZ13,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {The Complexity of Clausal Fragments of {LTL}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {35--52},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_3},
doi = {10.1007/978-3-642-45221-5\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ArtaleKRZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-5185,
author = {Alessandro Artale and
Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
title = {Temporal Description Logic for Ontology-Based Data Access (Extended
Version)},
journal = {CoRR},
volume = {abs/1304.5185},
year = {2013},
url = {http://arxiv.org/abs/1304.5185},
eprinttype = {arXiv},
eprint = {1304.5185},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArtaleKRZ13,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
title = {The Complexity of Clausal Fragments of {LTL}},
journal = {CoRR},
volume = {abs/1306.5088},
year = {2013},
url = {http://arxiv.org/abs/1306.5088},
eprinttype = {arXiv},
eprint = {1306.5088},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArtaleKRZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/QueraltACT12,
author = {Anna Queralt and
Alessandro Artale and
Diego Calvanese and
Ernest Teniente},
title = {OCL-Lite: Finite reasoning on {UML/OCL} conceptual schemas},
journal = {Data Knowl. Eng.},
volume = {73},
pages = {1--22},
year = {2012},
url = {https://doi.org/10.1016/j.datak.2011.09.004},
doi = {10.1016/J.DATAK.2011.09.004},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/QueraltACT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/QueraltACT12,
author = {Anna Queralt and
Alessandro Artale and
Diego Calvanese and
Ernest Teniente},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {OCL-Lite: {A} Decidable (Yet Expressive) Fragment of {OCL}},
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\_55.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/QueraltACT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ArtaleRK12,
author = {Alessandro Artale and
Vladislav Ryzhikov and
Roman Kontchakov},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {DL-Lite with Attributes and Datatypes},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {61--66},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-61},
doi = {10.3233/978-1-61499-098-7-61},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ArtaleRK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-5571,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
title = {A Cookbook for Temporal Conceptual Data Modelling with Description
Logics},
journal = {CoRR},
volume = {abs/1209.5571},
year = {2012},
url = {http://arxiv.org/abs/1209.5571},
eprinttype = {arXiv},
eprint = {1209.5571},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-5571.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/AmalfiACP11,
author = {Maria Amalfi and
Alessandro Artale and
Andrea Cal{\`{\i}} and
Alessandro Provetti},
editor = {Jeffrey Xu Yu and
Myoung{-}Ho Kim and
Rainer Unland},
title = {Generating Preview Instances for the Face Validation of Entity-Relationship
Schemata: The Acyclic Case},
booktitle = {Database Systems for Advanced Applications - 16th International Conference,
{DASFAA} 2011, Hong Kong, China, April 22-25, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6588},
pages = {225--234},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20152-3\_17},
doi = {10.1007/978-3-642-20152-3\_17},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasfaa/AmalfiACP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleIKR11,
author = {Alessandro Artale and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Roman Kontchakov and
Vladislav Ryzhikov},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {DL-Lite with Attributes and Sub-Roles (Extended Abstract)},
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\_42.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleIKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArtaleKRZ11,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Tailoring Temporal Description Logics for Reasoning over Temporal
Conceptual Models},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {1--11},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_1},
doi = {10.1007/978-3-642-24364-6\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArtaleKRZ11.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/aaai/ArtaleKRZ10,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Maria Fox and
David Poole},
title = {Past and Future of DL-Lite},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {243--248},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7580},
doi = {10.1609/AAAI.V24I1.7580},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ArtaleKRZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleCI10,
author = {Alessandro Artale and
Diego Calvanese and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Checking Full Satisfiability of Conceptual Models},
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\_40.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleCI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleKRZ10,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Temporal Conceptual Modelling with DL-Lite},
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\_28.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleKRZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BotoevaAC10,
author = {Elena Botoeva and
Alessandro Artale and
Diego Calvanese},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Query Rewriting in DL-Lite{\_}{\^{}}(HN){\_}horn},
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\_45.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BotoevaAC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/ArtaleKRZ10,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Jeffrey Parsons and
Motoshi Saeki and
Peretz Shoval and
Carson C. Woo and
Yair Wand},
title = {Complexity of Reasoning over Temporal Data Models},
booktitle = {Conceptual Modeling - {ER} 2010, 29th International Conference on
Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6412},
pages = {174--187},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16373-9\_13},
doi = {10.1007/978-3-642-16373-9\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/er/ArtaleKRZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/ArtaleCI10,
author = {Alessandro Artale and
Diego Calvanese and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a},
editor = {Jeffrey Parsons and
Motoshi Saeki and
Peretz Shoval and
Carson C. Woo and
Yair Wand},
title = {Full Satisfiability of {UML} Class Diagrams},
booktitle = {Conceptual Modeling - {ER} 2010, 29th International Conference on
Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6412},
pages = {317--331},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16373-9\_23},
doi = {10.1007/978-3-642-16373-9\_23},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/er/ArtaleCI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nss/ArtaleCGTZ10,
author = {Alessandro Artale and
Bruno Crispo and
Fausto Giunchiglia and
Fatih Turkmen and
Rui Zhang},
editor = {Yang Xiang and
Pierangela Samarati and
Jiankun Hu and
Wanlei Zhou and
Ahmad{-}Reza Sadeghi},
title = {Reasoning about Relation Based Access Control},
booktitle = {Fourth International Conference on Network and System Security, {NSS}
2010, Melbourne, Victoria, Australia, September 1-3, 2010},
pages = {231--238},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/NSS.2010.76},
doi = {10.1109/NSS.2010.76},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nss/ArtaleCGTZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/KeetA10,
author = {C. Maria Keet and
Alessandro Artale},
editor = {Robert Meersman and
Tharam S. Dillon and
Pilar Herrero},
title = {A Basic Characterization of Relation Migration},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2010 Workshops -
Confederated International Workshops and Posters: International Workshops:
AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE,
SeDeS, {SWWS} and {OTMA.} Hersonissos, Crete, Greece, October 25-29,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6428},
pages = {484--493},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16961-8\_70},
doi = {10.1007/978-3-642-16961-8\_70},
timestamp = {Thu, 14 Oct 2021 10:28:25 +0200},
biburl = {https://dblp.org/rec/conf/otm/KeetA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ArtaleCKZ09,
author = {Alessandro Artale and
Diego Calvanese and
Roman Kontchakov and
Michael Zakharyaschev},
title = {The DL-Lite Family and Relations},
journal = {J. Artif. Intell. Res.},
volume = {36},
pages = {1--69},
year = {2009},
url = {https://doi.org/10.1613/jair.2820},
doi = {10.1613/JAIR.2820},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/ArtaleCKZ09.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/ArtaleCKZ09,
author = {Alessandro Artale and
Diego Calvanese and
Roman Kontchakov and
Michael Zakharyaschev},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Adding Weight to DL-Lite},
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\_51.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleCKZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleCKZ09a,
author = {Alessandro Artale and
Diego Calvanese and
Roman Kontchakov and
Michael Zakharyaschev},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {DL-Lite without {UNA}},
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\_11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleCKZ09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleKRZ09,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Extending DL-Lite Sometime in the Future},
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\_53.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleKRZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZhangAGC09,
author = {Rui Zhang and
Alessandro Artale and
Fausto Giunchiglia and
Bruno Crispo},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Using Description Logics in Relation Based Access Control},
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\_36.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ZhangAGC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArtaleKRZ09,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {\emph{DL-Lite} with Temporalised Concepts, Rigid Axioms and Roles},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {133--148},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_8},
doi = {10.1007/978-3-642-04222-5\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArtaleKRZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/igi/09/ArtaleK09,
author = {Alessandro Artale and
C. Maria Keet},
editor = {Terence A. Halpin and
John Krogstie and
Erik Proper},
title = {Essential, Mandatory, and Shared Parts in Conceptual Data Models},
booktitle = {Innovations in Information Systems Modeling - Methods and Best Practices},
pages = {17--52},
publisher = {{IGI} Global},
year = {2009},
url = {https://doi.org/10.4018/978-1-60566-278-7.ch002},
doi = {10.4018/978-1-60566-278-7.CH002},
timestamp = {Fri, 09 Apr 2021 18:19:01 +0200},
biburl = {https://dblp.org/rec/books/igi/09/ArtaleK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ao/KeetA08,
author = {C. Maria Keet and
Alessandro Artale},
title = {Representing and reasoning over a taxonomy of part-whole relations},
journal = {Appl. Ontology},
volume = {3},
number = {1-2},
pages = {91--110},
year = {2008},
url = {https://doi.org/10.3233/AO-2008-0049},
doi = {10.3233/AO-2008-0049},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ao/KeetA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleK08,
author = {Alessandro Artale and
C. Maria Keet},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Essential and Mandatory Part-Whole Relations in Conceptual Data Models},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/ArtaleKeet.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleT08,
author = {Alessandro Artale and
David Toman},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Decidable Reasoning over Timestamped Conceptual Models},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/ArtaleToman.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArtaleGK08,
author = {Alessandro Artale and
Nicola Guarino and
C. Maria Keet},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Formalising Temporal Constraints on Part-Whole Relations},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {673--683},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-066.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ArtaleGK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ArtaleT08,
author = {Alessandro Artale and
David Toman},
editor = {Salvatore Gaglio and
Ignazio Infantino and
Domenico Sacc{\`{a}}},
title = {Decidable Reasoning over Timestamped Conceptual Models},
booktitle = {Proceedings of the Sixteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2008, 22-25 June 2008, Mondello, PA, Italy},
pages = {168--178},
year = {2008},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/ArtaleT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ArtalePS07,
author = {Alessandro Artale and
Christine Parent and
Stefano Spaccapietra},
title = {Evolving objects in temporal information systems},
journal = {Ann. Math. Artif. Intell.},
volume = {50},
number = {1-2},
pages = {5--38},
year = {2007},
url = {https://doi.org/10.1007/s10472-007-9068-z},
doi = {10.1007/S10472-007-9068-Z},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ArtalePS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ArtaleCKZ07,
author = {Alessandro Artale and
Diego Calvanese and
Roman Kontchakov and
Michael Zakharyaschev},
title = {DL-Lite in the Light of First-Order Logic},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {361--366},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-056.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ArtaleCKZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleCKRZ07,
author = {Alessandro Artale and
Diego Calvanese and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Complexity of Reasoning in Entity Relationship Models},
booktitle = {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/paper\_82.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleCKRZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/ArtaleCKRZ07,
author = {Alessandro Artale and
Diego Calvanese and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Christine Parent and
Klaus{-}Dieter Schewe and
Veda C. Storey and
Bernhard Thalheim},
title = {Reasoning over Extended {ER} Models},
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 = {277--292},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75563-0\_20},
doi = {10.1007/978-3-540-75563-0\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/er/ArtaleCKRZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArtaleLT07,
author = {Alessandro Artale and
Carsten Lutz and
David Toman},
editor = {Manuela M. Veloso},
title = {A Description Logic of Change},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {218--223},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/033.pdf},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ArtaleLT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ArtaleCKZ07,
author = {Alessandro Artale and
Diego Calvanese and
Roman Kontchakov and
Michael Zakharyaschev},
editor = {Michelangelo Ceci and
Donato Malerba and
Letizia Tanca},
title = {Query Answering in Expressive Variants of DL-Lite},
booktitle = {Proceedings of the Fifteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2007, 17-20 June 2007, Torre Canne, Fasano, BR, Italy},
pages = {250--257},
year = {2007},
timestamp = {Thu, 21 Jun 2007 08:28:19 +0200},
biburl = {https://dblp.org/rec/conf/sebd/ArtaleCKZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ArtaleKLWZ07,
author = {Alessandro Artale and
Roman Kontchakov and
Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
title = {Temporalising Tractable Description Logics},
booktitle = {14th International Symposium on Temporal Representation and Reasoning
{(TIME} 2007), 28-30 June 2007, Alicante, Spain},
pages = {11--22},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TIME.2007.62},
doi = {10.1109/TIME.2007.62},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/ArtaleKLWZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Artale06,
author = {Alessandro Artale},
title = {Reasoning on temporal class diagrams: Undecidability results},
journal = {Ann. Math. Artif. Intell.},
volume = {46},
number = {3},
pages = {265--288},
year = {2006},
url = {https://doi.org/10.1007/s10472-006-9019-0},
doi = {10.1007/S10472-006-9019-0},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Artale06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleLT06,
author = {Alessandro Artale and
Carsten Lutz and
David Toman},
editor = {Bijan Parsia and
Ulrike Sattler and
David Toman},
title = {A Description Logic of Change},
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\_35.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleLT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ArtalePS06,
author = {Alessandro Artale and
Christine Parent and
Stefano Spaccapietra},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Modeling the Evolution of Objects in Temporal Information Systems},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {22--42},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_3},
doi = {10.1007/11663881\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ArtalePS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ArtalePS05,
author = {Alessandro Artale and
Christine Parent and
Stefano Spaccapietra},
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {Modeling the Evolution of Objects in Temporal Information Systems},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {380--391},
year = {2005},
timestamp = {Mon, 27 Jun 2005 14:46:36 +0200},
biburl = {https://dblp.org/rec/conf/sebd/ArtalePS05.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/jancl/ArtaleL04,
author = {Alessandro Artale and
Carsten Lutz},
title = {A Correspondence between Temporal Description Logics},
journal = {J. Appl. Non Class. Logics},
volume = {14},
number = {1-2},
pages = {209--233},
year = {2004},
url = {https://doi.org/10.3166/jancl.14.209-233},
doi = {10.3166/JANCL.14.209-233},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/ArtaleL04.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/dlog/Artale04,
author = {Alessandro Artale},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Reasoning on Temporal Conceptual Schemas with Dynamic Constraints},
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/01Artale.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Artale04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Artale04,
author = {Alessandro Artale},
title = {Reasoning on Temporal Conceptual Schemas with Dynamic Constraints},
booktitle = {11th International Symposium on Temporal Representation and Reasoning
{(TIME} 2004), 1-3 July 2004, Tatihou Island, Normandie, France},
pages = {79--86},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/TIME.2004.1314423},
doi = {10.1109/TIME.2004.1314423},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Artale04.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/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/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/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/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}
}
@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/ArtaleL99,
author = {Alessandro Artale and
Carsten Lutz},
editor = {Patrick Lambrix and
Alexander Borgida and
Maurizio Lenzerini and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {A Correspondence between Temporal Description Logics},
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/artalelutz.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleL99.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}
}
@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/lrec/ArtaleGMPS98,
author = {Alessandro Artale and
Anna Goy and
Bernardo Magnini and
Emanuelle Pianta and
Carlo Strapparava},
title = {Coping with {WORDNET} sense proliferation},
booktitle = {Proceedings of the First International Conference on Language Resources
and Evaluation, {LREC} 1998, May 28-30, 1998, Granada, Spain},
pages = {873--878},
publisher = {European Language Resources Association},
year = {1998},
timestamp = {Fri, 25 Jun 2021 14:29:28 +0200},
biburl = {https://dblp.org/rec/conf/lrec/ArtaleGMPS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ArtaleMS97,
author = {Alessandro Artale and
Bernardo Magnini and
Carlo Strapparava},
editor = {Maurizio Lenzerini},
title = {WordNet for Italian and Its Use for Lexical Deiscrimination},
booktitle = {AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the
Italian Association for Artificial Intelligence, Rome, Italy, September
17-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1321},
pages = {346--356},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63576-9\_121},
doi = {10.1007/3-540-63576-9\_121},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/ArtaleMS97.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}
}
@article{DBLP:journals/tkde/ArtaleCS96,
author = {Alessandro Artale and
Francesca Cesarini and
Giovanni Soda},
title = {Describing Database Objects in a Concept Language Environment},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {8},
number = {2},
pages = {345--351},
year = {1996},
url = {https://doi.org/10.1109/69.494172},
doi = {10.1109/69.494172},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/ArtaleCS96.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}
}
@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}
}
@inproceedings{DBLP:conf/sebd/ArtaleCGS93,
author = {Alessandro Artale and
Francesca Cesarini and
Elisabetta Grazzini and
Giovanni Soda},
editor = {Domenico Sacc{\`{a}}},
title = {Instance Recognition in an Object Database Model},
booktitle = {Convegno SEBD'93, Proceedings of the Conference on Advanced Database
Systems (Atti del convegno su Sistemi Evoluti per Basi di Dati), {SEBD}
1993, Hotel Capo Suvero, Gizzeria, Italy, 14-16 June, 1993},
pages = {167--181},
publisher = {Mediterranean Press (via S. Pellico, 13 - Tel. 0984-465645 - 87030
Rende {(CS))}},
year = {1993},
timestamp = {Mon, 18 Jan 2016 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/sebd/ArtaleCGS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:journals/lncs/BeneventanoBSACS93,
author = {Domenico Beneventano and
Sonia Bergamaschi and
Claudio Sartori and
Alessandro Artale and
Francesca Cesarini and
Giovanni Soda},
editor = {Paolo Atzeni},
title = {Taxonomic Reasoning in {LOGIDATA+}},
booktitle = {{LOGIDATA+:} Deductive Databases with Complex Objects},
series = {Lecture Notes in Computer Science},
volume = {701},
pages = {79--84},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021891},
doi = {10.1007/BFB0021891},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/journals/lncs/BeneventanoBSACS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:journals/lncs/ArtaleCS93,
author = {Alessandro Artale and
Francesca Cesarini and
Giovanni Soda},
editor = {Paolo Atzeni},
title = {Introducing Taxonomic Reasoning in {LOGIDATA+}},
booktitle = {{LOGIDATA+:} Deductive Databases with Complex Objects},
series = {Lecture Notes in Computer Science},
volume = {701},
pages = {85--104},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021892},
doi = {10.1007/BFB0021892},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lncs/ArtaleCS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:journals/lncs/ArtaleBCCCFLGMM93,
author = {Alessandro Artale and
Jean Paul Ballerini and
Filippo Cacace and
Stefano Ceri and
Francesca Cesarini and
Anna Formica and
Herman Lam and
Sergio Greco and
G. Marrella and
Michele Missikoff and
Luigi Palopoli and
L. Pichetti and
Domenico Sacc{\`{a}} and
Silvio Salza and
Claudio Sartori and
Giovanni Soda and
Letizia Tanca and
M. Toiati},
editor = {Paolo Atzeni},
title = {Prototypes in the {LOGIDATA+} Project},
booktitle = {{LOGIDATA+:} Deductive Databases with Complex Objects},
series = {Lecture Notes in Computer Science},
volume = {701},
pages = {252--273},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021901},
doi = {10.1007/BFB0021901},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lncs/ArtaleBCCCFLGMM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ArtaleCS91,
author = {Alessandro Artale and
Francesca Cesarini and
Giovanni Soda},
editor = {Edoardo Ardizzone and
Salvatore Gaglio and
Filippo Sorbello},
title = {Introducing Knowledge Representation Techniques in Database Models},
booktitle = {Trends in Artificial Intelligence, 2nd Congress of the Italian Association
for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31,
1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {549},
pages = {375--384},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54712-6\_249},
doi = {10.1007/3-540-54712-6\_249},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/ArtaleCS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdk/ArtaleCS91,
author = {Alessandro Artale and
Francesca Cesarini and
Giovanni Soda},
editor = {Harold Boley and
Michael M. Richter},
title = {Subsumption Computation on an Object-Oriented Data Model},
booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
Germany, July 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {567},
pages = {124--140},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013525},
doi = {10.1007/BFB0013525},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/pdk/ArtaleCS91.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 2024-04-25 02:07 CEST 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:
