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/dlog2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/dlog/0001GPR17,
author = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato and
Riccardo Renzulli},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {An Efficient Reasoner for Description Logics of Typicality and Rational
Closure},
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/paper25.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/0001GPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/0002L17,
author = {Peter Hansen and
Carsten Lutz},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Computing FO-Rewritings in {EL} in Practice: from Atomic to Conjunctive
Queries},
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/paper30.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/0002L17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AalstAMT17,
author = {Wil M. P. van der Aalst and
Alessandro Artale and
Marco Montali and
Simone Tritini},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Object-Centric Behavioral Constraints: Integrating Data and Declarative
Process Modelling},
booktitle = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879/paper51.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/AalstAMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderBKOT17,
author = {Franz Baader and
Stefan Borgwardt and
Patrick Koopmann and
Ana Ozaki and
Veronika Thost},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Metric Temporal Description Logics with Interval-Rigid Names (Extended
Abstract)},
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/paper20.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderBKOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderBN17,
author = {Franz Baader and
Daniel Borchmann and
Adrian Nuradiansyah},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Preliminary Results on the Identity Problem in Description Logic Ontologies},
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/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderBN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderKT17,
author = {Franz Baader and
Patrick Koopmann and
Anni{-}Yasmin Turhan},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)},
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/paper40.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderKT17.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/dlog/BienvenuKKRZ17,
author = {Meghyn Bienvenu and
Stanislav Kikot and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries
in {OWL} 2 {QL}},
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/paper55.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BienvenuKKRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuKKRZ17a,
author = {Meghyn Bienvenu and
Stanislav Kikot and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded
(Hyper)Tree-Width Queries},
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/paper64.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BienvenuKKRZ17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgwardtCP17,
author = {Stefan Borgwardt and
Marco Cerami and
Rafael Pe{\~{n}}aloza},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {{\L}ukasiewicz Fuzzy {EL} is Undecidable},
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/paper27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgwardtCP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BozzatoSC17,
author = {Loris Bozzato and
Luciano Serafini and
Gaetano Calabrese},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {{CKR:} Live Demo: Using Contexts and Exceptions for Representing Evolving
Knowledge States},
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/paper52.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BozzatoSC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BraunPCBFC17,
author = {Germ{\'{a}}n Alejandro Braun and
Matias Pol'la and
Laura Andrea Cecchi and
Agustina Buccella and
Pablo R. Fillottrani and
Alejandra Cechich},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {A {DL} Semantics for Reasoning over OVM-based Variability Models},
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/paper56.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BraunPCBFC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BrennerG17,
author = {Markus Brenner and
Birte Glimm},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Incremental Materialization Update via Abstraction Refinement},
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/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BrennerG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BritzV17,
author = {Katarina Britz and
Ivan Jos{\'{e}} Varzinczak},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Towards Defeasible {SROIQ}},
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/paper22.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BritzV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Cima17,
author = {Gianluca Cima},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Preliminary Results on Ontology-based Open Data Publishing},
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/paper24.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Cima17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ConfalonieriKGP17,
author = {Roberto Confalonieri and
Oliver Kutz and
Pietro Galliani and
Rafael Pe{\~{n}}aloza and
Daniele Porello and
Marco Schorlemmer and
Nicolas Troquard},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Coherence, Similarity, and Concept Generalisation},
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/paper45.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ConfalonieriKGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CucalaGH17,
author = {David Tena Cucala and
Bernardo Cuenca Grau and
Ian Horrocks},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Consequence-based Reasoning for Description Logics with Disjunction,
Inverse Roles, and Nominals},
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/paper35.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CucalaGH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ForssellLST17,
author = {Henrik Forssell and
Daniel P. Lupp and
Martin G. Skj{\ae}veland and
Evgenij Thorstensen},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Reasonable Macros for Ontology Construction and Maintenance},
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/paper34.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ForssellLST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GerasimovaKPZ17,
author = {Olga Gerasimova and
Stanislav Kikot and
Vladimir V. Podolskii and
Michael Zakharyaschev},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {On the Data Complexity of Ontology-Mediated Queries with a Covering
Axiom},
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/paper39.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GerasimovaKPZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Gutierrez-Basulto17,
author = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Jean Christoph Jung},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {On Query Answering in Description Logics with Number Restrictions
on Transitive Roles},
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/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Gutierrez-Basulto17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HechamASC17,
author = {Abdelraouf Hecham and
Abdallah Arioua and
Gem Stapleton and
Madalina Croitoru},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant
Query Answering},
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/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HechamASC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HernichLPW17,
author = {Andr{\'{e}} Hernich and
Carsten Lutz and
Fabio Papacchini and
Frank Wolter},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Horn Rewritability vs PTime Query Answering for Description Logic
TBoxes},
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/paper33.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HernichLPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/IgnatievMMP17,
author = {Alexey Ignatiev and
Jo{\~{a}}o Marques{-}Silva and
Carlos Menc{\'{\i}}a and
Rafael Pe{\~{n}}aloza},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Debugging {EL+} Ontologies through Horn {MUS} Enumeration},
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/paper54.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/IgnatievMMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KarahroodiH17,
author = {Nikoo Zolfaghar Karahroodi and
Volker Haarslev},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {A Consequence-based Algebraic Calculus for {SHOQ}},
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/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KarahroodiH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KarimiZY17,
author = {Arash Karimi and
Heng Zhang and
Jia{-}Huai You},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Beyond Skolem Chase: {A} Study of Finite Chase under Standard Chase
Variant},
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/paper26.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KarimiZY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovKS17,
author = {Yevgeny Kazakov and
Pavel Klinov and
Alexander Stupnikov},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Towards Reusable Explanation Services in Protege},
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/paper31.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovP17,
author = {Yevgeny Kazakov and
Denis K. Ponomaryov},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {On the Complexity of Semantic Integration of {OWL} Ontologies},
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/paper59.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovS17,
author = {Yevgeny Kazakov and
Peter Skocovsky},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Enumerating Justifications using Resolution},
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/paper38.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Krotzsch17,
author = {Markus Kr{\"{o}}tzsch},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Ontologies for Knowledge Graphs?},
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/invited2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Krotzsch17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KrotzschMOT17,
author = {Markus Kr{\"{o}}tzsch and
Maximilian Marx and
Ana Ozaki and
Veronika Thost},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Reasoning with Attributed Description Logics},
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/paper47.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KrotzschMOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LabaiHO17,
author = {Nadia Labai and
Martin Homola and
Magdalena Ortiz},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Constructive Satisfiability Procedure for ALC\({}^{\mbox{P}}\)(Z)
(Preliminary Report)},
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/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LabaiHO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzS17,
author = {Carsten Lutz and
Leif Sabellek},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Ontology-Mediated Querying with {EL:} Trichotomy and Linear Datalog
Rewritability},
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/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MalheirosF17,
author = {Yuri Malheiros and
Fred Freitas},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Unification in {EL} for Competency Question Generation},
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/paper42.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MalheirosF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MehriH17,
author = {Razieh Mehri and
Volker Haarslev},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Applying Machine Learning to Enhance Optimization Techniques for {OWL}
Reasoning},
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/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MehriH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PukancovaH17,
author = {J{\'{u}}lia Pukancov{\'{a}} and
Martin Homola},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Tableau-Based ABox Abduction for the {ALCHO} Description Logic},
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/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PukancovaH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/RantsoudisFH17,
author = {Christos Rantsoudis and
Guillaume Feuillade and
Andreas Herzig},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Repairing ABoxes through Active Integrity Constraints},
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/paper41.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/RantsoudisFH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/RudolphS17,
author = {Sebastian Rudolph and
Lukas Schweizer},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning
in First-Order and Description Logics},
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/paper28.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/RudolphS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SchillerSG17,
author = {Marvin R. G. Schiller and
Florian Schiller and
Birte Glimm},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Testing the Adequacy of Automated Explanations of {EL} Subsumptions},
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/paper43.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SchillerSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW17,
author = {David Toman and
Grant E. Weddell},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {On Partial Features in the {DLF} Dialects of Description Logic with
Inverse Features},
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/paper44.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZhaoS17,
author = {Yizheng Zhao and
Renate A. Schmidt},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based
Approach},
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/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ZhaoS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2017,
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879},
urn = {urn:nbn:de:0074-1879-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-06-13 15:31 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:
