default search action
Search dblp for Publications
export results for "toc:db/conf/dlog/dlog2017.bht:"
@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} }
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.