Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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 May 2024 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, 07 May 2024 20:28:20 +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} }
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.