Ulrike Sattler

发表

Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2008, J. Artif. Intell. Res..
Thomas Andreas Meyer, Ulrike Sattler, Kodylan Moodley, 2014, STAIRS.
Bijan Parsia, Ulrike Sattler, Bernhard Bauer, 2011, CAiSE Workshops.
Ian Horrocks, Ulrike Sattler, Oliver Kutz, 2005, OWLED.
Ian Horrocks, Ulrike Sattler, Stephan Tobies, 1999, LPAR.
Franz Baader, Ulrike Sattler, Carsten Lutz, 2005, Description Logics.
Ian Horrocks, Franz Baader, Ulrike Sattler, 2002, Künstliche Intell..
Gavin Brown, Ulrike Sattler, Viachaslau Sazonau, 2015, International Semantic Web Conference.
Gavin Brown, Ulrike Sattler, Viachaslau Sazonau, 2015, OWLED.
Ulrike Sattler, Carsten Lutz, Lidia Tendera, 2005, Inf. Comput..
Ulrike Sattler, Katarina Britz, Ivan Varzinczak, 2019, ArXiv.
Ian Horrocks, Ulrike Sattler, 2002, ECAI.
Ian Horrocks, Sergio Tessaris, Ulrike Sattler, 2000, LPAR.
Ian Horrocks, Ulrike Sattler, I. Horrocks, 2003, IJCAI 2003.
Robert Stevens, Alan L. Rector, Ulrike Sattler, 2007, Int. J. Hum. Comput. Stud..
Ulrike Sattler, Silvio Ghilardi, Viorica Sofronie-Stokkermans, 2014 .
Bijan Parsia, Ulrike Sattler, Chiara Del Vescovo, 2011, ICCS.
Franz Baader, Ulrike Sattler, F. Baader, 1996, Description Logics.
Boris Motik, Ian Horrocks, Ulrike Sattler, 2006, International Semantic Web Conference.
Bijan Parsia, Ulrike Sattler, Rafael S. Gonçalves, 2013, International Semantic Web Conference.
Ian Horrocks, Ulrike Sattler, Oliver Kutz, 2006 .
Cesare Tinelli, Ulrike Sattler, Carsten Lutz, 2019, Description Logic, Theory Combination, and All That.
Bijan Parsia, Ulrike Sattler, Johannes Bauer, 2009, Description Logics.
Ulrike Sattler, Carsten Lutz, Lidia Tendera, 2003, Description Logics.
Bijan Parsia, Ulrike Sattler, Haoruo Zhao, 2019, Description Logics.
Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2012, KR.
Bijan Parsia, Ulrike Sattler, Nicolas Matentzoglu, 2015, ORE.
Franz Baader, Ulrike Sattler, F. Baader, 1999, J. Log. Comput..
Bijan Parsia, Ulrike Sattler, Nicolas Matentzoglu, 2014, Description Logics.
Bijan Parsia, Ulrike Sattler, Dmitry Tsarkov, 2017, SGAI Conf..
Pavel Klinov, Bijan Parsia, Ulrike Sattler, 2013, Description Logics.
Franz Baader, Ulrike Sattler, 1998, ECAI.
Robert Stevens, Ulrike Sattler, Nicolas Matentzoglu, 2014, ORE.
Boris Motik, Ian Horrocks, Ulrike Sattler, 2007, WWW '07.
Ian Horrocks, Franz Baader, Ulrike Sattler, 2017 .
Bijan Parsia, Ulrike Sattler, Jasmin Opitz, 2010, SWAT4LS.
Franz Baader, Sergio Tessaris, Ulrike Sattler, 2006, OWLED.
Ian Horrocks, Sergio Tessaris, Ulrike Sattler, 1999 .
Samantha Bail, Bijan Parsia, Ulrike Sattler, 2010, OWLED.
Robert Stevens, Alan L. Rector, Bijan Parsia, 2012, ICBO.
Ian Horrocks, Robert Stevens, Ulrike Sattler, 2005, SEMWEB.
Bijan Parsia, Ulrike Sattler, Nicolas Matentzoglu, 2015, Description Logics.
Ulrike Sattler, U. Sattler, 2007, Reasoning Web.
Thomas Andreas Meyer, Ulrike Sattler, James P. Delgrande, 2012, Dagstuhl Reports.
Boris Motik, Rudi Studer, Ulrike Sattler, 2004, SEMWEB.
Bijan Parsia, Ulrike Sattler, Tahani Alsubait, 2014, Description Logics.
Ulrike Sattler, Moshe Y. Vardi, U. Sattler, 2001, IJCAR.
Bijan Parsia, Ulrike Sattler, Rafael S. Gonçalves, 2011, 2011 24th International Symposium on Computer-Based Medical Systems (CBMS).
Ian Horrocks, Ulrike Sattler, I. Horrocks, 2002 .
Bijan Parsia, Ulrike Sattler, Chiara Del Vescovo, 2011, WoMO.
Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2008, SEMWEB.
Ulrike Sattler, Silvio Ghilardi, Viorica Sofronie-Stokkermans, 2010, J. Symb. Comput..
Bijan Parsia, Ulrike Sattler, Christian Kindermann, 2019, Description Logics.
Ian Horrocks, Ulrike Sattler, U. Sattler, 2005, IJCAI.
Bijan Parsia, Ulrike Sattler, Rafael S. Gonçalves, 2011, CIKM '11.
Ian Horrocks, Ulrike Sattler, Birte Glimm, 2007, Electron. Notes Theor. Comput. Sci..
Boris Motik, Ian Horrocks, Bernardo Cuenca Grau, 2008, OWLED.
Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2009, SUM.
Bijan Parsia, Ulrike Sattler, Tahani Alsubait, 2014, OWLED.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2008, Inf. Comput..
Volker Haarslev, Ulrike Sattler, Francis Gasse, 2008, Description Logics.
Bijan Parsia, Ulrike Sattler, Rafael S. Gonçalves, 2012, Description Logics.
Ian Horrocks, Franz Baader, Ulrike Sattler, 2005, Mechanizing Mathematical Reasoning.
Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2007, IJCAI.
Ashish Tiwari, Ulrike Sattler, Silvio Ghilardi, 2013 .
Ian Horrocks, Ulrike Sattler, Birte Glimm, 2006, Description Logics.
Diego Calvanese, Ulrike Sattler, Ralf Molitor, 2003, Description Logic Handbook.
Samantha Bail, Bijan Parsia, Ulrike Sattler, 2010, International Semantic Web Conference.
Gavin Brown, Ulrike Sattler, Viachaslau Sazonau, 2014, Description Logics.
Ulrike Sattler, Moshe Y. Vardi, Guoqiang Pan, 2006, J. Appl. Non Class. Logics.
Bijan Parsia, Ulrike Sattler, Michael Lee, 2015, ORE.
Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2009, OWLED.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2004, ECAI.
Ian Horrocks, Ulrike Sattler, Birte Glimm, 2007, Description Logics.
Bijan Parsia, Ulrike Sattler, Thomas Schneider, 2009, OWLED.
Boris Motik, Ian Horrocks, Bernardo Cuenca Grau, 2009, Artif. Intell..
Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2008, SEMWEB.
Franz Baader, Ulrike Sattler, 1997, Description Logics.
Bijan Parsia, Ulrike Sattler, Tahani Alsubait, 2015, OWLED.
Ulrike Sattler, Peihong Ke, U. Sattler, 2008, Description Logics.
Bijan Parsia, Ulrike Sattler, Rafael S. Gonçalves, 2012, International Semantic Web Conference.
Franz Baader, Ulrike Sattler, Carsten Lutz, 2005, WWW 2005.
Boris Motik, Rudi Studer, Ulrike Sattler, 2004, International Semantic Web Conference.
Ulrike Sattler, Carsten Lutz, Frank Wolter, 2001, CSL.
Boris Motik, Ian Horrocks, Peter F. Patel-Schneider, 2008, J. Web Semant..
Bijan Parsia, Ulrike Sattler, Thomas Schneider, 2008, OWLED.
Robert Stevens, Bijan Parsia, Ulrike Sattler, 2013, WoDOOM.
Ian Horrocks, Ulrike Sattler, Carsten Lutz, 2003, IJCAI.
Ulrike Sattler, Carsten Lutz, 2000, Description Logics.
Ulrike Sattler, Carsten Lutz, Lidia Tendera, 2005, Inf. Comput..
Ulrike Sattler, Moshe Y. Vardi, Guoqiang Pan, 2002, CADE.
Ian Horrocks, Ulrike Sattler, Birte Glimm, 2008, Description Logics.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2004, KR 2004.
Thomas Andreas Meyer, Ulrike Sattler, Kodylan Moodley, 2015, International Semantic Web Conference.
Carole Goble, Ulrike Sattler, Antoon Goderis, 2005 .
Bijan Parsia, Ulrike Sattler, Jared Leo, 2014, Description Logics.
Ian Horrocks, Bernardo Cuenca Grau, Ulrike Sattler, 2006, Description Logics.
Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2007, WWW '07.
Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2010, SEMWEB.
Boris Motik, Ian Horrocks, Ulrike Sattler, 2007, OWLED.
Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2006 .
Samantha Bail, Bijan Parsia, Ulrike Sattler, 2012, Description Logics.
Samantha Bail, Bijan Parsia, Ulrike Sattler, 2013, CIKM.
Boris Motik, Ian Horrocks, Peter F. Patel-Schneider, 2008 .
Pavel Klinov, Bijan Parsia, Ulrike Sattler, 2011, SEMWEB.
Ulrike Sattler, Carsten Lutz, 2000, Advances in Modal Logic.
Ulrike Sattler, Carsten Lutz, Stephan Tobies, 1999, Description Logics.
Thomas Andreas Meyer, Ulrike Sattler, Kodylan Moodley, 2014, Description Logics.
Liang Chang, Tianlong Gu, Ulrike Sattler, 2014, ICCBR.
Ian Horrocks, Franz Baader, Ulrike Sattler, 2008, Handbook of Knowledge Representation.
Bijan Parsia, Ulrike Sattler, Daniel Tang, 2014, International Semantic Web Conference.
Franz Baader, Ulrike Sattler, 1996, ECAI.
Bijan Parsia, Ulrike Sattler, Rafael S. Gonçalves, 2011, Description Logics.
Bernhard Ganter, Franz Baader, Ulrike Sattler, 2007, IJCAI.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2007, Journal of Automated Reasoning.
Ulrike Sattler, U. Sattler, 2003 .
Robert Stevens, Christoph Steinbeck, Michel Dumontier, 2010, OWLED.
Ulrike Sattler, Viachaslau Sazonau, 2017, International Semantic Web Conference.
Bijan Parsia, Ulrike Sattler, Jasmin Opitz, 2010, IWEST@ISWC.
Ulrike Sattler, Michael Zakharyaschev, Thomas Schneider, 2009, Description Logics.
Bijan Parsia, Ulrike Sattler, Nicolas Matentzoglu, 2013, Description Logics.
Samantha Bail, Bijan Parsia, Ulrike Sattler, 2013, Knowl. Based Syst..
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2004 .
Bijan Parsia, Ulrike Sattler, Jasmin Opitz, 2009, OWLED.
Bijan Parsia, Ulrike Sattler, Tahani Alsubait, 2012, OWLED.
Bijan Parsia, Ulrike Sattler, Tahani Alsubait, 2014, International Semantic Web Conference.
Bijan Parsia, Ulrike Sattler, Chiara Del Vescovo, 2010, Description Logics.
Ulrike Sattler, M.-S. Hacid, 1997, Proceedings 1997 IEEE Knowledge and Data Engineering Exchange Workshop.
Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2009, Description Logics.
Pavel Klinov, Bijan Parsia, Ulrike Sattler, 2012, WoMO.
Bijan Parsia, Ulrike Sattler, Michael Lee, 2015, International Semantic Web Conference.
Ulrike Sattler, Carsten Lutz, C. Lutz, 2002, Description Logics.
Ian Horrocks, Ulrike Sattler, I. Horrocks, 2003, IJCAI.
Rafael Berlanga Llavori, Bernardo Cuenca Grau, Ulrike Sattler, 2008, OWLED.
Ulrike Sattler, Viachaslau Sazonau, U. Sattler, 2015, Description Logics.
Ulrike Sattler, Renata Wassermann, Ricardo Ferreira Guimarães, 2018, MedRACER+WOMoCoE@KR.
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler, 2008, Description Logics.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2005, IJCAI.
Bijan Parsia, Ulrike Sattler, Chiara Del Vescovo, 2012, Description Logics.
Bijan Parsia, Ulrike Sattler, Jasmin Opitz, 2011, 2011 International Conference on Semantic Technology and Information Retrieval.
Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2010, Description Logics.
Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin, 2007, LPAR.
Bijan Parsia, Ulrike Sattler, Nicolas Matentzoglu, 2017, Journal of Automated Reasoning.
Samantha Bail, Bijan Parsia, Ulrike Sattler, 2011, Description Logics.
Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2007, Description Logics.
Ulrike Sattler, Enrico Franconi, Enrico Franconi, 1999, DMDW.
Ian Horrocks, Ulrike Sattler, Oliver Kutz, 2006, KR.
Ulrike Sattler, Carsten Lutz, Frank Wolter, 2001, Description Logics.
Bijan Parsia, Ulrike Sattler, Tahani Alsubait, 2012 .
Liang Chang, Tianlong Gu, Ulrike Sattler, 2014, Description Logics.
Ian Horrocks, Ulrike Sattler, Stephan Tobies, 2000, CADE.
Gavin Brown, Ulrike Sattler, Viachaslau Sazonau, 2014, KR.
Ian Horrocks, Ulrike Sattler, Birte Glimm, 2008, KR.
Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2008, OWLED.
Ian Horrocks, Robert Stevens, Ulrike Sattler, 2006, AAAI.
Samantha Bail, Bijan Parsia, Ulrike Sattler, 2011, International Semantic Web Conference.
Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2012, International Semantic Web Conference.
Ulrike Sattler, Oliver Kutz, Corinna Elsenbroich, 2006, OWLED.
Peter F. Patel-Schneider, Bijan Parsia, Bernardo Cuenca Grau, 2006, OWLED.
Boris Motik, Ian Horrocks, Bernardo Cuenca Grau, 2008, KR.
Ulrike Sattler, Carsten Lutz, Mareike Schoop, 2003, KRDB.
Ian Horrocks, Ulrike Sattler, U. Sattler, 1999, J. Log. Comput..
Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2009, OWLED.
Samantha Bail, Bijan Parsia, Ulrike Sattler, 2011, Description Logics.
Ian Horrocks, Ulrike Sattler, U. Sattler, 2001, IJCAI.
Ulrike Sattler, Orna Kupferman, Moshe Y. Vardi, 2002, CADE.
Ian Horrocks, Ulrike Sattler, Ullrich Hustadt, 2007, Handbook of Modal Logic.
Ulrike Sattler, Thomas Schneider, Ernesto Jiménez-Ruiz, 2008 .
Boris Motik, Ian Horrocks, Ulrike Sattler, 2009, J. Web Semant..
Sean Bechhofer, Ulrike Sattler, Phillip W. Lord, 2007, BMC Bioinformatics.
Bijan Parsia, Ulrike Sattler, Tahani Alsubait, 2014, EKAW.
Pavel Klinov, Bijan Parsia, Ulrike Sattler, 2009, Description Logics.
Luca Pulina, Ulrike Sattler, Frank Wolter, 2009, IJCAI.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2005, LPAR.
Ulrike Sattler, François Bergeron, U. Sattler, 1995, Theor. Comput. Sci..
Ian Horrocks, Rob Shearer, Peter F. Patel-Schneider, 2006 .
Bijan Parsia, Ulrike Sattler, Tahani Alsubait, 2013, 2013 Second International Conference on E-Learning and E-Technologies in Education (ICEEE).
Bijan Parsia, Ulrike Sattler, Mark A. Musen, 2014, SEMWEB.
Ian Horrocks, Ulrike Sattler, Carsten Lutz, 2007, IJCAI.
Bijan Parsia, Ulrike Sattler, Christian Kindermann, 2019, WOP@ISWC.
Samantha Bail, Bijan Parsia, Ulrike Sattler, 2012, WoDOOM@EKAW.
Bijan Parsia, Ulrike Sattler, Matthew Horridge, 2020, J. Artif. Intell. Res..
Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler, 2007, IJCAI 2007.
Carole A. Goble, Ulrike Sattler, Phillip W. Lord, 2005, International Semantic Web Conference.
Robert Stevens, Ulrike Sattler, Dmitry Tsarkov, 2009, OWLED.
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler, 2008, WWW.
Bijan Parsia, Ulrike Sattler, Rafael S. Gonçalves, 2011 .
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2004, KR.
Franz Baader, Ulrike Sattler, F. Baader, 2001, Stud Logica.
Carole A. Goble, Ulrike Sattler, Antoon Goderis, 2005, Description Logics.
Bijan Parsia, Ulrike Sattler, Rafael S. Gonçalves, 2012, OWLED.
Andrea Calì, Diego Calvanese, Maurizio Lenzerini, 2006 .
Ian Horrocks, Ulrike Sattler, Stephan Tobies, 2000, Log. J. IGPL.
Bijan Parsia, Ulrike Sattler, Tahani Alsubait, 2015, KI - Künstliche Intelligenz.
Stéphane Demri, Ulrike Sattler, U. Sattler, 2002, Fundam. Informaticae.
Ulrike Sattler, Renate A. Schmidt, Ruba Alassaf, 2021, SOQE@KR.
Bijan Parsia, Ulrike Sattler, Haoruo Zhao, 2021, JELIA.
Boris Motik, Ian Horrocks, Ulrike Sattler, 2006 .
Ulrike Sattler, Johannes Bauer, 2009 .
Franz Baader, Ulrike Sattler, 2001 .
Ian Horrocks, Ulrike Sattler, U. Sattler, 2022 .