Year 2015 |
| S. Wandelt and X. Sun (2015), "Efficient Compression of 4D-Trajectory Data in Air Traffic Management" , Intelligent Transportation Systems, IEEE Transactions on., April, 2015. Vol. 16(2), pp. 844-853. [BibTeX] [DOI] |
@article{6887350,
author = {Wandelt, S. and Xiaoqian Sun},
title = {Efficient Compression of 4D-Trajectory Data in Air Traffic Management},
journal = {Intelligent Transportation Systems, IEEE Transactions on},
year = {2015},
volume = {16},
number = {2},
pages = {844-853},
doi = {10.1109/TITS.2014.2345055}
}
|
| X. Sun, S. Wandelt and F. Linke (2015), "Temporal evolution analysis of the European air transportation system: air navigation route network and airport network" , Transportmetrica B: Transport Dynamics. Vol. 3(2), pp. 153-168. [BibTeX] [DOI] [URL] |
@article{doi:10.1080/21680566.2014.960504,
author = {Xiaoqian Sun and Sebastian Wandelt and Florian Linke},
title = {Temporal evolution analysis of the European air transportation system: air navigation route network and airport network},
journal = {Transportmetrica B: Transport Dynamics},
year = {2015},
volume = {3},
number = {2},
pages = {153-168},
url = { |
| S. Wandelt, X. Sun and X. Cao (2015), "Computationally efficient attack design for robustness analysis of air transportation networks" , Transportmetrica A: Transport Science. Vol. 11(10), pp. 939-966. [BibTeX] [DOI] [URL] |
@article{doi:10.1080/23249935.2015.1089953,
author = {Sebastian Wandelt and Xiaoqian Sun and Xianbin Cao},
title = {Computationally efficient attack design for robustness analysis of air transportation networks},
journal = {Transportmetrica A: Transport Science},
year = {2015},
volume = {11},
number = {10},
pages = {939-966},
url = { |
| X. Sun and S. Wandelt (2015), "Assessment of Node Importance in Air Transportation Networks using Multi-Criteria Decision Analysis" , In Proceedings of 5th International Air Transport and Operations Symposium (ATOS). [BibTeX] |
@inproceedings{sunassessment,
author = {Sun, Xiaoqian and Wandelt, Sebastian},
title = {Assessment of Node Importance in Air Transportation Networks using Multi-Criteria Decision Analysis},
booktitle = {Proceedings of 5th International Air Transport and Operations Symposium (ATOS)},
year = {2015}
}
|
| S. Wandelt and X. Sun (2015), "Evolution of the international air transportation country network from 2002 to 2013 " , Transportation Research Part E: Logistics and Transportation Review . Vol. 82, pp. 55 - 78. [BibTeX] [DOI] [URL] |
@article{Wandelt201555,
author = {Sebastian Wandelt and Xiaoqian Sun},
title = {Evolution of the international air transportation country network from 2002 to 2013 },
journal = {Transportation Research Part E: Logistics and Transportation Review },
year = {2015},
volume = {82},
pages = {55 - 78},
url = {http://www.sciencedirect.com/science/article/pii/S1366554515001581},
doi = {10.1016/j.tre.2015.08.002}
}
|
| F. Alves, V. Cogo, S. Wandelt, U. Leser and A. Bessani (2015), "On-Demand Indexing for Referential Compression of DNA Sequences" , PLoS ONE., 07, 2015. Vol. 10(7), pp. e0132460. Public Library of Science. [Abstract] [BibTeX] [DOI] [URL] |
| Abstract: The decreasing costs of genome sequencing is creating a demand for scalable storage and processing tools and techniques to deal with the large amounts of generated data. Referential compression is one of these techniques, in which the similarity between the DNA of organisms of the same or an evolutionary close species is exploited to reduce the storage demands of genome sequences up to 700 times. The general idea is to store in the compressed file only the differences between the to-be-compressed and a well-known reference sequence. In this paper, we propose a method for improving the performance of referential compression by removing the most costly phase of the process, the complete reference indexing. Our approach, called On-Demand Indexing (ODI) compresses human chromosomes five to ten times faster than other state-of-the-art tools (on average), while achieving similar compression ratios. |
@article{10.1371/journal.pone.0132460,
author = {Alves, Fernando AND Cogo, Vinicius AND Wandelt, Sebastian AND Leser, Ulf AND Bessani, Alysson},
title = {On-Demand Indexing for Referential Compression of DNA Sequences},
journal = {PLoS ONE},
publisher = {Public Library of Science},
year = {2015},
volume = {10},
number = {7},
pages = {e0132460},
url = {http://dx.doi.org/10.1371%2Fjournal.pone.0132460},
doi = {10.1371/journal.pone.0132460}
}
|
| S. Wandelt and U. Leser (2015), "Sequence Factorization with Multiple References" , PLoS ONE., 09, 2015. Vol. 10(9), pp. e0139000. Public Library of Science. [Abstract] [BibTeX] [DOI] [URL] |
| Abstract: The success of high-throughput sequencing has lead to an increasing number of projects which sequence large populations of a species. Storage and analysis of sequence data is a key challenge in these projects, because of the sheer size of the datasets. Compression is one simple technology to deal with this challenge. Referential factorization and compression schemes, which store only the differences between input sequence and a reference sequence, gained lots of interest in this field. Highly-similar sequences, e.g., Human genomes, can be compressed with a compression ratio of 1,000:1 and more, up to two orders of magnitude better than with standard compression techniques. Recently, it was shown that the compression against multiple references from the same species can boost the compression ratio up to 4,000:1. However, a detailed analysis of using multiple references is lacking, e.g., for main memory consumption and optimality. In this paper, we describe one key technique for the referential compression against multiple references: The factorization of sequences. Based on the notion of an optimal factorization, we propose optimization heuristics and identify parameter settings which greatly influence 1) the size of the factorization, 2) the time for factorization, and 3) the required amount of main memory. We evaluate a total of 30 setups with a varying number of references on data from three different species. Our results show a wide range of factorization sizes (optimal to an overhead of up to 300%), factorization speed (0.01 MB/s to more than 600 MB/s), and main memory usage (few dozen MB to dozens of GB). Based on our evaluation, we identify the best configurations for common use cases. Our evaluation shows that multi-reference factorization is much better than single-reference factorization. |
@article{10.1371/journal.pone.0139000,
author = {Wandelt, Sebastian AND Leser, Ulf},
title = {Sequence Factorization with Multiple References},
journal = {PLoS ONE},
publisher = {Public Library of Science},
year = {2015},
volume = {10},
number = {9},
pages = {e0139000},
url = {http://dx.doi.org/10.1371%2Fjournal.pone.0139000},
doi = {10.1371/journal.pone.0139000}
}
|
Year 2014 |
| X. Sun and S. Wandelt (2014), "Network similarity analysis of air navigation route systems " , Transportation Research Part E: Logistics and Transportation Review . Vol. 70(0), pp. 416 - 434. [BibTeX] [DOI] [URL] |
@article{Sun2014416,
author = {Xiaoqian Sun and Sebastian Wandelt},
title = {Network similarity analysis of air navigation route systems },
journal = {Transportation Research Part E: Logistics and Transportation Review },
year = {2014},
volume = {70},
number = {0},
pages = {416 - 434},
url = {http://www.sciencedirect.com/science/article/pii/S1366554514001458},
doi = {10.1016/j.tre.2014.08.005}
}
|
| X. Sun (2014), "Incorporating Multicriteria Decision Analysis Techniques in Aircraft Conceptual Design Process" , Journal of Aircraft. Vol. 51(3), pp. 861-869. American Institute of Aeronautics and Astronautics. [BibTeX] |
@article{sun2014incorporating,
author = {Sun, Xiaoqian},
title = {Incorporating Multicriteria Decision Analysis Techniques in Aircraft Conceptual Design Process},
journal = {Journal of Aircraft},
publisher = {American Institute of Aeronautics and Astronautics},
year = {2014},
volume = {51},
number = {3},
pages = {861--869}
}
|
| X. Sun, V. Gollnick, Y. Li and E. Stumpf (2014), "Intelligent Multicriteria Decision Support System for Systems Design" , Journal of Aircraft. Vol. 51(1), pp. 216-225. American Institute of Aeronautics and Astronautics. [BibTeX] |
@article{sun2014intelligent,
author = {Sun, Xiaoqian and Gollnick, Volker and Li, Yongchang and Stumpf, Eike},
title = {Intelligent Multicriteria Decision Support System for Systems Design},
journal = {Journal of Aircraft},
publisher = {American Institute of Aeronautics and Astronautics},
year = {2014},
volume = {51},
number = {1},
pages = {216--225}
}
|
| S. Wandelt, D. Deng, S. Gerdjikov, S. Mishra, P. Mitankin, M. Patil, E. Siragusa, A. Tiskin, W. Wang, J. Wang and U. Leser (2014), "State-of-the-art in String Similarity Search and Join" , SIGMOD Rec.. New York, NY, USA, May, 2014. Vol. 43(1), pp. 64-76. ACM. [BibTeX] [DOI] [URL] |
@article{Wandelt:2014:SSS:2627692.2627706,
author = {Wandelt, Sebastian and Deng, Dong and Gerdjikov, Stefan and Mishra, Shashwat and Mitankin, Petar and Patil, Manish and Siragusa, Enrico and Tiskin, Alexander and Wang, Wei and Wang, Jiaying and Leser, Ulf},
title = {State-of-the-art in String Similarity Search and Join},
journal = {SIGMOD Rec.},
publisher = {ACM},
year = {2014},
volume = {43},
number = {1},
pages = {64--76},
url = {http://doi.acm.org/10.1145/2627692.2627706},
doi = {10.1145/2627692.2627706}
}
|
| S. Wandelt and U. Leser (2014), "RRCA: Ultra-Fast Multiple In-species Genome Alignments" , In Algorithms for Computational Biology. , pp. 247-261. [BibTeX] |
@inproceedings{wandelt2014rrca,
author = {Wandelt, Sebastian and Leser, Ulf},
title = {RRCA: Ultra-Fast Multiple In-species Genome Alignments},
booktitle = {Algorithms for Computational Biology},
year = {2014},
pages = {247--261}
}
|
| S. Wandelt, M. Bux and U. Leser (2014), "Trends in genome compression" , Current Bioinformatics. Vol. 9(3), pp. 315-326. Bentham Science Publishers. [BibTeX] [DOI] |
@article{wandelt2014trends,
author = {Wandelt, Sebastian and Bux, Marc and Leser, Ulf},
title = {Trends in genome compression},
journal = {Current Bioinformatics},
publisher = {Bentham Science Publishers},
year = {2014},
volume = {9},
number = {3},
pages = {315--326},
doi = {10.2174/1574893609666140516010143}
}
|
Year 2013 |
| R. Möller, C. Neuenstadt, Ö.L. Özçep and S. Wandelt (2013), "Advances in accessing big data with expressive ontologies" , In KI 2013: Advances in Artificial Intelligence. , pp. 118-129. Springer. [BibTeX] |
@incollection{moller2013advances,
author = {Möller, Ralf and Neuenstadt, Christian and Özçep, Özgür L and Wandelt, Sebastian},
title = {Advances in accessing big data with expressive ontologies},
booktitle = {KI 2013: Advances in Artificial Intelligence},
publisher = {Springer},
year = {2013},
pages = {118--129}
}
|
| X. Sun (2013), "Multiple Criteria Decision Analysis Techniques in Aircraft Design and Evaluation Processes: 54 Tabellen" . Thesis at: DLR, Bibliotheks-und Informationswesen. [BibTeX] |
@phdthesis{sun2013multiple,
author = {Sun, Xiaoqian},
title = {Multiple Criteria Decision Analysis Techniques in Aircraft Design and Evaluation Processes: 54 Tabellen},
school = {DLR, Bibliotheks-und Informationswesen},
year = {2013}
}
|
| S. Wandelt and U. Leser (2013), "FRESCO: Referential Compression of Highly Similar Sequences" , IEEE/ACM Trans. Comput. Biol. Bioinformatics. Los Alamitos, CA, USA, September, 2013. Vol. 10(5), pp. 1275-1288. IEEE Computer Society Press. [BibTeX] [DOI] [URL] |
@article{Wandelt:2013:FRC:2564653.2564676,
author = {Wandelt, Sebastian and Leser, Ulf},
title = {FRESCO: Referential Compression of Highly Similar Sequences},
journal = {IEEE/ACM Trans. Comput. Biol. Bioinformatics},
publisher = {IEEE Computer Society Press},
year = {2013},
volume = {10},
number = {5},
pages = {1275--1288},
url = {http://dx.doi.org/10.1109/TCBB.2013.122},
doi = {10.1109/TCBB.2013.122}
}
|
| S. Wandelt and U. Leser (2013), "QGramProjector: Q-gram projection for indexing highly-similar strings" , In Advances in Databases and Information Systems. , pp. 260-273. Springer. [BibTeX] |
@incollection{wandelt2013qgramprojector,
author = {Wandelt, Sebastian and Leser, Ulf},
title = {QGramProjector: Q-gram projection for indexing highly-similar strings},
booktitle = {Advances in Databases and Information Systems},
publisher = {Springer},
year = {2013},
pages = {260--273}
}
|
| S. Wandelt, J. Starlinger, M. Bux and U. Leser (2013), "RCSI: Scalable similarity search in thousand (s) of genomes" , Proceedings of the VLDB Endowment. Vol. 6(13), pp. 1534-1545. VLDB Endowment. [BibTeX] |
@article{wandelt2013rcsi,
author = {Wandelt, Sebastian and Starlinger, Johannes and Bux, Marc and Leser, Ulf},
title = {RCSI: Scalable similarity search in thousand (s) of genomes},
journal = {Proceedings of the VLDB Endowment},
publisher = {VLDB Endowment},
year = {2013},
volume = {6},
number = {13},
pages = {1534--1545}
}
|
Year 2012 |
| S. Wandelt, A. Rheinländer, M. Bux, L. Thalheim, B. Haldemann and U. Leser (2012), "Data Management Challenges in Next Generation Sequencing" , Datenbank-Spektrum. Vol. 12(3), pp. 161-171. Springer-Verlag. [BibTeX] [DOI] [URL] |
@article{raey,
author = {Wandelt, Sebastian and Rheinländer, Astrid and Bux, Marc and Thalheim, Lisa and Haldemann, Berit and Leser, Ulf},
title = {Data Management Challenges in Next Generation Sequencing},
journal = {Datenbank-Spektrum},
publisher = {Springer-Verlag},
year = {2012},
volume = {12},
number = {3},
pages = {161-171},
url = {http://dx.doi.org/10.1007/s13222-012-0098-2},
doi = {10.1007/s13222-012-0098-2}
}
|
| S. Wandelt and R. Möller (2012), "Towards ABox Modularization of Semi-expressive Description Logics" , Appl. Ontol.. Amsterdam, The Netherlands, The Netherlands, April, 2012. Vol. 7(2), pp. 133-167. IOS Press. [BibTeX] [URL] |
@article{Wandelt:2012:TAM:2351667.2351668,
author = {Wandelt, Sebastian and Möller, Ralf},
title = {Towards ABox Modularization of Semi-expressive Description Logics},
journal = {Appl. Ontol.},
publisher = {IOS Press},
year = {2012},
volume = {7},
number = {2},
pages = {133--167},
url = {http://dl.acm.org/citation.cfm?id=2351667.2351668}
}
|
| S. Wandelt and U. Leser (2012), "Adaptive efficient compression of genomes" , Algorithms for Molecular Biology. Vol. 7(1), pp. 1-9. [Abstract] [BibTeX] [DOI] [URL] |
| Abstract: Modern high-throughput sequencing technologies are able to generate DNA sequences at an ever increasing rate. In parallel to the decreasing experimental time and cost necessary to produce DNA sequences, computational requirements for analysis and storage of the sequences are steeply increasing. Compression is a key technology to deal with this challenge. Recently, referential compression schemes, storing only the differences between a to-be-compressed input and a known reference sequence, gained a lot of interest in this field. However, memory requirements of the current algorithms are high and run times often are slow. In this paper, we propose an adaptive, parallel and highly efficient referential sequence compression method which allows fine-tuning of the trade-off between required memory and compression speed. When using 12 MB of memory, our method is for human genomes on-par with the best previous algorithms in terms of compression ratio (400:1) and compression speed. In contrast, it compresses a complete human genome in just 11 seconds when provided with 9 GB of main memory, which is almost three times faster than the best competitor while using less main memory. |
@article{Wandelt2012Adapt,
author = {Wandelt, Sebastian |
| S. Wandelt and U. Leser (2012), "String Searching in Referentially Compressed Genomes." , In KDIR. , pp. 95-102. [BibTeX] |
@inproceedings{wandelt2012string,
author = {Wandelt, Sebastian and Leser, Ulf},
title = {String Searching in Referentially Compressed Genomes.},
booktitle = {KDIR},
year = {2012},
pages = {95--102}
}
|
| S. Wandelt and R. Möller (2012), "Towards Semantic Summaries over Ontologies." , In KEOD. , pp. 196-201. [BibTeX] |
@inproceedings{wandelt2012towardsXX,
author = {Wandelt, Sebastian and Möller, Ralf},
title = {Towards Semantic Summaries over Ontologies.},
booktitle = {KEOD},
year = {2012},
pages = {196--201}
}
|
| M. Weiss, N. Dzikus and X. Sun (2012), "Technology Assessment of Future Aircraft" , In Proceedings: ICAS 2012-28th Congress of the International Council of the Aeronautical Sciences (ICAS, Brisbane, 23.-28. September 2012). [BibTeX] |
@inproceedings{weiss2012technology,
author = {Weiss, Marco and Dzikus, Niklas and Sun, Xiaoqian},
title = {Technology Assessment of Future Aircraft},
booktitle = {Proceedings: ICAS 2012-28th Congress of the International Council of the Aeronautical Sciences (ICAS, Brisbane, 23.-28. September 2012)},
year = {2012}
}
|
Year 2011 |
| E. Stumpf, S. Langhans, M. Weiss, X. Sun and V. Gollnick (2011), "A Methodology for Holistic Air Transport System Analysis" , 11th ATIO conference, Virginia Beach. [BibTeX] |
@inproceedings{stumpf2011methodology,
author = {Stumpf, Eike and Langhans, Stephan and Weiss, Marco and Sun, Xiaoqian and Gollnick, Volker},
title = {A Methodology for Holistic Air Transport System Analysis},
booktitle = {11th ATIO conference, Virginia Beach},
year = {2011}
}
|
| X. Sun, V. Gollnick and E. Stumpf (2011), "Robustness Consideration in Multi-Criteria Decision Making to an Aircraft Selection Problem" , Journal of Multi-Criteria Decision Analysis. Vol. 18(1-2), pp. 55-64. Wiley Online Library. [BibTeX] |
@article{sun2011robustness,
author = {Sun, Xiaoqian and Gollnick, Volker and Stumpf, Eike},
title = {Robustness Consideration in Multi-Criteria Decision Making to an Aircraft Selection Problem},
journal = {Journal of Multi-Criteria Decision Analysis},
publisher = {Wiley Online Library},
year = {2011},
volume = {18},
number = {1-2},
pages = {55--64}
}
|
| S. Wandelt (2011), "Efficient instance retrieval over semi-expressive ontologies" . Thesis at: Hamburg University of Technology. [BibTeX] |
@phdthesis{wandelt2011efficient,
author = {Wandelt, Sebastian},
title = {Efficient instance retrieval over semi-expressive ontologies},
school = {Hamburg University of Technology},
year = {2011}
}
|
| S. Wandelt and R. Müller (2011), "Sound and Complete SHI Instance Retrieval for 1 Billion ABox Assertions" , In 10th Int. Semantic Web Conf. on Scalable Semantic Web Knowledge Base Systems Workshop. [BibTeX] |
@inproceedings{wandelt2011sound,
author = {Wandelt, Sebastian and Müller, R},
title = {Sound and Complete SHI Instance Retrieval for 1 Billion ABox Assertions},
booktitle = {10th Int. Semantic Web Conf. on Scalable Semantic Web Knowledge Base Systems Workshop},
year = {2011}
}
|
| M. Weiss, T. Gmelin, X. Sun and N. Dzikus (2011), "Enhanced Assessment of the Air Transportation System" , In Proceedings of the 11th AIAA-ATIO Conference. Vol. 2022 [BibTeX] |
@inproceedings{weiss2011enhanced,
author = {Weiss, Marco and Gmelin, Tillmann and Sun, Xiaoqian and Dzikus, N},
title = {Enhanced Assessment of the Air Transportation System},
booktitle = {Proceedings of the 11th AIAA-ATIO Conference},
year = {2011},
volume = {2022}
}
|
Year 2010 |
| O. Gries, R. Möller, A. Nafissi, M. Rosenfeld, K. Sokolski and M. Wessel (2010), "Media interpretation and companion feedback for multimedia annotation" , In The 5th International Conference on Semantic and Digital Media Technologies (SAMT 2010), Lecture Notes in Computer Science. Springer. , pp. 1-15. [BibTeX] |
@inproceedings{gries2010media,
author = {Gries, Oliver and Möller, Ralf and Nafissi, Anahita and Rosenfeld, Maurice and Sokolski, Kamil and Wessel, Michael},
title = {Media interpretation and companion feedback for multimedia annotation},
booktitle = {The 5th International Conference on Semantic and Digital Media Technologies (SAMT 2010), Lecture Notes in Computer Science. Springer},
year = {2010},
pages = {1--15}
}
|
| A. Kaplunova, R. Möller, S. Wandelt and M. Wessel (2010), "Towards scalable instance retrieval over ontologies" , In Knowledge Science, Engineering and Management. , pp. 436-448. Springer. [BibTeX] |
@incollection{kaplunova2010towards,
author = {Kaplunova, Alissa and Möller, Ralf and Wandelt, Sebastian and Wessel, Michael},
title = {Towards scalable instance retrieval over ontologies},
booktitle = {Knowledge Science, Engineering and Management},
publisher = {Springer},
year = {2010},
pages = {436--448}
}
|
| X. Sun and Y. Li (2010), "Evaluation of control system performance using Multiple Criteria Decision Making techniques" , In Decision and Control (CDC), 2010 49th IEEE Conference on. , pp. 3718-3723. [BibTeX] |
@inproceedings{sun2010evaluation,
author = {Sun, Xiaoqian and Li, Yongchang},
title = {Evaluation of control system performance using Multiple Criteria Decision Making techniques},
booktitle = {Decision and Control (CDC), 2010 49th IEEE Conference on},
year = {2010},
pages = {3718--3723}
}
|
| X. Sun and Y. Li (2010), "An intelligent multi-criteria decision support system for systems design" , In 13th MAO & 10th Aviation Technology Integration and Operation Conference. , pp. 13-15. [BibTeX] |
@inproceedings{sun2010intelligent,
author = {Sun, Xiaoqian and Li, Yongchang},
title = {An intelligent multi-criteria decision support system for systems design},
booktitle = {13th MAO & 10th Aviation Technology Integration and Operation Conference},
year = {2010},
pages = {13--15}
}
|
| S. Wandelt and R. Moeller (2010), "Distributed island-based query answering for expressive ontologies" , In Advances in Grid and Pervasive Computing. , pp. 461-470. Springer. [BibTeX] |
@incollection{wandelt2010distributed,
author = {Wandelt, Sebastian and Moeller, Ralf},
title = {Distributed island-based query answering for expressive ontologies},
booktitle = {Advances in Grid and Pervasive Computing},
publisher = {Springer},
year = {2010},
pages = {461--470}
}
|
| S. Wandelt and R. Möller (2010), "Sound Summarizations for Alchi Ontologies-How to Speedup Instance Checking and Instance Retrieval." , In ICAART (1). , pp. 656-661. [BibTeX] |
@inproceedings{wandelt2010sound,
author = {Wandelt, Sebastian and Möller, Ralf},
title = {Sound Summarizations for Alchi Ontologies-How to Speedup Instance Checking and Instance Retrieval.},
booktitle = {ICAART (1)},
year = {2010},
pages = {656--661}
}
|
| S. Wandelt, R. Möller and M. Wessel (2010), "Towards Scalable Instance Retrieval over Ontologies." , Int. J. Software and Informatics. Vol. 4(3), pp. 201-218. [BibTeX] |
@article{wandelt2010towards,
author = {Wandelt, Sebastian and Möller, Ralf and Wessel, Michael},
title = {Towards Scalable Instance Retrieval over Ontologies.},
journal = {Int. J. Software and Informatics},
year = {2010},
volume = {4},
number = {3},
pages = {201--218}
}
|
Year 2008 |
| V. Haarslev, R. Möller and S. Wandelt (2008), "The revival of structural subsumption in tableau-based description logic reasoners" , In Proceedings of the 2008 International Workshop on Description Logics (DL-2008). [BibTeX] |
@inproceedings{haarslev2008revival,
author = {Haarslev, Volker and Möller, Ralph and Wandelt, Sebastian},
title = {The revival of structural subsumption in tableau-based description logic reasoners},
booktitle = {Proceedings of the 2008 International Workshop on Description Logics (DL-2008)},
year = {2008}
}
|
| R. Möller, V. Haarslev and S. Wandelt (2008), "The Revival of Structural Subsumption in Tableau-based Reasoners." , In Description Logics. [BibTeX] |
@inproceedings{moller2008revival,
author = {Möller, Ralf and Haarslev, Volker and Wandelt, Sebastian},
title = {The Revival of Structural Subsumption in Tableau-based Reasoners.},
booktitle = {Description Logics},
year = {2008}
}
|
| S. Wandelt and R. Möller (2008), "Island reasoning for ALCHI ontologies" , In Proceedings of the 2008 conference on Formal Ontology in Information Systems. , pp. 164-177. [BibTeX] |
@inproceedings{wandelt2008island,
author = {Wandelt, Sebastian and Möller, Ralf},
title = {Island reasoning for ALCHI ontologies},
booktitle = {Proceedings of the 2008 conference on Formal Ontology in Information Systems},
year = {2008},
pages = {164--177}
}
|
Year 2007 |
| S. Wandelt and R. Möller (2007), "Scalability of OWL reasoning: role condensates" , In On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops. , pp. 1145-1154. [BibTeX] |
@inproceedings{wandelt2007scalability,
author = {Wandelt, Sebastian and Möller, Ralf},
title = {Scalability of OWL reasoning: role condensates},
booktitle = {On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops},
year = {2007},
pages = {1145--1154}
}
|