Search dblp for Publications

export results for "toc:db/conf/rr/rr2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/rr/BinnewiesWSW13,
  author       = {Sebastian Binnewies and
                  Yisong Wang and
                  Bela Stantic and
                  Kewen Wang},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Rule Revision in Normal {DL} Logic Programs},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {204--209},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_16},
  doi          = {10.1007/978-3-642-39666-3\_16},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/BinnewiesWSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/BourguetCPT13,
  author       = {Jean{-}R{\'{e}}mi Bourguet and
                  Giuseppe Cicala and
                  Luca Pulina and
                  Armando Tacchella},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {{OBDA} and Intermodal Logistics: Active Projects and Applications},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {210--215},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_17},
  doi          = {10.1007/978-3-642-39666-3\_17},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/BourguetCPT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/BrassS13,
  author       = {Stefan Brass and
                  Heike Stephan},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {A Variant of Earley Deduction with Partial Evaluation},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {35--49},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_4},
  doi          = {10.1007/978-3-642-39666-3\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/BrassS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/CalvaneseGMP13,
  author       = {Diego Calvanese and
                  Giuseppe De Giacomo and
                  Marco Montali and
                  Fabio Patrizi},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Verification and Synthesis in Description Logic Based Dynamic Systems},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {50--64},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_5},
  doi          = {10.1007/978-3-642-39666-3\_5},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/CalvaneseGMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/CarraraOT13,
  author       = {Lorenzo Carrara and
                  Giorgio Orsi and
                  Letizia Tanca},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Semantic Pervasive Advertising},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {216--222},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_18},
  doi          = {10.1007/978-3-642-39666-3\_18},
  timestamp    = {Tue, 26 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rr/CarraraOT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/Cohen13,
  author       = {Mika Cohen},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Semantics for Mapping Relations in {SKOS}},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {223--228},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_19},
  doi          = {10.1007/978-3-642-39666-3\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/Cohen13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/ConsoleSS13,
  author       = {Marco Console and
                  Valerio Santarelli and
                  Domenico Fabio Savo},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {From {OWL} to {DL} - Lite through Efficient Ontology Approximation},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {229--234},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_20},
  doi          = {10.1007/978-3-642-39666-3\_20},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/ConsoleSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/EiterF013,
  author       = {Thomas Eiter and
                  Michael Fink and
                  Daria Stepanova},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Inconsistency Management for Description Logic Programs and Beyond},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_1},
  doi          = {10.1007/978-3-642-39666-3\_1},
  timestamp    = {Thu, 16 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rr/EiterF013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/FleischhackerMVN13,
  author       = {Daniel Fleischhacker and
                  Christian Meilicke and
                  Johanna V{\"{o}}lker and
                  Mathias Niepert},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Computing Incoherence Explanations for Learned Ontologies},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {80--94},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_7},
  doi          = {10.1007/978-3-642-39666-3\_7},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/FleischhackerMVN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/GahaZLBVV13,
  author       = {Mohamed Gaha and
                  Arnaud Zinflou and
                  Christian Langheit and
                  Alexandre Bouffard and
                  Mathieu Viau and
                  Luc Vouligny},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {An Ontology-Based Reasoning Approach for Electric Power Utilities},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {95--108},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_8},
  doi          = {10.1007/978-3-642-39666-3\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/GahaZLBVV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/GheerbrantLS13,
  author       = {Am{\'{e}}lie Gheerbrant and
                  Leonid Libkin and
                  Cristina Sirangelo},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Reasoning About Pattern-Based {XML} Queries},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {4--18},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_2},
  doi          = {10.1007/978-3-642-39666-3\_2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/GheerbrantLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/GrassoLR13,
  author       = {Giovanni Grasso and
                  Nicola Leone and
                  Francesco Ricca},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Answer Set Programming: Language, Applications and Development Tools},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {19--34},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_3},
  doi          = {10.1007/978-3-642-39666-3\_3},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/GrassoLR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/Gutierrez-BasultoIKK13,
  author       = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
                  Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
                  Roman Kontchakov and
                  Egor V. Kostylev},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Conjunctive Queries with Negation over DL-Lite: {A} Closer Look},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {109--122},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_9},
  doi          = {10.1007/978-3-642-39666-3\_9},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rr/Gutierrez-BasultoIKK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/HuVA13,
  author       = {Beibei Hu and
                  Yves Vanrompay and
                  Marie{-}Aude Aufaure},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {{PQMPMS:} {A} Preference-enabled Querying Mechanism for Personalized
                  Mobile Search},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {235--240},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_21},
  doi          = {10.1007/978-3-642-39666-3\_21},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/HuVA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/KonigLMT13,
  author       = {M{\'{e}}lanie K{\"{o}}nig and
                  Michel Lecl{\`{e}}re and
                  Marie{-}Laure Mugnier and
                  Micha{\"{e}}l Thomazo},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {On the Exploration of the Query Rewriting Space with Existential Rules},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {123--137},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_10},
  doi          = {10.1007/978-3-642-39666-3\_10},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/KonigLMT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/LeclereMR13,
  author       = {Michel Lecl{\`{e}}re and
                  Marie{-}Laure Mugnier and
                  Swan Rocher},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Kiabora: An Analyzer of Existential Rule Bases},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {241--246},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_22},
  doi          = {10.1007/978-3-642-39666-3\_22},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/LeclereMR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/MartinezWH13,
  author       = {David Carral and
                  Cong Wang and
                  Pascal Hitzler},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Towards an Efficient Algorithm to Reason over Description Logics Extended
                  with Nominal Schemas},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {65--79},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_6},
  doi          = {10.1007/978-3-642-39666-3\_6},
  timestamp    = {Tue, 05 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rr/MartinezWH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/MileoAPH13,
  author       = {Alessandra Mileo and
                  Ahmed Abdelrahman and
                  Sean Policarpio and
                  Manfred Hauswirth},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {StreamRule: {A} Nonmonotonic Stream Reasoning System for the Semantic
                  Web},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {247--252},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_23},
  doi          = {10.1007/978-3-642-39666-3\_23},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/MileoAPH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/NardiRRT13,
  author       = {Barbara Nardi and
                  Kristian Reale and
                  Francesco Ricca and
                  Giorgio Terracina},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {An Integrated Environment for Reasoning over Ontologies via Logic
                  Programming},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {253--258},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_24},
  doi          = {10.1007/978-3-642-39666-3\_24},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/NardiRRT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/NguyenNS13,
  author       = {Linh Anh Nguyen and
                  Thi{-}Bich{-}Loc Nguyen and
                  Andrzej Szalas},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {HornDL: An Expressive Horn Description Logic with PTime Data Complexity},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {259--264},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_25},
  doi          = {10.1007/978-3-642-39666-3\_25},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rr/NguyenNS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/NikolaouK13,
  author       = {Charalampos Nikolaou and
                  Manolis Koubarakis},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Incomplete Information in {RDF}},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {138--152},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_11},
  doi          = {10.1007/978-3-642-39666-3\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/NikolaouK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/RiguzziBLZ13,
  author       = {Fabrizio Riguzzi and
                  Elena Bellodi and
                  Evelina Lamma and
                  Riccardo Zese},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {{BUNDLE:} {A} Reasoner for Probabilistic Ontologies},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {183--197},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_14},
  doi          = {10.1007/978-3-642-39666-3\_14},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rr/RiguzziBLZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/RiguzziBLZ13a,
  author       = {Fabrizio Riguzzi and
                  Elena Bellodi and
                  Evelina Lamma and
                  Riccardo Zese},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Parameter Learning for Probabilistic Ontologies},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {265--270},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_26},
  doi          = {10.1007/978-3-642-39666-3\_26},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rr/RiguzziBLZ13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/RodlerSFF13,
  author       = {Patrick Rodler and
                  Kostyantyn M. Shchekotykhin and
                  Philipp Fleiss and
                  Gerhard Friedrich},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {{RIO:} Minimizing User Interaction in Ontology Debugging},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {153--167},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_12},
  doi          = {10.1007/978-3-642-39666-3\_12},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/RodlerSFF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/SilvaC13,
  author       = {Bruno Berstel{-}Da Silva and
                  Amina Chniti},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Detection of Inconsistencies in Rules Due to Changes in Ontologies:
                  Let's Get Formal},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {198--203},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_15},
  doi          = {10.1007/978-3-642-39666-3\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/SilvaC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/WangEYYS13,
  author       = {Yisong Wang and
                  Thomas Eiter and
                  Jia{-}Huai You and
                  Li{-}Yan Yuan and
                  Yi{-}Dong Shen},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Eliminating Nonmonotonic DL-Atoms in Description Logic Programs},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {168--182},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_13},
  doi          = {10.1007/978-3-642-39666-3\_13},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/WangEYYS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2013,
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3},
  doi          = {10.1007/978-3-642-39666-3},
  isbn         = {978-3-642-39665-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics