Alessandro Artale
https://orcid.org/0000-0002-3852-9351
Alessandro Artale
Jean Christoph Jung
Andrea Mazzullo
Ana Ozaki
Frank Wolter
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.
34:1-34:51
2023
October
24
ACM Trans. Comput. Log.
4
https://doi.org/10.1145/3597301
db/journals/tocl/tocl24.html#ArtaleJMOW23
Alessandro Artale
Luca Geatti
Nicola Gigante
Andrea Mazzullo
Angelo Montanari
Complexity of Safety and coSafety Fragments of Linear Temporal Logic.
6236-6244
2023
AAAI
https://doi.org/10.1609/aaai.v37i5.25768
conf/aaai/2023
db/conf/aaai/aaai2023.html#ArtaleGGMM23
Alessandro Artale
Anton R. Gnatenko
Vladislav Ryzhikov
Michael Zakharyaschev
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).
2023
Description Logics
https://ceur-ws.org/Vol-3515/abstract-3.pdf
conf/dlog/2023
db/conf/dlog/dlog2023.html#ArtaleGRZ23
Alessandro Artale
Andrea Mazzullo
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract).
2023
Description Logics
https://ceur-ws.org/Vol-3515/abstract-4.pdf
conf/dlog/2023
db/conf/dlog/dlog2023.html#ArtaleM23
Alessandro Artale
Luca Geatti
Nicola Gigante
Andrea Mazzullo
Angelo Montanari
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL.
65-74
2023
KR
https://doi.org/10.24963/kr.2023/7
conf/kr/2023
db/conf/kr/kr2023.html#ArtaleGGMM23
Alessandro Artale
Luca Geatti
Nicola Gigante
Andrea Mazzullo
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies.
85-92
2023
OVERLAY@AI*IA
https://ceur-ws.org/Vol-3629/paper14.pdf
conf/overlay/2023
db/conf/overlay/overlay2023.html#ArtaleGGM23
Alessandro Artale
Luca Geatti
Nicola Gigante
Andrea Mazzullo
Angelo Montanari
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa.
2:1-2:14
2023
TIME
https://doi.org/10.4230/LIPIcs.TIME.2023.2
conf/time/2023
db/conf/time/time2023.html#ArtaleGGMM23
Alessandro Artale
Andrea Mazzullo
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version).
2023
abs/2308.08640
CoRR
https://doi.org/10.48550/arXiv.2308.08640
db/journals/corr/corr2308.html#abs-2308-08640
Alessandro Artale
Roman Kontchakov
Alisa Kovtunova
Vladislav Ryzhikov
Frank Wolter
Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
1223-1291
2022
75
J. Artif. Intell. Res.
https://doi.org/10.1613/jair.1.13511
db/journals/jair/jair75.html#ArtaleKKRWZ22
Alessandro Artale
Roman Kontchakov
Alisa Kovtunova
Vladislav Ryzhikov
Frank Wolter
Michael Zakharyaschev
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
5703-5707
2022
IJCAI
https://doi.org/10.24963/ijcai.2022/794
conf/ijcai/2022
db/conf/ijcai/ijcai2022.html#ArtaleKKRWZ22
Alessandro Artale
Diego Calvanese
Haofen Wang
Xiaowang Zhang
Proceedings of the 11th International Joint Conference on Knowledge Graphs, IJCKG 2022, Hangzhou, China, October 27-28, 2022
ACM
IJCKG
2022
978-1-4503-9987-6
https://doi.org/10.1145/3579051
db/conf/jist/ijckg2022.html
Alessandro Artale
Andrea Mazzullo
Ana Ozaki
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.
2022
abs/2202.00610
CoRR
https://arxiv.org/abs/2202.00610
db/journals/corr/corr2202.html#abs-2202-00610
Alessandro Artale
Luca Geatti
Nicola Gigante
Andrea Mazzullo
Angelo Montanari
Complexity of Safety and coSafety Fragments of Linear Temporal Logic.
2022
abs/2211.14913
CoRR
https://doi.org/10.48550/arXiv.2211.14913
db/journals/corr/corr2211.html#abs-2211-14913
Alessandro Artale
Roman Kontchakov
Alisa Kovtunova
Vladislav Ryzhikov
Frank Wolter
Michael Zakharyaschev
First-order rewritability of ontology-mediated queries in linear temporal logic.
103536
2021
299
Artif. Intell.
https://doi.org/10.1016/j.artint.2021.103536
db/journals/ai/ai299.html#ArtaleKKRWZ21
Alessandro Artale
Jean Christoph Jung
Andrea Mazzullo
Ana Ozaki
Frank Wolter
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.
6193-6201
2021
AAAI
https://doi.org/10.1609/aaai.v35i7.16770
conf/aaai/2021
db/conf/aaai/aaai2021.html#ArtaleJMOW21
Sabiha Tahrat
Germán Alejandro Braun
Alessandro Artale
Ana Ozaki
Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract).
2021
Description Logics
https://ceur-ws.org/Vol-2954/abstract-25.pdf
conf/dlog/2021
db/conf/dlog/dlog2021.html#TahratBAO21
Alessandro Artale
Andrea Mazzullo
Ana Ozaki
Frank Wolter
On Free Description Logics with Definite Descriptions.
63-73
2021
KR
https://doi.org/10.24963/kr.2021/7
conf/kr/2021
db/conf/kr/kr2021.html#ArtaleMOW21
Alessandro Artale
Andrea Mazzullo
Ana Ozaki
Frank Wolter
On Free Description Logics with Definite Descriptions.
2021
abs/2106.15513
CoRR
https://arxiv.org/abs/2106.15513
db/journals/corr/corr2106.html#abs-2106-15513
Alessandro Artale
Roman Kontchakov
Alisa Kovtunova
Vladislav Ryzhikov
Frank Wolter
Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
2021
abs/2111.06806
CoRR
https://arxiv.org/abs/2111.06806
db/journals/corr/corr2111.html#abs-2111-06806
Alessandro Artale
Jean Christoph Jung
Andrea Mazzullo
Ana Ozaki
Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).
2020
Description Logics
https://ceur-ws.org/Vol-2663/abstract-1.pdf
conf/dlog/2020
db/conf/dlog/dlog2020.html#ArtaleJMOW20
Alessandro Artale
Andrea Mazzullo
Ana Ozaki
Frank Wolter
On Free Description Logics with Definite Descriptions.
2020
Description Logics
https://ceur-ws.org/Vol-2663/paper-4.pdf
conf/dlog/2020
db/conf/dlog/dlog2020.html#ArtaleMOW20
Sabiha Tahrat
Germán Alejandro Braun
Alessandro Artale
Marco Gario
Ana Ozaki
Automated Reasoning in Temporal DL-Lite (Extended Abstract).
2020
Description Logics
https://ceur-ws.org/Vol-2663/abstract-22.pdf
conf/dlog/2020
db/conf/dlog/dlog2020.html#TahratBAGO20
Alessandro Artale
Andrea Mazzullo
Ana Ozaki
Finite vs. Infinite Traces in Temporal Logics.
23-27
2020
OVERLAY
https://ceur-ws.org/Vol-2785/paper4.pdf
conf/overlay/2020
db/conf/overlay/overlay2020.html#ArtaleMO20
Alessandro Artale
Roman Kontchakov
Alisa Kovtunova
Vladislav Ryzhikov
Frank Wolter
Michael Zakharyaschev
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
2020
abs/2004.07221
CoRR
https://arxiv.org/abs/2004.07221
db/journals/corr/corr2004.html#abs-2004-07221
Alessandro Artale
Jean Christoph Jung
Andrea Mazzullo
Ana Ozaki
Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.
2020
abs/2007.02736
CoRR
https://arxiv.org/abs/2007.02736
db/journals/corr/corr2007.html#abs-2007-02736
Sabiha Tahrat
Germán Alejandro Braun
Alessandro Artale
Marco Gario
Ana Ozaki
Automated Reasoning in Temporal DL-Lite.
2020
abs/2008.07463
CoRR
https://arxiv.org/abs/2008.07463
db/journals/corr/corr2008.html#abs-2008-07463
Alessandro Artale
Enrico Franconi
Towards a Logical Foundation of Reification in Modelling Languages.
242-256
2019
Ontology Makes Sense
https://doi.org/10.3233/978-1-61499-955-3-242
conf/birthday/2019guarino
db/conf/birthday/guarino2019.html#ArtaleF19
Alessandro Artale
Diego Calvanese
Marco Montali
Wil M. P. van der Aalst
Enriching Data Models with Behavioral Constraints.
257-277
2019
Ontology Makes Sense
https://doi.org/10.3233/978-1-61499-955-3-257
conf/birthday/2019guarino
db/conf/birthday/guarino2019.html#ArtaleCMA19
Alessandro Artale
Alisa Kovtunova
Marco Montali
Wil M. P. van der Aalst
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.
139-156
2019
BPM
https://doi.org/10.1007/978-3-030-26619-6_11
conf/bpm/2019
db/conf/bpm/bpm2019.html#ArtaleKMA19
Alessandro Artale
Andrea Mazzullo
Ana Ozaki
Temporal DL-Lite over Finite Traces (Preliminary Results).
2019
Description Logics
https://ceur-ws.org/Vol-2373/paper-2.pdf
conf/dlog/2019
db/conf/dlog/dlog2019.html#ArtaleMO19
Alessandro Artale
Andrea Mazzullo
Ana Ozaki
Do You Need Infinite Time?.
2019
IJCAI
https://doi.org/10.24963/ijcai.2019/210
conf/ijcai/2019
db/conf/ijcai/ijcai2019.html#ArtaleMO19
1516-1522
Alessandro Artale
Andrea Mazzullo
Ana Ozaki
Temporal Description Logics over Finite Traces.
2018
Description Logics
https://ceur-ws.org/Vol-2211/paper-06.pdf
conf/dlog/2018
db/conf/dlog/dlog2018.html#ArtaleMO18
Wil M. P. van der Aalst
Alessandro Artale
Marco Montali
Simone Tritini
Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling.
2017
Description Logics
https://ceur-ws.org/Vol-1879/paper51.pdf
conf/dlog/2017
db/conf/dlog/dlog2017.html#AalstAMT17
Alessandro Artale
Enrico Franconi
Rafael Peñaloza
Francesco Sportelli
A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract).
33
2017
SEBD
https://ceur-ws.org/Vol-2037/paper_6.pdf
conf/sebd/2017
db/conf/sebd/sebd2017.html#ArtaleFPS17
Alessandro Artale
Enrico Franconi
Rafael Peñaloza
Francesco Sportelli
A Decidable Very Expressive Description Logic for Databases.
37-52
2017
ISWC (1)
https://doi.org/10.1007/978-3-319-68288-4_3
conf/semweb/2017-1
db/conf/semweb/iswc2017-1.html#ArtaleFPS17
Alessandro Artale
Roman Kontchakov
Alisa Kovtunova
Vladislav Ryzhikov
Frank Wolter
Michael Zakharyaschev
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).
1:1-1:37
2017
TIME
https://doi.org/10.4230/LIPIcs.TIME.2017.1
conf/time/2017
db/conf/time/time2017.html#ArtaleKKRWZ17
Alessandro Artale
Birte Glimm
Roman Kontchakov
Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.
Description Logics
CEUR-WS.org
CEUR Workshop Proceedings
1879
2017
https://ceur-ws.org/Vol-1879
https://nbn-resolving.org/urn:nbn:de:0074-1879-6
db/conf/dlog/dlog2017.html
Alessandro Artale
Enrico Franconi
Rafael Peñaloza
Francesco Sportelli
A Decidable Very Expressive Description Logic for Databases (Extended Version).
2017
abs/1707.08468
CoRR
http://arxiv.org/abs/1707.08468
db/journals/corr/corr1707.html#ArtaleFPS17
Alessandro Artale
Enrico Franconi
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification.
2016
Description Logics
https://ceur-ws.org/Vol-1577/paper_6.pdf
conf/dlog/2016
db/conf/dlog/dlog2016.html#ArtaleF16
Alessandro Artale
Enrico Franconi
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version).
2016
abs/1604.00799
CoRR
http://arxiv.org/abs/1604.00799
db/journals/corr/corr1604.html#ArtaleF16
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
Tractable Interval Temporal Propositional and Description Logics.
1417-1423
2015
AAAI
https://doi.org/10.1609/aaai.v29i1.9406
conf/aaai/2015
db/conf/aaai/aaai2015.html#ArtaleKRZ15
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
Interval Temporal Description Logics.
2015
Description Logics
https://ceur-ws.org/Vol-1350/paper-06.pdf
conf/dlog/2015
db/conf/dlog/dlog2015.html#ArtaleKRZ15
Alessandro Artale
Roman Kontchakov
Alisa Kovtunova
Vladislav Ryzhikov
Frank Wolter
Michael Zakharyaschev
First-Order Rewritability of Temporal Ontology-Mediated Queries.
2706-2712
2015
IJCAI
http://ijcai.org/Abstract/15/383
conf/ijcai/2015
db/conf/ijcai/ijcai2015.html#ArtaleKKRWZ15
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
A Cookbook for Temporal Conceptual Data Modelling with Description Logics.
25:1-25:50
2014
15
ACM Trans. Comput. Log.
3
https://doi.org/10.1145/2629565
https://www.wikidata.org/entity/Q62048607
db/journals/tocl/tocl15.html#ArtaleKRZ14
Alessandro Artale
Roman Kontchakov
Alisa Kovtunova
Vladislav Ryzhikov
Frank Wolter
Michael Zakharyaschev
Temporal OBDA with LTL and DL-Lite.
21-32
2014
Description Logics
https://ceur-ws.org/Vol-1193/paper_60.pdf
conf/dlog/2014
db/conf/dlog/dlog2014.html#ArtaleKKRWZ14
Alessandro Artale
Davide Bresolin
Angelo Montanari
Guido Sciavicco
Vladislav Ryzhikov
DL-Lite and Interval Temporal Logics: a Marriage Proposal.
957-958
2014
ECAI
https://doi.org/10.3233/978-1-61499-419-0-957
conf/ecai/2014
db/conf/ecai/ecai2014.html#ArtaleBMSR14
Alessandro Artale
Diego Calvanese
Roman Kontchakov
Michael Zakharyaschev
The DL-Lite Family and Relations.
2014
abs/1401.3487
CoRR
http://arxiv.org/abs/1401.3487
db/journals/corr/corr1401.html#ArtaleCKZ14
Claudio Masolo
Alessandro Artale
Entity-from-Relationship Modelling.
85-96
2013
AI*IA
https://doi.org/10.1007/978-3-319-03524-6_8
conf/aiia/2013
db/conf/aiia/aiia2013.html#MasoloA13
Alessandro Artale
Roman Kontchakov
Frank Wolter
Michael Zakharyaschev
Temporalising OWL 2 QL.
17-28
2013
Description Logics
https://ceur-ws.org/Vol-1014/paper_22.pdf
conf/dlog/2013
db/conf/dlog/dlog2013.html#ArtaleKWZ13
Alessandro Artale
Roman Kontchakov
Frank Wolter
Michael Zakharyaschev
Temporal Description Logic for Ontology-Based Data Access.
2013
IJCAI
http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6824
http://ijcai.org/Abstract/13/112
conf/ijcai/2013
db/conf/ijcai/ijcai2013.html#ArtaleKWZ13
711-717
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
The Complexity of Clausal Fragments of LTL.
35-52
2013
LPAR
https://doi.org/10.1007/978-3-642-45221-5_3
https://www.wikidata.org/entity/Q62048620
conf/lpar/2013
db/conf/lpar/lpar2013.html#ArtaleKRZ13
Alessandro Artale
Roman Kontchakov
Frank Wolter
Michael Zakharyaschev
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
http://arxiv.org/abs/1304.5185
2013
CoRR
abs/1304.5185
db/journals/corr/corr1304.html#abs-1304-5185
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
The Complexity of Clausal Fragments of LTL.
2013
CoRR
http://arxiv.org/abs/1306.5088
abs/1306.5088
db/journals/corr/corr1306.html#ArtaleKRZ13
Anna Queralt
Alessandro Artale
Diego Calvanese
Ernest Teniente
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas.
1-22
2012
73
Data Knowl. Eng.
https://doi.org/10.1016/j.datak.2011.09.004
https://www.wikidata.org/entity/Q64360044
db/journals/dke/dke73.html#QueraltACT12
Anna Queralt
Alessandro Artale
Diego Calvanese
Ernest Teniente
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.
2012
Description Logics
https://ceur-ws.org/Vol-846/paper_55.pdf
conf/dlog/2012
db/conf/dlog/dlog2012.html#QueraltACT12
Alessandro Artale
Vladislav Ryzhikov
Roman Kontchakov
DL-Lite with Attributes and Datatypes.
61-66
2012
ECAI
https://doi.org/10.3233/978-1-61499-098-7-61
conf/ecai/2012
db/conf/ecai/ecai2012.html#ArtaleRK12
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
A Cookbook for Temporal Conceptual Data Modelling with Description Logics
http://arxiv.org/abs/1209.5571
2012
CoRR
abs/1209.5571
db/journals/corr/corr1209.html#abs-1209-5571
Maria Amalfi
Alessandro Artale
Andrea Calì
Alessandro Provetti
Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case.
225-234
2011
DASFAA (2)
https://doi.org/10.1007/978-3-642-20152-3_17
https://www.wikidata.org/entity/Q58946504
conf/dasfaa/2011-2
db/conf/dasfaa/dasfaa2011-2.html#AmalfiACP11
Alessandro Artale
Yazmín Angélica Ibáñez-García
Roman Kontchakov
Vladislav Ryzhikov
DL-Lite with Attributes and Sub-Roles (Extended Abstract).
2011
Description Logics
https://ceur-ws.org/Vol-745/paper_42.pdf
conf/dlog/2011
db/conf/dlog/dlog2011.html#ArtaleIKR11
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.
1-11
2011
FroCoS
https://doi.org/10.1007/978-3-642-24364-6_1
https://www.wikidata.org/entity/Q62048627
conf/frocos/2011
db/conf/frocos/frocos2011.html#ArtaleKRZ11
Alessandro Artale
Enrico Franconi
A Temporal Description Logic for Reasoning about Actions and Plans
http://arxiv.org/abs/1105.5446
2011
CoRR
abs/1105.5446
db/journals/corr/corr1105.html#abs-1105-5446
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
Past and Future of DL-Lite.
2010
AAAI
https://doi.org/10.1609/aaai.v24i1.7580
conf/aaai/2010
db/conf/aaai/aaai2010.html#ArtaleKRZ10
243-248
Alessandro Artale
Diego Calvanese
Yazmín Angélica Ibáñez-García
Checking Full Satisfiability of Conceptual Models.
2010
Description Logics
https://ceur-ws.org/Vol-573/paper_40.pdf
conf/dlog/2010
db/conf/dlog/dlog2010.html#ArtaleCI10
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
Temporal Conceptual Modelling with DL-Lite.
2010
Description Logics
https://ceur-ws.org/Vol-573/paper_28.pdf
conf/dlog/2010
db/conf/dlog/dlog2010.html#ArtaleKRZ10
Elena Botoeva
Alessandro Artale
Diego Calvanese
Query Rewriting in DL-Lite_^(HN)_horn.
2010
Description Logics
https://ceur-ws.org/Vol-573/paper_45.pdf
conf/dlog/2010
db/conf/dlog/dlog2010.html#BotoevaAC10
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
Complexity of Reasoning over Temporal Data Models.
174-187
2010
ER
https://doi.org/10.1007/978-3-642-16373-9_13
https://www.wikidata.org/entity/Q62048629
conf/er/2010
db/conf/er/er2010.html#ArtaleKRZ10
Alessandro Artale
Diego Calvanese
Yazmín Angélica Ibáñez-García
Full Satisfiability of UML Class Diagrams.
317-331
2010
ER
https://doi.org/10.1007/978-3-642-16373-9_23
https://www.wikidata.org/entity/Q64360059
conf/er/2010
db/conf/er/er2010.html#ArtaleCI10
Alessandro Artale
Bruno Crispo
Fausto Giunchiglia
Fatih Turkmen
Rui Zhang
Reasoning about Relation Based Access Control.
231-238
2010
NSS
https://doi.org/10.1109/NSS.2010.76
https://doi.ieeecomputersociety.org/10.1109/NSS.2010.76
conf/nss/2010
db/conf/nss/nss2010.html#ArtaleCGTZ10
C. Maria Keet
Alessandro Artale
A Basic Characterization of Relation Migration.
484-493
2010
OTM Workshops
https://doi.org/10.1007/978-3-642-16961-8_70
conf/otm/2010-w
db/conf/otm/otm2010-w.html#KeetA10
Alessandro Artale
Diego Calvanese
Roman Kontchakov
Michael Zakharyaschev
The DL-Lite Family and Relations.
1-69
2009
36
J. Artif. Intell. Res.
https://doi.org/10.1613/jair.2820
https://www.wikidata.org/entity/Q62048637
db/journals/jair/jair36.html#ArtaleCKZ09
Alessandro Artale
Enrico Franconi
Foundations of Temporal Conceptual Data Models.
10-35
2009
Conceptual Modeling: Foundations and Applications
https://doi.org/10.1007/978-3-642-02463-4_2
conf/birthday/2009mylopoulos
db/conf/birthday/mylopoulos2009.html#ArtaleF09
Alessandro Artale
Diego Calvanese
Roman Kontchakov
Michael Zakharyaschev
Adding Weight to DL-Lite.
2009
Description Logics
https://ceur-ws.org/Vol-477/paper_51.pdf
conf/dlog/2009
db/conf/dlog/dlog2009.html#ArtaleCKZ09
Alessandro Artale
Diego Calvanese
Roman Kontchakov
Michael Zakharyaschev
DL-Lite without UNA.
2009
Description Logics
https://ceur-ws.org/Vol-477/paper_11.pdf
conf/dlog/2009
db/conf/dlog/dlog2009.html#ArtaleCKZ09a
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
Extending DL-Lite Sometime in the Future.
2009
Description Logics
https://ceur-ws.org/Vol-477/paper_53.pdf
conf/dlog/2009
db/conf/dlog/dlog2009.html#ArtaleKRZ09
Rui Zhang
Alessandro Artale
Fausto Giunchiglia
Bruno Crispo
Using Description Logics in Relation Based Access Control.
2009
Description Logics
https://ceur-ws.org/Vol-477/paper_36.pdf
conf/dlog/2009
db/conf/dlog/dlog2009.html#ZhangAGC09
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles.
133-148
2009
FroCoS
https://doi.org/10.1007/978-3-642-04222-5_8
https://www.wikidata.org/entity/Q62048635
conf/frocos/2009
db/conf/frocos/frocos2009.html#ArtaleKRZ09
Alessandro Artale
C. Maria Keet
Essential, Mandatory, and Shared Parts in Conceptual Data Models.
17-52
2009
Innovations in Information Systems Modeling
https://doi.org/10.4018/978-1-60566-278-7.ch002
books/igi/09/HKP2009
db/books/collections/HKP2009.html#ArtaleK09
C. Maria Keet
Alessandro Artale
Representing and reasoning over a taxonomy of part-whole relations.
91-110
2008
3
Appl. Ontology
1-2
https://doi.org/10.3233/AO-2008-0049
db/journals/ao/ao3.html#KeetA08
Alessandro Artale
C. Maria Keet
Essential and Mandatory Part-Whole Relations in Conceptual Data Models.
2008
Description Logics
https://ceur-ws.org/Vol-353/ArtaleKeet.pdf
conf/dlog/2008
db/conf/dlog/dlog2008.html#ArtaleK08
Alessandro Artale
David Toman 0001
Decidable Reasoning over Timestamped Conceptual Models.
2008
Description Logics
https://ceur-ws.org/Vol-353/ArtaleToman.pdf
conf/dlog/2008
db/conf/dlog/dlog2008.html#ArtaleT08
Alessandro Artale
Nicola Guarino
C. Maria Keet
Formalising Temporal Constraints on Part-Whole Relations.
673-683
2008
KR
conf/kr/2008
db/conf/kr/kr2008.html#ArtaleGK08
http://www.aaai.org/Library/KR/2008/kr08-066.php
Alessandro Artale
David Toman 0001
Decidable Reasoning over Timestamped Conceptual Models.
168-178
2008
SEBD
conf/sebd/2008
db/conf/sebd/sebd2008.html#ArtaleT08
Alessandro Artale
Christine Parent
Stefano Spaccapietra
Evolving objects in temporal information systems.
5-38
2007
50
Ann. Math. Artif. Intell.
1-2
https://doi.org/10.1007/s10472-007-9068-z
db/journals/amai/amai50.html#ArtalePS07
Alessandro Artale
Diego Calvanese
Roman Kontchakov
Michael Zakharyaschev
DL-Lite in the Light of First-Order Logic.
361-366
2007
conf/aaai/2007
AAAI
db/conf/aaai/aaai2007.html#ArtaleCKZ07
http://www.aaai.org/Library/AAAI/2007/aaai07-056.php
Alessandro Artale
Diego Calvanese
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
Complexity of Reasoning in Entity Relationship Models.
2007
Description Logics
https://ceur-ws.org/Vol-250/paper_82.pdf
conf/dlog/2007
db/conf/dlog/dlog2007.html#ArtaleCKRZ07
Alessandro Artale
Diego Calvanese
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
Reasoning over Extended ER Models.
277-292
2007
conf/er/2007
ER
https://doi.org/10.1007/978-3-540-75563-0_20
db/conf/er/er2007.html#ArtaleCKRZ07
Alessandro Artale
Carsten Lutz
David Toman 0001
A Description Logic of Change.
218-223
2007
conf/ijcai/2007
IJCAI
http://ijcai.org/Proceedings/07/Papers/033.pdf
db/conf/ijcai/ijcai2007.html#ArtaleLT07
Alessandro Artale
Diego Calvanese
Roman Kontchakov
Michael Zakharyaschev
Query Answering in Expressive Variants of DL-Lite.
250-257
2007
conf/sebd/2007
SEBD
db/conf/sebd/sebd2007.html#ArtaleCKZ07
Alessandro Artale
Roman Kontchakov
Carsten Lutz
Frank Wolter
Michael Zakharyaschev
Temporalising Tractable Description Logics.
11-22
2007
conf/time/2007
TIME
https://doi.org/10.1109/TIME.2007.62
https://doi.ieeecomputersociety.org/10.1109/TIME.2007.62
https://www.wikidata.org/entity/Q62048644
db/conf/time/time2007.html#ArtaleKLWZ07
Alessandro Artale
Reasoning on temporal class diagrams: Undecidability results.
265-288
2006
46
Ann. Math. Artif. Intell.
3
https://doi.org/10.1007/s10472-006-9019-0
db/journals/amai/amai46.html#Artale06
Alessandro Artale
Carsten Lutz
David Toman 0001
A Description Logic of Change.
2006
conf/dlog/2006
Description Logics
https://ceur-ws.org/Vol-189/submission_35.pdf
db/conf/dlog/dlog2006.html#ArtaleLT06
Alessandro Artale
Christine Parent
Stefano Spaccapietra
Modeling the Evolution of Objects in Temporal Information Systems.
22-42
2006
conf/foiks/2006
FoIKS
https://doi.org/10.1007/11663881_3
db/conf/foiks/foiks2006.html#ArtalePS06
Alessandro Artale
Christine Parent
Stefano Spaccapietra
Modeling the Evolution of Objects in Temporal Information Systems.
380-391
2005
conf/sebd/2005
SEBD
db/conf/sebd/sebd2005.html#ArtalePS05
Alessandro Artale
Enrico Franconi
Temporal Description Logics.
375-388
2005
Handbook of Temporal Reasoning in Artificial Intelligence
https://doi.org/10.1016/S1574-6526(05)80014-8
reference/fai/1
db/reference/fai/fai1.html#ArtaleF05
Alessandro Artale
Carsten Lutz
A Correspondence between Temporal Description Logics.
209-233
2004
14
J. Appl. Non Class. Logics
1-2
db/journals/jancl/jancl14.html#ArtaleL04
https://doi.org/10.3166/jancl.14.209-233
Alessandro Artale
Clare Dixon
Michael Fisher 0001
Enrico Franconi
Editorial.
1
2004
14
J. Log. Comput.
1
https://doi.org/10.1093/logcom/14.1.1
https://www.wikidata.org/entity/Q98283924
db/journals/logcom/logcom14.html#ArtaleDFF04
Alessandro Artale
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.
2004
conf/dlog/2004
Description Logics
https://ceur-ws.org/Vol-104/01Artale.pdf
db/conf/dlog/dlog2004.html#Artale04
Alessandro Artale
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.
79-86
2004
conf/time/2004
TIME
https://doi.org/10.1109/TIME.2004.1314423
https://doi.ieeecomputersociety.org/10.1109/TIME.2004.1314423
db/conf/time/time2004.html#Artale04
Alessandro Artale
Enrico Franconi
Federica Mandreoli
Description Logics for Modeling Dynamic Information.
239-275
2003
conf/dagstuhl/2003lead
Logics for Emerging Applications of Databases
db/conf/dagstuhl/lead2003.html#ArtaleFM03
Alessandro Artale
Enrico Franconi
Frank Wolter
Michael Zakharyaschev
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.
98-110
2002
conf/jelia/2002
JELIA
https://doi.org/10.1007/3-540-45757-7_9
db/conf/jelia/jelia2002.html#ArtaleFWZ02
Alessandro Artale
Enrico Franconi
Milenko Mosurovic
Frank Wolter
Michael Zakharyaschev
The DLRUS Temporal Description Logic.
2001
conf/dlog/2001
Description Logics
https://ceur-ws.org/Vol-49/ArtaleFranconiMosurovicWolterZakharyaschev-96start.ps
db/conf/dlog/dlog2001.html#ArtaleFMWZ01
Alessandro Artale
Enrico Franconi
Milenko Mosurovic
Frank Wolter
Michael Zakharyaschev
Reasoning over Conceptual Schemas and Queries in Temporal Databases.
201-214
2001
conf/sebd/2001
SEBD
db/conf/sebd/sebd2001.html#ArtaleFMWZ01
Alessandro Artale
Enrico Franconi
A survey of temporal extensions of description logics.
171-210
2000
30
Ann. Math. Artif. Intell.
1-4
db/journals/amai/amai30.html#ArtaleF00
https://doi.org/10.1023/A:1016636131405
Alessandro Artale
Enrico Franconi
Representing a robotic domain using temporal description logics.
105-117
1999
13
Artif. Intell. Eng. Des. Anal. Manuf.
2
http://journals.cambridge.org/action/displayAbstract?aid=38691
db/journals/aiedam/aiedam13.html#ArtaleF99
Alessandro Artale
Enrico Franconi
Reasoning with Enhanced Temporal Entity-Relationship Models.
482-486
1999
conf/dexaw/1999
DEXA Workshop
https://doi.org/10.1109/DEXA.1999.795231
https://doi.ieeecomputersociety.org/10.1109/DEXA.1999.795231
db/conf/dexaw/dexaw99.html#ArtaleF99
Alessandro Artale
Carsten Lutz
A Correspondence between Temporal Description Logics.
1999
conf/dlog/1999
Description Logics
https://ceur-ws.org/Vol-22/artalelutz.ps
db/conf/dlog/dlog1999.html#ArtaleL99
https://doi.org/10.1007/3-540-47866-3_6
Alessandro Artale
Enrico Franconi
Temporal ER Modeling with Description Logics.
81-95
ER/1999/P081.pdf
1999
conf/er/99
ER
db/conf/er/er99.html#ArtaleF99
journals/jair/ArtaleF98
...
conf/kr/CalvaneseLN94
conf/dagstuhl/CalvaneseLN98
...
books/bc/ElmasriN94
journals/tods/Gadia88
journals/tkde/GregersenJ99
conf/cismod/McBrienSW92
conf/epia/Schild93
conf/dagstuhl/TanselT97
journals/is/TheodoulidisLW91
...
conf/kr/WolterZ98
Alessandro Artale
Enrico Franconi
Reasoning with enhanced Temporal Entity-Relationship Models.
1-5
KRDB1999/P001.pdf
1999
conf/krdb/99
KRDB
https://ceur-ws.org/Vol-21/artalefranconi.ps
db/conf/krdb/krdb99.html#ArtaleF99
Alessandro Artale
Enrico Franconi
Temporal E-R Modelling with description logics.
357-369
1999
conf/sebd/1999
SEBD
db/conf/sebd/sebd1999.html#ArtaleF99
Alessandro Artale
Enrico Franconi
Introducing Temporal Description Logics.
2-5
1999
conf/time/1999
TIME
https://doi.org/10.1109/TIME.1999.777963
https://doi.ieeecomputersociety.org/10.1109/TIME.1999.777963
db/conf/time/time1999.html#ArtaleF99
Alessandro Artale
Enrico Franconi
A Temporal Description Logic for Reasoning about Actions and Plans.
463-506
1998
9
J. Artif. Intell. Res.
https://doi.org/10.1613/jair.516
db/journals/jair/jair9.html#ArtaleF98
Alessandro Artale
Anna Goy
Bernardo Magnini
Emanuelle Pianta
Carlo Strapparava
Coping with WORDNET sense proliferation.
873-878
1998
LREC
conf/lrec/1998
db/conf/lrec/lrec1998.html#ArtaleGMPS98
Alessandro Artale
Bernardo Magnini
Carlo Strapparava
WordNet for Italian and Its Use for Lexical Deiscrimination.
346-356
1997
conf/aiia/1997
AI*IA
db/conf/aiia/aiia1997.html#ArtaleMS97
https://doi.org/10.1007/3-540-63576-9_121
Alessandro Artale
Enrico Franconi
Nicola Guarino
Luca Pazzi
Part-Whole Relations in Object-Centered Systems: An Overview.
347-383
1996
20
Data Knowl. Eng.
3
db/journals/dke/dke20.html#ArtaleFGP96
https://doi.org/10.1016/S0169-023X(96)00013-4
Alessandro Artale
Francesca Cesarini
Giovanni Soda
Describing Database Objects in a Concept Language Environment.
345-351
1996
8
IEEE Trans. Knowl. Data Eng.
2
db/journals/tkde/tkde8.html#ArtaleCS96
https://doi.org/10.1109/69.494172
http://doi.ieeecomputersociety.org/10.1109/69.494172
TKDE8/k0345.pdf
conf/sigmod/AbiteboulK89
conf/pdk/ArtaleCS91
journals/lncs/ArtaleCS93
conf/pdk/BaaderH91
conf/icde/BeckGN89
conf/icdt/BeneventanoB92
journals/tods/BergamaschiS92
conf/ijcai/BrachmanGL85
...
...
...
journals/ai/DoniniLNHNM92
conf/ijcai/DoniniLNN91
conf/ecai/HollunderNS90
conf/pods/LecluseR89
conf/aaai/LenzeriniS91
journals/sigart/MacGregor91
...
journals/sigart/Peltason91
journals/ai/Schmidt-SchaussS91
...
Alessandro Artale
Enrico Franconi
Nicola Guarino
Open Problems with Part-Whole Relations.
70-73
1996
conf/dlog/1996
Description Logics
db/conf/dlog/dlog1996.html#ArtaleFG96
Alessandro Artale
Enrico Franconi
A Computational Account for a Description Logic of Time and Action.
3-14
1994
conf/kr/1994
KR
db/conf/kr/kr94.html#ArtaleF94
Alessandro Artale
Francesca Cesarini
Elisabetta Grazzini
Giovanni Soda
Instance Recognition in an Object Database Model.
167-181
1993
conf/sebd/1993
SEBD
db/conf/sebd/sebd1993.html#ArtaleCGS93
Domenico Beneventano
Sonia Bergamaschi
Claudio Sartori 0001
Alessandro Artale
Francesca Cesarini
Giovanni Soda
Taxonomic Reasoning in LOGIDATA+.
79-84
1993
books/sp/Atzeni93
LOGIDATA+: Deductive Databases with Complex Objects
db/journals/lncs/lncs701.html#BeneventanoBSACS93
https://doi.org/10.1007/BFb0021891
Alessandro Artale
Francesca Cesarini
Giovanni Soda
Introducing Taxonomic Reasoning in LOGIDATA+.
85-104
1993
books/sp/Atzeni93
LOGIDATA+: Deductive Databases with Complex Objects
db/journals/lncs/lncs701.html#ArtaleCS93
https://doi.org/10.1007/BFb0021892
Alessandro Artale
Jean Paul Ballerini
Filippo Cacace
Stefano Ceri
Francesca Cesarini
Anna Formica
Herman Lam
Sergio Greco
G. Marrella
Michele Missikoff
Luigi Palopoli 0001
L. Pichetti
Domenico Saccà
Silvio Salza
Claudio Sartori 0001
Giovanni Soda
Letizia Tanca
M. Toiati
Prototypes in the LOGIDATA+ Project.
252-273
1993
books/sp/Atzeni93
LOGIDATA+: Deductive Databases with Complex Objects
db/journals/lncs/lncs701.html#ArtaleBCCCFLGMM93
https://doi.org/10.1007/BFb0021901
Alessandro Artale
Francesca Cesarini
Giovanni Soda
Introducing Knowledge Representation Techniques in Database Models.
375-384
1991
conf/aiia/1991
AI*IA
db/conf/aiia/aiia1991.html#ArtaleCS91
https://doi.org/10.1007/3-540-54712-6_249
Alessandro Artale
Francesca Cesarini
Giovanni Soda
Subsumption Computation on an Object-Oriented Data Model.
124-140
1991
conf/pdk/1991
PDK
db/conf/pdk/pdk91.html#ArtaleCS91
https://doi.org/10.1007/BFb0013525
Wil M. P. van der Aalst
Maria Amalfi
Jean Paul Ballerini
Domenico Beneventano
Sonia Bergamaschi
Elena Botoeva
Germán Alejandro Braun
Davide Bresolin
Filippo Cacace
Andrea Calì
Diego Calvanese
Stefano Ceri
Francesca Cesarini
Bruno Crispo
Clare Dixon
Michael Fisher 0001
Anna Formica
Enrico Franconi
Marco Gario
Luca Geatti
Nicola Gigante
Fausto Giunchiglia
Birte Glimm
Anton R. Gnatenko
Anna Goy
Elisabetta Grazzini
Sergio Greco
Nicola Guarino
Yazmín Ibáñez-GarcíaYazmín Angélica Ibáñez-García
Jean Christoph Jung
C. Maria Keet
Roman Kontchakov
Alisa Kovtunova
Herman Lam
Carsten Lutz
Bernardo Magnini
Federica Mandreoli
G. Marrella
Claudio Masolo
Andrea Mazzullo
Michele Missikoff
Marco Montali
Angelo Montanari
Milenko Mosurovic
Ana Ozaki
Luigi Palopoli 0001
Christine Parent
Luca Pazzi
Rafael Peñaloza
Emanuelle Pianta
L. Pichetti
Alessandro Provetti
Anna Queralt
Vladislav Ryzhikov
Domenico Saccà
Silvio Salza
Claudio Sartori 0001
Guido Sciavicco
Giovanni Soda
Stefano Spaccapietra
Francesco Sportelli
Carlo Strapparava
Sabiha Tahrat
Letizia Tanca
Ernest Teniente
M. Toiati
David Toman 0001
Simone Tritini
Fatih Turkmen
Haofen Wang
Frank Wolter
Michael Zakharyaschev
Rui Zhang
Xiaowang Zhang