Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dlog/dlog2018.bht:"
download as .bib file
@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/ArtaleMO18,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Temporal Description Logics over Finite Traces},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleMO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderGP18,
author = {Franz Baader and
Oliver Fernandez Gil and
Maximilian Pensel},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Standard and Non-Standard Inferences in the Description Logic {FL0}
Using Tree Automata},
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-38.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderKNP18,
author = {Franz Baader and
Francesco Kriegel and
Adrian Nuradiansyah and
Rafael Pe{\~{n}}aloza},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Making Repairs in Description Logics More Gentle (Extended Abstract)},
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-39.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderKNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderN18,
author = {Franz Baader and
Adrian Nuradiansyah},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Towards Privacy-Preserving Ontology Publishing},
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-07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Bereta0K18,
author = {Konstantina Bereta and
George Papadakis and
Manolis Koubarakis},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {SPARQLing-Up the Web on-the-fly using Ontologies and Mappings},
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-40.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Bereta0K18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Bienvenu18,
author = {Meghyn Bienvenu},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking
Mappings into Account},
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-41.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Bienvenu18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BilidasK18,
author = {Dimitris Bilidas and
Manolis Koubarakis},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Efficient Duplicate Elimination in {SPARQL} to {SQL} Translation},
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-08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BilidasK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BohmO18,
author = {Katinka B{\"{o}}hm and
Magdalena Ortiz},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {A Tool for Building Topic-specific Ontologies Using a Knowledge Graph},
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-10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BohmO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BotcherLW18,
author = {Anneke B{\"{o}}tcher and
Carsten Lutz and
Frank Wolter},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Complete Approximations of Horn {DL} Ontologies},
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-11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BotcherLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BothaMP18,
author = {Leonard Botha and
Thomas Andreas Meyer and
Rafael Pe{\~{n}}aloza},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {The Bayesian Description Logic {BALC}},
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-09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BothaMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseKMSA18,
author = {Diego Calvanese and
Tahir Emre Kalayci and
Marco Montali and
Ario Santoso and
Wil M. P. van der Aalst},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Conceptual Schema Transformation in Ontology-based Data Access (Extended
Abstract)},
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-42.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseKMSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CarralDK18,
author = {David Carral and
Irina Dragoste and
Markus Kr{\"{o}}tzsch},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Tractable Query Answering for {DL} Ontologies and Existential Rules:
Extended Abstract},
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-43.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CarralDK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ChenLM018,
author = {Jieying Chen and
Michel Ludwig and
Yue Ma and
Dirk Walther},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Computing Minimal Projection Modules for Conjunctive Queries},
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-12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ChenLM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ChenM018,
author = {Jieying Chen and
Yue Ma and
Dirk Walther},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving},
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-13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ChenM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/DuarteKO18,
author = {Mario Ricardo Cruz Duarte and
Boris Konev and
Ana Ozaki},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Exact Learning of {EL} Ontologies},
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-14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/DuarteKO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FaridH18,
author = {Humaira Farid and
Volker Haarslev},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Handling Nominals and Inverse Roles using Algebraic Reasoning},
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-15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FaridH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FeierLW18,
author = {Cristina Feier and
Carsten Lutz and
Frank Wolter},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {From Conjunctive Queries to {SPARQL} Queries in Ontology-Mediated
Querying},
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-16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FeierLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FeuilladeHR18,
author = {Guillaume Feuillade and
Andreas Herzig and
Christos Rantsoudis},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {A Dynamic Extension of {ALCO} for Repairing via Preferred Updates},
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-17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FeuilladeHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Gratz18,
author = {Lukas Gr{\"{a}}tz},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Concepts as Modal Operators in Description Logics},
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-18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Gratz18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Gutierrez-Basulto18,
author = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Jean Christoph Jung and
Leif Sabellek},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Query-by-Example for Expressive Horn Description Logics},
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-44.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Gutierrez-Basulto18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Jongebloed018,
author = {Sascha Jongebloed and
Thomas Schneider},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Ontology Partitioning Using E-Connections Revisited},
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-19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Jongebloed018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KieselAS18,
author = {Rafael Kiesel and
Erman Acar and
Stefan Schlobach},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Preferential Default Reasoning on the Semantic Web},
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-20.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KieselAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KikotRWZ18,
author = {Stanislav Kikot and
Vladislav Ryzhikov and
Przemyslaw Andrzej Walega and
Michael Zakharyaschev},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {On the Data Complexity of Ontology-Mediated Queries with {MTL} Operators
over Timed Words},
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-21.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KikotRWZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KindermannLST18,
author = {Christian Kindermann and
Daniel P. Lupp and
Uli Sattler and
Evgenij Thorstensen},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Generating Ontologies from Templates: {A} Rule-Based Approach for
Capturing Regularity},
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-22.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KindermannLST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KovtunovaP18,
author = {Alisa Kovtunova and
Rafael Pe{\~{n}}aloza},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Cutting Diamonds: Temporal DLs with Probabilistic Distributions over
Data},
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-23.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KovtunovaP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LeclereMTU18,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo and
Federico Ulliana},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {A Single Approach to Decide Chase Termination on Linear Existential
Rules},
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-45.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LeclereMTU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MrozekPH18,
author = {Drahom{\'{\i}}r Mr{\'{o}}zek and
J{\'{u}}lia Pukancov{\'{a}} and
Martin Homola},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {ABox Abduction Solver Exploiting Multiple {DL} Reasoners},
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-24.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MrozekPH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/NamiciG18,
author = {Manuel Namici and
Giuseppe De Giacomo},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Comparing Query Answering in {OBDA} Tools over W3C-Compliant Specifications},
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-25.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/NamiciG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/NesicN18,
author = {Damir Nesic and
Mattias Nyberg},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Verifying Contract-Based Specifications of Product Lines using Description
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-26.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/NesicN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/OzakiKR18,
author = {Ana Ozaki and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Happy Ever After: Temporally Attributed Description Logics},
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-27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/OzakiKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/OzakiP18,
author = {Ana Ozaki and
Rafael Pe{\~{n}}aloza},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Provenance in Ontology-based Data Access},
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-28.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/OzakiP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PapacchiniW18,
author = {Fabio Papacchini and
Frank Wolter},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {A Van Benthem Theorem for Horn Description and Modal 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-46.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PapacchiniW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PaulovicsPH18,
author = {Peter Paulovics and
J{\'{u}}lia Pukancov{\'{a}} and
Martin Homola},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {{SIVA:} An Educational Tool for the Tableau Reasoning Algorithm},
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-29.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PaulovicsPH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PenselT18,
author = {Maximilian Pensel and
Anni{-}Yasmin Turhan},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Computing Standard Inferences under Rational and Relevant Semantics
in Defeasible EL{\_}bot},
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-47.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PenselT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PerlethSG18,
author = {Tanja Perleth and
Marvin R. G. Schiller and
Birte Glimm},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Applying a Model of Text Comprehension to Automated Verbalizations
of {EL} Derivations},
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-30.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PerlethSG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PukancovaH18,
author = {J{\'{u}}lia Pukancov{\'{a}} and
Martin Homola},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {ABox Abduction for Description Logics: The Case of Multiple Observations},
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-31.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PukancovaH18.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/dlog/SavkovicKXMKNRH18,
author = {Ognjen Savkovic and
Evgeny Kharlamov and
Guohui Xiao and
Gulnar Mehdi and
Elem G{\"{u}}zel Kalayci and
Werner Nutt and
Mikhail Roshchin and
Ian Horrocks},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Theoretical Characterization of Signal Diagnostic Processing Language},
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-33.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SavkovicKXMKNRH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Tendera18,
author = {Lidia Tendera},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Decidability Frontier for Fragments of First-Order Logic with Transitivity},
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-02.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Tendera18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW18,
author = {David Toman and
Grant E. Weddell},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Identity Resolution in Conjunctive Querying over DL-Based Knowledge
Bases},
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-34.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TrivelaSV18,
author = {Despoina Trivela and
Giorgos Stoilos and
Vasilis Vassalos},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Querying Expressive {DL} Ontologies under the {ICAR} Semantics},
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-35.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TrivelaSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/UrbaniKJDC18,
author = {Jacopo Urbani and
Markus Kr{\"{o}}tzsch and
Ceriel J. H. Jacobs and
Irina Dragoste and
David Carral},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Efficient Model Construction for Horn Logic with VLog: Extended Abstract},
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-48.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/UrbaniKJDC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Vrandecic18,
author = {Denny Vrandecic},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Toward an Abstract Wikipedia},
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-03.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Vrandecic18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Wassermann18,
author = {Renata Wassermann},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Revising Ontologies},
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-04.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Wassermann18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZakharyaschevKG18,
author = {Michael Zakharyaschev and
Stanislav Kikot and
Olga Gerasimova},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Towards a Data Complexity Classification of Ontology-Mediated Queries
with Covering},
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-36.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ZakharyaschevKG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZhaoFADS18,
author = {Yizheng Zhao and
Hao Feng and
Ruba Alassaf and
Warren Del{-}Pinto and
Renate A. Schmidt},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {The {FAME} Family: {A} Family of Reasoning Tools for Forgetting in
Expressive Description Logics},
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-37.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ZhaoFADS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2018,
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {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},
urn = {urn:nbn:de:0074-2211-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2018.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.
retrieved on 2024-04-18 12:48 CEST from data curated 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:
