Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mantas Simkus
@inproceedings{DBLP:conf/aaai/0001S24,
author = {Federica Di Stefano and
Mantas Simkus},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Stable Model Semantics for Description Logic Terminologies},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {10484--10492},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28917},
doi = {10.1609/AAAI.V38I9.28917},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0001S24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/BeerepootCRRBBCCCDFDDFFGIIKKLLLLMMM23,
author = {Iris Beerepoot and
Claudio Di Ciccio and
Hajo A. Reijers and
Stefanie Rinderle{-}Ma and
Wasana Bandara and
Andrea Burattin and
Diego Calvanese and
Tianwa Chen and
Izack Cohen and
Beno{\^{\i}}t Depaire and
Gemma Di Federico and
Marlon Dumas and
Christopher G. J. van Dun and
Tobias Fehrer and
Dominik Andreas Fischer and
Avigdor Gal and
Marta Indulska and
Vatche Isahagian and
Christopher Klinkm{\"{u}}ller and
Wolfgang Kratsch and
Henrik Leopold and
Amy Van Looy and
Hugo A. L{\'{o}}pez and
Sanja Lukumbuzya and
Jan Mendling and
Lara Meyers and
Linda Moder and
Marco Montali and
Vinod Muthusamy and
Manfred Reichert and
Yara Rizk and
Michael Rosemann and
Maximilian R{\"{o}}glinger and
Shazia Sadiq and
Ronny Seiger and
Tijs Slaats and
Mantas Simkus and
Ida Asadi Someh and
Barbara Weber and
Ingo Weber and
Mathias Weske and
Francesca Zerbato},
title = {The biggest business process management problems to solve before we
die},
journal = {Comput. Ind.},
volume = {146},
pages = {103837},
year = {2023},
url = {https://doi.org/10.1016/j.compind.2022.103837},
doi = {10.1016/J.COMPIND.2022.103837},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cii/BeerepootCRRBBCCCDFDDFFGIIKKLLLLMMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/CalvaneseO0S23,
author = {Diego Calvanese and
Cem Okulmus and
Magdalena Ortiz and
Mantas Simkus},
editor = {Benny Kimelfeld and
Maria Vanina Martinez and
Renzo Angles},
title = {On the Way to Temporal {OBDA} Systems (short paper)},
booktitle = {Proceedings of the 15th Alberto Mendelzon International Workshop on
Foundations of Data Management {(AMW} 2023), Santiago de Chile, Chile,
May 22-26, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3409},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3409/paper4.pdf},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amw/CalvaneseO0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Ahmetaj0OS23,
author = {Shqiponja Ahmetaj and
Magdalena Ortiz and
Anouk Michelle Oudshoorn and
Mantas Simkus},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {Reconciling {SHACL} and Ontologies: Semantics and Validation via Rewriting
(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-1.pdf},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Ahmetaj0OS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BonattiS0S23,
author = {Piero A. Bonatti and
Federica Di Stefano and
Magdalena Ortiz and
Mantas Simkus},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {Circumscription in DL-Lite: Progress Report},
booktitle = {Proceedings of the 36th International Workshop on Description Logics
{(DL} 2023) co-located with the 20th International Conference on Principles
of Knowledge Representation and Reasoning and the 21st International
Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes,
Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/paper-7.pdf},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BonattiS0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Lukumbuzya0S23,
author = {Sanja Lukumbuzya and
Magdalena Ortiz and
Mantas Simkus},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {On the Expressive Power of Ontology-Mediated Queries: Capturing coNP},
booktitle = {Proceedings of the 36th International Workshop on Description Logics
{(DL} 2023) co-located with the 20th International Conference on Principles
of Knowledge Representation and Reasoning and the 21st International
Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes,
Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/paper-17.pdf},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Lukumbuzya0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Ahmetaj0S23,
author = {Shqiponja Ahmetaj and
Magdalena Ortiz and
Anouk Oudshoorn and
Mantas Simkus},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Reconciling {SHACL} and Ontologies: Semantics and Validation via Rewriting},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {27--35},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230250},
doi = {10.3233/FAIA230250},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Ahmetaj0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Stefano0S23,
author = {Federica Di Stefano and
Magdalena Ortiz and
Mantas Simkus},
title = {Description Logics with Pointwise Circumscription},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3167--3175},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/353},
doi = {10.24963/IJCAI.2023/353},
timestamp = {Thu, 23 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/Stefano0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/GhoshSC23,
author = {Arka Ghosh and
Mantas Simkus and
Diego Calvanese},
editor = {Jan Vanthienen and
Tom{\'{a}}s Kliegr and
Paul Fodor and
Davide Lanti and
D{\"{o}}rthe Arndt and
Egor V. Kostylev and
Theodoros Mitsikas and
Ahmet Soylu},
title = {Semantic Querying of Integrated Raster and Relational Data: {A} Virtual
Knowledge Graph Approach},
booktitle = {Proceedings of the 17th International Rule Challenge and 7th Doctoral
Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer
School {(RW} 2023) and 15th DecisionCAMP 2023 as part of Declarative
{AI} 2023, Oslo, Norway, 18 - 20 September, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3485},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3485/paper8240.pdf},
timestamp = {Wed, 20 Sep 2023 16:32:49 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/GhoshSC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/WandjiSC23,
author = {Romuald Esdras Wandji and
Mantas Simkus and
Diego Calvanese},
editor = {Jan Vanthienen and
Tom{\'{a}}s Kliegr and
Paul Fodor and
Davide Lanti and
D{\"{o}}rthe Arndt and
Egor V. Kostylev and
Theodoros Mitsikas and
Ahmet Soylu},
title = {Towards Techniques for Updating Virtual Knowledge Graphs},
booktitle = {Proceedings of the 17th International Rule Challenge and 7th Doctoral
Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer
School {(RW} 2023) and 15th DecisionCAMP 2023 as part of Declarative
{AI} 2023, Oslo, Norway, 18 - 20 September, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3485},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3485/paper9284.pdf},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/WandjiSC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/OudshoornA0S23,
author = {Anouk Oudshoorn and
Shqiponja Ahmetaj and
Magdalena Ortiz and
Mantas Simkus},
editor = {Irini Fundulaki and
Kouji Kozaki and
Daniel Garijo and
Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez},
title = {Reconciling {SHACL} and Ontologies: Semantics and Validation via Rewriting},
booktitle = {Proceedings of the {ISWC} 2023 Posters, Demos and Industry Tracks:
From Novel Ideas to Industrial Practice co-located with 22nd International
Semantic Web Conference {(ISWC} 2023), Athens, Greece, November 6-10,
2023},
series = {{CEUR} Workshop Proceedings},
volume = {3632},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3632/ISWC2023\_paper\_489.pdf},
timestamp = {Wed, 07 Feb 2024 16:02:39 +0100},
biburl = {https://dblp.org/rec/conf/semweb/OudshoornA0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/AhmetajLOS22,
author = {Shqiponja Ahmetaj and
Bianca L{\"{o}}hnert and
Magdalena Ortiz and
Mantas Simkus},
title = {Magic Shapes for {SHACL} Validation},
journal = {Proc. {VLDB} Endow.},
volume = {15},
number = {10},
pages = {2284--2296},
year = {2022},
url = {https://www.vldb.org/pvldb/vol15/p2284-ahmetaj.pdf},
doi = {10.14778/3547305.3547329},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/AhmetajLOS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/ChmurovicS22,
author = {Adrian Chmurovic and
Mantas Simkus},
editor = {Mario Alviano and
Andreas Pieris},
title = {Well-founded Semantics for Recursive {SHACL}},
booktitle = {Proceedings of the 4th International Workshop on the Resurgence of
Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
the 16th International Conference on Logic Programming and Nonmonotonic
Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {2--13},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper1.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/ChmurovicS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Stefano0S22,
author = {Federica Di Stefano and
Magdalena Ortiz and
Mantas Simkus},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Pointwise Circumscription in Description Logics},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/paper-7.pdf},
timestamp = {Thu, 23 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Stefano0S22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AhmetajDPS22,
author = {Shqiponja Ahmetaj and
Robert David and
Axel Polleres and
Mantas Simkus},
editor = {Ulrike Sattler and
Aidan Hogan and
C. Maria Keet and
Valentina Presutti and
Jo{\~{a}}o Paulo A. Almeida and
Hideaki Takeda and
Pierre Monnin and
Giuseppe Pirr{\`{o}} and
Claudia d'Amato},
title = {Repairing {SHACL} Constraint Violations Using Answer Set Programming},
booktitle = {The Semantic Web - {ISWC} 2022 - 21st International Semantic Web Conference,
Virtual Event, October 23-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13489},
pages = {375--391},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19433-7\_22},
doi = {10.1007/978-3-031-19433-7\_22},
timestamp = {Mon, 28 Aug 2023 21:17:23 +0200},
biburl = {https://dblp.org/rec/conf/semweb/AhmetajDPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2021,
editor = {Mantas Simkus and
Ivan Varzinczak},
title = {Reasoning Web. Declarative Artificial Intelligence - 17th International
Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {13100},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-95481-9},
doi = {10.1007/978-3-030-95481-9},
isbn = {978-3-030-95480-2},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rweb/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CalvaneseLMS21,
author = {Diego Calvanese and
Sanja Lukumbuzya and
Marco Montali and
Mantas Simkus},
editor = {Iris Beerepoot and
Claudio Di Ciccio and
Andrea Marrella and
Hajo A. Reijers and
Stefanie Rinderle{-}Ma and
Barbara Weber},
title = {Process Mining with Common Sense},
booktitle = {Proceedings of the International Workshop on {BPM} Problems to Solve
Before We Die {(PROBLEMS} 2021) co-located with the 19th International
Conference on Business Process Management {(BPM} 2021), Rome, Italy,
September 6-10, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2938},
pages = {45--50},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2938/paper-PROBLEMS-45.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/CalvaneseLMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AhmetajDOPSS21,
author = {Shqiponja Ahmetaj and
Robert David and
Magdalena Ortiz and
Axel Polleres and
Bojken Shehu and
Mantas Simkus},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Reasoning about Explanations for Non-validation in {SHACL} (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-1.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/AhmetajDOPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LukumbuzyaS21,
author = {Sanja Lukumbuzya and
Mantas Simkus},
editor = {Zhi{-}Hua Zhou},
title = {Bounded Predicates in Description Logics with Counting},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1966--1972},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/271},
doi = {10.24963/IJCAI.2021/271},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LukumbuzyaS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AhmetajDOPSS21,
author = {Shqiponja Ahmetaj and
Robert David and
Magdalena Ortiz and
Axel Polleres and
Bojken Shehu and
Mantas Simkus},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Reasoning about Explanations for Non-validation in {SHACL}},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {12--21},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/2},
doi = {10.24963/KR.2021/2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AhmetajDOPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AhmetajDOPSS21,
author = {Shqiponja Ahmetaj and
Robert David and
Magdalena Ortiz and
Axel Polleres and
Bojken Shehu and
Mantas Simkus},
editor = {Oshani Seneviratne and
Catia Pesquita and
Juan Sequeda and
Lorena Etcheverry},
title = {Explanations for Non-validation in {SHACL}},
booktitle = {Proceedings of the {ISWC} 2021 Posters, Demos and Industry Tracks:
From Novel Ideas to Industrial Practice co-located with 20th International
Semantic Web Conference {(ISWC} 2021), Virtual Conference, October
24-28, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2980},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2980/paper383.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/AhmetajDOPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AhmetajLOS21,
author = {Shqiponja Ahmetaj and
Bianca Loehnert and
Magdalena Ortiz and
Mantas Simkus},
editor = {Oshani Seneviratne and
Catia Pesquita and
Juan Sequeda and
Lorena Etcheverry},
title = {Magic Shapes for Validation in {SHACL}},
booktitle = {Proceedings of the {ISWC} 2021 Posters, Demos and Industry Tracks:
From Novel Ideas to Industrial Practice co-located with 20th International
Semantic Web Conference {(ISWC} 2021), Virtual Conference, October
24-28, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2980},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2980/paper393.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/AhmetajLOS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AhmetajOS20,
author = {Shqiponja Ahmetaj and
Magdalena Ortiz and
Mantas Simkus},
title = {Polynomial rewritings from expressive Description Logics with closed
predicates to variants of Datalog},
journal = {Artif. Intell.},
volume = {280},
pages = {103220},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2019.103220},
doi = {10.1016/J.ARTINT.2019.103220},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AhmetajOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/SchneiderS20,
author = {Thomas Schneider and
Mantas Simkus},
title = {Special Issue on Ontologies and Data Management: Part {I}},
journal = {K{\"{u}}nstliche Intell.},
volume = {34},
number = {3},
pages = {287--289},
year = {2020},
url = {https://doi.org/10.1007/s13218-020-00682-7},
doi = {10.1007/S13218-020-00682-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/SchneiderS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/SchneiderS20a,
author = {Thomas Schneider and
Mantas Simkus},
title = {Ontologies and Data Management: {A} Brief Survey},
journal = {K{\"{u}}nstliche Intell.},
volume = {34},
number = {3},
pages = {329--353},
year = {2020},
url = {https://doi.org/10.1007/s13218-020-00686-3},
doi = {10.1007/S13218-020-00686-3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/SchneiderS20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/SchneiderS20b,
author = {Thomas Schneider and
Mantas Simkus},
title = {Special Issue on Ontologies and Data Management: Part {II}},
journal = {K{\"{u}}nstliche Intell.},
volume = {34},
number = {4},
pages = {439--441},
year = {2020},
url = {https://doi.org/10.1007/s13218-020-00693-4},
doi = {10.1007/S13218-020-00693-4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/SchneiderS20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/CalvaneseS20,
author = {Diego Calvanese and
Mantas Simkus},
title = {Interview with Diego Calvanese},
journal = {K{\"{u}}nstliche Intell.},
volume = {34},
number = {4},
pages = {551--555},
year = {2020},
url = {https://doi.org/10.1007/s13218-020-00691-6},
doi = {10.1007/S13218-020-00691-6},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/CalvaneseS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AndreselOS20,
author = {Medina Andresel and
Magdalena Ortiz and
Mantas Simkus},
title = {Query Rewriting for Ontology-Mediated Conditional Answers},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2734--2741},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i03.5660},
doi = {10.1609/AAAI.V34I03.5660},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AndreselOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LukumbuzyaOS20,
author = {Sanja Lukumbuzya and
Magdalena Ortiz and
Mantas Simkus},
title = {Resilient Logic Programs: Answer Set Programs Challenged by Ontologies},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2917--2924},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i03.5683},
doi = {10.1609/AAAI.V34I03.5683},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LukumbuzyaOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GogaczGIMOS20,
author = {Tomasz Gogacz and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Yazm{\'{\i}}n Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Filip Murlak and
Magdalena Ortiz and
Mantas Simkus},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Ontology Focusing: Knowledge-Enriched Databases on Demand},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {745--752},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200162},
doi = {10.3233/FAIA200162},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GogaczGIMOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GogaczLOS20,
author = {Tomasz Gogacz and
Sanja Lukumbuzya and
Magdalena Ortiz and
Mantas Simkus},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Datalog Rewritability and Data Complexity of {ALCHOIF} with Closed
Predicates},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {434--444},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/44},
doi = {10.24963/KR.2020/44},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GogaczLOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LabaiOS20,
author = {Nadia Labai and
Magdalena Ortiz and
Mantas Simkus},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {An ExpTime Upper Bound for {ALC} with Integers},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {614--623},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/61},
doi = {10.24963/KR.2020/61},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LabaiOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AndreselCORSS20,
author = {Medina Andresel and
Julien Corman and
Magdalena Ortiz and
Juan L. Reutter and
Ognjen Savkovic and
Mantas Simkus},
editor = {Yennun Huang and
Irwin King and
Tie{-}Yan Liu and
Maarten van Steen},
title = {Stable Model Semantics for Recursive {SHACL}},
booktitle = {{WWW} '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020},
pages = {1570--1580},
publisher = {{ACM} / {IW3C2}},
year = {2020},
url = {https://doi.org/10.1145/3366423.3380229},
doi = {10.1145/3366423.3380229},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/AndreselCORSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-02078,
author = {Nadia Labai and
Magdalena Ortiz and
Mantas Simkus},
title = {An ExpTime Upper Bound for {ALC} with Integers (Extended Version)},
journal = {CoRR},
volume = {abs/2006.02078},
year = {2020},
url = {https://arxiv.org/abs/2006.02078},
eprinttype = {arXiv},
eprint = {2006.02078},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-02078.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AndreselIOS19,
author = {Medina Andresel and
Yazm{\'{\i}}n Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Magdalena Ortiz and
Mantas Simkus},
title = {Relaxing and Restraining Queries for {OBDA}},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2654--2661},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012654},
doi = {10.1609/AAAI.V33I01.33012654},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AndreselIOS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/OrtizPS19,
author = {Magdalena Ortiz and
Sanja Pavlovic and
Mantas Simkus},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Answer Set Programs Challenged by Ontologies},
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-23.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/OrtizPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2019,
editor = {Mantas Simkus and
Grant E. Weddell},
title = {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},
urn = {urn:nbn:de:0074-2373-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2019s,
editor = {Ahmet Soylu and
Sotiris Moschoyiannis and
Guido Governatori and
Mantas Simkus and
Petros S. Stefaneas and
Alexander Steen and
Adrian Giurca},
title = {Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule
Challenge, September 16-19, 2019 - Bolzano, Italy co-located with
3rd International Joint Conference on Rules and Reasoning (RuleML+RR
2019) 5th Global Conference on Artificial Intelligence {(GCAI} 2019)
15th Reasoning Web Summer School {(RW} 2019) DecisionCAMP 2019 (DecisionCAMP
2019), Bolzano, Italy, September 16-24, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2438},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2438},
urn = {urn:nbn:de:0074-2438-5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/2019s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-00195,
author = {Tomasz Gogacz and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Filip Murlak and
Magdalena Ortiz and
Mantas Simkus},
title = {Ontology Focusing: Knowledge-enriched Databases on Demand},
journal = {CoRR},
volume = {abs/1904.00195},
year = {2019},
url = {http://arxiv.org/abs/1904.00195},
eprinttype = {arXiv},
eprint = {1904.00195},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-07475,
author = {Shqiponja Ahmetaj and
Magdalena Ortiz and
Mantas Simkus},
title = {Polynomial Rewritings from Expressive Description Logics with Closed
Predicates to Variants of Datalog},
journal = {CoRR},
volume = {abs/1912.07475},
year = {2019},
url = {http://arxiv.org/abs/1912.07475},
eprinttype = {arXiv},
eprint = {1912.07475},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-07475.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GottlobPS18,
author = {Georg Gottlob and
Andreas Pieris and
Mantas Simkus},
title = {The Impact of Active Domain Predicates on Guarded Existential Rules},
journal = {Fundam. Informaticae},
volume = {159},
number = {1-2},
pages = {123--146},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1660},
doi = {10.3233/FI-2018-1660},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GottlobPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BajraktariOS18,
author = {Labinot Bajraktari and
Magdalena Ortiz and
Mantas Simkus},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Combining Rules and Ontologies into Clopen Knowledge Bases},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {1728--1735},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11565},
doi = {10.1609/AAAI.V32I1.11565},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BajraktariOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AndreselIOS18,
author = {Medina Andresel and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Magdalena Ortiz and
Mantas Simkus},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Taming Complex Role Inclusions for DL-Lite},
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-05.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/AndreselIOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/RudolphS18,
author = {Sebastian Rudolph and
Mantas Simkus},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Satisfiability in the Triguarded Fragment of First-Order Logic},
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-32.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/RudolphS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AhmetajOS18,
author = {Shqiponja Ahmetaj and
Magdalena Ortiz and
Mantas Simkus},
editor = {Benny Kimelfeld and
Yael Amsterdamer},
title = {Rewriting Guarded Existential Rules into Small Datalog Programs},
booktitle = {21st International Conference on Database Theory, {ICDT} 2018, March
26-29, 2018, Vienna, Austria},
series = {LIPIcs},
volume = {98},
pages = {4:1--4:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2018.4},
doi = {10.4230/LIPICS.ICDT.2018.4},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/AhmetajOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BajraktariOS18,
author = {Labinot Bajraktari and
Magdalena Ortiz and
Mantas Simkus},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Compiling Model Representations for Querying Large ABoxes in Expressive
DLs},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1691--1698},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/234},
doi = {10.24963/IJCAI.2018/234},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BajraktariOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AndreselIOS18,
author = {Medina Andresel and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Magdalena Ortiz and
Mantas Simkus},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Relaxing and Restraining Queries for {OBDA} - Extended Abstract},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {617--618},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18061},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AndreselIOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/RudolphS18,
author = {Sebastian Rudolph and
Mantas Simkus},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {The Triguarded Fragment of First-Order Logic},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {604--619},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/m8ts},
doi = {10.29007/M8TS},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/RudolphS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-02850,
author = {Medina Andresel and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Magdalena Ortiz and
Mantas Simkus},
title = {Relaxing and Restraining Queries for {OBDA}},
journal = {CoRR},
volume = {abs/1808.02850},
year = {2018},
url = {http://arxiv.org/abs/1808.02850},
eprinttype = {arXiv},
eprint = {1808.02850},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-02850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AhmetajCOS17,
author = {Shqiponja Ahmetaj and
Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus},
title = {Managing Change in Graph-Structured Data Using Description Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {18},
number = {4},
pages = {27:1--27:35},
year = {2017},
url = {https://doi.org/10.1145/3143803},
doi = {10.1145/3143803},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AhmetajCOS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BajraktariOS17,
author = {Labinot Bajraktari and
Magdalena Ortiz and
Mantas Simkus},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Clopen Knowledge Bases: Combining Description Logics and Answer Set
Programming},
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/paper62.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/BajraktariOS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/AhmetajOS16,
author = {Shqiponja Ahmetaj and
Magdalena Ortiz and
Mantas Simkus},
editor = {Reinhard Pichler and
Altigran Soares da Silva},
title = {Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed
Predicates},
booktitle = {Proceedings of the 10th Alberto Mendelzon International Workshop on
Foundations of Data Management, Panama City, Panama, May 8-10, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1644},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1644/paper19.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amw/AhmetajOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/NgoOS16,
author = {Nhung Ngo and
Magdalena Ortiz and
Mantas Simkus},
editor = {Reinhard Pichler and
Altigran Soares da Silva},
title = {Closed Predicates in Description Logics: Results on Combined Complexity},
booktitle = {Proceedings of the 10th Alberto Mendelzon International Workshop on
Foundations of Data Management, Panama City, Panama, May 8-10, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1644},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1644/paper8.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amw/NgoOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AhmetajOS16,
author = {Shqiponja Ahmetaj and
Magdalena Ortiz and
Mantas Simkus},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive
Description Logics},
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\_26.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/AhmetajOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AndreselOS16,
author = {Medina Andresel and
Magdalena Ortiz and
Mantas Simkus},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {A Compilation Technique for Interactive Ontology-mediated Data Exploration},
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\_37.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/AndreselOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AhmetajFKPSS16,
author = {Shqiponja Ahmetaj and
Wolfgang Fischl and
Markus Kr{\"{o}}ll and
Reinhard Pichler and
Mantas Simkus and
Sebastian Skritek},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {The Challenge of Optional Matching in {SPARQL}},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {169--190},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_10},
doi = {10.1007/978-3-319-30024-5\_10},
timestamp = {Sat, 09 Apr 2022 12:42:08 +0200},
biburl = {https://dblp.org/rec/conf/foiks/AhmetajFKPSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CalvaneseOS16,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus},
editor = {Wim Martens and
Thomas Zeume},
title = {Verification of Evolving Graph-structured Data under Expressive Path
Constraints},
booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
France, March 15-18, 2016},
series = {LIPIcs},
volume = {48},
pages = {15:1--15:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.15},
doi = {10.4230/LIPICS.ICDT.2016.15},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/CalvaneseOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AhmetajOS16,
author = {Shqiponja Ahmetaj and
Magdalena Ortiz and
Mantas Simkus},
editor = {Subbarao Kambhampati},
title = {Polynomial Datalog Rewritings for Expressive Description Logics with
Closed Predicates},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {878--885},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/129},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AhmetajOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/NgoOS16,
author = {Nhung Ngo and
Magdalena Ortiz and
Mantas Simkus},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Closed Predicates in Description Logics: Results on Combined Complexity},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {237--246},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12906},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/NgoOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/GottlobPS16,
author = {Georg Gottlob and
Andreas Pieris and
Mantas Simkus},
editor = {Magdalena Ortiz and
Stefan Schlobach},
title = {The Impact of Active Domain Predicates on Guarded Existential Rules},
booktitle = {Web Reasoning and Rule Systems - 10th International Conference, {RR}
2016, Aberdeen, UK, September 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9898},
pages = {94--110},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45276-0\_8},
doi = {10.1007/978-3-319-45276-0\_8},
timestamp = {Mon, 29 Aug 2022 09:33:27 +0200},
biburl = {https://dblp.org/rec/conf/rr/GottlobPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BienvenuOS15,
author = {Meghyn Bienvenu and
Magdalena Ortiz and
Mantas Simkus},
title = {Regular Path Queries in Lightweight Description Logics: Complexity
and Algorithms},
journal = {J. Artif. Intell. Res.},
volume = {53},
pages = {315--374},
year = {2015},
url = {https://doi.org/10.1613/jair.4577},
doi = {10.1613/JAIR.4577},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/BienvenuOS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/AhmetajFPSS15,
author = {Shqiponja Ahmetaj and
Wolfgang Fischl and
Reinhard Pichler and
Mantas Simkus and
Sebastian Skritek},
editor = {Andrea Cal{\`{\i}} and
Maria{-}Esther Vidal},
title = {Towards Reconciling {SPARQL} and Certain Answers (Extended Abstract)},
booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on
Foundations of Data Management, Lima, Peru, May 6 - 8, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1378},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1378/AMW\_2015\_paper\_4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/AhmetajFPSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/BienvenuOS15,
author = {Meghyn Bienvenu and
Magdalena Ortiz and
Mantas Simkus},
editor = {Andrea Cal{\`{\i}} and
Maria{-}Esther Vidal},
title = {Navigational Queries Based on Frontier-Guarded Datalog: Preliminary
Results},
booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on
Foundations of Data Management, Lima, Peru, May 6 - 8, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1378},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1378/AMW\_2015\_paper\_33.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amw/BienvenuOS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AhmetajFPSS15,
author = {Shqiponja Ahmetaj and
Wolfgang Fischl and
Reinhard Pichler and
Mantas Simkus and
Sebastian Skritek},
editor = {Diego Calvanese and
Boris Konev},
title = {DL-Lite and Conjunctive Queries Extended by Optional Matching},
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-04.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/AhmetajFPSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/NgoOS15,
author = {Nhung Ngo and
Magdalena Ortiz and
Mantas Simkus},
editor = {Diego Calvanese and
Boris Konev},
title = {The Combined Complexity of Reasoning with Closed Predicates in 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-34.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/NgoOS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KotekSVZ15,
author = {Tomer Kotek and
Mantas Simkus and
Helmut Veith and
Florian Zuleger},
title = {Extending {ALCQIO} with Trees},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {511--522},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.54},
doi = {10.1109/LICS.2015.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KotekSVZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterS15,
author = {Thomas Eiter and
Mantas Simkus},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Linking Open-World Knowledge Bases Using Nonmonotonic Rules},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {294--308},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_25},
doi = {10.1007/978-3-319-23264-5\_25},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/EiterPSSX15,
author = {Thomas Eiter and
Jeff Z. Pan and
Patrik Schneider and
Mantas Simkus and
Guohui Xiao},
editor = {Balder ten Cate and
Alessandra Mileo},
title = {A Rule-based Framework for Creating Instance Data from OpenStreetMap},
booktitle = {Web Reasoning and Rule Systems - 9th International Conference, {RR}
2015, Berlin, Germany, August 4-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9209},
pages = {93--104},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22002-4\_8},
doi = {10.1007/978-3-319-22002-4\_8},
timestamp = {Sat, 09 Apr 2022 12:41:08 +0200},
biburl = {https://dblp.org/rec/conf/rr/EiterPSSX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Simkus15,
author = {Mantas Simkus},
editor = {Nick Bassiliades and
Georg Gottlob and
Fariba Sadri and
Adrian Paschke and
Dumitru Roman},
title = {Binary Frontier-Guarded {ASP} with Function Symbols},
booktitle = {Rule Technologies: Foundations, Tools, and Applications - 9th International
Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9202},
pages = {311--327},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21542-6\_20},
doi = {10.1007/978-3-319-21542-6\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/Simkus15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AhmetajFPSS15,
author = {Shqiponja Ahmetaj and
Wolfgang Fischl and
Reinhard Pichler and
Mantas Simkus and
Sebastian Skritek},
editor = {Aldo Gangemi and
Stefano Leonardi and
Alessandro Panconesi},
title = {Towards Reconciling {SPARQL} and Certain Answers},
booktitle = {Proceedings of the 24th International Conference on World Wide Web,
{WWW} 2015, Florence, Italy, May 18-22, 2015},
pages = {23--33},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2736277.2741636},
doi = {10.1145/2736277.2741636},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/www/AhmetajFPSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AhmetajCOS14,
author = {Shqiponja Ahmetaj and
Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus},
editor = {Carla E. Brodley and
Peter Stone},
title = {Managing Change in Graph-Structured Data Using Description Logics},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {966--973},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8857},
doi = {10.1609/AAAI.V28I1.8857},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AhmetajCOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CalvaneseFPSS14,
author = {Diego Calvanese and
Wolfgang Fischl and
Reinhard Pichler and
Emanuel Sallinger and
Mantas Simkus},
editor = {Carla E. Brodley and
Peter Stone},
title = {Capturing Relational Schemas and Functional Dependencies in {RDFS}},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {1003--1011},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8867},
doi = {10.1609/AAAI.V28I1.8867},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CalvaneseFPSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/AhmetajCOS14,
author = {Shqiponja Ahmetaj and
Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus},
editor = {Georg Gottlob and
Jorge P{\'{e}}rez},
title = {Planning and Change in Graph Structured Data under Description Logics
Constraints},
booktitle = {Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of
Data Management, Cartagena de Indias, Colombia, June 4-6, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1189},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1189/paper\_21.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/AhmetajCOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/BienvenuCOS14,
author = {Meghyn Bienvenu and
Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus},
editor = {Georg Gottlob and
Jorge P{\'{e}}rez},
title = {Nested Regular Path Queries in Description Logics (Extended Abstract)},
booktitle = {Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of
Data Management, Cartagena de Indias, Colombia, June 4-6, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1189},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1189/paper\_34.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amw/BienvenuCOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AhmetajCOS14,
author = {Shqiponja Ahmetaj and
Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Planning Problems for Graph Structured Data in Description Logics},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {4--7},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_85.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/AhmetajCOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseKSVZ14,
author = {Diego Calvanese and
Tomer Kotek and
Mantas Simkus and
Helmut Veith and
Florian Zuleger},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Shape and Content: Incorporating Domain Knowledge into Shape Analysis},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {124--127},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_34.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseKSVZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseFPSS14,
author = {Diego Calvanese and
Wolfgang Fischl and
Reinhard Pichler and
Emanuel Sallinger and
Mantas Simkus},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Expressive Identification Constraints to Capture Functional Dependencies
in Description Logics},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {416--420},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_48.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseFPSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KotekSVZ14,
author = {Tomer Kotek and
Mantas Simkus and
Helmut Veith and
Florian Zuleger},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Towards a Description Logic for Program Analysis: Extending {ALCQIO}
with Reachability},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {591--594},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_35.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KotekSVZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CalvaneseKSVZ14,
author = {Diego Calvanese and
Tomer Kotek and
Mantas Simkus and
Helmut Veith and
Florian Zuleger},
editor = {Elvira Albert and
Emil Sekerinski},
title = {Shape and Content - {A} Database-Theoretic Perspective on the Analysis
of Data Structures},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {3--17},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_1},
doi = {10.1007/978-3-319-10181-1\_1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/CalvaneseKSVZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuCOS14,
author = {Meghyn Bienvenu and
Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Nested Regular Path Queries in Description Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8000},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BienvenuCOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/EiterSSX14,
author = {Thomas Eiter and
Patrik Schneider and
Mantas Simkus and
Guohui Xiao},
editor = {Samantha Bail and
Birte Glimm and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Nicolas Matentzoglu and
Bijan Parsia and
Andreas Steigmiller},
title = {Using OpenStreetMap Data to Create Benchmarks for Description Logic
Reasoners},
booktitle = {Informal Proceedings of the 3rd International Workshop on {OWL} Reasoner
Evaluation {(ORE} 2014) co-located with the Vienna Summer of Logic
{(VSL} 2014), Vienna, Austria, July 13, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1207},
pages = {51--57},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1207/paper\_10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/ore/EiterSSX14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GottlobRS14,
author = {Georg Gottlob and
Sebastian Rudolph and
Mantas Simkus},
editor = {Richard Hull and
Martin Grohe},
title = {Expressiveness of guarded existential rule languages},
booktitle = {Proceedings of the 33rd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27,
2014},
pages = {27--38},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594538.2594556},
doi = {10.1145/2594538.2594556},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/GottlobRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/OrtizS14,
author = {Magdalena Ortiz and
Mantas Simkus},
editor = {Roman Kontchakov and
Marie{-}Laure Mugnier},
title = {Revisiting the Hardness of Query Answering in Expressive Description
Logics},
booktitle = {Web Reasoning and Rule Systems - 8th International Conference, {RR}
2014, Athens, Greece, September 15-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8741},
pages = {216--223},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11113-1\_18},
doi = {10.1007/978-3-319-11113-1\_18},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/OrtizS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2014,
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193},
urn = {urn:nbn:de:0074-1193-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalvaneseOSS14,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
title = {Reasoning about Explanations for Negative Query Answers in DL-Lite},
journal = {CoRR},
volume = {abs/1402.0575},
year = {2014},
url = {http://arxiv.org/abs/1402.0575},
eprinttype = {arXiv},
eprint = {1402.0575},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalvaneseOSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KotekSVZ14,
author = {Tomer Kotek and
Mantas Simkus and
Helmut Veith and
Florian Zuleger},
title = {Extending {ALCQIO} with reachability},
journal = {CoRR},
volume = {abs/1402.6804},
year = {2014},
url = {http://arxiv.org/abs/1402.6804},
eprinttype = {arXiv},
eprint = {1402.6804},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KotekSVZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BienvenuCOS14,
author = {Meghyn Bienvenu and
Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus},
title = {Nested Regular Path Queries in Description Logics},
journal = {CoRR},
volume = {abs/1402.7122},
year = {2014},
url = {http://arxiv.org/abs/1402.7122},
eprinttype = {arXiv},
eprint = {1402.7122},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BienvenuCOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AhmetajCOS14,
author = {Shqiponja Ahmetaj and
Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus},
title = {Managing Change in Graph-structured Data Using Description Logics
(long version with appendix)},
journal = {CoRR},
volume = {abs/1404.4274},
year = {2014},
url = {http://arxiv.org/abs/1404.4274},
eprinttype = {arXiv},
eprint = {1404.4274},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AhmetajCOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CalvaneseOSS13,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
title = {Reasoning about Explanations for Negative Query Answers in DL-Lite},
journal = {J. Artif. Intell. Res.},
volume = {48},
pages = {635--669},
year = {2013},
url = {https://doi.org/10.1613/jair.3870},
doi = {10.1613/JAIR.3870},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/CalvaneseOSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuOSX13,
author = {Meghyn Bienvenu and
Magdalena Ortiz and
Mantas Simkus and
Guohui Xiao},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Tractability Guarantees for DL-Lite Query Answering},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {41--52},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_54.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BienvenuOSX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseOS13,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Evolving Graph Databases under Description Logic Constraints},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {120--131},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_82.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseOS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BienvenuOS13,
author = {Meghyn Bienvenu and
Magdalena Ortiz and
Mantas Simkus},
editor = {Francesca Rossi},
title = {Conjunctive Regular Path Queries in Lightweight Description Logics},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {761--767},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6886},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BienvenuOS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BienvenuOSX13,
author = {Meghyn Bienvenu and
Magdalena Ortiz and
Mantas Simkus and
Guohui Xiao},
editor = {Francesca Rossi},
title = {Tractable Queries for Lightweight Description Logics},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {768--774},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6908},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BienvenuOSX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalvaneseKSVZ13,
author = {Diego Calvanese and
Tomer Kotek and
Mantas Simkus and
Helmut Veith and
Florian Zuleger},
title = {Shape and Content: Incorporating Domain Knowledge into Shape Analysis},
journal = {CoRR},
volume = {abs/1312.6624},
year = {2013},
url = {http://arxiv.org/abs/1312.6624},
eprinttype = {arXiv},
eprint = {1312.6624},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalvaneseKSVZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/EiterOS12,
author = {Thomas Eiter and
Magdalena Ortiz and
Mantas Simkus},
title = {Conjunctive query answering in the description logic {SH} using knots},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {47--85},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.02.012},
doi = {10.1016/J.JCSS.2011.02.012},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/EiterOS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiterOSTX12,
author = {Thomas Eiter and
Magdalena Ortiz and
Mantas Simkus and
Trung{-}Kien Tran and
Guohui Xiao},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Query Rewriting for Horn-SHIQ Plus Rules},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {726--733},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8219},
doi = {10.1609/AAAI.V26I1.8219},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EiterOSTX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuOS12,
author = {Meghyn Bienvenu and
Magdalena Ortiz and
Mantas Simkus},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Answering Expressive Path Queries over Lightweight {DL} Knowledge
Bases},
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\_28.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BienvenuOS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/EiterOSTX12,
author = {Thomas Eiter and
Magdalena Ortiz and
Mantas Simkus and
Trung{-}Kien Tran and
Guohui Xiao},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Towards Practical Query Answering for Horn-SHIQ},
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\_20.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/EiterOSTX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalvaneseOSS12,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {The Complexity of Explaining Negative Query Answers in DL-Lite},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4537},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CalvaneseOSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/OrtizS12,
author = {Magdalena Ortiz and
Mantas Simkus},
editor = {Thomas Eiter and
Thomas Krennwallner},
title = {Reasoning and Query Answering in Description Logics},
booktitle = {Reasoning Web. Semantic Technologies for Advanced Query Answering
- 8th International Summer School 2012, Vienna, Austria, September
3-8, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7487},
pages = {1--53},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33158-9\_1},
doi = {10.1007/978-3-642-33158-9\_1},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/OrtizS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/GottlobOPS12,
author = {Georg Gottlob and
Giorgio Orsi and
Andreas Pieris and
Mantas Simkus},
editor = {Thomas Eiter and
Thomas Krennwallner},
title = {Datalog and Its Extensions for Semantic Web Databases},
booktitle = {Reasoning Web. Semantic Technologies for Advanced Query Answering
- 8th International Summer School 2012, Vienna, Austria, September
3-8, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7487},
pages = {54--77},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33158-9\_2},
doi = {10.1007/978-3-642-33158-9\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/GottlobOPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseOSS11,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {The Complexity of Conjunctive Query Abduction in DL-Lite},
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\_49.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseOSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseOS11,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus},
editor = {Toby Walsh},
title = {Containment of Regular Path Queries under Description Logic Constraints},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {805--812},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-141},
doi = {10.5591/978-1-57735-516-8/IJCAI11-141},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CalvaneseOS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OrtizRS11,
author = {Magdalena Ortiz and
Sebastian Rudolph and
Mantas Simkus},
editor = {Toby Walsh},
title = {Query Answering in the Horn Fragments of the Description Logics {SHOIQ}
and {SROIQ}},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1039--1044},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-178},
doi = {10.5591/978-1-57735-516-8/IJCAI11-178},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/OrtizRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EiterS10,
author = {Thomas Eiter and
Mantas Simkus},
title = {{FDNC:} Decidable nonmonotonic disjunctive logic programs with function
symbols},
journal = {{ACM} Trans. Comput. Log.},
volume = {11},
number = {2},
pages = {14:1--14:50},
year = {2010},
url = {https://doi.org/10.1145/1656242.1656249},
doi = {10.1145/1656242.1656249},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/EiterS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuELOS10,
author = {Meghyn Bienvenu and
Thomas Eiter and
Carsten Lutz and
Magdalena Ortiz and
Mantas Simkus},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Query Answering in the Description Logic {S}},
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\_20.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BienvenuELOS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/OrtizRS10,
author = {Magdalena Ortiz and
Sebastian Rudolph and
Mantas Simkus},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Worst-Case Optimal Reasoning for the Horn-DL Fragments of {OWL} 1
and 2},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1296},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/OrtizRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Simkus09,
author = {Mantas Simkus},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Fusion of Logic Programming and Description Logics},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {551--552},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_59},
doi = {10.1007/978-3-642-02846-5\_59},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Simkus09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterLOS09,
author = {Thomas Eiter and
Carsten Lutz and
Magdalena Ortiz and
Mantas Simkus},
editor = {Craig Boutilier},
title = {Query Answering in Description Logics with Transitive Roles},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {759--764},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/131.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiterLOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterS09,
author = {Thomas Eiter and
Mantas Simkus},
editor = {Craig Boutilier},
title = {Bidirectional Answer Set Programs with Function Symbols},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {765--771},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/132.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiterS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/EiterLOS09,
author = {Thomas Eiter and
Carsten Lutz and
Magdalena Ortiz and
Mantas Simkus},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Query Answering in Description Logics: The Knots Approach},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {26--36},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_3},
doi = {10.1007/978-3-642-02261-6\_3},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/EiterLOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/OrtizSE08,
author = {Magdalena Ortiz and
Mantas Simkus and
Thomas Eiter},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Worst-case Optimal Conjunctive Query Answering for an Expressive Description
Logic without Inverses},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {504--510},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-080.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/OrtizSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/OrtizSE08,
author = {Magdalena Ortiz and
Mantas Simkus and
Thomas Eiter},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Conjunctive Query Answering in {SH} using Knots},
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/OrtizSimkusEiter.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/OrtizSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterGOS08,
author = {Thomas Eiter and
Georg Gottlob and
Magdalena Ortiz and
Mantas Simkus},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Query Answering in the Description Logic Horn-},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {166--179},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_15},
doi = {10.1007/978-3-540-87803-2\_15},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EiterGOS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/EiterOS08,
author = {Thomas Eiter and
Magdalena Ortiz and
Mantas Simkus},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Reasoning Using Knots},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {377--390},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_27},
doi = {10.1007/978-3-540-89439-1\_27},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/EiterOS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SimkusE07,
author = {Mantas Simkus and
Thomas Eiter},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {{\textbackslash}mathbb\emph{FDNC}: Decidable Non-monotonic Disjunctive
Logic Programs with Function Symbols},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {514--530},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_37},
doi = {10.1007/978-3-540-75560-9\_37},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SimkusE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0601114,
author = {Mantas Simkus and
Evaldas Taroza and
Lina Lubyte and
Daniel Trivellato and
Zivile Norkunaite},
title = {Efficient Query Answering over Conceptual Schemas of Relational Databases
: Technical Report},
journal = {CoRR},
volume = {abs/cs/0601114},
year = {2006},
url = {http://arxiv.org/abs/cs/0601114},
eprinttype = {arXiv},
eprint = {cs/0601114},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0601114.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-03 20:25 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:
