Search dblp for Publications

export results for "toc:db/conf/dlog/dlog2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/dlog/Arenas11,
  author       = {Marcelo Arenas},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Exchanging More than Complete Data},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/invited\_paper\_1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Arenas11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArenasBC11,
  author       = {Marcelo Arenas and
                  Elena Botoeva and
                  Diego Calvanese},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Knowledge Base Exchange},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_57.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/ArenasBC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleIKR11,
  author       = {Alessandro Artale and
                  Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
                  Roman Kontchakov and
                  Vladislav Ryzhikov},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {DL-Lite with Attributes and Sub-Roles (Extended Abstract)},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_42.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/ArtaleIKR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderBBM11,
  author       = {Franz Baader and
                  Thanh Binh Nguyen and
                  Stefan Borgwardt and
                  Barbara Morawska},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Unification in the Description Logic {EL} without the Top Concept},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/BaaderBBM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderP11,
  author       = {Franz Baader and
                  Rafael Pe{\~{n}}aloza},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {GCIs Make Reasoning in Fuzzy {DL} with the Product T-norm Undecidable},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/BaaderP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BailPS11,
  author       = {Samantha Bail and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Extracting Finite Sets of Entailments from {OWL} Ontologies},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_22.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/BailPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Bienvenu11,
  author       = {Meghyn Bienvenu},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {First-Order Expressibility Results for Queries over Inconsistent DL-Lite
                  Knowledge Bases},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_38.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Bienvenu11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgwardtP11,
  author       = {Stefan Borgwardt and
                  Rafael Pe{\~{n}}aloza},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Fuzzy Ontologies over Lattices with T-norms},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/BorgwardtP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BritzMV11,
  author       = {Arina Britz and
                  Thomas Meyer and
                  Ivan Jos{\'{e}} Varzinczak},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Concept Model Semantics for {DL} Preferential Reasoning},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_16.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/BritzMV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseOSS11,
  author       = {Diego Calvanese and
                  Magdalena Ortiz and
                  Mantas Simkus and
                  Giorgio Stefanoni},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {The Complexity of Conjunctive Query Abduction in DL-Lite},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_49.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/CalvaneseOSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ChortarasTS11,
  author       = {Alexandros Chortaras and
                  Despoina Trivela and
                  Giorgos B. Stamou},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Goal-oriented Query Rewriting for {OWL} 2 {QL}},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_19.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/ChortarasTS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CorreaCO11,
  author       = {Fabiano Corr{\^{e}}a and
                  F{\'{a}}bio Gagliardi Cozman and
                  Jun Okamoto Jr.},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Collective Classification in Semantic Mapping with a Probabilistic
                  Description Logic},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_43.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/CorreaCO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/EldoraKP11,
  author       = {Eldora and
                  Martin Knechtel and
                  Rafael Pe{\~{n}}aloza},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Correcting Access Restrictions to a Consequence More Flexibly},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/EldoraKP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FillottraniFT11,
  author       = {Pablo R. Fillottrani and
                  Enrico Franconi and
                  Sergio Tessaris},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Ontology Design and Integration with {ICOM} 3.0 - Tool Description
                  and Methodology},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_45.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/FillottraniFT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FingerWC11,
  author       = {Marcelo Finger and
                  Renata Wassermann and
                  F{\'{a}}bio Gagliardi Cozman},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Satisfiability in {EL} with Sets of Probabilistic ABoxes},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/FingerWC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FranconiGTT11,
  author       = {Enrico Franconi and
                  Paolo Guagliardo and
                  Marco Trevisan and
                  Sergio Tessaris},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Quelo: an Ontology-Driven Query Interface},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_58.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/FranconiGTT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Freitas11,
  author       = {Fred Freitas},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {A Connection Method for Inferencing over the Description Logic {ALC}},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_51.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Freitas11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GasseS11,
  author       = {Francis Gasse and
                  Viorica Sofronie{-}Stokkermans},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Efficient TBox Subsumption Checking in Combinations of {EL} and (fragments
                  of) {FL0}},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_50.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GasseS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmKL11,
  author       = {Birte Glimm and
                  Yevgeny Kazakov and
                  Carsten Lutz},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Status {QIO:} An Update},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_44.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GlimmKL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GoncalvesPS11,
  author       = {Rafael S. Gon{\c{c}}alves and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Analysing Multiple Versions of an Ontology: {A} Study of the {NCI}
                  Thesaurus},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_40.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GoncalvesPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GottlobS11,
  author       = {Georg Gottlob and
                  Thomas Schwentick},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Rewriting Ontological Queries into Small Nonrecursive Datalog Programs},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_21.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GottlobS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Graves11,
  author       = {Henson Graves},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Structural Models in Axiomatic SysML},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Graves11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HaririCGM11,
  author       = {Babak Bagheri Hariri and
                  Diego Calvanese and
                  Giuseppe De Giacomo and
                  Riccardo De Masellis},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Verification of Conjunctive-Query Based Semantic Artifacts},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/HaririCGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HorridgeBPS11,
  author       = {Matthew Horridge and
                  Samantha Bail and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {The Cognitive Complexity of {OWL} Justifications},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_52.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/HorridgeBPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HubauerLP11,
  author       = {Thomas Hubauer and
                  Steffen Lamparter and
                  Michael Pirker},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Relaxed Abduction: Robust Information Interpretation for Incomplete
                  Models},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_48.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/HubauerLP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/JeffreyP11,
  author       = {Alan Jeffrey and
                  Peter F. Patel{-}Schneider},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Integrity Constraints for Linked Data},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_31.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/JeffreyP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/JungGLS11,
  author       = {Jean Christoph Jung and
                  V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
                  Carsten Lutz and
                  Lutz Schr{\"{o}}der},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {The Complexity of Probabilistic {EL}},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/JungGLS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovKS11,
  author       = {Yevgeny Kazakov and
                  Markus Kr{\"{o}}tzsch and
                  Frantisek Simancik},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Unchain My {EL} Reasoner},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_54.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KazakovKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KharlamovZ11,
  author       = {Evgeny Kharlamov and
                  Dmitriy Zheleznyakov},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_33.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KharlamovZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KikotKZ11,
  author       = {Stanislav Kikot and
                  Roman Kontchakov and
                  Michael Zakharyaschev},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {On (In)Tractability of {OBDA} with {OWL} 2 {QL}},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KikotKZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KlarmanG11,
  author       = {Szymon Klarman and
                  V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Two-Dimensional Description Logics of Context},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_20.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KlarmanG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KolliaGH11,
  author       = {Ilianna Kollia and
                  Birte Glimm and
                  Ian Horrocks},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Query Answering over {SROIQ} Knowledge Bases with {SPARQL}},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_27.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KolliaGH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KonevKLSWZ11,
  author       = {Boris Konev and
                  Roman Kontchakov and
                  Michel Ludwig and
                  Thomas Schneider and
                  Frank Wolter and
                  Michael Zakharyaschev},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Module Extraction via Query Inseparability in {OWL} 2 {QL}},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KonevKLSWZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KrisnadhiSH11,
  author       = {Adila Alfa Krisnadhi and
                  Kunal Sengupta and
                  Pascal Hitzler},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Local Closed World Semantics: Keep it simple, stupid!},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KrisnadhiSH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KrotzschMKH11,
  author       = {Markus Kr{\"{o}}tzsch and
                  Frederick Maier and
                  Adila Alfa Krisnadhi and
                  Pascal Hitzler},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Nominal Schemas for Integrating Rules and Description Logics},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_39.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KrotzschMKH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KuruczWZ11,
  author       = {Agi Kurucz and
                  Frank Wolter and
                  Michael Zakharyaschev},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {On {P/NP} Dichotomies for {EL} Subsumption under Relational Constraints},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_41.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KuruczWZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LenzeriniS11,
  author       = {Maurizio Lenzerini and
                  Domenico Fabio Savo},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {On the Evolution of the Instance Level of DL-Lite Knowledge Bases},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/LenzeriniS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzW11,
  author       = {Carsten Lutz and
                  Frank Wolter},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Non-Uniform Data Complexity of Query Answering in Description Logics},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_35.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/LutzW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MasottiRR11,
  author       = {Giulia Masotti and
                  Riccardo Rosati and
                  Marco Ruzzi},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Practical ABox Cleaning in DL-Lite (progress report)},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_53.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/MasottiRR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MehdiR11,
  author       = {Anees Mehdi and
                  Sebastian Rudolph},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Practical Epistemic Entailment Checking in {SROIQ}},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/MehdiR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MendezET11,
  author       = {Julian Mendez and
                  Andreas Ecke and
                  Anni{-}Yasmin Turhan},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Implementing Completion-Based Inferences for the EL-family},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_56.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/MendezET11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MosurovicK11,
  author       = {Milenko Mosurovic and
                  Nenad Krdzavac},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {A Technique for Handling the Right Hand Side of Complex RIAs},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_34.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/MosurovicK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Nikitina11,
  author       = {Nadeschda Nikitina},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Forgetting in General {EL} Terminologies},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_29.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Nikitina11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/NikitinaRG11,
  author       = {Nadeschda Nikitina and
                  Sebastian Rudolph and
                  Birte Glimm},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Reasoning-Supported Interactive Revision of Knowledge Bases},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/NikitinaRG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/NortjeBM11,
  author       = {Riku Nortje and
                  Arina Britz and
                  Thomas Andreas Meyer},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Bidirectional Reachability-Based Modules},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_25.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/NortjeBM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PintoGLR11,
  author       = {Floriana Di Pinto and
                  Giuseppe De Giacomo and
                  Maurizio Lenzerini and
                  Riccardo Rosati},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Mapping Data to Higher-Order Description Logic Knowledge Bases},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_23.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/PintoGLR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Rodriguez-MuroC11,
  author       = {Mariano Rodriguez{-}Muro and
                  Diego Calvanese},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Dependencies to Optimize Ontology Based Data Access},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_32.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Rodriguez-MuroC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ScheglmannSS11,
  author       = {Stefan Scheglmann and
                  Carsten Saathoff and
                  Steffen Staab},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {On the Problem of Weighted Max-DL-SAT and its Application to Image
                  Labeling},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_24.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/ScheglmannSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SerafiniH11,
  author       = {Luciano Serafini and
                  Martin Homola},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Contextual Representation and Reasoning with Description Logics},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_30.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/SerafiniH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Sertkaya11,
  author       = {Baris Sertkaya},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {In the Search of Improvements to the {EL+} Classification Algorithm},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_47.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Sertkaya11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SimancikMK11,
  author       = {Frantisek Simancik and
                  Boris Motik and
                  Markus Kr{\"{o}}tzsch},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Fixed Parameter Tractable Reasoning in DLs via Decomposition},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_28.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/SimancikMK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Smolka11,
  author       = {Gert Smolka},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Incremental Decision Procedures for Modal Logic with Nominals and
                  Eventualities},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/invited\_paper\_2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Smolka11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/StoilosG11,
  author       = {Giorgos Stoilos and
                  Bernardo Cuenca Grau},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Repairing Incomplete Reasoners},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/StoilosG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Stuckenschmidt11,
  author       = {Heiner Stuckenschmidt},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {A Little Logic Goes a Long Way - Logical Reasoning in Web Data Integration
                  and Ontology Learning},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/invited\_paper\_3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Stuckenschmidt11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TinelliDRS11,
  author       = {Eufemia Tinelli and
                  Francesco M. Donini and
                  Michele Ruta and
                  Eugenio Di Sciascio},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Reasoning in Resource-Constrained Environments: a Matchmaking Engine
                  over Relational Knowledge Bases},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_36.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/TinelliDRS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Vescovo11,
  author       = {Chiara Del Vescovo},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {The Modular Structure of an Ontology: Atomic Decomposition towards
                  Applications},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_55.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Vescovo11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/VianaAM11,
  author       = {Henrique Viana and
                  Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
                  Ana Teresa C. Martins},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Paraconsistent Rough Description Logic},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_37.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/VianaAM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2011,
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745},
  urn          = {urn:nbn:de:0074-745-4},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics