Ian Horrocks

发表

Boris Motik, Ian Horrocks, Zhe Wang, 2014, Journal of Automated Reasoning.
Ian Horrocks, Jiaoyan Chen, Ole Magnus Holter, 2020, Machine Learning.
Ian Horrocks, Evgeny Kharlamov, Yannis E. Ioannidis, 2019, SIGMOD Conference.
Boris Motik, Ian Horrocks, Sungpack Hong, 2017, GRADES@SIGMOD/PODS.
Ian Horrocks, Frank van Harmelen, Georg Gottlob, 2013, Lecture Notes in Computer Science.
Boris Motik, Ian Horrocks, Giorgos Stoilos, 2014, J. Artif. Intell. Res..
Boris Motik, Ian Horrocks, Su Myeon Kim, 2012, WWW.
Ian Horrocks, Birte Glimm, Ilianna Kollia, 2011, ESWC.
Ian Horrocks, Birte Glimm, Ilianna Kollia, 2011, Description Logics.
Ian Horrocks, Birte Glimm, Ilianna Kollia, 2011, OWLED.
Ian Horrocks, Mikalai Yatskevich, Graham Klyne, 2010, IWEST@ISWC.
Huajun Chen, Zhaohui Wu, Ian Horrocks, 2011, Lecture Notes in Computer Science.
Ian Horrocks, Dmitry Tsarkov, D. Tsarkov, 2006, IJCAR.
Boris Motik, Ian Horrocks, Peter F. Patel-Schneider, 2008, J. Web Semant..
Boris Motik, Ian Horrocks, Ulrike Sattler, 2007, WWW '07.
Ian Horrocks, Markus Krötzsch, Despoina Magka, 2013, LPNMR.
Boris Motik, Ian Horrocks, Jeff Z. Pan, 2005 .
Boris Motik, Ian Horrocks, Jeff Z. Pan, 2004 .
Ian Horrocks, Jiaoyan Chen, Jeff Z. Pan, 2021, IJCAI.
Ian Horrocks, Ulrike Sattler, Stephan Tobies, 2000, Log. J. IGPL.
Ian Horrocks, Ulrike Sattler, U. Sattler, 1999, J. Log. Comput..
Ian Horrocks, Jeff Z. Pan, Giorgos Stoilos, 2005, OWLED.
Gerd Wagner, Ian Horrocks, Stefan Decker, 2003, IEEE Intelligent Systems.
Ian Horrocks, Ulrike Sattler, I. Horrocks, 2003, IJCAI.
Ian Horrocks, Raphael Volz, Stefan Decker, 2003, WWW '03.
Peter F. Patel-Schneider, Ian Horrocks, P. Patel-Schneider, 2003, WWW '03.
Ian Horrocks, Michel C. A. Klein, Dieter Fensel, 2000, IEEE Internet Comput..
Ian Horrocks, Raphael Volz, Stefan Decker, 2003, The Web Conference.
Boris Motik, Ian Horrocks, Despoina Magka, 2012, Description Logics.
Ian Horrocks, Rafael Berlanga Llavori, Bernardo Cuenca Grau, 2011, Data Knowl. Eng..
Boris Motik, Ian Horrocks, Bernardo Cuenca Grau, 2009, Artif. Intell..
Ian Horrocks, Peter F. Patel-Schneider, Dmitry Tsarkov, 2005, J. Web Semant..
Ian Horrocks, Frank van Harmelen, Peter F. Patel-Schneider, 2003, J. Web Semant..
Boris Motik, Ian Horrocks, Giorgio Stefanoni, 2012, Description Logics.
Manolis Koubarakis, I. Horrocks, Y. Ioannidis, 2013 .
Ian Horrocks, Ulrike Sattler, Stephan Tobies, 1999, LPAR.
Jiaoyan Chen, E. Jiménez-Ruiz, E. B. Myklebust, 2021, Semantic Web.
Ian Horrocks, Jiaoyan Chen, Xi Chen, 2020, WWW.
Ian Horrocks, Evgeny Kharlamov, Martin Giese, 2016, IEEE Internet Computing.
Yavor Nenov, Robert Piro, Boris Motik, 2016, SEMWEB.
Ian Horrocks, F.A.H. van Harmelen, F. V. Harmelen, 2000 .
Ian Horrocks, M. de Rijke, Maarten de Rijke, 2002, Artificial Intelligence Review.
Ian Horrocks, Ian Horrocks, 2005, ICLP.
Ian Horrocks, I. Horrocks, Ian Horrocks, 2008, CACM.
James A. Hendler, Ian Horrocks, J. Hendler, 2002, Lecture Notes in Computer Science.
Ian Horrocks, Peter F. Patel-Schneider, I. Horrocks, 2011, Handbook of Semantic Web Technologies.
Boris Motik, Ian Horrocks, Rob Shearer, 2008, OWLED.
Jeff Z. Pan, I. Horrocks, Yuan He, 2021, ArXiv.
I. Horrocks, F. Baader, U. Sattler, 2008 .
Hang Dong, Yuan He, Jiaoyan Chen, 2022, World Wide Web.
Ian Horrocks, Michel C. A. Klein, Frank van Harmelen, 2003 .
Ian Horrocks, Markus Krötzsch, Frantisek Simancik, 2012, ArXiv.
Ian Horrocks, Tom Gardiner, Dmitry Tsarkov, 2006, SEMWEB.
Ian Horrocks, Tom Gardiner, Dmitry Tsarkov, 2006, Description Logics.
Ian Horrocks, Sean Bechhofer, Daniele Turi, 2005, CADE.
I. Horrocks, Ian Horrocks, 2004 .
I. Horrocks, Lei Li, D. Turi, 2004, Description Logics.
G. Stamou, J. Z. Pan, I. Horrocks, 2007, J. Artif. Intell. Res..
Ian Horrocks, Michel C. A. Klein, Dieter Fensel, 2001, WWW '01.
F. V. Harmelen, D. Fensel, M. Klein, 2001 .
Ian Horrocks, Ulrike Sattler, U. Sattler, 2005, IJCAI.
Ian Horrocks, Ulrike Sattler, U. Sattler, 2001, IJCAI.
Ian Horrocks, Michel C. A. Klein, Dieter Fensel, 2000, EKAW.
Steffen Staab, Ian Horrocks, Michel C. A. Klein, 2000 .
Ian Horrocks, Michel C. A. Klein, Dieter Fensel, 2000, Description Logics.
Ian Horrocks, Peter F. Patel-Schneider, P. Patel-Schneider, 1999, J. Log. Comput..
Huajun Chen, Ian Horrocks, Jiaoyan Chen, 2018, KR.
Ian Horrocks, Evgeny Kharlamov, Dmitriy Zheleznyakov, 2016, Universal Access in the Information Society.
Ian Horrocks, Martin Giese, Guillermo Vega-Gorgojo, 2015, Universal Access in the Information Society.
Giuseppe De Giacomo, I. Horrocks, B. C. Grau, 2006 .
Ian Horrocks, Ulrike Sattler, Oliver Kutz, 2006, KR.
Ian Horrocks, Ulrike Sattler, Oliver Kutz, 2005, OWLED.
Ian Horrocks, Frank van Harmelen, Peter F. Patel-Schneider, 2004 .
Ian Horrocks, Evgeny Kharlamov, Ahmet Soylu, 2018, Semantic Web.
Boris Motik, Ian Horrocks, Rob Shearer, 2009, J. Artif. Intell. Res..
L. Stein, J. Hendler, Mike Dean, 2004 .
Ian Horrocks, Franz Baader, Carsten Lutz, 2017 .
Yavor Nenov, Ian Horrocks, Bernardo Cuenca Grau, 2013, SEMWEB.
Ian Horrocks, Peter F. Patel-Schneider, P. Patel-Schneider, 2003, Description Logics.
Ian Horrocks, Evgeny Kharlamov, Dmitriy Zheleznyakov, 2014, MTSR.
Ian Horrocks, Peter F. Patel-Schneider, Jeff Z. Pan, 2010 .
Ian Horrocks, Lei Li, I. Horrocks, 2003, WWW '03.
Ian Horrocks, Evgeny Kharlamov, Evgenij Thorstensen, 2015, SEMWEB.
Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2008, J. Artif. Intell. Res..
Ian Horrocks, Yevgeny Kazakov, Frantisek Simancik, 2011, IJCAI.
Boris Motik, Ian Horrocks, Temitope Ajileye, 2021, ESWC.
Ian Horrocks, Franz Baader, Ulrike Sattler, 2017 .
Ouns El Harzli, I. Horrocks, B. C. Grau, 2022 .
Ouns El Harzli, I. Horrocks, B. C. Grau, 2022, ArXiv.
Ouns El Harzli, B. C. Grau, Ian Horrocks, 2022, IJCAI.
Ian Horrocks, Martin G. Skjæveland, Espen H. Lian, 2013, SEMWEB.
James A. Hendler, Peter F. Patel-Schneider, Bijan Parsia, 2005, PPSWR.
Ian Horrocks, Jeff Z. Pan, Ian Horrocks, 2002, OTM.
Ian Horrocks, Sergio Tessaris, Sergio Tessaris, 2002, SEMWEB.
Tim Furche, Renzo Orsini, François Bry, 2004 .
Ian Horrocks, Stephan Tobies, S. Tobies, 2000, KR.
Ian Horrocks, Ian Horrocks, 1998, KR.
Ian Horrocks, I. Horrocks, Ian Horrocks, 1996 .
Ian Horrocks, Peter F. Patel-Schneider, I. Horrocks, 2006, WWW '06.
Ian Horrocks, Jeff Z. Pan, Giorgos Stoilos, 2005, ISWC-URSW.
Ian Horrocks, Jeff Z. Pan, Ian Horrocks, 2003, SEMWEB.
Ian Horrocks, Jeff Z. Pan, Ian Horrocks, 2001, SWWS.
Ian Horrocks, Frank van Harmelen, Peter F. Patel-Schneider, 2001, IEEE Intell. Syst..
Ian Horrocks, Jeff Z. Pan, Ian Horrocks, 2003, Description Logics.
Ian Horrocks, Dieter Fensel, Frank van Harmelen, 2001 .
Ian Horrocks, Michel C. A. Klein, Stefan Decker, 2000 .
Ernesto Jiménez-Ruiz, A. Soylu, M. Giese, 2016, Universal Access in the Information Society.
Peter F. Patel-Schneider, Bernardo Cuenca Grau, Ian Horrocks, 2009 .
Carsten Binnig, Ian Horrocks, Evgeny Kharlamov, 2017, Semantic Web.
Ian Horrocks, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, 2013, OM.
Ian Horrocks, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, 2012, ECAI.
Ian Horrocks, Cássia Trojahn, Ondrej Sváb-Zamazal, 2012 .
Ian Horrocks, Jiaoyan Chen, Ali Hadian, 2021, ESWC.
Ian Horrocks, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, 2013, Description Logics.
Ian Horrocks, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, 2012, E-LKR.
Ian Horrocks, Carole A. Goble, Alan L. Rector, 1997, Artif. Intell. Medicine.
Yavor Nenov, Bernardo Cuenca Grau, Yujiao Zhou, 2015, Description Logics.
Ian Horrocks, Michel C. A. Klein, Dieter Fensel, 2000 .
Ian Horrocks, Evgeny Sherkhonov, Bernardo Cuenca Grau, 2017, SEMWEB.
Benjamin N. Grosof, B. Grosof, M. Kifer, 2005 .
B. Motik, Yavor Nenov, Zhe Wu, 2015, SEMWEB.
Boris Motik, Ian Horrocks, Rob Shearer, 2007, CADE.
Boris Motik, Ian Horrocks, Rob Shearer, 2007, Description Logics.
Yavor Nenov, Robert Piro, Boris Motik, 2019, Artif. Intell..
Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris, 1999, Description Logics.
Ian Horrocks, Ian Horrocks, 2002, EDBT.
Ian Horrocks, Peter F. Patel-Schneider, P. Patel-Schneider, 2004, WWW '04.
Ian Horrocks, Bernardo Cuenca Grau, David J. Tena Cucala, 2021, Artif. Intell..
Ian Horrocks, Bernardo Cuenca Grau, David Tena Cucala, 2019, Description Logic, Theory Combination, and All That.
I. Horrocks, U. Sattler, Ian Horrocks, 2007, Journal of Automated Reasoning.
Boris Motik, Ian Horrocks, Bernardo Cuenca Grau, 2018, J. Artif. Intell. Res..
Yavor Nenov, Robert Piro, Boris Motik, 2015, AAAI 2015.
Yavor Nenov, Robert Piro, Boris Motik, 2014, AAAI.
Ian Horrocks, Sean Bechhofer, Dmitry Tsarkov, 2004, SEMWEB.
B. Motik, I. Horrocks, Yavor Nenov, 2014 .
Ian Horrocks, Ulrike Sattler, Ullrich Hustadt, 2007, Handbook of Modal Logic.
I. Horrocks, Yuan He, Jiaoyan Chen, 2021, AAAI.
Ian Horrocks, Jiaoyan Chen, Charles A. Sutton, 2018, AAAI.
Ian Horrocks, Evgeny Kharlamov, Evgenij Thorstensen, 2015, SEMWEB.
Peter F. Patel-Schneider, Bijan Parsia, Bernardo Cuenca Grau, 2006, OWLED.
James A. Hendler, Ian Horrocks, Frank van Harmelen, 2000 .
Ian Horrocks, Jiaoyan Chen, Denvar Antonyrajah, 2021, OM@ISWC.
Ernesto Jiménez-Ruiz, Hang Dong, Yuan He, 2023, ACL.
Ian Horrocks, Ian Horrocks, 2003, Description Logic Handbook.
Ian Horrocks, Evgeny Kharlamov, Martin Giese, 2013, MEDES.
Ian Horrocks, Markus Krötzsch, Despoina Magka, 2014, J. Biomed. Semant..
Ian Horrocks, Patrick J. Hayes, Richard Fikes, 2004, J. Web Semant..
Ian Horrocks, Carole A. Goble, Robert Stevens, 2001, Description Logics.
Ian Horrocks, Bernardo Cuenca Grau, Ana Armas Romero, 2012, SEMWEB.
Boris Motik, Ian Horrocks, Zhe Wang, 2012, ORE.
J. Pan, G. Stoilos, G. Stamou, 2007, J. Artif. Intell. Res..
Ian Horrocks, Franz Baader, Carsten Lutz, 2017 .
Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2009, OWLED.
Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2007, WWW '07.
Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2007, IJCAI.
Ian Horrocks, Bernardo Cuenca Grau, Mark Kaminski, 2016, J. Artif. Intell. Res..
Ian Horrocks, Bernardo Cuenca Grau, B. C. Grau, 2008, ECAI.
Ian Horrocks, Evgeny Kharlamov, Martin Giese, 2013, MTSR.
Ian Horrocks, Evgeny Kharlamov, Dmitriy Zheleznyakov, 2014, Description Logics.
Boris Motik, Héctor Pérez-Urbina, Ian Horrocks, 2009, SEMWEB.
B. Motik, Pan Hu, J. Urbani, 2019, CIKM.
Jeff Z. Pan, I. Horrocks, Yuan He, 2021, Proceedings of the IEEE.
Ian Horrocks, Jeff Z. Pan, Giorgos Stoilos, 2005, J. Data Semant..
Yavor Nenov, Ian Horrocks, Evgeny Kharlamov, 2016, SEMWEB.
Ian Horrocks, Jiaoyan Chen, Charles A. Sutton, 2019, IJCAI.
Charles Sutton, Ernesto Jiménez-Ruiz, Jiaoyan Chen, 2018 .
Boris Motik, Ian Horrocks, Bernardo Cuenca Grau, 2016, Description Logics.
Ian Horrocks, Bernardo Cuenca Grau, David Tena Cucala, 2017, Description Logics.
Steffen Staab, Ian Horrocks, Michel C. A. Klein, 2000 .
Ian Horrocks, Peter F. Patel-Schneider, P. Patel-Schneider, 1999, TABLEAUX.
Ian Horrocks, Alan L. Rector, A. Rector, 1996, Description Logics.
Ian Horrocks, Ian Horrocks, 2007, 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007).
Ian Horrocks, Ian Horrocks, 2013 .
Tran Cao Son, Sheila A. McIlraith, Dieter Fensel, 2001 .
Ian Horrocks, Jeff Z. Pan, Ian Horrocks, 2005, ESWC.
Boris Motik, Ian Horrocks, Giorgos Stoilos, 2013, IJCAI.
B. Motik, B. C. Grau, G. Stoilos, 2013 .
Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2007, Description Logics.
Thomas A. Runkler, Ian Horrocks, Evgeny Kharlamov, 2017, SEMWEB.
Ian Horrocks, Evgeny Kharlamov, Yannis E. Ioannidis, 2016, SEMWEB.
Ian Horrocks, Franz Baader, Ulrike Sattler, 2005, Mechanizing Mathematical Reasoning.
Ian Horrocks, Sergio Tessaris, Ulrike Sattler, 1999 .
Peer Kröger, Ian Horrocks, Evgeny Kharlamov, 2018, ESWC.
Egor V. Kostylev, B. C. Grau, S. Liu, 2023, International Conference on Principles of Knowledge Representation and Reasoning.
Jiaoyan Chen, Mathias Jackermeier, Ian Horrocks, 2023, ArXiv.
Ian Horrocks, Sergio Tessaris, Ulrike Sattler, 2000, LPAR.
Ian Horrocks, Peter F. Patel-Schneider, Deborah L. McGuinness, 2000, Description Logics.
Peer Kröger, Ian Horrocks, Evgeny Kharlamov, 2017, 2017 IEEE International Conference on Big Data (Big Data).
E. Kharlamov, D. Zheleznyakov, Ernesto Jiménez-Ruiz, 2018, Semantic Web.
Ian Horrocks, Egor V. Kostylev, Bernardo Cuenca Grau, 2019, SEMWEB.
Ian Horrocks, Gerhard Weikum, Phokion G. Kolaitis, 2014, Lecture Notes in Computer Science.
Ian Horrocks, Evgeny Kharlamov, Evgeny Sherkhonov, 2017, CIKM.
Ian Horrocks, Ulrike Sattler, Carsten Lutz, 2007, IJCAI.
Boris Motik, Ian Horrocks, Héctor Pérez-Urbina, 2010, J. Appl. Log..
Ian Horrocks, Bernardo Cuenca Grau, Ulrike Sattler, 2006, Description Logics.
Ian Horrocks, Ulrike Sattler, Carsten Lutz, 2003, IJCAI.
Ian Horrocks, Sergio Tessaris, Sergio Tessaris, 2000, AAAI/IAAI.
Boris Motik, Ian Horrocks, Héctor Pérez-Urbina, 2009, Description Logics.
B. C. Grau, M. Kaminski, Alessandro Ronca, 2022, Artif. Intell..
Boris Motik, Ian Horrocks, Bernardo Cuenca Grau, 2017, AAAI.
B. Motik, B. C. Grau, M. Kaminski, 2018 .
Ian Horrocks, Giorgos Stamou, Jeff Z. Pan, 2005 .
Jeff Z. Pan, J. Hartmanis, Zhaohui Wu, 2016, Lecture Notes in Computer Science.
S. Decker, F. V. Harmelen, S. Melnik, 2000, IEEE Internet Comput..
Boris Motik, Ian Horrocks, Giorgio Stefanoni, 2013, Description Logics.
Ian Horrocks, Peter F. Patel-Schneider, Dmitry Tsarkov, 2007, Journal of Automated Reasoning.
Ian Horrocks, Jeff Z. Pan, Ian Horrocks, 2003, SEMWEB.
Ian Horrocks, Peter Clark, Michael Uschold, 2003, SEMWEB.
S. Tobies, U. Sattler, Ian Horrocks, 2000, CADE.
Yavor Nenov, Ian Horrocks, Bernardo Cuenca Grau, 2014, AAAI.
Ian Horrocks, Markus Krötzsch, Despoina Magka, 2013, Description Logics.
Ian Horrocks, Markus Krötzsch, Despoina Magka, 2013 .
Ian Horrocks, Jeff Z. Pan, Ian Horrocks, 2004 .
Thomas A. Runkler, Ian Horrocks, Evgeny Kharlamov, 2017, CIKM.
Ian Horrocks, Andrei Voronkov, A. Voronkov, 2006, FoIKS.
Ian Horrocks, Ian Horrocks, 2005, KI.
C. Lutz, U. Sattler, Birte Glimm, 2007, IJCAI.
Ian Horrocks, Robert Stevens, Ulrike Sattler, 2006, AAAI.
Ian Horrocks, Ian Horrocks, 1999 .
F. Baader, U. Sattler, Ian Horrocks, 2004, Handbook on Ontologies.
Qunzhi Zhou, Hang Dong, Jiaoyan Chen, 2023, ESWC.
Ian Horrocks, Evgeny Kharlamov, Peter Haase, 2013, ESWC.
I. Horrocks, P. Patel-Schneider, Ian Horrocks, 2010 .
Boris Motik, Ian Horrocks, B. Motik, 2008, SEMWEB.
Boris Motik, Ian Horrocks, Bernardo Cuenca Grau, 2008, KR.
Ian Horrocks, Carole A. Goble, Sean Bechhofer, 2001, SWWS.
Ian Horrocks, Bernardo Cuenca Grau, Yevgeny Kazakov, 2006 .
Yavor Nenov, Pan Hu, Xinyue Zhang, 2023, IJCAI.
Ian Horrocks, Egor V. Kostylev, Bernardo Cuenca Grau, 2019, Artif. Intell..
Egor V. Kostylev, I. Horrocks, B. C. Grau, 2017, IJCAI.
Boris Motik, Ian Horrocks, Zhe Wang, 2013, J. Artif. Intell. Res..
James A. Hendler, Ian Horrocks, Frank van Harmelen, 2002 .
Ian Horrocks, Frank van Harmelen, F. V. Harmelen, 2000 .
J. Pan, G. Stoilos, G. Stamou, 2007, J. Artif. Intell. Res..
Ian Horrocks, Giorgos Stoilos, Bernardo Cuenca Grau, 2010, AAAI.
B. Motik, I. Horrocks, Rob Shearer, 2008 .
Boris Motik, Ian Horrocks, B. Motik, 2008, IJCAR.
Ian Horrocks, Dmitry Tsarkov, Ian Horrocks, 2005, IJCAI.
Ian Horrocks, Dmitry Tsarkov, Ian Horrocks, 2004, Description Logics.
Harrie de Swart, P. Patel-Schneider, H. D. Swart, 2000, Lecture Notes in Computer Science.
Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani, 2000, Log. J. IGPL.
Stefano Germano, Ian Horrocks, Federico Igne, 2023, Semantic Web.
Ian Horrocks, Sergio Tessaris, Sergio Tessaris, 2002, LPAR.
Yavor Nenov, Robert Piro, Boris Motik, 2014, Description Logics.
Ian Horrocks, Ulrike Sattler, U. Sattler, 2022 .
Ian Horrocks, Rafael Berlanga Llavori, Bernardo Cuenca Grau, 2011, J. Biomed. Semant..
Peter F. Patel-Schneider, Ian Horrocks, I. Horrocks, 2001, Description Logics.
Ian Horrocks, Rafael Berlanga Llavori, Bernardo Cuenca Grau, 2009, ESWC.
Ian Horrocks, Sean Bechhofer, S. Bechhofer, 2000, Description Logics.
Ian Horrocks, Robert Stevens, Ulrike Sattler, 2005, SEMWEB.
Ian Horrocks, Franz Baader, Ulrike Sattler, 2002, Künstliche Intell..
Ian Horrocks, Ian Horrocks, 1999, Description Logics.