Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ulrike Sattler
@inproceedings{DBLP:conf/aaai/KindermannGPS24,
author = {Christian Kindermann and
Anne{-}Marie George and
Bijan Parsia and
Uli Sattler},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications
in Ontology Engineering (and Beyond)},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {10581--10588},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28928},
doi = {10.1609/AAAI.V38I9.28928},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KindermannGPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2023,
editor = {Uli Sattler and
Martin Suda},
title = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6},
doi = {10.1007/978-3-031-43369-6},
isbn = {978-3-031-43368-9},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-10857,
author = {Christian Kindermann and
Anne{-}Marie George and
Bijan Parsia and
Uli Sattler},
title = {Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications
in Ontology Engineering (and beyond)},
journal = {CoRR},
volume = {abs/2312.10857},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.10857},
doi = {10.48550/ARXIV.2312.10857},
eprinttype = {arXiv},
eprint = {2312.10857},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-10857.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/AlassfSS22,
author = {Ruba Alassaf and
Renate A. Schmidt and
Uli Sattler},
editor = {David Fern{\'{a}}ndez{-}Duque and
Alessandra Palmigiano and
Sophie Pinchinat},
title = {Saturation-Based Uniform Interpolation for Multi-Modal Logics},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25,
2022},
pages = {37--57},
publisher = {College Publications},
year = {2022},
url = {http://www.aiml.net/volumes/volume14/07-Alassaf-Schmidt-Sattler.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/AlassfSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZhaoPS22,
author = {Haoruo Zhao and
Bijan Parsia and
Uli Sattler},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Next Steps for ReAD: Modules for Classification Optimisation},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/paper-18.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ZhaoPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2022,
editor = {Ulrike Sattler and
Aidan Hogan and
C. Maria Keet and
Valentina Presutti and
Jo{\~{a}}o Paulo A. Almeida and
Hideaki Takeda and
Pierre Monnin and
Giuseppe Pirr{\`{o}} and
Claudia d'Amato},
title = {The Semantic Web - {ISWC} 2022 - 21st International Semantic Web Conference,
Virtual Event, October 23-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13489},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19433-7},
doi = {10.1007/978-3-031-19433-7},
isbn = {978-3-031-19432-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/KurdiLMPSFDD21,
author = {Ghader Kurdi and
Jared Leo and
Nicolas Matentzoglu and
Bijan Parsia and
Uli Sattler and
Sophie Forge and
Gina Donato and
Will Dowling},
title = {A comparative study of methods for a priori prediction of {MCQ} difficulty},
journal = {Semantic Web},
volume = {12},
number = {3},
pages = {449--465},
year = {2021},
url = {https://doi.org/10.3233/SW-200390},
doi = {10.3233/SW-200390},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/KurdiLMPSFDD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BritzCMMSV21,
author = {Katarina Britz and
Giovanni Casini and
Thomas Meyer and
Kody Moodley and
Uli Sattler and
Ivan Varzinczak},
title = {Principles of KLM-style Defeasible Description Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {22},
number = {1},
pages = {1:1--1:46},
year = {2021},
url = {https://doi.org/10.1145/3420258},
doi = {10.1145/3420258},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BritzCMMSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/JayathilakaMS21,
author = {Mirantha Jayathilaka and
Tingting Mu and
Uli Sattler},
editor = {M. Arif Wani and
Ishwar K. Sethi and
Weisong Shi and
Guangzhi Qu and
Daniela Stan Raicu and
Ruoming Jin},
title = {Towards Knowledge-aware Few-shot Learning with Ontology-based n-ball
Concept Embeddings},
booktitle = {20th {IEEE} International Conference on Machine Learning and Applications,
{ICMLA} 2021, Pasadena, CA, USA, December 13-16, 2021},
pages = {292--297},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICMLA52953.2021.00052},
doi = {10.1109/ICMLA52953.2021.00052},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmla/JayathilakaMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ZhaoPS21,
author = {Haoruo Zhao and
Bijan Parsia and
Uli Sattler},
editor = {Wolfgang Faber and
Gerhard Friedrich and
Martin Gebser and
Michael Morak},
title = {ReAD: AD-Based Modular Ontology Classification},
booktitle = {Logics in Artificial Intelligence - 17th European Conference, {JELIA}
2021, Virtual Event, May 17-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12678},
pages = {210--224},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75775-5\_15},
doi = {10.1007/978-3-030-75775-5\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/ZhaoPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AlassafSS21,
author = {Ruba Alassaf and
Renate A. Schmidt and
Uli Sattler},
editor = {Renate A. Schmidt and
Christoph Wernhard and
Yizheng Zhao},
title = {Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic
K\({}_{\mbox{n}}\)},
booktitle = {Proceedings of the Second Workshop on Second-Order Quantifier Elimination
and Related Topics {(SOQE} 2021) associated with the 18th International
Conference on Principles of Knowledge Representation and Reasoning
{(KR} 2021), Online Event, November 4, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3009},
pages = {15--27},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3009/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/kr/AlassafSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/JayathilakaMS21,
author = {Mirantha Jayathilaka and
Tingting Mu and
Uli Sattler},
editor = {Mehwish Alam and
Mehdi Ali and
Paul Groth and
Pascal Hitzler and
Jens Lehmann and
Heiko Paulheim and
Achim Rettinger and
Harald Sack and
Afshin Sadeghi and
Volker Tresp},
title = {Ontology-based n-ball Concept Embeddings Informing Few-shot Image
Classification},
booktitle = {Machine Learning with Symbolic Methods and Knowledge Graphs co-located
with European Conference on Machine Learning and Principles and Practice
of Knowledge Discovery in Databases {(ECML} {PKDD} 2021), Virtual,
September 17, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2997},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2997/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/pkdd/JayathilakaMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KindermannPS21,
author = {Christian Kindermann and
Bijan Parsia and
Uli Sattler},
editor = {Eva Blomqvist and
Torsten Hahmann and
Karl Hammar and
Pascal Hitzler and
Rinke Hoekstra and
Raghava Mutharaju and
Mar{\'{\i}}a Poveda{-}Villal{\'{o}}n and
Cogan Shimizu and
Martin G. Skj{\ae}veland and
Monika Solanki and
Vojtech Sv{\'{a}}tek and
Lu Zhou},
title = {Encoding Repetitive Structures in Ontologies},
booktitle = {Advances in Pattern-Based Ontology Engineering, extended versions
of the papers published at the Workshop on Ontology Design and Patterns
{(WOP)}},
series = {Studies on the Semantic Web},
volume = {51},
pages = {204--226},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/SSW210015},
doi = {10.3233/SSW210015},
timestamp = {Sun, 02 Oct 2022 16:14:56 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KindermannPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KindermannPS21a,
author = {Christian Kindermann and
Bijan Parsia and
Uli Sattler},
editor = {Eva Blomqvist and
Torsten Hahmann and
Karl Hammar and
Pascal Hitzler and
Rinke Hoekstra and
Raghava Mutharaju and
Mar{\'{\i}}a Poveda{-}Villal{\'{o}}n and
Cogan Shimizu and
Martin G. Skj{\ae}veland and
Monika Solanki and
Vojtech Sv{\'{a}}tek and
Lu Zhou},
title = {Syntactic Regularities Based on Language Abstractions},
booktitle = {Advances in Pattern-Based Ontology Engineering, extended versions
of the papers published at the Workshop on Ontology Design and Patterns
{(WOP)}},
series = {Studies on the Semantic Web},
volume = {51},
pages = {312--330},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/SSW210022},
doi = {10.3233/SSW210022},
timestamp = {Fri, 08 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KindermannPS21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-09063,
author = {Mirantha Jayathilaka and
Tingting Mu and
Uli Sattler},
title = {Ontology-based n-ball Concept Embeddings Informing Few-shot Image
Classification},
journal = {CoRR},
volume = {abs/2109.09063},
year = {2021},
url = {https://arxiv.org/abs/2109.09063},
eprinttype = {arXiv},
eprint = {2109.09063},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-09063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/0001PS21,
author = {Jo{\~{a}}o Marques{-}Silva and
Rafael Pe{\~{n}}aloza and
Uli Sattler},
title = {Extending the Synergies Between {SAT} and Description Logics (Dagstuhl
Seminar 21361)},
journal = {Dagstuhl Reports},
volume = {11},
number = {8},
pages = {1--10},
year = {2021},
url = {https://doi.org/10.4230/DagRep.11.8.1},
doi = {10.4230/DAGREP.11.8.1},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/0001PS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedu/KurdiLPSA20,
author = {Ghader Kurdi and
Jared Leo and
Bijan Parsia and
Uli Sattler and
Salam Al{-}Emari},
title = {A Systematic Review of Automatic Question Generation for Educational
Purposes},
journal = {Int. J. Artif. Intell. Educ.},
volume = {30},
number = {1},
pages = {121--204},
year = {2020},
url = {https://doi.org/10.1007/s40593-019-00186-y},
doi = {10.1007/S40593-019-00186-Y},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedu/KurdiLPSA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/VescovoHPSSZ20,
author = {Chiara Del Vescovo and
Matthew Horridge and
Bijan Parsia and
Uli Sattler and
Thomas Schneider and
Haoruo Zhao},
title = {Modular Structures and Atomic Decomposition in Ontologies},
journal = {J. Artif. Intell. Res.},
volume = {69},
pages = {963--1021},
year = {2020},
url = {https://doi.org/10.1613/jair.1.12151},
doi = {10.1613/JAIR.1.12151},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/VescovoHPSSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/SattlerS20,
author = {Uli Sattler and
Thomas Schneider},
title = {Interview with Uli Sattler},
journal = {K{\"{u}}nstliche Intell.},
volume = {34},
number = {3},
pages = {429--432},
year = {2020},
url = {https://doi.org/10.1007/s13218-020-00683-6},
doi = {10.1007/S13218-020-00683-6},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/SattlerS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/LeoMSP20,
author = {Jared Leo and
Nicolas Matentzoglu and
Uli Sattler and
Bijan Parsia},
title = {A systematic survey of temporal requirements of bio-health ontologies},
journal = {Semantic Web},
volume = {11},
number = {4},
pages = {657--688},
year = {2020},
url = {https://doi.org/10.3233/SW-190357},
doi = {10.3233/SW-190357},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/LeoMSP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JayathilakaMS20,
author = {Mirantha Jayathilaka and
Tingting Mu and
Uli Sattler},
editor = {Sebastian Rudolph and
Goreti Marreiros},
title = {Visual-Semantic Embedding Model Informed by Structured Knowledge},
booktitle = {Proceedings of the 9th European Starting {AI} Researchers' Symposium
2020 co-located with 24th European Conference on Artificial Intelligence
{(ECAI} 2020), Santiago Compostela, Spain, August, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2655},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2655/paper23.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/ecai/JayathilakaMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jowo/ZhaoPS20,
author = {Haoruo Zhao and
Bijan Parsia and
Uli Sattler},
editor = {Karl Hammar and
Oliver Kutz and
Anastasia Dimou and
Torsten Hahmann and
Robert Hoehndorf and
Claudio Masolo and
Randi Vita and
Sarra Ben Abb{\`{e}}s and
Rim Hantach and
Philippe Calvez and
Tiago Prince Sales and
Daniele Porello and
Daniel Be{\ss}ler and
Stefano Borgo and
Mohammed Diab and
Aldo Gangemi and
Alberto Olivares Alarcos and
Mihai Pomarlan and
Robert Porzel and
Martin G. Skj{\ae}veland and
Daniel P. Lupp and
Ian Horrocks and
Johan W. Kl{\"{u}}wer and
Christian Kindermann and
Loris Bozzato and
Till Mossakowski and
Luciano Serafini},
title = {ReAD: Delegate {OWL} Reasoners for Ontology Classification with Atomic
Decomposition},
booktitle = {Proceedings of the Joint Ontology Workshops co-located with the Bolzano
Summer of Knowledge {(BOSK} 2020), Virtual {\&} Bozen-Bolzano,
Italy, August 31st to October 7th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2708},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2708/womocoe2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/jowo/ZhaoPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KindermannPS20,
author = {Christian Kindermann and
Bijan Parsia and
Uli Sattler},
editor = {Jeff Z. Pan and
Valentina A. M. Tamma and
Claudia d'Amato and
Krzysztof Janowicz and
Bo Fu and
Axel Polleres and
Oshani Seneviratne and
Lalana Kagal},
title = {Prevalence and Effects of Class Hierarchy Precompilation in Biomedical
Ontologies},
booktitle = {The Semantic Web - {ISWC} 2020 - 19th International Semantic Web Conference,
Athens, Greece, November 2-6, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12506},
pages = {330--348},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62419-4\_19},
doi = {10.1007/978-3-030-62419-4\_19},
timestamp = {Fri, 25 Dec 2020 01:15:02 +0100},
biburl = {https://dblp.org/rec/conf/semweb/KindermannPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-10026,
author = {Mirantha Jayathilaka and
Tingting Mu and
Uli Sattler},
title = {Visual-Semantic Embedding Model Informed by Structured Knowledge},
journal = {CoRR},
volume = {abs/2009.10026},
year = {2020},
url = {https://arxiv.org/abs/2009.10026},
eprinttype = {arXiv},
eprint = {2009.10026},
timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10026.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedu/LeoKMPSFDD19,
author = {Jared Leo and
Ghader Kurdi and
Nicolas Matentzoglu and
Bijan Parsia and
Ulrike Sattler and
Sophie Forge and
Gina Donato and
Will Dowling},
title = {Ontology-Based Generation of Medical, Multi-term MCQs},
journal = {Int. J. Artif. Intell. Educ.},
volume = {29},
number = {2},
pages = {145--188},
year = {2019},
url = {https://doi.org/10.1007/s40593-018-00172-w},
doi = {10.1007/S40593-018-00172-W},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedu/LeoKMPSFDD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LutzSTTW19,
author = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {A Tour of Franz Baader's Contributions to Knowledge Representation
and Automated Deduction},
booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11560},
pages = {1--14},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_1},
doi = {10.1007/978-3-030-22102-7\_1},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LutzSTTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KindermannPS19,
author = {Christian Kindermann and
Bijan Parsia and
Uli Sattler},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Detecting Influences of Ontology Design Patterns in Biomedical Ontologies},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-18.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/KindermannPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZhaoSP19,
author = {Haoruo Zhao and
Uli Sattler and
Bijan Parsia},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Avoiding Subsumption Tests During Classification Using the Atomic
Decomposition},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-54.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ZhaoSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KindermannPS19a,
author = {Christian Kindermann and
Bijan Parsia and
Uli Sattler},
editor = {Krzysztof Janowicz and
Adila Alfa Krisnadhi and
Mar{\'{\i}}a Poveda{-}Villal{\'{o}}n and
Karl Hammar and
Cogan Shimizu},
title = {Comparing Approaches for Capturing Repetitive Structures in Ontology
Design Patterns},
booktitle = {Proceedings of the 10th Workshop on Ontology Design and Patterns {(WOP}
2019) co-located with 18th International Semantic Web Conference {(ISWC}
2019), Auckland, New Zealand, October 27, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2459},
pages = {17--31},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2459/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:08 +0100},
biburl = {https://dblp.org/rec/conf/semweb/KindermannPS19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KindermannPS19,
author = {Christian Kindermann and
Bijan Parsia and
Uli Sattler},
editor = {Chiara Ghidini and
Olaf Hartig and
Maria Maleshkova and
Vojtech Sv{\'{a}}tek and
Isabel F. Cruz and
Aidan Hogan and
Jie Song and
Maxime Lefran{\c{c}}ois and
Fabien Gandon},
title = {Detecting Influences of Ontology Design Patterns in Biomedical Ontologies},
booktitle = {The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference,
Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11778},
pages = {311--328},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30793-6\_18},
doi = {10.1007/978-3-030-30793-6\_18},
timestamp = {Fri, 09 Apr 2021 18:46:52 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KindermannPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019baader,
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11560},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7},
doi = {10.1007/978-3-030-22102-7},
isbn = {978-3-030-22101-0},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2019baader.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07559,
author = {Katarina Britz and
Giovanni Casini and
Thomas Meyer and
Kody Moodley and
Uli Sattler and
Ivan Varzinczak},
title = {Theoretical Foundations of Defeasible Description Logics},
journal = {CoRR},
volume = {abs/1904.07559},
year = {2019},
url = {http://arxiv.org/abs/1904.07559},
eprinttype = {arXiv},
eprint = {1904.07559},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07559.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MatentzogluPS18,
author = {Nicolas Matentzoglu and
Bijan Parsia and
Uli Sattler},
title = {{OWL} Reasoning: Subsumption Test Hardness and Modularity},
journal = {J. Autom. Reason.},
volume = {60},
number = {4},
pages = {385--419},
year = {2018},
url = {https://doi.org/10.1007/s10817-017-9414-8},
doi = {10.1007/S10817-017-9414-8},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MatentzogluPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KindermannLST18,
author = {Christian Kindermann and
Daniel P. Lupp and
Uli Sattler and
Evgenij Thorstensen},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Generating Ontologies from Templates: {A} Rule-Based Approach for
Capturing Regularity},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-22.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KindermannLST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GuimaraesSW18,
author = {Ricardo Guimar{\~{a}}es and
Uli Sattler and
Renata Wassermann},
editor = {Kristijonas Cyras and
Tiago Oliveira and
Matthew Williams and
Loris Bozzato and
Martin Homola and
Till Mossakowski and
Antoine Zimmermann},
title = {Ontology Stratification Methods: {A} Comparative Study},
booktitle = {Proceedings of the Joint Proceedings of Reasoning with Ambiguous and
Conflicting Evidence and Recommendations in Medicine (MedRACER 2018)
and the 3rd International Workshop on Ontology Modularity, Contextuality,
and Evolution (WOMoCoE 2018) co-located with the 16th International
Conference on Principles of Knowledge Representation and Reasoning
{(KR} 2018), Tempe, Arizona, USA, October 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2237},
pages = {51--62},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/kr/GuimaraesSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-10436,
author = {Henrik Forssell and
Christian Kindermann and
Daniel P. Lupp and
Uli Sattler and
Evgenij Thorstensen},
title = {Generating Ontologies from Templates: {A} Rule-Based Approach for
Capturing Regularity},
journal = {CoRR},
volume = {abs/1809.10436},
year = {2018},
url = {http://arxiv.org/abs/1809.10436},
eprinttype = {arXiv},
eprint = {1809.10436},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-10436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0041477,
author = {Franz Baader and
Ian Horrocks and
Carsten Lutz and
Ulrike Sattler},
title = {An Introduction to Description Logic},
publisher = {Cambridge University Press},
year = {2017},
url = {http://www.cambridge.org/de/academic/subjects/computer-science/knowledge-management-databases-and-data-mining/introduction-description-logic?format=PB\#17zVGeWD2TZUeu6s.97},
isbn = {978-0-521-69542-8},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0041477.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SazonauS17,
author = {Viachaslau Sazonau and
Uli Sattler},
editor = {Claudia d'Amato and
Miriam Fern{\'{a}}ndez and
Valentina A. M. Tamma and
Freddy L{\'{e}}cu{\'{e}} and
Philippe Cudr{\'{e}}{-}Mauroux and
Juan F. Sequeda and
Christoph Lange and
Jeff Heflin},
title = {Mining Hypotheses from Data in {OWL:} Advanced Evaluation and Complete
Construction},
booktitle = {The Semantic Web - {ISWC} 2017 - 16th International Semantic Web Conference,
Vienna, Austria, October 21-25, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10587},
pages = {577--593},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68288-4\_34},
doi = {10.1007/978-3-319-68288-4\_34},
timestamp = {Tue, 07 Sep 2021 13:48:04 +0200},
biburl = {https://dblp.org/rec/conf/semweb/SazonauS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sgai/CasteleiroTPS17,
author = {Mercedes Arg{\"{u}}ello Casteleiro and
Dmitry Tsarkov and
Bijan Parsia and
Ulrike Sattler},
editor = {Max Bramer and
Miltos Petridis},
title = {Using Semantic Web Technologies to Underpin the {SNOMED} {CT} Query
Language},
booktitle = {Artificial Intelligence {XXXIV} - 37th {SGAI} International Conference
on Artificial Intelligence, {AI} 2017, Cambridge, UK, December 12-14,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10630},
pages = {217--231},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71078-5\_20},
doi = {10.1007/978-3-319-71078-5\_20},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sgai/CasteleiroTPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/AlsubaitPS16,
author = {Tahani Alsubait and
Bijan Parsia and
Ulrike Sattler},
title = {Ontology-Based Multiple Choice Question Generation},
journal = {K{\"{u}}nstliche Intell.},
volume = {30},
number = {2},
pages = {183--188},
year = {2016},
url = {https://doi.org/10.1007/s13218-015-0405-9},
doi = {10.1007/S13218-015-0405-9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/AlsubaitPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/KurdiPS16,
author = {Ghader Kurdi and
Bijan Parsia and
Uli Sattler},
editor = {Mauro Dragoni and
Mar{\'{\i}}a Poveda{-}Villal{\'{o}}n and
Ernesto Jim{\'{e}}nez{-}Ruiz},
title = {An Experimental Evaluation of Automatically Generated Multiple Choice
Questions from Ontologies},
booktitle = {{OWL:} - Experiences and Directions - Reasoner Evaluation - 13th International
Workshop, {OWLED} 2016, and 5th International Workshop, {ORE} 2016,
Bologna, Italy, November 20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10161},
pages = {24--39},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-54627-8\_3},
doi = {10.1007/978-3-319-54627-8\_3},
timestamp = {Mon, 28 Aug 2023 21:17:54 +0200},
biburl = {https://dblp.org/rec/conf/owled/KurdiPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MatentzogluSP15,
author = {Nicolas Matentzoglu and
Uli Sattler and
Bijan Parsia},
editor = {Diego Calvanese and
Boris Konev},
title = {Empirical Investigation of Subsumption Test Hardness in Description
Logic Classification},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-57.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MatentzogluSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SazonauS15,
author = {Viachaslau Sazonau and
Uli Sattler},
editor = {Diego Calvanese and
Boris Konev},
title = {TBox Reasoning in the Probabilistic Description Logic SHIQp},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-61.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SazonauS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/LeeMSP15,
author = {Michael Lee and
Nicolas Matentzoglu and
Uli Sattler and
Bijan Parsia},
editor = {Michel Dumontier and
Birte Glimm and
Rafael S. Gon{\c{c}}alves and
Matthew Horridge and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Nicolas Matentzoglu and
Bijan Parsia and
Giorgos B. Stamou and
Giorgos Stoilos},
title = {Verifying Reasoner Correctness - {A} Justication Based Method},
booktitle = {Informal Proceedings of the 4th International Workshop on {OWL} Reasoner
Evaluation {(ORE-2015)} co-located with the 28th International Workshop
on Description Logics {(DL} 2015), Athens, Greece, June 6, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1387},
pages = {46--52},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1387/paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/ore/LeeMSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/MatentzogluLHSP15,
author = {Nicolas Matentzoglu and
Jared Leo and
Valentino Hudhra and
Uli Sattler and
Bijan Parsia},
editor = {Michel Dumontier and
Birte Glimm and
Rafael S. Gon{\c{c}}alves and
Matthew Horridge and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Nicolas Matentzoglu and
Bijan Parsia and
Giorgos B. Stamou and
Giorgos Stoilos},
title = {A Survey of Current, Stand-alone {OWL} Reasoners},
booktitle = {Informal Proceedings of the 4th International Workshop on {OWL} Reasoner
Evaluation {(ORE-2015)} co-located with the 28th International Workshop
on Description Logics {(DL} 2015), Athens, Greece, June 6, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1387},
pages = {68--79},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1387/paper\_4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ore/MatentzogluLHSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/SazonauSB15,
author = {Viachaslau Sazonau and
Uli Sattler and
Gavin Brown},
editor = {Valentina A. M. Tamma and
Mauro Dragoni and
Rafael S. Gon{\c{c}}alves and
Agnieszka Lawrynowicz},
title = {General Terminology Induction in {OWL}},
booktitle = {Ontology Engineering - 12th International Experiences and Directions
Workshop on OWL, {OWLED} 2015, co-located with {ISWC} 2015, Bethlehem,
PA, USA, October 9-10, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9557},
pages = {1--13},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33245-1\_1},
doi = {10.1007/978-3-319-33245-1\_1},
timestamp = {Tue, 06 Sep 2022 08:18:32 +0200},
biburl = {https://dblp.org/rec/conf/owled/SazonauSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/AlsubaitPS15,
author = {Tahani Alsubait and
Bijan Parsia and
Uli Sattler},
editor = {Valentina A. M. Tamma and
Mauro Dragoni and
Rafael S. Gon{\c{c}}alves and
Agnieszka Lawrynowicz},
title = {A Similarity Based Approach to Omission Finding in Ontologies},
booktitle = {Ontology Engineering - 12th International Experiences and Directions
Workshop on OWL, {OWLED} 2015, co-located with {ISWC} 2015, Bethlehem,
PA, USA, October 9-10, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9557},
pages = {21--32},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33245-1\_3},
doi = {10.1007/978-3-319-33245-1\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/owled/AlsubaitPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/LeeMPS15,
author = {Michael Lee and
Nicolas Matentzoglu and
Bijan Parsia and
Uli Sattler},
editor = {Marcelo Arenas and
{\'{O}}scar Corcho and
Elena Simperl and
Markus Strohmaier and
Mathieu d'Aquin and
Kavitha Srinivas and
Paul Groth and
Michel Dumontier and
Jeff Heflin and
Krishnaprasad Thirunarayan and
Steffen Staab},
title = {A Multi-reasoner, Justification-Based Approach to Reasoner Correctness},
booktitle = {The Semantic Web - {ISWC} 2015 - 14th International Semantic Web Conference,
Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9367},
pages = {393--408},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25010-6\_26},
doi = {10.1007/978-3-319-25010-6\_26},
timestamp = {Tue, 07 Sep 2021 13:47:57 +0200},
biburl = {https://dblp.org/rec/conf/semweb/LeeMPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/CasiniMMSV15,
author = {Giovanni Casini and
Thomas Andreas Meyer and
Kodylan Moodley and
Uli Sattler and
Ivan Jos{\'{e}} Varzinczak},
editor = {Marcelo Arenas and
{\'{O}}scar Corcho and
Elena Simperl and
Markus Strohmaier and
Mathieu d'Aquin and
Kavitha Srinivas and
Paul Groth and
Michel Dumontier and
Jeff Heflin and
Krishnaprasad Thirunarayan and
Steffen Staab},
title = {Introducing Defeasibility into {OWL} Ontologies},
booktitle = {The Semantic Web - {ISWC} 2015 - 14th International Semantic Web Conference,
Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9367},
pages = {409--426},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25010-6\_27},
doi = {10.1007/978-3-319-25010-6\_27},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/CasiniMMSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SazonauSB15,
author = {Viachaslau Sazonau and
Uli Sattler and
Gavin Brown},
editor = {Marcelo Arenas and
{\'{O}}scar Corcho and
Elena Simperl and
Markus Strohmaier and
Mathieu d'Aquin and
Kavitha Srinivas and
Paul Groth and
Michel Dumontier and
Jeff Heflin and
Krishnaprasad Thirunarayan and
Steffen Staab},
title = {General Terminology Induction in {OWL}},
booktitle = {The Semantic Web - {ISWC} 2015 - 14th International Semantic Web Conference,
Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9366},
pages = {533--550},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25007-6\_31},
doi = {10.1007/978-3-319-25007-6\_31},
timestamp = {Tue, 21 Mar 2023 20:58:48 +0100},
biburl = {https://dblp.org/rec/conf/semweb/SazonauSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ekaw/2014s,
editor = {Patrick Lambrix and
Eero Hyv{\"{o}}nen and
Eva Blomqvist and
Valentina Presutti and
Guilin Qi and
Uli Sattler and
Ying Ding and
Chiara Ghidini},
title = {Knowledge Engineering and Knowledge Management - {EKAW} 2014 Satellite
Events, VISUAL, EKM1, and ARCOE-Logic, Link{\"{o}}ping, Sweden,
November 24-28, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8982},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17966-7},
doi = {10.1007/978-3-319-17966-7},
isbn = {978-3-319-17965-0},
timestamp = {Wed, 03 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/2014s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AlsubaitPS14,
author = {Tahani Alsubait and
Bijan Parsia and
Uli Sattler},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap
Measure?},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {365--377},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_16.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/AlsubaitPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ChangSG14,
author = {Liang Chang and
Uli Sattler and
Tianlong Gu},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {An ABox Revision Algorithm for the Description Logic EL{\_}bot},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {459--470},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_64.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ChangSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LeoSP14,
author = {Jared Leo and
Ulrike Sattler and
Bijan Parsia},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Temporalising {EL} Concepts with Time Intervals},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {620--632},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_81.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LeoSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MatentzogluPS14,
author = {Nicolas Matentzoglu and
Bijan Parsia and
Uli Sattler},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {An Empirical Investigation of Difficulty of Subsets of Description
Logic Ontologies},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {659--670},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_63.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MatentzogluPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MoodleyMS14,
author = {Kodylan Moodley and
Thomas Meyer and
Uli Sattler},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {{DIP:} {A} Defeasible-Inference Platform for {OWL} Ontologies},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {671--683},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_44.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MoodleyMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SazonauSB14,
author = {Viachaslau Sazonau and
Uli Sattler and
Gavin Brown},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Predicting {OWL} Reasoners: Locally or Globally?},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {713--724},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SazonauSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/AlsubaitPS14,
author = {Tahani Alsubait and
Bijan Parsia and
Uli Sattler},
editor = {Krzysztof Janowicz and
Stefan Schlobach and
Patrick Lambrix and
Eero Hyv{\"{o}}nen},
title = {Measuring Similarity in Ontologies: {A} New Family of Measures},
booktitle = {Knowledge Engineering and Knowledge Management - 19th International
Conference, {EKAW} 2014, Link{\"{o}}ping, Sweden, November 24-28,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8876},
pages = {13--25},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13704-9\_2},
doi = {10.1007/978-3-319-13704-9\_2},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/AlsubaitPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/AlsubaitPS14a,
author = {Tahani Alsubait and
Bijan Parsia and
Uli Sattler},
editor = {Patrick Lambrix and
Eero Hyv{\"{o}}nen and
Eva Blomqvist and
Valentina Presutti and
Guilin Qi and
Uli Sattler and
Ying Ding and
Chiara Ghidini},
title = {Generating Multiple Choice Questions From Ontologies: How Far Can
We Go?},
booktitle = {Knowledge Engineering and Knowledge Management - {EKAW} 2014 Satellite
Events, VISUAL, EKM1, and ARCOE-Logic, Link{\"{o}}ping, Sweden,
November 24-28, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8982},
pages = {66--79},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17966-7\_7},
doi = {10.1007/978-3-319-17966-7\_7},
timestamp = {Wed, 03 Aug 2022 17:12:19 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/AlsubaitPS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/ChangSG14,
author = {Liang Chang and
Uli Sattler and
Tianlong Gu},
editor = {Luc Lamontagne and
Enric Plaza},
title = {Algorithm for Adapting Cases Represented in a Tractable Description
Logic},
booktitle = {Case-Based Reasoning Research and Development - 22nd International
Conference, {ICCBR} 2014, Cork, Ireland, September 29, 2014 - October
1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8765},
pages = {63--78},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11209-1\_6},
doi = {10.1007/978-3-319-11209-1\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccbr/ChangSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SazonauSB14,
author = {Viachaslau Sazonau and
Uli Sattler and
Gavin Brown},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Predicting Performance of {OWL} Reasoners: Locally or Globally?},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7889},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/SazonauSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/StevensMSS14,
author = {Robert Stevens and
Nicolas Matentzoglu and
Uli Sattler and
Margaret Stevens},
editor = {Samantha Bail and
Birte Glimm and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Nicolas Matentzoglu and
Bijan Parsia and
Andreas Steigmiller},
title = {A Family History Knowledge Base in {OWL} 2},
booktitle = {Informal Proceedings of the 3rd International Workshop on {OWL} Reasoner
Evaluation {(ORE} 2014) co-located with the Vienna Summer of Logic
{(VSL} 2014), Vienna, Austria, July 13, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1207},
pages = {71--76},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1207/paper\_11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/ore/StevensMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/AlsubaitPS14,
author = {Tahani Alsubait and
Bijan Parsia and
Uli Sattler},
editor = {C. Maria Keet and
Valentina A. M. Tamma},
title = {Generating Multiple Choice Questions From Ontologies: Lessons Learnt},
booktitle = {Proceedings of the 11th International Workshop on {OWL:} Experiences
and Directions {(OWLED} 2014) co-located with 13th International Semantic
Web Conference on {(ISWC} 2014), Riva del Garda, Italy, October 17-18,
2014},
series = {{CEUR} Workshop Proceedings},
volume = {1265},
pages = {73--84},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1265/owled2014\_submission\_11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/AlsubaitPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgeMPSM14,
author = {Matthew Horridge and
Jonathan Mortensen and
Bijan Parsia and
Ulrike Sattler and
Mark A. Musen},
editor = {Peter Mika and
Tania Tudorache and
Abraham Bernstein and
Chris Welty and
Craig A. Knoblock and
Denny Vrandecic and
Paul Groth and
Natasha F. Noy and
Krzysztof Janowicz and
Carole A. Goble},
title = {A Study on the Atomic Decomposition of Ontologies},
booktitle = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference,
Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8797},
pages = {65--80},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11915-1\_5},
doi = {10.1007/978-3-319-11915-1\_5},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/HorridgeMPSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AlsubaitPS14,
author = {Tahani Alsubait and
Bijan Parsia and
Uli Sattler},
editor = {Matthew Horridge and
Marco Rospocher and
Jacco van Ossenbruggen},
title = {Measuring similarity in ontologies: a new family of measures},
booktitle = {Proceedings of the {ISWC} 2014 Posters {\&} Demonstrations Track
a track within the 13th International Semantic Web Conference, {ISWC}
2014, Riva del Garda, Italy, October 21, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1272},
pages = {225--228},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1272/paper\_23.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/semweb/AlsubaitPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MatentzogluTPS14,
author = {Nicolas Matentzoglu and
Daniel Tang and
Bijan Parsia and
Uli Sattler},
editor = {Matthew Horridge and
Marco Rospocher and
Jacco van Ossenbruggen},
title = {The Manchester {OWL} Repository: System Description},
booktitle = {Proceedings of the {ISWC} 2014 Posters {\&} Demonstrations Track
a track within the 13th International Semantic Web Conference, {ISWC}
2014, Riva del Garda, Italy, October 21, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1272},
pages = {285--288},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1272/paper\_57.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/MatentzogluTPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stairs/MoodleyMS14,
author = {Kodylan Moodley and
Thomas Meyer and
Uli Sattler},
editor = {Ulle Endriss and
Jo{\~{a}}o Leite},
title = {Practical Defeasible Reasoning for Description Logics},
booktitle = {{STAIRS} 2014 - Proceedings of the 7th European Starting {AI} Researcher
Symposium, Prague, Czech Republic, August 18-22, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {264},
pages = {191--200},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-421-3-191},
doi = {10.3233/978-1-61499-421-3-191},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stairs/MoodleyMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip12/2014iip,
editor = {Zhongzhi Shi and
Zhaohui Wu and
David B. Leake and
Uli Sattler},
title = {Intelligent Information Processing {VII} - 8th {IFIP} {TC} 12 International
Conference, {IIP} 2014, Hangzhou, China, October 17-20, 2014, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {432},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44980-6},
doi = {10.1007/978-3-662-44980-6},
isbn = {978-3-662-44979-0},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip12/2014iip.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChangSG14,
author = {Liang Chang and
Uli Sattler and
Tianlong Gu},
title = {Algorithm for Adapting Cases Represented in a Tractable Description
Logic},
journal = {CoRR},
volume = {abs/1405.4180},
year = {2014},
url = {http://arxiv.org/abs/1405.4180},
eprinttype = {arXiv},
eprint = {1405.4180},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChangSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/HorridgeBPS13,
author = {Matthew Horridge and
Samantha Bail and
Bijan Parsia and
Uli Sattler},
title = {Toward cognitive support for {OWL} justifications},
journal = {Knowl. Based Syst.},
volume = {53},
pages = {66--79},
year = {2013},
url = {https://doi.org/10.1016/j.knosys.2013.08.021},
doi = {10.1016/J.KNOSYS.2013.08.021},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/HorridgeBPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/BailPS13,
author = {Samantha Bail and
Bijan Parsia and
Ulrike Sattler},
editor = {Qi He and
Arun Iyengar and
Wolfgang Nejdl and
Jian Pei and
Rajeev Rastogi},
title = {The logical diversity of explanations in {OWL} ontologies},
booktitle = {22nd {ACM} International Conference on Information and Knowledge Management,
CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013},
pages = {559--568},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505515.2505536},
doi = {10.1145/2505515.2505536},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/BailPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/VescovoKPS0T13,
author = {Chiara Del Vescovo and
Pavel Klinov and
Bijan Parsia and
Ulrike Sattler and
Thomas Schneider and
Dmitry Tsarkov},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Empirical Study of Logic-Based Modules: Cheap Is Cheerful},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {144--155},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_77.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/VescovoKPS0T13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GoncalvesMPS13,
author = {Rafael S. Gon{\c{c}}alves and
Nicolas Matentzoglu and
Bijan Parsia and
Uli Sattler},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {The Empirical Robustness of Description Logic Classification},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {197--208},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_45.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GoncalvesMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/CopelandGPSS13a,
author = {Maria Copeland and
Rafael S. Gon{\c{c}}alves and
Bijan Parsia and
Uli Sattler and
Robert Stevens},
editor = {Patrick Lambrix and
Guilin Qi and
Matthew Horridge and
Bijan Parsia},
title = {Finding fault: detecting issues in a versioned ontology},
booktitle = {Proceedings of the Second International Workshop on Debugging Ontologies
and Ontology Mappings, Montpellier, France, May 27, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {999},
pages = {9--20},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-999/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:13 +0100},
biburl = {https://dblp.org/rec/conf/esws/CopelandGPSS13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/CopelandGPSS13,
author = {Maria Copeland and
Rafael S. Gon{\c{c}}alves and
Bijan Parsia and
Uli Sattler and
Robert Stevens},
editor = {Philipp Cimiano and
Miriam Fern{\'{a}}ndez and
Vanessa L{\'{o}}pez and
Stefan Schlobach and
Johanna V{\"{o}}lker},
title = {Finding Fault: Detecting Issues in a Versioned Ontology},
booktitle = {The Semantic Web: {ESWC} 2013 Satellite Events - {ESWC} 2013 Satellite
Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7955},
pages = {113--124},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41242-4\_10},
doi = {10.1007/978-3-642-41242-4\_10},
timestamp = {Tue, 06 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esws/CopelandGPSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GoncalvesPS13,
author = {Rafael S. Gon{\c{c}}alves and
Bijan Parsia and
Uli Sattler},
editor = {Eva Blomqvist and
Tudor Groza},
title = {Comparing Ontologies with ecco},
booktitle = {Proceedings of the {ISWC} 2013 Posters {\&} Demonstrations Track,
Sydney, Australia, October 23, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1035},
pages = {49--52},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1035/iswc2013\_demo\_13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:05 +0100},
biburl = {https://dblp.org/rec/conf/semweb/GoncalvesPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/VescovoKPS0T13,
author = {Chiara Del Vescovo and
Pavel Klinov and
Bijan Parsia and
Ulrike Sattler and
Thomas Schneider and
Dmitry Tsarkov},
editor = {Harith Alani and
Lalana Kagal and
Achille Fokoue and
Paul Groth and
Chris Biemann and
Josiane Xavier Parreira and
Lora Aroyo and
Natasha F. Noy and
Chris Welty and
Krzysztof Janowicz},
title = {Empirical Study of Logic-Based Modules: Cheap Is Cheerful},
booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference,
Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8218},
pages = {84--100},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41335-3\_6},
doi = {10.1007/978-3-642-41335-3\_6},
timestamp = {Tue, 07 Sep 2021 13:48:20 +0200},
biburl = {https://dblp.org/rec/conf/semweb/VescovoKPS0T13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GoncalvesMPS13,
author = {Rafael S. Gon{\c{c}}alves and
Nicolas Matentzoglu and
Bijan Parsia and
Uli Sattler},
editor = {Eva Blomqvist and
Tudor Groza},
title = {The Empirical Robustness of Description Logic Classification},
booktitle = {Proceedings of the {ISWC} 2013 Posters {\&} Demonstrations Track,
Sydney, Australia, October 23, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1035},
pages = {277--280},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1035/iswc2013\_poster\_25.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/GoncalvesMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BailPS12,
author = {Samantha Bail and
Bijan Parsia and
Ulrike Sattler},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Diversity of Reason: Equivalence Relations over Description Logic
Explanations},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_50.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BailPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GoncalvesPS12,
author = {Rafael S. Gon{\c{c}}alves and
Bijan Parsia and
Ulrike Sattler},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Concept-Based Semantic Difference in Expressive Description Logics},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_56.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GoncalvesPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/VescovoPS12,
author = {Chiara Del Vescovo and
Bijan Parsia and
Ulrike Sattler},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Logical Relevance in Ontologies},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_45.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/VescovoPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/BailPS12,
author = {Samantha Bail and
Bijan Parsia and
Ulrike Sattler},
editor = {Patrick Lambrix and
Guilin Qi and
Matthew Horridge},
title = {Declutter Your Justifications: Determining Similarity Between {OWL}
Explanations},
booktitle = {Proceedings of the First International Workshop on Debugging Ontologies
and Ontology Mappings, WoDOOM 2012, Galway, Ireland, October 8, 2012},
pages = {13--24},
publisher = {Link{\"{o}}ping Electronic Conference Proceedings},
year = {2012},
url = {http://www.ep.liu.se/ecp\_article/index.en.aspx?issue=079;article=002},
timestamp = {Mon, 30 Jun 2014 19:13:18 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/BailPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbo/SeyedRSPS12,
author = {Patrice Seyed and
Alan L. Rector and
Uli Sattler and
Bijan Parsia and
Robert Stevens},
editor = {Ronald Cornet and
Robert Stevens},
title = {Representation of Part-Whole Relationships in {SNOMED} {CT}},
booktitle = {Proceedings of the 3rd International Conference on Biomedical Ontology
{(ICBO} 2012), {KR-MED} Series, Graz, Austria, July 21-25, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {897},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-897/session3-paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:23 +0100},
biburl = {https://dblp.org/rec/conf/icbo/SeyedRSPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HorridgePS12,
author = {Matthew Horridge and
Bijan Parsia and
Ulrike Sattler},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Justification Masking in Ontologies},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4555},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HorridgePS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/AlsubaitPS12,
author = {Tahani Alsubait and
Bijan Parsia and
Ulrike Sattler},
editor = {Pavel Klinov and
Matthew Horridge},
title = {Mining Ontologies for Analogy Questions: {A} Similarity-based Approach},
booktitle = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
Crete, Greece, May 27-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {849},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-849/paper\_32.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/AlsubaitPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/GoncalvesPS12,
author = {Rafael S. Gon{\c{c}}alves and
Bijan Parsia and
Ulrike Sattler},
editor = {Pavel Klinov and
Matthew Horridge},
title = {Ecco: {A} Hybrid Diff Tool for {OWL} 2 ontologies},
booktitle = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
Crete, Greece, May 27-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {849},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-849/paper\_27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/owled/GoncalvesPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GoncalvesPS12,
author = {Rafael S. Gon{\c{c}}alves and
Bijan Parsia and
Ulrike Sattler},
editor = {Philippe Cudr{\'{e}}{-}Mauroux and
Jeff Heflin and
Evren Sirin and
Tania Tudorache and
J{\'{e}}r{\^{o}}me Euzenat and
Manfred Hauswirth and
Josiane Xavier Parreira and
Jim Hendler and
Guus Schreiber and
Abraham Bernstein and
Eva Blomqvist},
title = {Performance Heterogeneity and Approximate Reasoning in Description
Logic Ontologies},
booktitle = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference,
Boston, MA, USA, November 11-15, 2012, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7649},
pages = {82--98},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35176-1\_6},
doi = {10.1007/978-3-642-35176-1\_6},
timestamp = {Tue, 06 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/GoncalvesPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GoncalvesPS12a,
author = {Rafael S. Gon{\c{c}}alves and
Bijan Parsia and
Ulrike Sattler},
editor = {Philippe Cudr{\'{e}}{-}Mauroux and
Jeff Heflin and
Evren Sirin and
Tania Tudorache and
J{\'{e}}r{\^{o}}me Euzenat and
Manfred Hauswirth and
Josiane Xavier Parreira and
Jim Hendler and
Guus Schreiber and
Abraham Bernstein and
Eva Blomqvist},
title = {Concept-Based Semantic Difference in Expressive Description Logics},
booktitle = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference,
Boston, MA, USA, November 11-15, 2012, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7649},
pages = {99--115},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35176-1\_7},
doi = {10.1007/978-3-642-35176-1\_7},
timestamp = {Tue, 06 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/GoncalvesPS12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgePS12,
author = {Matthew Horridge and
Bijan Parsia and
Ulrike Sattler},
editor = {Philippe Cudr{\'{e}}{-}Mauroux and
Jeff Heflin and
Evren Sirin and
Tania Tudorache and
J{\'{e}}r{\^{o}}me Euzenat and
Manfred Hauswirth and
Josiane Xavier Parreira and
Jim Hendler and
Guus Schreiber and
Abraham Bernstein and
Eva Blomqvist},
title = {Extracting Justifications from BioPortal Ontologies},
booktitle = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference,
Boston, MA, USA, November 11-15, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7650},
pages = {287--299},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35173-0\_19},
doi = {10.1007/978-3-642-35173-0\_19},
timestamp = {Tue, 07 Sep 2021 13:47:51 +0200},
biburl = {https://dblp.org/rec/conf/semweb/HorridgePS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/womo/VescovoKPS0T12,
author = {Chiara Del Vescovo and
Pavel Klinov and
Bijan Parsia and
Ulrike Sattler and
Thomas Schneider and
Dmitry Tsarkov},
editor = {Thomas Schneider and
Dirk Walther},
title = {Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?},
booktitle = {Proceedings of the 6th International Workshop on Modular Ontologies,
Graz, Austria, July 24, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {875},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-875/regular\_paper\_4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/womo/VescovoKPS0T12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012,
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3},
doi = {10.1007/978-3-642-31365-3},
isbn = {978-3-642-31364-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-1641,
author = {Chiara Del Vescovo and
Pavel Klinov and
Bijan Parsia and
Uli Sattler and
Thomas Schneider and
Dmitry Tsarkov},
title = {Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?},
journal = {CoRR},
volume = {abs/1207.1641},
year = {2012},
url = {http://arxiv.org/abs/1207.1641},
eprinttype = {arXiv},
eprint = {1207.1641},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-1641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DelgrandeMS12,
author = {James P. Delgrande and
Thomas Meyer and
Ulrike Sattler},
title = {Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl
Seminar 12441)},
journal = {Dagstuhl Reports},
volume = {2},
number = {10},
pages = {105--116},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.10.105},
doi = {10.4230/DAGREP.2.10.105},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DelgrandeMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FrenzelPSB11,
author = {Christoph Frenzel and
Bijan Parsia and
Ulrike Sattler and
Bernhard Bauer},
editor = {Camille Salinesi and
Oscar Pastor},
title = {Mooop - {A} Hybrid Integration of {OWL} and Java},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2011 International
Workshops, London, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {83},
pages = {437--447},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22056-2\_47},
doi = {10.1007/978-3-642-22056-2\_47},
timestamp = {Mon, 18 Jan 2021 08:56:37 +0100},
biburl = {https://dblp.org/rec/conf/caise/FrenzelPSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/GoncalvesPS11,
author = {Rafael S. Gon{\c{c}}alves and
Bijan Parsia and
Ulrike Sattler},
title = {Analysing the evolution of the {NCI} Thesaurus},
booktitle = {Proceedings of the 24th {IEEE} International Symposium on Computer-Based
Medical Systems, 27-30 June, 2011, Bristol, United Kingdom},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CBMS.2011.5999163},
doi = {10.1109/CBMS.2011.5999163},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/GoncalvesPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/GoncalvesPS11,
author = {Rafael S. Gon{\c{c}}alves and
Bijan Parsia and
Ulrike Sattler},
editor = {Craig Macdonald and
Iadh Ounis and
Ian Ruthven},
title = {Categorising logical differences between {OWL} ontologies},
booktitle = {Proceedings of the 20th {ACM} Conference on Information and Knowledge
Management, {CIKM} 2011, Glasgow, United Kingdom, October 24-28, 2011},
pages = {1541--1546},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2063576.2063797},
doi = {10.1145/2063576.2063797},
timestamp = {Tue, 06 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/GoncalvesPS11.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 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BailPS11.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/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/iccs/VescovoPS11,
author = {Chiara Del Vescovo and
Bijan Parsia and
Ulrike Sattler},
editor = {Simon Andrews and
Simon Polovina and
Richard Hill and
Babak Akhgar},
title = {Topicality in Logic-Based Ontologies},
booktitle = {Conceptual Structures for Discovering Knowledge - 19th International
Conference on Conceptual Structures, {ICCS} 2011, Derby, UK, July
25-29, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6828},
pages = {187--200},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22688-5\_14},
doi = {10.1007/978-3-642-22688-5\_14},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/VescovoPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/VescovoPSS11,
author = {Chiara Del Vescovo and
Bijan Parsia and
Ulrike Sattler and
Thomas Schneider},
editor = {Toby Walsh},
title = {The Modular Structure of an Ontology: Atomic Decomposition},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2232--2237},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-372},
doi = {10.5591/978-1-57735-516-8/IJCAI11-372},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/VescovoPSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BailHPS11,
author = {Samantha Bail and
Matthew Horridge and
Bijan Parsia and
Ulrike Sattler},
editor = {Lora Aroyo and
Chris Welty and
Harith Alani and
Jamie Taylor and
Abraham Bernstein and
Lalana Kagal and
Natasha Fridman Noy and
Eva Blomqvist},
title = {The Justificatory Structure of the {NCBO} BioPortal Ontologies},
booktitle = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,
Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7031},
pages = {67--82},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25073-6\_5},
doi = {10.1007/978-3-642-25073-6\_5},
timestamp = {Tue, 07 Sep 2021 13:47:52 +0200},
biburl = {https://dblp.org/rec/conf/semweb/BailHPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/VescovoGKPSSW11,
author = {Chiara Del Vescovo and
Damian Gessler and
Pavel Klinov and
Bijan Parsia and
Ulrike Sattler and
Thomas Schneider and
Andrew Winget},
editor = {Lora Aroyo and
Chris Welty and
Harith Alani and
Jamie Taylor and
Abraham Bernstein and
Lalana Kagal and
Natasha Fridman Noy and
Eva Blomqvist},
title = {Decomposition and Modular Structure of BioPortal Ontologies},
booktitle = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,
Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7031},
pages = {130--145},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25073-6\_9},
doi = {10.1007/978-3-642-25073-6\_9},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/VescovoGKPSSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgeBPS11,
author = {Matthew Horridge and
Samantha Bail and
Bijan Parsia and
Ulrike Sattler},
editor = {Lora Aroyo and
Chris Welty and
Harith Alani and
Jamie Taylor and
Abraham Bernstein and
Lalana Kagal and
Natasha Fridman Noy and
Eva Blomqvist},
title = {The Cognitive Complexity of {OWL} Justifications},
booktitle = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,
Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7031},
pages = {241--256},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25073-6\_16},
doi = {10.1007/978-3-642-25073-6\_16},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/HorridgeBPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/womo/VescovoPSS11,
author = {Chiara Del Vescovo and
Bijan Parsia and
Ulrike Sattler and
Thomas Schneider},
editor = {Oliver Kutz and
Thomas Schneider},
title = {The Modular Structure of an Ontology: Atomic Decomposition and Module
Count},
booktitle = {Modular Ontologies - Proceedings of the Fifth International Workshop,
WoMO 2011, Ljubljana, Slovenia, August 2011},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {230},
pages = {25--39},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-799-4-25},
doi = {10.3233/978-1-60750-799-4-25},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/womo/VescovoPSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0049,
author = {Birte Glimm and
Ian Horrocks and
Carsten Lutz and
Ulrike Sattler},
title = {Conjunctive Query Answering for the Description Logic {SHIQ}},
journal = {CoRR},
volume = {abs/1111.0049},
year = {2011},
url = {http://arxiv.org/abs/1111.0049},
eprinttype = {arXiv},
eprint = {1111.0049},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GhilardiSST10,
author = {Silvio Ghilardi and
Viorica Sofronie{-}Stokkermans and
Ulrike Sattler and
Ashish Tiwari},
title = {Special issue on automated deduction: Decidability, complexity, tractability},
journal = {J. Symb. Comput.},
volume = {45},
number = {2},
pages = {151--152},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.05.006},
doi = {10.1016/J.JSC.2009.05.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GhilardiSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HorridgePS10,
author = {Matthew Horridge and
Bijan Parsia and
Ulrike Sattler},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Justification Masking in {OWL}},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573/paper\_31.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HorridgePS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/VescovoPSS10,
author = {Chiara Del Vescovo and
Bijan Parsia and
Ulrike Sattler and
Thomas Schneider},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {The modular structure of an ontology: an empirical study},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573/paper\_13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/VescovoPSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/BailPS10,
author = {Samantha Bail and
Bijan Parsia and
Ulrike Sattler},
editor = {Evren Sirin and
Kendall Clark},
title = {The Justificatory Structure of {OWL} Ontologies},
booktitle = {Proceedings of the 7th International Workshop on {OWL:} Experiences
and Directions {(OWLED} 2010), San Francisco, California, USA, June
21-22, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {614},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-614/owled2010\_submission\_4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/BailPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HastingsDHHSSSHB10,
author = {Janna Hastings and
Michel Dumontier and
Duncan Hull and
Matthew Horridge and
Christoph Steinbeck and
Robert Stevens and
Ulrike Sattler and
Tertia H{\"{o}}rne and
Katarina Britz},
editor = {Evren Sirin and
Kendall Clark},
title = {Representing Chemicals Using OWL, Description Graphs and Rules},
booktitle = {Proceedings of the 7th International Workshop on {OWL:} Experiences
and Directions {(OWLED} 2010), San Francisco, California, USA, June
21-22, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {614},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-614/owled2010\_submission\_13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/owled/HastingsDHHSSSHB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BailPS10,
author = {Samantha Bail and
Bijan Parsia and
Ulrike Sattler},
editor = {Peter F. Patel{-}Schneider and
Yue Pan and
Pascal Hitzler and
Peter Mika and
Lei Zhang and
Jeff Z. Pan and
Ian Horrocks and
Birte Glimm},
title = {JustBench: {A} Framework for {OWL} Benchmarking},
booktitle = {The Semantic Web - {ISWC} 2010 - 9th International Semantic Web Conference,
{ISWC} 2010, Shanghai, China, November 7-11, 2010, Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6496},
pages = {32--47},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17746-0\_3},
doi = {10.1007/978-3-642-17746-0\_3},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/semweb/BailPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgePS10,
author = {Matthew Horridge and
Bijan Parsia and
Ulrike Sattler},
editor = {Peter F. Patel{-}Schneider and
Yue Pan and
Pascal Hitzler and
Peter Mika and
Lei Zhang and
Jeff Z. Pan and
Ian Horrocks and
Birte Glimm},
title = {Justification Oriented Proofs in {OWL}},
booktitle = {The Semantic Web - {ISWC} 2010 - 9th International Semantic Web Conference,
{ISWC} 2010, Shanghai, China, November 7-11, 2010, Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6496},
pages = {354--369},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17746-0\_23},
doi = {10.1007/978-3-642-17746-0\_23},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/HorridgePS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/OpitzPS10,
author = {Jasmin Opitz and
Bijan Parsia and
Ulrike Sattler},
editor = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
Fabio Ciravegna and
Frank van Harmelen and
Jeff Heflin},
title = {Information system analysis},
booktitle = {Proceedings of the International Workshop on Evaluation of Semantic
Technologies {(IWEST} 2010), Shanghai, China, November 8, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {666},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-666/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/semweb/OpitzPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/OpitzPS10,
author = {Jasmin Opitz and
Bijan Parsia and
Ulrike Sattler},
editor = {Albert Burger and
M. Scott Marshall and
Paolo Romano and
Adrian Paschke and
Andrea Splendiani},
title = {Evaluating Modelling Approaches for Medical Image Annotations},
booktitle = {Proceedings of the Workshop on Semantic Web Applications and Tools
for Life Sciences, Berlin, Germany, December 10, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {698},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-698/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/swat4ls/OpitzPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/womo/VescovoPS010,
author = {Chiara Del Vescovo and
Bijan Parsia and
Ulrike Sattler and
Thomas Schneider},
editor = {Oliver Kutz and
Joana Hois and
Jie Bao and
Bernardo Cuenca Grau},
title = {The modular structure of an ontology: an empirical study},
booktitle = {Modular Ontologies - Proceedings of the Fourth International Workshop,
WoMO 2010, Toronto, ON, Canada, May 11, 2010},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {210},
pages = {11--24},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-544-0-11},
doi = {10.3233/978-1-60750-544-0-11},
timestamp = {Tue, 07 Mar 2023 10:47:39 +0100},
biburl = {https://dblp.org/rec/conf/womo/VescovoPS010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2010,
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
timestamp = {Wed, 23 Jun 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-1882,
author = {Jasmin Opitz and
Bijan Parsia and
Ulrike Sattler},
title = {Evaluating Modelling Approaches for Medical Image Annotations},
journal = {CoRR},
volume = {abs/1012.1882},
year = {2010},
url = {http://arxiv.org/abs/1012.1882},
eprinttype = {arXiv},
eprint = {1012.1882},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-1882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MotikGHS09,
author = {Boris Motik and
Bernardo Cuenca Grau and
Ian Horrocks and
Ulrike Sattler},
title = {Representing ontologies using description logics, description graphs,
and rules},
journal = {Artif. Intell.},
volume = {173},
number = {14},
pages = {1275--1309},
year = {2009},
url = {https://doi.org/10.1016/j.artint.2009.06.003},
doi = {10.1016/J.ARTINT.2009.06.003},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MotikGHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/MotikHS09,
author = {Boris Motik and
Ian Horrocks and
Ulrike Sattler},
title = {Bridging the gap between {OWL} and relational databases},
journal = {J. Web Semant.},
volume = {7},
number = {2},
pages = {74--89},
year = {2009},
url = {https://doi.org/10.1016/j.websem.2009.02.001},
doi = {10.1016/J.WEBSEM.2009.02.001},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ws/MotikHS09.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 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BauerSP09.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/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/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/ijcai/KontchakovPSSSWZ09,
author = {Roman Kontchakov and
Luca Pulina and
Ulrike Sattler and
Thomas Schneider and
Petra Selmer and
Frank Wolter and
Michael Zakharyaschev},
editor = {Craig Boutilier},
title = {Minimal Module Extraction from DL-Lite Ontologies Using {QBF} Solvers},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {836--841},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/143.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KontchakovPSSSWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgePS08b,
author = {Matthew Horridge and
Bijan Parsia and
Ulrike Sattler},
editor = {Rinke Hoekstra and
Peter F. Patel{-}Schneider},
title = {From Justifications to Proofs for Entailments in {OWL}},
booktitle = {Proceedings of the 5th International Workshop on {OWL:} Experiences
and Directions {(OWLED} 2009), Chantilly, VA, United States, October
23-24, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {529},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-529/owled2009\_submission\_30.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:05 +0100},
biburl = {https://dblp.org/rec/conf/semweb/HorridgePS08b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/OpitzPS08,
author = {Jasmin Opitz and
Bijan Parsia and
Ulrike Sattler},
editor = {Rinke Hoekstra and
Peter F. Patel{-}Schneider},
title = {Using Ontologies for Medical Image Retrieval - An Experiment},
booktitle = {Proceedings of the 5th International Workshop on {OWL:} Experiences
and Directions {(OWLED} 2009), Chantilly, VA, United States, October
23-24, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {529},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-529/owled2009\_submission\_28.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/OpitzPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ParsiaSS08,
author = {Bijan Parsia and
Ulrike Sattler and
Thomas Schneider},
editor = {Rinke Hoekstra and
Peter F. Patel{-}Schneider},
title = {Mechanisms for Importing Modules},
booktitle = {Proceedings of the 5th International Workshop on {OWL:} Experiences
and Directions {(OWLED} 2009), Chantilly, VA, United States, October
23-24, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {529},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-529/owled2009\_submission\_10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/ParsiaSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/TsarkovSS08,
author = {Dmitry Tsarkov and
Ulrike Sattler and
Robert Stevens},
editor = {Rinke Hoekstra and
Peter F. Patel{-}Schneider},
title = {A Solution for the Man-Man Problem in the Family History Knowledge
Base},
booktitle = {Proceedings of the 5th International Workshop on {OWL:} Experiences
and Directions {(OWLED} 2009), Chantilly, VA, United States, October
23-24, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {529},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-529/owled2009\_submission\_32.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/TsarkovSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/HorridgePS09,
author = {Matthew Horridge and
Bijan Parsia and
Ulrike Sattler},
editor = {Llu{\'{\i}}s Godo and
Andrea Pugliese},
title = {Explaining Inconsistencies in {OWL} Ontologies},
booktitle = {Scalable Uncertainty Management, Third International Conference, {SUM}
2009, Washington, DC, USA, September 28-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5785},
pages = {124--137},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04388-8\_11},
doi = {10.1007/978-3-642-04388-8\_11},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sum/HorridgePS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ihis/BaaderHS09,
author = {Franz Baader and
Ian Horrocks and
Ulrike Sattler},
editor = {Steffen Staab and
Rudi Studer},
title = {Description Logics},
booktitle = {Handbook on Ontologies},
series = {International Handbooks on Information Systems},
pages = {21--43},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92673-3\_1},
doi = {10.1007/978-3-540-92673-3\_1},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ihis/BaaderHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/GrauHKS09,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
editor = {Heiner Stuckenschmidt and
Christine Parent and
Stefano Spaccapietra},
title = {Extracting Modules from Ontologies: {A} Logic-Based Approach},
booktitle = {Modular Ontologies: Concepts, Theories and Techniques for Knowledge
Modularization},
series = {Lecture Notes in Computer Science},
volume = {5445},
pages = {159--186},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01907-4\_8},
doi = {10.1007/978-3-642-01907-4\_8},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/GrauHKS09.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}
}
@proceedings{DBLP:conf/owled/2008,
editor = {Catherine Dolbear and
Alan Ruttenberg and
Ulrike Sattler},
title = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and
Directions, collocated with the 7th International Semantic Web Conference
(ISWC-2008), Karlsruhe, Germany, October 26-27, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {432},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-432},
urn = {urn:nbn:de:0074-432-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/owled/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HustadtMS08,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
title = {Deciding expressive description logics in the framework of resolution},
journal = {Inf. Comput.},
volume = {206},
number = {5},
pages = {579--601},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.11.006},
doi = {10.1016/J.IC.2007.11.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HustadtMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GlimmLHS08,
author = {Birte Glimm and
Carsten Lutz and
Ian Horrocks and
Ulrike Sattler},
title = {Conjunctive Query Answering for the Description Logic {SHIQ}},
journal = {J. Artif. Intell. Res.},
volume = {31},
pages = {157--204},
year = {2008},
url = {https://doi.org/10.1613/jair.2372},
doi = {10.1613/JAIR.2372},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/GlimmLHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrauHKS08,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
title = {Modular Reuse of Ontologies: Theory and Practice},
journal = {J. Artif. Intell. Res.},
volume = {31},
pages = {273--318},
year = {2008},
url = {https://doi.org/10.1613/jair.2375},
doi = {10.1613/JAIR.2375},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/GrauHKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/GrauHMPPS08,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Bijan Parsia and
Peter F. Patel{-}Schneider and
Ulrike Sattler},
title = {{OWL} 2: The next step for {OWL}},
journal = {J. Web Semant.},
volume = {6},
number = {4},
pages = {309--322},
year = {2008},
url = {https://doi.org/10.1016/j.websem.2008.05.001},
doi = {10.1016/J.WEBSEM.2008.05.001},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ws/GrauHMPPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GasseSH08,
author = {Francis Gasse and
Ulrike Sattler and
Volker Haarslev},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Rewriting Rules into {SROIQ} Axioms},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/GasseSattlerHaarslev.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GasseSH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmHS08,
author = {Birte Glimm and
Ian Horrocks and
Ulrike Sattler},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Deciding SHOQ{\^{}}cap Knowledge Base Consistency using Alternating
Automata},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/GlimmHorrocksSattler.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GlimmHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Jimenez-RuizGSSL08,
author = {Ernesto Jim{\'{e}}nez{-}Ruiz and
Bernardo Cuenca Grau and
Ulrike Sattler and
Thomas Schneider and
Rafael Berlanga Llavori},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Safe and Economic Re-Use of Ontologies: {A} Logic-Based Methodology
and Tool Support},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/Jimenez-RuizCuencaGrauSattlerSchneiderBerlanga.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Jimenez-RuizGSSL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KeS08,
author = {Peihong Ke and
Ulrike Sattler},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Next Steps for Description Logics of Minimal Knowledge and Negation
as Failure},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/KeSattler.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KeS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MotikGS08,
author = {Boris Motik and
Bernardo Cuenca Grau and
Ulrike Sattler},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {The Representation of Structured Objects in DLs using Description
Graphs},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/MotikCuencaGrauSattler.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MotikGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/Jimenez-RuizGSSL08,
author = {Ernesto Jim{\'{e}}nez{-}Ruiz and
Bernardo Cuenca Grau and
Ulrike Sattler and
Thomas Schneider and
Rafael Berlanga Llavori},
editor = {Sean Bechhofer and
Manfred Hauswirth and
J{\"{o}}rg Hoffmann and
Manolis Koubarakis},
title = {Safe and Economic Re-Use of Ontologies: {A} Logic-Based Methodology
and Tool Support},
booktitle = {The Semantic Web: Research and Applications, 5th European Semantic
Web Conference, {ESWC} 2008, Tenerife, Canary Islands, Spain, June
1-5, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5021},
pages = {185--199},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68234-9\_16},
doi = {10.1007/978-3-540-68234-9\_16},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esws/Jimenez-RuizGSSL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GlimmHS08,
author = {Birte Glimm and
Ian Horrocks and
Ulrike Sattler},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Unions of Conjunctive Queries in {SHOQ}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {252--262},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-025.php},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GlimmHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MotikGHS08,
author = {Boris Motik and
Bernardo Cuenca Grau and
Ian Horrocks and
Ulrike Sattler},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Representing Structured Objects using Description Graphs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {296--306},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-029.php},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MotikGHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HorridgeBPS08,
author = {Matthew Horridge and
Johannes Bauer and
Bijan Parsia and
Ulrike Sattler},
editor = {Catherine Dolbear and
Alan Ruttenberg and
Ulrike Sattler},
title = {Understanding Entailments in {OWL}},
booktitle = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and
Directions, collocated with the 7th International Semantic Web Conference
(ISWC-2008), Karlsruhe, Germany, October 26-27, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {432},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-432/owled2008eu\_submission\_23.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/HorridgeBPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/Jimenez-RuizGS008,
author = {Ernesto Jim{\'{e}}nez{-}Ruiz and
Bernardo Cuenca Grau and
Ulrike Sattler and
Thomas Schneider and
Rafael Berlanga Llavori},
editor = {Kendall Clark and
Peter F. Patel{-}Schneider},
title = {Safe and Economic Re-Use of Ontologies: {A} Logic-Based Methodology
and Tool Support},
booktitle = {Proceedings of the Fourth {OWLED} Workshop on {OWL:} Experiences and
Directions, Washington, DC, USA, 1-2 April 2008},
series = {{CEUR} Workshop Proceedings},
volume = {496},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-496/owled2008dc\_paper\_10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/Jimenez-RuizGS008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/MotikGHS08,
author = {Boris Motik and
Bernardo Cuenca Grau and
Ian Horrocks and
Ulrike Sattler},
editor = {Catherine Dolbear and
Alan Ruttenberg and
Ulrike Sattler},
title = {Modeling Ontologies using OWL, Description Graphs, and Rules},
booktitle = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and
Directions, collocated with the 7th International Semantic Web Conference
(ISWC-2008), Karlsruhe, Germany, October 26-27, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {432},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-432/owled2008eu\_submission\_13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/owled/MotikGHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/ParsiaSS08,
author = {Bijan Parsia and
Ulrike Sattler and
Thomas Schneider},
editor = {Catherine Dolbear and
Alan Ruttenberg and
Ulrike Sattler},
title = {Easy Keys for {OWL}},
booktitle = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and
Directions, collocated with the 7th International Semantic Web Conference
(ISWC-2008), Karlsruhe, Germany, October 26-27, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {432},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-432/owled2008eu\_submission\_3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/owled/ParsiaSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgePS08,
author = {Matthew Horridge and
Bijan Parsia and
Ulrike Sattler},
editor = {Amit P. Sheth and
Steffen Staab and
Mike Dean and
Massimo Paolucci and
Diana Maynard and
Timothy W. Finin and
Krishnaprasad Thirunarayan},
title = {Laconic and Precise Justifications in {OWL}},
booktitle = {The Semantic Web - {ISWC} 2008, 7th International Semantic Web Conference,
{ISWC} 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5318},
pages = {323--338},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88564-1\_21},
doi = {10.1007/978-3-540-88564-1\_21},
timestamp = {Tue, 07 Sep 2021 13:47:52 +0200},
biburl = {https://dblp.org/rec/conf/semweb/HorridgePS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgePS08a,
author = {Matthew Horridge and
Bijan Parsia and
Ulrike Sattler},
editor = {Christian Bizer and
Anupam Joshi},
title = {Explanation of {OWL} Entailments in Protege 4},
booktitle = {Proceedings of the Poster and Demonstration Session at the 7th International
Semantic Web Conference (ISWC2008), Karlsruhe, Germany, October 28,
2008},
series = {{CEUR} Workshop Proceedings},
volume = {401},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-401/iswc2008pd\_submission\_47.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:06 +0100},
biburl = {https://dblp.org/rec/conf/semweb/HorridgePS08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MotikGS08,
author = {Boris Motik and
Bernardo Cuenca Grau and
Ulrike Sattler},
editor = {Jinpeng Huai and
Robin Chen and
Hsiao{-}Wuen Hon and
Yunhao Liu and
Wei{-}Ying Ma and
Andrew Tomkins and
Xiaodong Zhang},
title = {Structured objects in owl: representation and reasoning},
booktitle = {Proceedings of the 17th International Conference on World Wide Web,
{WWW} 2008, Beijing, China, April 21-25, 2008},
pages = {555--564},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1367497.1367573},
doi = {10.1145/1367497.1367573},
timestamp = {Tue, 20 Dec 2022 21:20:03 +0100},
biburl = {https://dblp.org/rec/conf/www/MotikGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/womo/2008,
editor = {Ulrike Sattler and
Andrei Tamilin},
title = {Proceedings of the Workshop on Ontologies: Reasoning and Modularity,
WoMO 2008, Tenerife, Spain, June 2, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {348},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-348},
urn = {urn:nbn:de:0074-348-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/womo/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BaaderHS08,
author = {Franz Baader and
Ian Horrocks and
Ulrike Sattler},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Description Logics},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {135--179},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03003-9},
doi = {10.1016/S1574-6526(07)03003-9},
timestamp = {Mon, 06 Nov 2023 17:08:49 +0100},
biburl = {https://dblp.org/rec/reference/fai/BaaderHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ArangurenBLSS07,
author = {Mikel Ega{\~{n}}a Aranguren and
Sean Bechhofer and
Phillip W. Lord and
Ulrike Sattler and
Robert D. Stevens},
title = {Understanding and using the meaning of statements in a bio-ontology:
recasting the Gene Ontology in {OWL}},
journal = {{BMC} Bioinform.},
volume = {8},
year = {2007},
url = {https://doi.org/10.1186/1471-2105-8-57},
doi = {10.1186/1471-2105-8-57},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/ArangurenBLSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/StevensAWSDHR07,
author = {Robert Stevens and
Mikel Ega{\~{n}}a Aranguren and
Katy Wolstencroft and
Ulrike Sattler and
Nick Drummond and
Matthew Horridge and
Alan L. Rector},
title = {Using {OWL} to model biological knowledge},
journal = {Int. J. Hum. Comput. Stud.},
volume = {65},
number = {7},
pages = {583--594},
year = {2007},
url = {https://doi.org/10.1016/j.ijhcs.2007.03.006},
doi = {10.1016/J.IJHCS.2007.03.006},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/StevensAWSDHR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HorrocksS07,
author = {Ian Horrocks and
Ulrike Sattler},
title = {A Tableau Decision Procedure for \emph{SHOIQ}},
journal = {J. Autom. Reason.},
volume = {39},
number = {3},
pages = {249--276},
year = {2007},
url = {https://doi.org/10.1007/s10817-007-9079-9},
doi = {10.1007/S10817-007-9079-9},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HorrocksS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HustadtMS07,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
title = {Reasoning in Description Logics by a Reduction to Disjunctive Datalog},
journal = {J. Autom. Reason.},
volume = {39},
number = {3},
pages = {351--384},
year = {2007},
url = {https://doi.org/10.1007/s10817-007-9080-3},
doi = {10.1007/S10817-007-9080-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HustadtMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmHS07,
author = {Birte Glimm and
Ian Horrocks and
Ulrike Sattler},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Conjunctive Query Entailment for {SHOQ}},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-250/paper\_63.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GlimmHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauHKS07,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Ontology Reuse: Better Safe than Sorry},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-250/paper\_27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GrauHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaaderGSS07,
author = {Franz Baader and
Bernhard Ganter and
Baris Sertkaya and
Ulrike Sattler},
editor = {Manuela M. Veloso},
title = {Completing Description Logic Knowledge Bases Using Formal Concept
Analysis},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {230--235},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/035.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BaaderGSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrauHKS07,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
editor = {Manuela M. Veloso},
title = {A Logical Framework for Modularity of Ontologies},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {298--303},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/046.pdf},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GrauHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GlimmHLS07,
author = {Birte Glimm and
Ian Horrocks and
Carsten Lutz and
Ulrike Sattler},
editor = {Manuela M. Veloso},
title = {Conjunctive Query Answering for the Description Logic {SHIQ}},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {399--404},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/062.pdf},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GlimmHLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KazakovSZ07,
author = {Yevgeny Kazakov and
Ulrike Sattler and
Evgeny Zolin},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {How Many Legs Do {I} Have? Non-Simple Roles in Number Restrictions
Revisited},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {303--317},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_23},
doi = {10.1007/978-3-540-75560-9\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KazakovSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/BaaderGSS07,
author = {Franz Baader and
Bernhard Ganter and
Ulrike Sattler and
Baris Sertkaya},
editor = {Christine Golbreich and
Aditya Kalyanpur and
Bijan Parsia},
title = {Completing Description Logic Knowledge Bases using Formal Concept
Analysis},
booktitle = {Proceedings of the {OWLED} 2007 Workshop on {OWL:} Experiences and
Directions, Innsbruck, Austria, June 6-7, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {258},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-258/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/BaaderGSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/GrauHKS07,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
editor = {Christine Golbreich and
Aditya Kalyanpur and
Bijan Parsia},
title = {Extracting Modules from Ontologies: {A} Logic-based Approach},
booktitle = {Proceedings of the {OWLED} 2007 Workshop on {OWL:} Experiences and
Directions, Innsbruck, Austria, June 6-7, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {258},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-258/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/owled/GrauHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/MotikHS07,
author = {Boris Motik and
Ian Horrocks and
Ulrike Sattler},
editor = {Christine Golbreich and
Aditya Kalyanpur and
Bijan Parsia},
title = {Adding Integrity Constraints to {OWL}},
booktitle = {Proceedings of the {OWLED} 2007 Workshop on {OWL:} Experiences and
Directions, Innsbruck, Austria, June 6-7, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {258},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-258/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/owled/MotikHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/Sattler07,
author = {Ulrike Sattler},
editor = {Grigoris Antoniou and
Uwe A{\ss}mann and
Cristina Baroglio and
Stefan Decker and
Nicola Henze and
Paula{-}Lavinia Patranjan and
Robert Tolksdorf},
title = {Reasoning in Description Logics: Basics, Extensions, and Relatives},
booktitle = {Reasoning Web, Third International Summer School 2007, Dresden, Germany,
September 3-7, 2007, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {4636},
pages = {154--182},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74615-7\_2},
doi = {10.1007/978-3-540-74615-7\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rweb/Sattler07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/GrauHKS07,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Yevgeny Kazakov and
Ulrike Sattler},
editor = {Carey L. Williamson and
Mary Ellen Zurko and
Peter F. Patel{-}Schneider and
Prashant J. Shenoy},
title = {Just the right amount: extracting modules from ontologies},
booktitle = {Proceedings of the 16th International Conference on World Wide Web,
{WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
pages = {717--726},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1242572.1242669},
doi = {10.1145/1242572.1242669},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/GrauHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MotikHS07,
author = {Boris Motik and
Ian Horrocks and
Ulrike Sattler},
editor = {Carey L. Williamson and
Mary Ellen Zurko and
Peter F. Patel{-}Schneider and
Prashant J. Shenoy},
title = {Bridging the gap between {OWL} and relational databases},
booktitle = {Proceedings of the 16th International Conference on World Wide Web,
{WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
pages = {807--816},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1242572.1242681},
doi = {10.1145/1242572.1242681},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/MotikHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/07/HorrocksHSS07,
author = {Ian Horrocks and
Ullrich Hustadt and
Ulrike Sattler and
Renate A. Schmidt},
editor = {Patrick Blackburn and
J. F. A. K. van Benthem and
Frank Wolter},
title = {Computational modal logic},
booktitle = {Handbook of Modal Logic},
series = {Studies in logic and practical reasoning},
volume = {3},
pages = {181--245},
publisher = {North-Holland},
year = {2007},
url = {https://doi.org/10.1016/s1570-2464(07)80007-3},
doi = {10.1016/S1570-2464(07)80007-3},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/07/HorrocksHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/PanSV06,
author = {Guoqiang Pan and
Ulrike Sattler and
Moshe Y. Vardi},
title = {BDD-based decision procedures for the modal logic {K}},
journal = {J. Appl. Non Class. Logics},
volume = {16},
number = {1-2},
pages = {169--208},
year = {2006},
url = {https://doi.org/10.3166/jancl.16.169-207},
doi = {10.3166/JANCL.16.169-207},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/PanSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HullZBHSS06,
author = {Duncan Hull and
Evgeny Zolin and
Andrey Bovykin and
Ian Horrocks and
Ulrike Sattler and
Robert Stevens},
title = {Deciding Semantic Matching of Stateless Services},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {1319--1324},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-207.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HullZBHSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmHS06,
author = {Birte Glimm and
Ian Horrocks and
Ulrike Sattler},
editor = {Bijan Parsia and
Ulrike Sattler and
David Toman},
title = {Conjunctive Query Answering for Description Logics with Transitive
Roles},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics
(DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {189},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-189/submission\_5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GlimmHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauHKS06,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Oliver Kutz and
Ulrike Sattler},
editor = {Bijan Parsia and
Ulrike Sattler and
David Toman},
title = {Will my Ontologies Fit Together?},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics
(DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {189},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-189/submission\_24.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GrauHKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HorrocksKS06,
author = {Ian Horrocks and
Oliver Kutz and
Ulrike Sattler},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {The Even More Irresistible {SROIQ}},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {57--67},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-009.php},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/HorrocksKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MotikS06,
author = {Boris Motik and
Ulrike Sattler},
editor = {Miki Hermann and
Andrei Voronkov},
title = {A Comparison of Reasoning Techniques for Querying Large Description
Logic ABoxes},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {227--241},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_16},
doi = {10.1007/11916277\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MotikS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/ElsenbroichKS06,
author = {Corinna Elsenbroich and
Oliver Kutz and
Ulrike Sattler},
editor = {Bernardo Cuenca Grau and
Pascal Hitzler and
Conor Shankey and
Evan Wallace},
title = {A Case for Abductive Reasoning over Ontologies},
booktitle = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions,
Athens, Georgia, USA, November 10-11, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {216},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-216/submission\_25.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/ElsenbroichKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/GrauHPPS06,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Bijan Parsia and
Peter F. Patel{-}Schneider and
Ulrike Sattler},
editor = {Bernardo Cuenca Grau and
Pascal Hitzler and
Conor Shankey and
Evan Wallace},
title = {Next Steps for {OWL}},
booktitle = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions,
Athens, Georgia, USA, November 10-11, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {216},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-216/submission\_11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/owled/GrauHPPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/LutzBFLMRSST06,
author = {Carsten Lutz and
Franz Baader and
Enrico Franconi and
Domenico Lembo and
Ralf M{\"{o}}ller and
Riccardo Rosati and
Ulrike Sattler and
Boontawee Suntisrivaraporn and
Sergio Tessaris},
editor = {Bernardo Cuenca Grau and
Pascal Hitzler and
Conor Shankey and
Evan Wallace},
title = {Reasoning Support for Ontology Design},
booktitle = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions,
Athens, Georgia, USA, November 10-11, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {216},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-216/submission\_2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/owled/LutzBFLMRSST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MotikHRS06,
author = {Boris Motik and
Ian Horrocks and
Riccardo Rosati and
Ulrike Sattler},
editor = {Isabel F. Cruz and
Stefan Decker and
Dean Allemang and
Chris Preist and
Daniel Schwabe and
Peter Mika and
Michael Uschold and
Lora Aroyo},
title = {Can {OWL} and Logic Programming Live Together Happily Ever After?},
booktitle = {The Semantic Web - {ISWC} 2006, 5th International Semantic Web Conference,
{ISWC} 2006, Athens, GA, USA, November 5-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4273},
pages = {501--514},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11926078\_36},
doi = {10.1007/11926078\_36},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/MotikHRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HorrocksGS07,
author = {Ian Horrocks and
Birte Glimm and
Ulrike Sattler},
editor = {Patrick Blackburn and
Thomas Bolander and
Torben Bra{\"{u}}ner and
Valeria de Paiva and
J{\o}rgen Villadsen},
title = {Hybrid Logics and Ontology Languages},
booktitle = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
2006, Seattle, WA, USA, August 11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {6},
pages = {3--14},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.022},
doi = {10.1016/J.ENTCS.2006.11.022},
timestamp = {Fri, 27 Jan 2023 13:46:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HorrocksGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2006,
editor = {Bijan Parsia and
Ulrike Sattler and
David Toman},
title = {Proceedings of the 2006 International Workshop on Description Logics
(DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {189},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-189},
urn = {urn:nbn:de:0074-189-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2006,
editor = {Pedro Barahona and
Fran{\c{c}}ois Bry and
Enrico Franconi and
Nicola Henze and
Ulrike Sattler},
title = {Reasoning Web, Second International Summer School 2006, Lisbon, Portugal,
September 4-8, 2006, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {4126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11837787},
doi = {10.1007/11837787},
isbn = {3-540-38409-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LutzST05,
author = {Carsten Lutz and
Ulrike Sattler and
Lidia Tendera},
title = {The complexity of finite model reasoning in description logics},
journal = {Inf. Comput.},
volume = {199},
number = {1-2},
pages = {132--171},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2004.11.002},
doi = {10.1016/J.IC.2004.11.002},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/LutzST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/LutzAHS05,
author = {Carsten Lutz and
Carlos Areces and
Ian Horrocks and
Ulrike Sattler},
title = {Keys, Nominals, and Concrete Domains},
journal = {J. Artif. Intell. Res.},
volume = {23},
pages = {667--726},
year = {2005},
url = {https://doi.org/10.1613/jair.1542},
doi = {10.1613/JAIR.1542},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/LutzAHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/MotikSS05,
author = {Boris Motik and
Ulrike Sattler and
Rudi Studer},
title = {Query Answering for {OWL-DL} with rules},
journal = {J. Web Semant.},
volume = {3},
number = {1},
pages = {41--60},
year = {2005},
url = {https://doi.org/10.1016/j.websem.2005.05.001},
doi = {10.1016/J.WEBSEM.2005.05.001},
timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/MotikSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaaderLMSW05,
author = {Franz Baader and
Carsten Lutz and
Maja Milicic and
Ulrike Sattler and
Frank Wolter},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Integrating Description Logics and Action Formalisms: First Results},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {572--577},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-089.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BaaderLMSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaaderHS05,
author = {Franz Baader and
Ian Horrocks and
Ulrike Sattler},
editor = {Dieter Hutter and
Werner Stephan},
title = {Description Logics as Ontology Languages for the Semantic Web},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {228--248},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_14},
doi = {10.1007/978-3-540-32254-2\_14},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaaderHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderMLSW05,
author = {Franz Baader and
Maja Milicic and
Carsten Lutz and
Ulrike Sattler and
Frank Wolter},
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {Integrating Description Logics and Action Formalisms: First Results},
booktitle = {Proceedings of the 2005 International Workshop on Description Logics
(DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-147/04-BMLSW.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderMLSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GoderisSG05,
author = {Antoon Goderis and
Ulrike Sattler and
Carole A. Goble},
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {Applying Description Logics for Workflow Reuse and Repurposing},
booktitle = {Proceedings of the 2005 International Workshop on Description Logics
(DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-147/33-Goderis.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GoderisSG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HorrocksS05,
author = {Ian Horrocks and
Ulrike Sattler},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {A Tableaux Decision Procedure for {SHOIQ}},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {448--453},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0759.pdf},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HorrocksS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HustadtMS05,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Data Complexity of Reasoning in Very Expressive Description Logics},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {466--471},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0326.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HustadtMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HorrocksKS05,
author = {Ian Horrocks and
Oliver Kutz and
Ulrike Sattler},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Bijan Parsia and
Peter F. Patel{-}Schneider},
title = {The Irresistible {SRIQ}},
booktitle = {Proceedings of the OWLED*05 Workshop on {OWL:} Experiences and Directions,
Galway, Ireland, November 11-12, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {188},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-188/sub20.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/HorrocksKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GoderisSLG05,
author = {Antoon Goderis and
Ulrike Sattler and
Phillip W. Lord and
Carole A. Goble},
editor = {Yolanda Gil and
Enrico Motta and
V. Richard Benjamins and
Mark A. Musen},
title = {Seven Bottlenecks to Workflow Reuse and Repurposing},
booktitle = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference,
{ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3729},
pages = {323--337},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11574620\_25},
doi = {10.1007/11574620\_25},
timestamp = {Tue, 07 Sep 2021 13:47:46 +0200},
biburl = {https://dblp.org/rec/conf/semweb/GoderisSLG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/WolstencroftBHLSTS05,
author = {Katy Wolstencroft and
Andy Brass and
Ian Horrocks and
Phillip W. Lord and
Ulrike Sattler and
Daniele Turi and
Robert Stevens},
editor = {Yolanda Gil and
Enrico Motta and
V. Richard Benjamins and
Mark A. Musen},
title = {A Little Semantic Web Goes a Long Way in Biology},
booktitle = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference,
{ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3729},
pages = {786--800},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11574620\_56},
doi = {10.1007/11574620\_56},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/WolstencroftBHLSTS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2005,
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {Proceedings of the 2005 International Workshop on Description Logics
(DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-147},
urn = {urn:nbn:de:0074-147-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HorrocksS04,
author = {Ian Horrocks and
Ulrike Sattler},
title = {Decidability of {SHIQ} with complex role inclusion axioms},
journal = {Artif. Intell.},
volume = {160},
number = {1-2},
pages = {79--104},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2004.06.002},
doi = {10.1016/J.ARTINT.2004.06.002},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/HorrocksS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HustadtMS04,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Reasoning in Description Logics with a Concrete Domain in the Framework
of Resolution},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {353--357},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HustadtMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HustadtMS04,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Reducing SHIQ-Description Logic to Disjunctive Datalog Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {152--162},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-018.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HustadtMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HustadtMS04,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Franz Baader and
Andrei Voronkov},
title = {A Decomposition Rule for Decision Procedures by Resolution-Based Calculi},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {21--35},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_2},
doi = {10.1007/978-3-540-32275-7\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HustadtMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MotikSS04,
author = {Boris Motik and
Ulrike Sattler and
Rudi Studer},
editor = {Sheila A. McIlraith and
Dimitris Plexousakis and
Frank van Harmelen},
title = {Query Answering for {OWL-DL} with Rules},
booktitle = {The Semantic Web - {ISWC} 2004: Third International Semantic Web Conference,Hiroshima,
Japan, November 7-11, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3298},
pages = {549--563},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30475-3\_38},
doi = {10.1007/978-3-540-30475-3\_38},
timestamp = {Tue, 07 Sep 2021 13:47:57 +0200},
biburl = {https://dblp.org/rec/conf/semweb/MotikSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/staabS2004/BaaderHS04,
author = {Franz Baader and
Ian Horrocks and
Ulrike Sattler},
editor = {Steffen Staab and
Rudi Studer},
title = {Description Logics},
booktitle = {Handbook on Ontologies},
series = {International Handbooks on Information Systems},
pages = {3--28},
publisher = {Springer},
year = {2004},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/staabS2004/BaaderHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2004phd,
editor = {Ulrike Sattler},
title = {Contributions to the Doctoral Programme of the 2nd International Joint
Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {106},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-106},
urn = {urn:nbn:de:0074-106-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2004phd.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/BaaderS03,
author = {Franz Baader and
Ulrike Sattler},
title = {Description logics with aggregates and concrete domains},
journal = {Inf. Syst.},
volume = {28},
number = {8},
pages = {979--1004},
year = {2003},
url = {https://doi.org/10.1016/S0306-4379(03)00003-6},
doi = {10.1016/S0306-4379(03)00003-6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/BaaderS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LutzST03,
author = {Carsten Lutz and
Ulrike Sattler and
Lidia Tendera},
editor = {Franz Baader},
title = {The Complexity of Finite Model Reasoning in Description Logics},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {60--74},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_6},
doi = {10.1007/978-3-540-45085-6\_6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LutzST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HladikS03,
author = {Jan Hladik and
Ulrike Sattler},
editor = {Franz Baader},
title = {A Translation of Looping Alternating Automata into Description Logics},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {90--105},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_8},
doi = {10.1007/978-3-540-45085-6\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HladikS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzST03,
author = {Carsten Lutz and
Ulrike Sattler and
Lidia Tendera},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Finite Model Reasoning in {ALCQI} is {EXPTIME} Logics},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/sattler.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HorrocksS03,
author = {Ian Horrocks and
Ulrike Sattler},
editor = {Georg Gottlob and
Toby Walsh},
title = {Decidability of {SHIQ} with Complex Role Inclusion Axioms},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {343--348},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/051.pdf},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HorrocksS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LutzAHS03,
author = {Carsten Lutz and
Carlos Areces and
Ian Horrocks and
Ulrike Sattler},
editor = {Georg Gottlob and
Toby Walsh},
title = {Keys, Nominals, and Concrete Domains},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {349--354},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/052.pdf},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LutzAHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/dlog/Sattler03,
author = {Ulrike Sattler and
Diego Calvanese and
Ralf Molitor},
editor = {Franz Baader and
Diego Calvanese and
Deborah L. McGuinness and
Daniele Nardi and
Peter F. Patel{-}Schneider},
title = {Relationships with other Formalisms},
booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
pages = {137--177},
publisher = {Cambridge University Press},
year = {2003},
timestamp = {Mon, 20 Nov 2017 13:02:05 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Sattler03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/krdb/2003,
editor = {Fran{\c{c}}ois Bry and
Carsten Lutz and
Ulrike Sattler and
Mareike Schoop},
title = {Proceedings of the 10th International Workshop on Knowledge Representation
meets Databases {(KRDB} 2003), Hamburg, Germany, September 15-16,
2003},
series = {{CEUR} Workshop Proceedings},
volume = {79},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-79},
urn = {urn:nbn:de:0074-79-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/krdb/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DemriS02,
author = {St{\'{e}}phane Demri and
Ulrike Sattler},
title = {Automata-Theoretic Decision Procedures for Information Logics},
journal = {Fundam. Informaticae},
volume = {53},
number = {1},
pages = {1--22},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi53-1-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DemriS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BaaderHS02,
author = {Franz Baader and
Ian Horrocks and
Ulrike Sattler},
title = {Description Logics for the Semantic Web},
journal = {K{\"{u}}nstliche Intell.},
volume = {16},
number = {4},
pages = {57--59},
year = {2002},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/BaaderHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PanSV02,
author = {Guoqiang Pan and
Ulrike Sattler and
Moshe Y. Vardi},
editor = {Andrei Voronkov},
title = {BDD-Based Decision Procedures for {K}},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {16--30},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_2},
doi = {10.1007/3-540-45620-1\_2},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/PanSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KupfermanSV02,
author = {Orna Kupferman and
Ulrike Sattler and
Moshe Y. Vardi},
editor = {Andrei Voronkov},
title = {The Complexity of the Graded {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {423--437},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_34},
doi = {10.1007/3-540-45620-1\_34},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KupfermanSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzS02,
author = {Carsten Lutz and
Ulrike Sattler},
editor = {Ian Horrocks and
Sergio Tessaris},
title = {A proposal for describing services with DLs},
booktitle = {Proceedings of the 2002 International Workshop on Description Logics
(DL2002), Toulouse, France, April 19-21, 2002},
series = {{CEUR} Workshop Proceedings},
volume = {53},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-53/sattler.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HorrocksS02,
author = {Ian Horrocks and
Ulrike Sattler},
editor = {Frank van Harmelen},
title = {Optimised Reasoning for {SHIQ}},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,
ECAI'2002, Lyon, France, July 2002},
pages = {277--281},
publisher = {{IOS} Press},
year = {2002},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HorrocksS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BaaderS01,
author = {Franz Baader and
Ulrike Sattler},
title = {An Overview of Tableau Algorithms for Description Logics},
journal = {Stud Logica},
volume = {69},
number = {1},
pages = {5--40},
year = {2001},
url = {https://doi.org/10.1023/A:1013882326814},
doi = {10.1023/A:1013882326814},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BaaderS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SattlerV01,
author = {Ulrike Sattler and
Moshe Y. Vardi},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {The Hybrid {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {76--91},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_7},
doi = {10.1007/3-540-45744-5\_7},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/SattlerV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/LutzSW01,
author = {Carsten Lutz and
Ulrike Sattler and
Frank Wolter},
editor = {Laurent Fribourg},
title = {Modal Logic and the Two-Variable Fragment},
booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2142},
pages = {247--261},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_18},
doi = {10.1007/3-540-44802-0\_18},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/LutzSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzSW01,
author = {Carsten Lutz and
Ulrike Sattler and
Frank Wolter},
editor = {Carole A. Goble and
Deborah L. McGuinness and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {Description Logics and the Two-Variable Fragment},
booktitle = {Working Notes of the 2001 International Description Logics Workshop
(DL-2001), Stanford, CA, USA, August 1-3, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {49},
publisher = {CEUR-WS.org},
year = {2001},
url = {https://ceur-ws.org/Vol-49/LutzSattlerWolter-66start.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HorrocksS01,
author = {Ian Horrocks and
Ulrike Sattler},
editor = {Bernhard Nebel},
title = {Ontology Reasoning in the {SHOQ(D)} Description Logic},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {199--204},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HorrocksS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HorrocksST00,
author = {Ian Horrocks and
Ulrike Sattler and
Stephan Tobies},
title = {Practical Reasoning for Very Expressive Description Logics},
journal = {Log. J. {IGPL}},
volume = {8},
number = {3},
pages = {239--263},
year = {2000},
url = {https://doi.org/10.1093/jigpal/8.3.239},
doi = {10.1093/JIGPAL/8.3.239},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/HorrocksST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/LutzS00,
author = {Carsten Lutz and
Ulrike Sattler},
editor = {Frank Wolter and
Heinrich Wansing and
Maarten de Rijke and
Michael Zakharyaschev},
title = {The Complexity of Reasoning with Boolean Modal Logics},
booktitle = {Advances in Modal Logic 3, papers from the third conference on "Advances
in Modal logic," held in Leipzig, Germany, 4-7 October 2000},
pages = {329--348},
publisher = {World Scientific},
year = {2000},
url = {https://doi.org/10.1142/9789812776471\_0018},
doi = {10.1142/9789812776471\_0018},
timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},
biburl = {https://dblp.org/rec/conf/aiml/LutzS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HorrocksST00,
author = {Ian Horrocks and
Ulrike Sattler and
Stephan Tobies},
editor = {David A. McAllester},
title = {Reasoning with Individuals for the Description Logic {SHIQ}},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {482--496},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_39},
doi = {10.1007/10721959\_39},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HorrocksST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzS00,
author = {Carsten Lutz and
Ulrike Sattler},
editor = {Franz Baader and
Ulrike Sattler},
title = {Mary Likes all Cats},
booktitle = {Proceedings of the 2000 International Workshop on Description Logics
(DL2000), Aachen, Germany, August 17-19, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {33},
pages = {213--226},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-33/Lutz213-226.ps},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Sattler00,
author = {Ulrike Sattler},
editor = {Werner Horn},
title = {Description Logics for the Representation of Aggregated Objects},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {239--243},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Sattler00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/HorrocksSTT00,
author = {Ian Horrocks and
Ulrike Sattler and
Sergio Tessaris and
Stephan Tobies},
editor = {Mokrane Bouzeghoub and
Matthias Klusch and
Werner Nutt and
Ulrike Sattler},
title = {How to decide Query Containment under Constraints using a Description
Logic},
booktitle = {Proceedings of the 7th International Workshop on Knowledge Representation
meets Databases {(KRDB} 2000), Berlin, Germany, August 21, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {29},
pages = {59--72},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-29/05-HoSST.ps},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/krdb/HorrocksSTT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HorrocksSTT00,
author = {Ian Horrocks and
Ulrike Sattler and
Sergio Tessaris and
Stephan Tobies},
editor = {Michel Parigot and
Andrei Voronkov},
title = {How to Decide Query Containment Under Constraints Using a Description
Logic},
booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference,
{LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1955},
pages = {326--343},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44404-1\_21},
doi = {10.1007/3-540-44404-1\_21},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HorrocksSTT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2000,
editor = {Franz Baader and
Ulrike Sattler},
title = {Proceedings of the 2000 International Workshop on Description Logics
(DL2000), Aachen, Germany, August 17-19, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {33},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-33},
urn = {urn:nbn:de:0074-33-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/krdb/2000,
editor = {Mokrane Bouzeghoub and
Matthias Klusch and
Werner Nutt and
Ulrike Sattler},
title = {Proceedings of the 7th International Workshop on Knowledge Representation
meets Databases {(KRDB} 2000), Berlin, Germany, August 21, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {29},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-29},
urn = {urn:nbn:de:0074-29-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/krdb/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0005013,
author = {Ian Horrocks and
Ulrike Sattler and
Stephan Tobies},
title = {Practical Reasoning for Very Expressive Description Logics},
journal = {CoRR},
volume = {cs.LO/0005013},
year = {2000},
url = {https://arxiv.org/abs/cs/0005013},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0005013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0005014,
author = {Ian Horrocks and
Ulrike Sattler and
Stephan Tobies},
title = {Practical Reasoning for Expressive Description Logics},
journal = {CoRR},
volume = {cs.LO/0005014},
year = {2000},
url = {https://arxiv.org/abs/cs/0005014},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0005014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0005017,
author = {Ian Horrocks and
Ulrike Sattler and
Stephan Tobies},
title = {Reasoning with Individuals for the Description Logic {SHIQ}},
journal = {CoRR},
volume = {cs.LO/0005017},
year = {2000},
url = {https://arxiv.org/abs/cs/0005017},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0005017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaaderS99,
author = {Franz Baader and
Ulrike Sattler},
title = {Expressive Number Restrictions in Description Logics},
journal = {J. Log. Comput.},
volume = {9},
number = {3},
pages = {319--350},
year = {1999},
url = {https://doi.org/10.1093/logcom/9.3.319},
doi = {10.1093/LOGCOM/9.3.319},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BaaderS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HorrocksS99,
author = {Ian Horrocks and
Ulrike Sattler},
title = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
journal = {J. Log. Comput.},
volume = {9},
number = {3},
pages = {385--410},
year = {1999},
url = {https://doi.org/10.1093/logcom/9.3.385},
doi = {10.1093/LOGCOM/9.3.385},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HorrocksS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzST99,
author = {Carsten Lutz and
Ulrike Sattler and
Stephan Tobies},
editor = {Patrick Lambrix and
Alexander Borgida and
Maurizio Lenzerini and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {A Suggestion for an n-ary Description Logic},
booktitle = {Proceedings of the 1999 International Workshop on Description Logics
(DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999},
series = {{CEUR} Workshop Proceedings},
volume = {22},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-22/lutz.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmdw/FranconiS99,
author = {Enrico Franconi and
Ulrike Sattler},
editor = {Stella Gatziu and
Manfred A. Jeusfeld and
Martin Staudt and
Yannis Vassiliou},
title = {A Data Warehouse Conceptual Data Model for Multidimensional Aggregation},
booktitle = {Proceedings of the Intl. Workshop on Design and Management of Data
Warehouses, DMDW'99, Heidelberg, Germany, June 14-15, 1999},
series = {{CEUR} Workshop Proceedings},
volume = {19},
pages = {13},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-19/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/dmdw/FranconiS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HorrocksST99,
author = {Ian Horrocks and
Ulrike Sattler and
Stephan Tobies},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Practical Reasoning for Expressive Description Logics},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {161--180},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_11},
doi = {10.1007/3-540-48242-3\_11},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HorrocksST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0002945,
author = {Ulrike Sattler},
title = {Terminological knowledge representation systems in a process engineering
application},
school = {{RWTH} Aachen University, Germany},
year = {1998},
url = {https://d-nb.info/957405774},
isbn = {978-3-89653-348-7},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0002945.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HorrocksS98,
author = {Ian Horrocks and
Ulrike Sattler},
editor = {Enrico Franconi and
Giuseppe De Giacomo and
Robert M. MacGregor and
Werner Nutt and
Christopher A. Welty},
title = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
booktitle = {Proceedings of the 1998 International Workshop on Description Logics
(DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998},
series = {{CEUR} Workshop Proceedings},
volume = {11},
publisher = {CEUR-WS.org},
year = {1998},
url = {https://ceur-ws.org/Vol-11/HorrocksSattlerDL98.ps},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HorrocksS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BaaderS98,
author = {Franz Baader and
Ulrike Sattler},
editor = {Henri Prade},
title = {Description Logics with Concrete Domains and Aggregation},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {336--340},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BaaderS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/HacidS98,
author = {Mohand{-}Said Hacid and
Ulrike Sattler},
editor = {Walter Baets},
title = {Modeling multidimensional database: a formal object-oriented approach},
booktitle = {Proceedings of the Sixth European Conference on Information Systems,
{ECIS} 1998, Aix-en-Provence, France, 1998},
pages = {247--259},
publisher = {Euro-Arab Management School},
year = {1998},
timestamp = {Mon, 05 Dec 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecis/HacidS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderS97,
author = {Franz Baader and
Ulrike Sattler},
editor = {Ronald J. Brachman and
Francesco M. Donini and
Enrico Franconi and
Ian Horrocks and
Alon Y. Levy and
Marie{-}Christine Rousset},
title = {Description Logics with Aggregates and Concrete Domains},
booktitle = {Proceedings of the 1997 International Workshop on Description Logics,
Universit{\'{e}} Paris-Sud, Centre d'Orsay, Laboratoire de Recherche
en Informatique LRI, France},
series = {{URA-CNRS}},
volume = {410},
year = {1997},
url = {http://dl.kr.org/dl97/proceedings/sattler.ps.gz},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/dlog/BaaderS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderS96,
author = {Franz Baader and
Ulrike Sattler},
editor = {Lin Padgham and
Enrico Franconi and
Manfred Gehrke and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider},
title = {Number Restrictions on Complex Roles in Description Logics: {A} Preliminary
Report},
booktitle = {Proceedings of the 1996 International Workshop on Description Logics,
November 2-4, 1996, Cambridge, MA, {USA}},
series = {{AAAI} Technical Report},
volume = {{WS-96-05}},
pages = {3--14},
publisher = {{AAAI} Press},
year = {1996},
timestamp = {Fri, 05 Mar 2004 14:36:40 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderS96a,
author = {Franz Baader and
Ulrike Sattler},
editor = {Lin Padgham and
Enrico Franconi and
Manfred Gehrke and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider},
title = {Knowledge Representation in Process Engineering},
booktitle = {Proceedings of the 1996 International Workshop on Description Logics,
November 2-4, 1996, Cambridge, MA, {USA}},
series = {{AAAI} Technical Report},
volume = {{WS-96-05}},
pages = {74--78},
publisher = {{AAAI} Press},
year = {1996},
timestamp = {Fri, 05 Mar 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderS96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BaaderS96,
author = {Franz Baader and
Ulrike Sattler},
editor = {Wolfgang Wahlster},
title = {Description Logics with Symbolic Number Restrictions},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
August 11-16, 1996, Proceedings},
pages = {283--287},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BaaderS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Sattler96,
author = {Ulrike Sattler},
editor = {G{\"{u}}nther G{\"{o}}rz and
Steffen H{\"{o}}lldobler},
title = {A Concept Language Extended with Different Kinds of Transitive Roles},
booktitle = {{KI-96:} Advances in Artificial Intelligence, 20th Annual German Conference
on Artificial Intelligence, Dresden, Germany, September 17-19, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1137},
pages = {333--345},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61708-6\_74},
doi = {10.1007/3-540-61708-6\_74},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Sattler96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaaderS96,
author = {Franz Baader and
Ulrike Sattler},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Number Restrictions on Complex Roles in Description Logics: {A} Preliminary
Report},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {328--339},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaaderS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergeronS95,
author = {Fran{\c{c}}ois Bergeron and
Ulrike Sattler},
title = {Constructible Differentially Finite Algebraic Series in Several Variables},
journal = {Theor. Comput. Sci.},
volume = {144},
number = {1{\&}2},
pages = {59--65},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00297-V},
doi = {10.1016/0304-3975(94)00297-V},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BergeronS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-03 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
