![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/dlog/dlog2009.bht:"
@inproceedings{DBLP:conf/dlog/ArecesGLR09, author = {Carlos Areces and Daniel Gor{\'{\i}}n and Alejandra Lorenzo and Mariano P{\'{e}}rez Rodr{\'{\i}}guez}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Testing Provers on a Grid - Framework Description}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_49.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ArecesGLR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ArtaleCKZ09, author = {Alessandro Artale and Diego Calvanese and Roman Kontchakov and Michael Zakharyaschev}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Adding Weight to DL-Lite}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_51.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ArtaleCKZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ArtaleCKZ09a, author = {Alessandro Artale and Diego Calvanese and Roman Kontchakov and Michael Zakharyaschev}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {DL-Lite without {UNA}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ArtaleCKZ09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ArtaleKRZ09, author = {Alessandro Artale and Roman Kontchakov and Vladislav Ryzhikov and Michael Zakharyaschev}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Extending DL-Lite Sometime in the Future}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_53.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ArtaleKRZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBLW09, author = {Franz Baader and Meghyn Bienvenu and Carsten Lutz and Frank Wolter}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Query Answering over {DL} ABoxes: How to Pick the Relevant Symbols}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_29.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBLW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderM09, author = {Franz Baader and Barbara Morawska}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Unification in the Description Logic {EL}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_54.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BauerSP09, author = {Johannes Bauer and Ulrike Sattler and Bijan Parsia}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Explaining by Example: Model Exploration for Ontology Comprehension}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_37.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BauerSP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Ben-DavidPTTW09, author = {Shoham Ben{-}David and Jeffrey Pound and Richard J. Trefler and Dmitry Tsarkov and Grant E. Weddell}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Fair Cycle Detection using Description Logic Reasoning}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_56.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Ben-DavidPTTW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BritzHM09, author = {Katarina Britz and Johannes Heidema and Tommie Meyer}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Modelling Object Typicality in Description Logics}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_23.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BritzHM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/CaliGL09, author = {Andrea Cal{\`{\i}} and Georg Gottlob and Thomas Lukasiewicz}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Tractable Query Answering over Ontologies with Datalog+/-}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_46.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/CaliGL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/CoronaRS09, author = {Claudio Corona and Marco Ruzzi and Domenico Fabio Savo}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Filling the Gap between {OWL} 2 {QL} and QuOnto: ROWLKit}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_34.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/CoronaRS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Distel09, author = {Felix Distel}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Model-Based Most Specific Concepts in Some Inexpressive Description Logics}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_38.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Distel09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/DoniniCNS09, author = {Francesco M. Donini and Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_22.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/DoniniCNS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/FaddoulHM09, author = {Jocelyne Faddoul and Volker Haarslev and Ralf M{\"{o}}ller}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Algebraic Tableau Algorithm for {ALCOQ}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/FaddoulHM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/FarsiniaH09, author = {Nasim Farsinia and Volker Haarslev}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Optimizing Reasoning with Qualified Number Restrictions in {SHQ}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_50.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/FarsiniaH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GiacomoLR09, author = {Giuseppe De Giacomo and Maurizio Lenzerini and Riccardo Rosati}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {On Higher-Order Description Logics}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_31.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/GiacomoLR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GiordanoGOP09, author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Reasoning About Typicality in {ALC} and {EL}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/GiordanoGOP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GlimmR09, author = {Birte Glimm and Sebastian Rudolph}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Conjunctive Query Entailment: Decidable in Spite of O, I, and {Q}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/GlimmR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GoczylaWW09, author = {Krzysztof Goczyla and Wojciech Waloszek and Aleksander Waloszek}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A Semantic Algebra for Modularized Description Logics Knowledge Bases}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_67.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/GoczylaWW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Gore09, author = {Rajeev Gor{\'{e}}}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Global Caching, Inverse Roles and Fixpoint Logics}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/invited\_1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Gore09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GrauM09, author = {Bernardo Cuenca Grau and Boris Motik}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Importing Ontologies with Hidden Content}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_57.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/GrauM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Gries09, author = {Oliver Gries}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Generalized Closed World Reasoning in Description Logics with Extended Domain Closure}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_45.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Gries09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/HorridgePS09, author = {Matthew Horridge and Bijan Parsia and Ulrike Sattler}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Lemmas for Justifications in {OWL}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_24.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/HorridgePS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Jimenez-RuizGHL09, author = {Ernesto Jim{\'{e}}nez{-}Ruiz and Bernardo Cuenca Grau and Ian Horrocks and Rafael Berlanga Llavori}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Building Ontologies Collaboratively Using ContentCVS}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Jimenez-RuizGHL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KaminskiS09, author = {Mark Kaminski and Gert Smolka}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Terminating Tableaux for {SOQ} with Number Restrictions on Transitive Roles}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_41.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KaminskiS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Kazakov09, author = {Yevgeny Kazakov}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {An Extension of Regularity Conditions for Complex Role Inclusion Axioms}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_68.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Kazakov09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Kazakov09a, author = {Yevgeny Kazakov}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Consequence-Driven Reasoning for Horn {SHIQ} Ontologies}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_69.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Kazakov09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KlarmanS09, author = {Szymon Klarman and Stefan Schlobach}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Relativizing Concept Descriptions to Comparison Classes}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KlarmanS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KlinovPS09, author = {Pavel Klinov and Bijan Parsia and Ulrike Sattler}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {On Correspondences between Probabilistic First-Order and Description Logics}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_40.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KlinovPS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KonevWW09, author = {Boris Konev and Dirk Walther and Frank Wolter}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Forgetting and Uniform Interpolation in Extensions of the Description Logic {EL}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_28.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KonevWW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KontchakovLTWZ09, author = {Roman Kontchakov and Carsten Lutz and David Toman and Frank Wolter and Michael Zakharyaschev}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Combined {FO} Rewritability for Conjunctive Query Answering in DL-Lite}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_32.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KontchakovLTWZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KrotzschR09, author = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A Matter of Principles: Towards the Largest {DLP} Possible}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_62.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KrotzschR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/LianW09, author = {Espen H. Lian and Arild Waaler}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {An Only Knowing Approach to Defeasible Description Logics (Extended Abstract)}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_60.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/LianW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Libkin09, author = {Leonid Libkin and Cristina Sirangelo}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Open and Closed World Assumptions in Data Exchange}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/invited\_3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Libkin09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/LukasiewiczR09, author = {Thomas Lukasiewicz and Azzurra Ragone}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_47.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/LukasiewiczR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/MendezS09, author = {Julian Mendez and Boontawee Suntisrivaraporn}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Reintroducing {CEL} as an {OWL} 2 {EL} Reasoner}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_65.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/MendezS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/MendlerS09, author = {Michael Mendler and Stephan Scheele}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Exponential Speedup in {UL} Subsumption Checking relative to general TBoxes for the Constructive Semantics}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/MendlerS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/NoiaSD09, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_52.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/NoiaSD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/PanTZ09, author = {Jeff Z. Pan and Edward Thomas and Yuting Zhao}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Completeness Guaranteed Approximations for {OWL-DL} Query Answering}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_48.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/PanTZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Penaloza09, author = {Rafael Pe{\~{n}}aloza}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Reasoning With Weighted Ontologies}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_63.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Penaloza09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/PenalozaS09, author = {Rafael Pe{\~{n}}aloza and Baris Sertkaya}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Axiom Pinpointing is Hard}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_39.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/PenalozaS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/PeraldiKM09, author = {Irma Sof{\'{\i}}a Espinosa Perald{\'{\i}} and Atila Kaya and Ralf M{\"{o}}ller}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_66.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/PeraldiKM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Perez-UrbinaMH09, author = {H{\'{e}}ctor P{\'{e}}rez{-}Urbina and Boris Motik and Ian Horrocks}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A Comparison of Query Rewriting Techniques for DL-lite}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Perez-UrbinaMH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/PoundTWW09, author = {Jeffrey Pound and David Toman and Grant E. Weddell and Jiewen Wu}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Concept Projection in Algebras for Computing Certain Answer Descriptions}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_44.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/PoundTWW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/QiJH09, author = {Guilin Qi and Qiu Ji and Peter Haase}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A Conflict-based Operator for Mapping Revision}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_26.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/QiJH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/RenGLRFZPS09, author = {Yuan Ren and Gerd Gr{\"{o}}ner and Jens Lemcke and Tirdad Rahmani and Andreas Friesen and Yuting Zhao and Jeff Z. Pan and Steffen Staab}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Validating Process Refinement with Ontologies}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_59.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/RenGLRFZPS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/RenPZ09, author = {Yuan Ren and Jeff Z. Pan and Yuting Zhao}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Soundness Preserving Approximation for TBox Reasoning in {R}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_61.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/RenPZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/SattlerSZ09, author = {Ulrike Sattler and Thomas Schneider and Michael Zakharyaschev}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Which Kind of Module Should {I} Extract?}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_33.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/SattlerSZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Sertkaya09, author = {Baris Sertkaya}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {OntoComP System Description}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_55.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Sertkaya09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/SeylanFB09, author = {Inan{\c{c}} Seylan and Enrico Franconi and Jos de Bruijn}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/SeylanFB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ShearerHM09, author = {Robert D. C. Shearer and Ian Horrocks and Boris Motik}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Exploiting Partial Information in Taxonomy Construction}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_19.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ShearerHM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Srinivas09, author = {Kavitha Srinivas}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {{OWL} Reasoning in the Real World: Searching for Godot}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/invited\_2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Srinivas09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/StoilosS09, author = {Giorgos Stoilos and Giorgos B. Stamou}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/StoilosS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/StracciaTCNS09, author = {Umberto Straccia and Eufemia Tinelli and Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A System for Retrieving Top-k Candidates to Job Positions}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/StracciaTCNS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/WangWT09, author = {Zhe Wang and Kewen Wang and Rodney W. Topor}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Revision of DL-Lite Knowledge Bases}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_27.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/WangWT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/WesselLM09, author = {Michael Wessel and Marko Luther and Ralf M{\"{o}}ller}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {What Happened to Bob? Semantic Data Mining of Context Histories}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_42.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/WesselLM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ZhangAGC09, author = {Rui Zhang and Alessandro Artale and Fausto Giunchiglia and Bruno Crispo}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Using Description Logics in Relation Based Access Control}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_36.pdf}, timestamp = {Thu, 08 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dlog/ZhangAGC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ZhangQML09, author = {Xiaowang Zhang and Guilin Qi and Yue Ma and Zuoquan Lin}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Quasi-Classical Semantics for Expressive Description Logics}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ZhangQML09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ZhangZL09, author = {Xiaowang Zhang and Zhihu Zhang and Zuoquan Lin}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {An Argumentative Semantics for Paraconsistent Reasoning in Description Logic {ALC}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ZhangZL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ZhuangP09, author = {Zhi Qiang Zhuang and Maurice Pagnucco}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Belief Contraction in the Description Logic {EL}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ZhuangP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ZomboriL09, author = {Zsolt Zombori and Gergely Luk{\'{a}}csy}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A Resolution Based Description Logic Calculus}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_64.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ZomboriL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dlog/2009, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477}, urn = {urn:nbn:de:0074-477-1}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.