Ian Horrocks - RankMe

485 papers A* 69A 20B 22C 3Misc 20Journal 135Unranked 192

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks. CoRR Ouns El Harzli, Bernardo Cuenca Grau, Artur d'Avila Garcez, Ian Horrocks, Tarek R. Besold
2025	—	`conf`	Language Models as Ontology Encoders. ISWC (1) Hui Yang, Jiaoyan Chen, Yuan He, Yongsheng Gao, Ian Horrocks
2025	J	`jnl`	Language Models as Ontology Encoders. CoRR Hui Yang, Jiaoyan Chen, Yuan He, Yongsheng Gao, Ian Horrocks
2025	J	`jnl`	Ontology Embedding: A Survey of Methods, Applications and Resources. IEEE Trans. Knowl. Data Eng. Jiaoyan Chen, Olga Mashkova, Fernando Zhapa-Camacho, Robert Hoehndorf, Yuan He, Ian Horrocks
2025	—	`conf`	Semantic Technology in Your Pocket. ISWC (Industry/Doctoral Consortium/Posters/Demos) Peter Crocker, Ian Horrocks, Yavor Nenov
2025	J	`jnl`	Sound Logical Explanations for Mean Aggregation Graph Neural Networks. CoRR Matthew Morris, Ian Horrocks
2025	J	`jnl`	Supposedly Equivalent Facts That Aren't? Entity Frequency in Pre-training Induces Asymmetry in LLMs. CoRR Yuan He, Bailan He, Zifeng Ding, Alisia Maria Lupidi, Yuqicheng Zhu, Shuo Chen, Caiqi Zhang, Jiaoyan Chen, Yunpu Ma, Volker Tresp, Ian Horrocks
2024	—	`conf`	A Language Model Based Framework for New Concept Placement in Ontologies. ESWC (1) Hang Dong, Jiaoyan Chen, Yuan He, Yongsheng Gao, Ian Horrocks
2024	J	`jnl`	A Language Model based Framework for New Concept Placement in Ontologies. CoRR Hang Dong, Jiaoyan Chen, Yuan He, Yongsheng Gao, Ian Horrocks
2024	J	`jnl`	DeepOnto: A Python package for ontology engineering with deep learning. Semantic Web Yuan He, Jiaoyan Chen, Hang Dong, Ian Horrocks, Carlo Allocca, Taehun Kim, Brahmananda Sapkota
2024	A*	`conf`	Dual Box Embeddings for the Description Logic EL WWW Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks
2024	A*	`conf`	Faithful Rule Extraction for Differentiable Rule Learning Models. ICLR Xiaxia Wang, David Jaime Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2024	A*	`conf`	Language Models as Hierarchy Encoders. NeurIPS Yuan He, Moy Yuan, Jiaoyan Chen, Ian Horrocks
2024	J	`jnl`	Language Models as Hierarchy Encoders. CoRR Yuan He, Zhangdie Yuan, Jiaoyan Chen, Ian Horrocks
2024	J	`jnl`	Ontology Embedding: A Survey of Methods, Applications and Resources. CoRR Jiaoyan Chen, Olga Mashkova, Fernando Zhapa-Camacho, Robert Hoehndorf, Yuan He, Ian Horrocks
2024	A	`conf`	Ontology Text Alignment: Aligning Textual Content to Terminological Axioms. ECAI Jieying Chen, Hang Dong, Jiaoyan Chen, Ian Horrocks
2024	A*	`conf`	Optimised Storage for Datalog Reasoning. AAAI Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks
2024	A*	`conf`	Orbit-Equivariant Graph Neural Networks. ICLR Matthew Morris, Bernardo Cuenca Grau, Ian Horrocks
2024	A*	`conf`	Relational Graph Convolutional Networks Do Not Learn Sound Rules. KR Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2024	J	`jnl`	Relational Graph Convolutional Networks Do Not Learn Sound Rules. CoRR Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2024	J	`jnl`	Resources for Graph Data and Knowledge. TGDK Aidan Hogan, Ian Horrocks, Andreas Hotho, Lalana Kagal, Uli Sattler
2024	—	`conf`	Results of the Ontology Alignment Evaluation Initiative 2024. OM@ISWC Mina Abd Nikooie Pour, Alsayed Algergawy, Eva Blomqvist, Patrice Buche, Jiaoyan Chen, Adrien Coulet, Julien Cufi, Hang Dong, Daniel Faria, Lucas Ferraz, Pedro Giesteira Cotovio, Yuan He, Sven Hertling, Ian Horrocks, Liliana Ibanescu, Sarika Jain, Ernesto Jiménez-Ruiz, Naouel Karam, Felix Kraus, Patrick Lambrix, Huanyu Li, Ying Li, Pierre Monnin, Heiko Paulheim, Catia Pesquita, Abhisek Sharma, Pavel Shvaiko, Marta Contreiras Silva, Guilherme Sousa, Cássia Trojahn, Jana Vatascinová, Beyza Yaman, Ondrej Zamazal, Lu Zhou
2024	A*	`conf`	Taxonomy Completion via Implicit Concept Insertion. WWW Jingchuan Shi, Hang Dong, Jiaoyan Chen, Zhe Wu, Ian Horrocks
2023	J	`jnl`	An assertion and alignment correction framework for large scale knowledge bases. Semantic Web Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Xi Chen, Erik Bryhn Myklebust
2023	J	`jnl`	Box CoRR Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks
2023	A*	`conf`	Cardinality-Minimal Explanations for Monotonic Neural Networks. IJCAI Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks
2023	J	`jnl`	Conjunctive query answering over unrestricted OWL 2 ontologies. Semantic Web Federico Igne, Stefano Germano, Ian Horrocks
2023	J	`jnl`	Contextual semantic embeddings for ontology subsumption prediction. World Wide Web (WWW) Jiaoyan Chen, Yuan He, Yuxia Geng, Ernesto Jiménez-Ruiz, Hang Dong, Ian Horrocks
2023	J	`jnl`	DeepOnto: A Python Package for Ontology Engineering with Deep Learning. CoRR Yuan He, Jiaoyan Chen, Hang Dong, Ian Horrocks, Carlo Allocca, Taehun Kim, Brahmananda Sapkota
2023	A*	`conf`	Enhancing Datalog Reasoning with Hypertree Decompositions. IJCAI Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks
2023	J	`jnl`	Enhancing Datalog Reasoning with Hypertree Decompositions. CoRR Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks
2023	—	`conf`	Exploring Large Language Models for Ontology Alignment. ISWC (Posters/Demos/Industry) Yuan He, Jiaoyan Chen, Hang Dong, Ian Horrocks
2023	J	`jnl`	Exploring Large Language Models for Ontology Alignment. CoRR Yuan He, Jiaoyan Chen, Hang Dong, Ian Horrocks
2023	—	`conf`	Language Model Analysis for Ontology Subsumption Inference. ACL (Findings) Yuan He, Jiaoyan Chen, Ernesto Jiménez-Ruiz, Hang Dong, Ian Horrocks
2023	J	`jnl`	Language Model Analysis for Ontology Subsumption Inference. CoRR Yuan He, Jiaoyan Chen, Ernesto Jiménez-Ruiz, Hang Dong, Ian Horrocks
2023	A	`conf`	Ontology Enrichment from Texts: A Biomedical Dataset for Concept Discovery and Placement. CIKM Hang Dong, Jiaoyan Chen, Yuan He, Ian Horrocks
2023	J	`jnl`	Ontology Enrichment from Texts: A Biomedical Dataset for Concept Discovery and Placement. CoRR Hang Dong, Jiaoyan Chen, Yuan He, Ian Horrocks
2023	J	`jnl`	Optimised Storage for Datalog Reasoning. CoRR Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks
2023	—	`conf`	Results of the Ontology Alignment Evaluation Initiative 2023. OM@ISWC Mina Abd Nikooie Pour, Alsayed Algergawy, Patrice Buche, Leyla Jael Castro, Jiaoyan Chen, Adrien Coulet, Julien Cufi, Hang Dong, Omaima Fallatah, Daniel Faria, Irini Fundulaki, Sven Hertling, Yuan He, Ian Horrocks, Martin Huschka, Liliana Ibanescu, Sarika Jain, Ernesto Jiménez-Ruiz, Naouel Karam, Patrick Lambrix, Huanyu Li, Ying Li, Pierre Monnin, Engy Nasr, Heiko Paulheim, Catia Pesquita, Tzanina Saveta, Pavel Shvaiko, Guilherme Sousa, Cássia Trojahn, Jana Vatascinová, Mingfang Wu, Beyza Yaman, Ondrej Zamazal, Lu Zhou
2023	A	`conf`	Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking. CIKM Hang Dong, Jiaoyan Chen, Yuan He, Yinan Liu, Ian Horrocks
2023	J	`jnl`	Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking. CoRR Hang Dong, Jiaoyan Chen, Yuan He, Yinan Liu, Ian Horrocks
2023	A*	`conf`	Revisiting Inferential Benchmarks for Knowledge Graph Completion. KR Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
2023	J	`jnl`	Revisiting Inferential Benchmarks for Knowledge Graph Completion. CoRR Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
2023	B	`conf`	Subsumption Prediction for E-Commerce Taxonomies. ESWC Jingchuan Shi, Jiaoyan Chen, Hang Dong, Ishita K. Khan, Lizzie Liang, Qunzhi Zhou, Zhe Wu, Ian Horrocks
2023	J	`jnl`	Transactions on Graph Data and Knowledge. TGDK Aidan Hogan, Ian Horrocks, Andreas Hotho, Lalana Kagal
2023	J	`jnl`	Zero-Shot and Few-Shot Learning With Knowledge Graphs: A Comprehensive Survey. Proc. IEEE Jiaoyan Chen, Yuxia Geng, Zhuo Chen, Jeff Z. Pan, Yuan He, Wen Zhang, Ian Horrocks, Huajun Chen
2022	A*	`conf`	BERTMap: A BERT-Based Ontology Alignment System. AAAI Yuan He, Jiaoyan Chen, Denvar Antonyrajah, Ian Horrocks
2022	J	`jnl`	Contextual Semantic Embeddings for Ontology Subsumption Prediction. CoRR Jiaoyan Chen, Yuan He, Ernesto Jiménez-Ruiz, Hang Dong, Ian Horrocks
2022	Misc	`conf`	Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. ISWC Yuan He, Jiaoyan Chen, Hang Dong, Ernesto Jiménez-Ruiz, Ali Hadian, Ian Horrocks
2022	J	`jnl`	Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. CoRR Yuan He, Jiaoyan Chen, Hang Dong, Ernesto Jiménez-Ruiz, Ali Hadian, Ian Horrocks
2022	J	`jnl`	Minimal Explanations for Neural Network Predictions. CoRR Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks
2022	J	`jnl`	Modular materialisation of Datalog programs. Artif. Intell. Pan Hu, Boris Motik, Ian Horrocks
2022	—	`conf`	Results of the Ontology Alignment Evaluation Initiative 2022. OM@ISWC Mina Abd Nikooie Pour, Alsayed Algergawy, Patrice Buche, Leyla Jael Castro, Jiaoyan Chen, Hang Dong, Omaima Fallatah, Daniel Faria, Irini Fundulaki, Sven Hertling, Yuan He, Ian Horrocks, Martin Huschka, Liliana Ibanescu, Ernesto Jiménez-Ruiz, Naouel Karam, Amir Laadhar, Patrick Lambrix, Huanyu Li, Ying Li, Franck Michel, Engy Nasr, Heiko Paulheim, Catia Pesquita, Tzanina Saveta, Pavel Shvaiko, Cássia Trojahn, Chantelle Verhey, Mingfang Wu, Beyza Yaman, Ondrej Zamazal, Lu Zhou
2022	J	`jnl`	The Complexity and Expressive Power of Limit Datalog. J. ACM Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2022	B	`conf`	The Dow Jones Knowledge Graph. ESWC Ian Horrocks, Jordi Olivares, Valerio Cocchi, Boris Motik, Dylan Roy
2022	J	`jnl`	The delay and window size problems in rule-based stream reasoning. Artif. Intell. Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2021	B	`conf`	Augmenting Ontology Alignment by Semantic Embedding and Distant Supervision. ESWC Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Denvar Antonyrajah, Ali Hadian, Jaehun Lee
2021	J	`jnl`	BERTMap: A BERT-based Ontology Alignment System. CoRR Yuan He, Jiaoyan Chen, Denvar Antonyrajah, Ian Horrocks
2021	—	`conf`	Biomedical ontology alignment with BERT. OM@ISWC Yuan He, Jiaoyan Chen, Denvar Antonyrajah, Ian Horrocks
2021	Misc	`conf`	Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA. ISWC Federico Igne, Stefano Germano, Ian Horrocks
2021	—	`conf`	Computing CQ lower-bounds over OWL 2 through approximation to RSA - Extended Abstract. ISWC (Posters/Demos/Industry) Federico Igne, Stefano Germano, Ian Horrocks
2021	J	`jnl`	Computing CQ lower-bounds over OWL 2 through approximation to RSA. CoRR Federico Igne, Stefano Germano, Ian Horrocks
2021	A*	`conf`	INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding. NeurIPS Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
2021	C	`conf`	Knowledge Graphs: Theory, Applications and Challenges. WEBIST Ian Horrocks
2021	A*	`conf`	Knowledge-aware Zero-Shot Learning: Survey and Perspective. IJCAI Jiaoyan Chen, Yuxia Geng, Zhuo Chen, Ian Horrocks, Jeff Z. Pan, Huajun Chen
2021	J	`jnl`	Knowledge-aware Zero-Shot Learning: Survey and Perspective. CoRR Jiaoyan Chen, Yuxia Geng, Zhuo Chen, Ian Horrocks, Jeff Z. Pan, Huajun Chen
2021	J	`jnl`	Low-resource Learning with Knowledge Graphs: A Comprehensive Survey. CoRR Jiaoyan Chen, Yuxia Geng, Zhuo Chen, Jeff Z. Pan, Yuan He, Wen Zhang, Ian Horrocks, Huajun Chen
2021	J	`jnl`	OWL2Vec*: embedding of OWL ontologies. Mach. Learn. Jiaoyan Chen, Pan Hu, Ernesto Jiménez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah, Ian Horrocks
2021	J	`jnl`	On Event-Driven Knowledge Graph Completion in Digital Factories. CoRR Martin Ringsquandl, Evgeny Kharlamov, Daria Stepanova, Steffen Lamparter, Raffaello Lepratti, Ian Horrocks, Peer Kröger
2021	J	`jnl`	Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artif. Intell. David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2021	—	`conf`	RSAComb: Combined Approach for CQ Answering in RSA. Description Logics Federico Igne, Stefano Germano, Ian Horrocks
2021	B	`conf`	Streaming Partitioning of RDF Graphs for Datalog Reasoning. ESWC Temitope Ajileye, Boris Motik, Ian Horrocks
2021	—	`conf`	Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy - Extended Abstract. ISWC (Posters/Demos/Industry) Stefano Germano, Carla Saunders, Ian Horrocks, Rick Lupton
2021	Misc	`conf`	Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy. ISWC Stefano Germano, Carla Saunders, Ian Horrocks, Rick Lupton
2020	—	`conf`	A Context-Aware Recommendation System for Mobile Devices. ISWC (Demos/Industry) Jaehun Lee, Taeho Hwang, Jungho Park, Yunsu Lee, Boris Motik, Ian Horrocks
2020	A*	`conf`	Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. AAAI Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2020	A*	`conf`	Correcting Knowledge Base Assertions. WWW Jiaoyan Chen, Xi Chen, Ian Horrocks, Erik B. Myklebust, Ernesto Jiménez-Ruiz
2020	J	`jnl`	Correcting Knowledge Base Assertions. CoRR Jiaoyan Chen, Xi Chen, Ian Horrocks, Ernesto Jiménez-Ruiz, Erik B. Myklebust
2020	J	`jnl`	OWL2Vec*: Embedding of OWL Ontologies. CoRR Jiaoyan Chen, Pan Hu, Ernesto Jiménez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah, Ian Horrocks
2020	—	`ed.`	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. JOWO Karl Hammar, Oliver Kutz, Anastasia Dimou, Torsten Hahmann, Robert Hoehndorf, Claudio Masolo, Randi Vita, Sarra Ben Abbès, Rim Hantach, Philippe Calvez, Tiago Prince Sales, Daniele Porello, Daniel Beßler, Stefano Borgo, Mohammed Diab, Aldo Gangemi, Alberto Olivares Alarcos, Mihai Pomarlan, Robert Porzel, Martin G. Skjæveland, Daniel P. Lupp, Ian Horrocks, Johan W. Klüwer, Christian Kindermann, Loris Bozzato, Till Mossakowski, Luciano Serafini
2019	—	`conf`	15 Years of Consequence-Based Reasoning. Description Logic, Theory Combination, and All That David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2019	—	`conf`	An Efficient Index for RDF Query Containment. SIGMOD Conference Theofilos Mailis, Yannis Kotidis, Vaggelis Nikolopoulos, Evgeny Kharlamov, Ian Horrocks, Yannis E. Ioannidis
2019	—	`conf`	Bag Semantics of DL-Lite with Functionality Axioms. ISWC (1) Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019	—	`conf`	Bagging the DL-Lite Family Further. Description Logics Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019	—	`conf`	Canonicalizing Knowledge Base Literals. ISWC (1) Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks
2019	J	`jnl`	Canonicalizing Knowledge Base Literals. CoRR Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks
2019	A*	`conf`	ColNet: Embedding the Semantics of Web Tables for Column Type Prediction. AAAI Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton
2019	—	`conf`	Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. ISWC (1) Temitope Ajileye, Boris Motik, Ian Horrocks
2019	J	`jnl`	Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. CoRR Temitope Ajileye, Boris Motik, Ian Horrocks
2019	A	`conf`	Datalog Reasoning over Compressed RDF Knowledge Bases. CIKM Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks
2019	J	`jnl`	Datalog Reasoning over Compressed RDF Knowledge Bases. CoRR Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks
2019	J	`jnl`	Foundations of ontology-based data access under bag semantics. Artif. Intell. Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019	A*	`conf`	Learning Semantic Annotations for Tabular Data. IJCAI Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton
2019	J	`jnl`	Learning Semantic Annotations for Tabular Data. CoRR Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton
2019	J	`jnl`	Limit Datalog: A Declarative Query Language for Data Analysis. SIGMOD Rec. Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik
2019	J	`jnl`	Maintenance of datalog materialisations revisited. Artif. Intell. Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2019	A*	`conf`	Modular Materialisation of Datalog Programs. AAAI Pan Hu, Boris Motik, Ian Horrocks
2019	—	`conf`	Mv-Index: An Efficient Index for Graph-Query Containment. ISWC (Satellites) Theofilos Mailis, Yannis Kotidis, Vaggelis Nikolopoulos, Evgeny Kharlamov, Ian Horrocks, Yannis E. Ioannidis
2019	—	`conf`	Query-Based Entity Comparison in Knowledge Graphs Revisited. ISWC (1) Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks
2019	A*	`conf`	Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. IJCAI Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks
2019	—	`conf`	Sequoia: A Consequence Based Reasoner for SROIQ. Description Logics David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2019	—	`conf`	Towards Explainable Entity Matching via Comparison Queries. OM@ISWC Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks
2018	J	`jnl`	ColNet: Embedding the Semantics of Web Tables for Column Type Prediction. CoRR Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton
2018	J	`jnl`	Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. J. Artif. Intell. Res. Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancík, Ian Horrocks
2018	A*	`conf`	Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. IJCAI David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2018	J	`jnl`	Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. CoRR David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2018	B	`conf`	Diagnostics of Trains with Semantic Diagnostics Rules. ILP Evgeny Kharlamov, Ognjen Savkovic, Martin Ringsquandl, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks, Thomas A. Runkler
2018	J	`jnl`	Dynamic Data Exchange in Distributed RDF Stores. IEEE Trans. Knowl. Data Eng. Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks
2018	B	`conf`	Event-Enhanced Learning for KG Completion. ESWC Martin Ringsquandl, Evgeny Kharlamov, Daria Stepanova, Marcel Hildebrandt, Steffen Lamparter, Raffaello Lepratti, Ian Horrocks, Peer Kröger
2018	—	`conf`	Filling Gaps in Industrial Knowledge Graphs via Event-Enhanced Embedding. ISWC (P&D/Industry/BlueSky) Martin Ringsquandl, Evgeny Kharlamov, Daria Stepanova, Marcel Hildebrandt, Steffen Lamparter, Raffaello Lepratti, Ian Horrocks, Peer Kröger
2018	—	`conf`	Finding Data Should be Easier than Finding Oil. IEEE BigData Evgeny Kharlamov, Martin G. Skjæveland, Dag Hovland, Theofilos Mailis, Ernesto Jiménez-Ruiz, Guohui Xiao, Ahmet Soylu, Ian Horrocks, Arild Waaler
2018	A*	`conf`	Knowledge-Based Transfer Learning Explanation. KR Jiaoyan Chen, Freddy Lécué, Jeff Z. Pan, Ian Horrocks, Huajun Chen
2018	J	`jnl`	Knowledge-based Transfer Learning Explanation. CoRR Jiaoyan Chen, Freddy Lécué, Jeff Z. Pan, Ian Horrocks, Huajun Chen
2018	J	`jnl`	Modular Materialisation of Datalog Programs. CoRR Pan Hu, Boris Motik, Ian Horrocks
2018	A*	`conf`	Optimised Maintenance of Datalog Materialisations. AAAI Pan Hu, Boris Motik, Ian Horrocks
2018	J	`jnl`	OptiqueVQS: A visual query system over ontologies for industry. Semantic Web Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Martin G. Skjæveland, Dag Hovland, Rudolf Schlatte, Sebastian Brandt, Hallstein Lie, Ian Horrocks
2018	J	`jnl`	RODI: Benchmarking relational-to-ontology mapping generation quality. Semantic Web Christoph Pinkel, Carsten Binnig, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Wolfgang May, Andriy Nikolov, Ana Sasa Bastinos, Martin G. Skjæveland, Alessandro Solimando, Mohsen Taheriyan, Christian Heupel, Ian Horrocks
2018	—	`conf`	Semantic Diagnostics of Smart Factories. JIST Ognjen Savkovic, Evgeny Kharlamov, Martin Ringsquandl, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Ian Horrocks
2018	A*	`conf`	Stratified Negation in Limit Datalog Programs. IJCAI Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2018	J	`jnl`	Stratified Negation in Limit Datalog Programs. CoRR Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2018	A*	`conf`	Stream Reasoning in Temporal Datalog. AAAI Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2018	A*	`conf`	The Window Validity Problem in Rule-Based Stream Reasoning. KR Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2018	J	`jnl`	The Window Validity Problem in Rule-Based Stream Reasoning. CoRR Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2018	—	`conf`	Theoretical Characterization of Signal Diagnostic Processing Language. Description Logics Ognjen Savkovic, Evgeny Kharlamov, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks
2018	—	`conf`	Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract). IEEE BigData Evgeny Kharlamov, Gulnar Mehdi, Ognjen Savkovic, Guohui Xiao, Steffen Lamparter, Ian Horrocks, Arild Waaler
2018	—	`conf`	Which Is the Tallest Building in Europe? Representing and Reasoning About Knowledge. SIMBig Ian Horrocks
2017	—	`book`	An Introduction to Description Logic. Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2017	—	`conf`	Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. Description Logics David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2017	—	`conf`	Entity Comparison in RDF Graphs. ISWC (1) Alina Petrova, Evgeny Sherkhonov, Bernardo Cuenca Grau, Ian Horrocks
2017	A*	`conf`	Foundations of Declarative Data Analysis Using Limit Datalog Programs. IJCAI Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017	J	`jnl`	Foundations of Declarative Data Analysis Using Limit Datalog Programs. CoRR Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017	—	`conf`	On event-driven knowledge graph completion in digital factories. IEEE BigData Martin Ringsquandl, Evgeny Kharlamov, Daria Stepanova, Steffen Lamparter, Raffaello Lepratti, Ian Horrocks, Peer Kröger
2017	J	`jnl`	Ontology-based end-user visual query formulation: Why, what, who, how, and which? Univers. Access Inf. Soc. Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks
2017	J	`jnl`	Optimised Maintenance of Datalog Materialisations. CoRR Pan Hu, Boris Motik, Ian Horrocks
2017	—	`conf`	PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine. GRADES@SIGMOD/PODS Nicholas P. Roth, Vasileios Trigonakis, Sungpack Hong, Hassan Chafi, Anthony Potter, Boris Motik, Ian Horrocks
2017	—	`conf`	Ranking, Aggregation, and Reachability in Faceted Search with SemFacet. ISWC (Posters, Demos & Industry Tracks) Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2017	—	`ed.`	Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures RW Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
2017	A	`conf`	SemDia: Semantic Rule-Based Equipment Diagnostics Tool. CIKM Gulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Elem Güzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler
2017	A	`conf`	SemFacet: Making Hard Faceted Search Easier. CIKM Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2017	—	`conf`	Semantic Rule-Based Equipment Diagnostic. ISWC (Posters, Demos & Industry Tracks) Gulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Elem Guzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler
2017	—	`conf`	Semantic Rule-Based Equipment Diagnostics. ISWC (2) Gulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Elem Güzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler
2017	A	`conf`	Semantic Rules for Machine Diagnostics: Execution and Management. CIKM Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Rafael Peñaloza, Gulnar Mehdi, Mikhail Roshchin, Ian Horrocks
2017	J	`jnl`	Stream Reasoning in Temporal Datalog. CoRR Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2017	A*	`conf`	The Bag Semantics of Ontology-Based Data Access. IJCAI Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2017	J	`jnl`	The Bag Semantics of Ontology-Based Data Access. CoRR Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2017	A*	`conf`	Trust-Sensitive Evolution of DL-Lite Knowledge Bases. AAAI Dmitriy Zheleznyakov, Evgeny Kharlamov, Ian Horrocks
2016	—	`conf`	A semantic approach to polystores. IEEE BigData Evgeny Kharlamov, Theofilos P. Mailis, Konstantina Bereta, Dimitris Bilidas, Sebastian Brandt, Ernesto Jiménez-Ruiz, Steffen Lamparter, Christian Neuenstadt, Özgür L. Özçep, Ahmet Soylu, Christoforos Svingos, Guohui Xiao, Dmitriy Zheleznyakov, Diego Calvanese, Ian Horrocks, Martin Giese, Yannis E. Ioannidis, Yannis Kotidis, Ralf Möller, Arild Waaler
2016	—	`conf`	Capturing Industrial Information Models with Ontologies and Constraints. ISWC (2) Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks
2016	—	`conf`	Distributed RDF Query Answering with Dynamic Data Exchange. ISWC (1) Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks
2016	—	`conf`	Enabling semantic access to static and streaming distributed data with optique: demo. DEBS Evgeny Kharlamov, Sebastian Brandt, Martin Giese, Ernesto Jiménez-Ruiz, Yannis Kotidis, Steffen Lamparter, Theofilos Mailis, Christian Neuenstadt, Özgür L. Özçep, Christoph Pinkel, Ahmet Soylu, Christoforos Svingos, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller, Arild Waaler
2016	J	`jnl`	Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users. Univers. Access Inf. Soc. Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Guillermo Vega-Gorgojo, Ian Horrocks
2016	A*	`conf`	Extending Consequence-Based Reasoning to SRIQ. KR Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2016	J	`jnl`	Extending Consequence-Based Reasoning to SRIQ. CoRR Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2016	—	`conf`	KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction. ISWC (Posters & Demos) Dmitriy Zheleznyakov, Evgeny Kharlamov, Vidar Klungre, Martin G. Skjæveland, Dag Hovland, Martin Giese, Ian Horrocks, Arild Waaler
2016	J	`jnl`	Module Extraction in Expressive Ontology Languages via Datalog Reasoning. J. Artif. Intell. Res. Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2016	—	`conf`	Ontology Module Extraction via Datalog Reasoning. Description Logics Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2016	—	`conf`	Ontology-Based Integration of Streaming and Static Relational Data with Optique. SIGMOD Conference Evgeny Kharlamov, Sebastian Brandt, Ernesto Jiménez-Ruiz, Yannis Kotidis, Steffen Lamparter, Theofilos Mailis, Christian Neuenstadt, Özgür L. Özçep, Christoph Pinkel, Christoforos Svingos, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller
2016	A*	`ed.`	Proceedings of the 25th International Conference on World Wide Web, WWW 2016, Montreal, Canada, April 11 - 15, 2016 WWW Jacqueline Bourdeau, Jim Hendler, Roger Nkambou, Ian Horrocks, Ben Y. Zhao
2016	—	`ed.`	Proceedings of the 25th International Conference on World Wide Web, WWW 2016, Montreal, Canada, April 11-15, 2016, Companion Volume WWW (Companion Volume) Jacqueline Bourdeau, Jim Hendler, Roger Nkambou, Ian Horrocks, Ben Y. Zhao
2016	—	`conf`	SOMM: Industry Oriented Ontology Management Tool. ISWC (Posters & Demos) Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks
2016	—	`conf`	Scalable Semantic Access to Siemens Static and Streaming Distributed Data. ISWC (Posters & Demos) Evgeny Kharlamov, Sebastian Brandt, Martin Giese, Ernesto Jiménez-Ruiz, Yannis Kotidis, Steffen Lamparter, Theofilos Mailis, Christian Neuenstadt, Özgür Lütfü Özçep, Christoph Pinkel, Ahmet Soylu, Christoforos Svingos, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller, Arild Waaler
2016	—	`conf`	Semantic Technologies for Data Analysis in Health Care. ISWC (2) Robert Piro, Yavor Nenov, Boris Motik, Ian Horrocks, Peter Hendler, Scott Kimberly, Michael Rossman
2016	J	`jnl`	Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version). CoRR Evgeny Kharlamov, Yannis Kotidis, Theofilos Mailis, Christian Neuenstadt, Charalampos Nikolaou, Özgür L. Özçep, Christoforos Svingos, Dmitriy Zheleznyakov, Steffen Lamparter, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller
2016	—	`conf`	Towards Analytics Aware Ontology Based Access to Static and Streaming Data. ISWC (2) Evgeny Kharlamov, Yannis Kotidis, Theofilos Mailis, Christian Neuenstadt, Charalampos Nikolaou, Özgür L. Özçep, Christoforos Svingos, Dmitriy Zheleznyakov, Sebastian Brandt, Ian Horrocks, Yannis E. Ioannidis, Steffen Lamparter, Ralf Möller
2016	—	`conf`	Towards the Creation of the Cardiovascular Magnetic Resonance Quality Assessment Ontology (CMR-QA). SWAT4LS Ernesto Jiménez-Ruiz, Valentina Carapella, Elena Lukaschuk, Nay Aung, Kenneth Fung, José Miguel Paiva, Mihir Sanghvi, Stefan Neubauer, Steffen E. Petersen, Ian Horrocks, Stefan K. Piechnik
2016	—	`conf`	Towards the Semantic Enrichment of Free-Text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans. LABELS/DLMIA@MICCAI Valentina Carapella, Ernesto Jiménez-Ruiz, Elena Lukaschuk, Nay Aung, Kenneth Fung, José Miguel Paiva, Mihir Sanghvi, Stefan Neubauer, Steffen E. Petersen, Ian Horrocks, Stefan K. Piechnik
2016	J	`jnl`	Using Semantic Technology to Tame the Data Variety Challenge. IEEE Internet Comput. Ian Horrocks, Martin Giese, Evgeny Kharlamov, Arild Waaler
2015	—	`conf`	BootOX: Bootstrapping OWL 2 Ontologies and R2RML Mappings from Relational Databases. ISWC (Posters & Demos) Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks, Christoph Pinkel, Martin G. Skjæveland, Evgenij Thorstensen, Jose Mora
2015	—	`conf`	BootOX: Practical Mapping of RDBs to OWL 2. ISWC (2) Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks, Christoph Pinkel, Martin G. Skjæveland, Evgenij Thorstensen, Jose Mora
2015	A*	`conf`	Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. IJCAI Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2015	J	`jnl`	Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. CoRR Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2015	—	`conf`	Extending Consequence-Based Reasoning to SHIQ. Description Logics Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2015	—	`conf`	Extending the Combined Approach Beyond Lightweight Description Logics. Description Logics Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
2015	A*	`conf`	Handling Owl: sameAs via Rewriting. AAAI Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks
2015	A*	`conf`	Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. AAAI Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks
2015	—	`conf`	Ontology Based Access to Exploration Data at Statoil. ISWC (2) Evgeny Kharlamov, Dag Hovland, Ernesto Jiménez-Ruiz, Davide Lanti, Hallstein Lie, Christoph Pinkel, Martín Rezk, Martin G. Skjæveland, Evgenij Thorstensen, Guohui Xiao, Dmitriy Zheleznyakov, Ian Horrocks
2015	A*	`conf`	Ontology Module Extraction via Datalog Reasoning. AAAI Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2015	—	`conf`	Ontology-Based Visual Query Formulation: An Industry Experience. ISVC (1) Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks
2015	—	`conf`	Ontology-based Query Answering with PAGOdA. ORE Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
2015	—	`conf`	Optique: Ontology-Based Data Access Platform. ISWC (Posters & Demos) Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Christoph Pinkel, Martin Rezk, Martin G. Skjæveland, Ahmet Soylu, Guohui Xiao, Dmitriy Zheleznyakov, Martin Giese, Ian Horrocks, Arild Waaler
2015	—	`conf`	OptiqueVQS: Ontology-Based Visual Querying. VOILA@ISWC Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks
2015	J	`jnl`	PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. J. Artif. Intell. Res. Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks
2015	—	`conf`	PAGOdA: Pay-as-you-go ABox Reasoning. Description Logics Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks
2015	—	`conf`	RDFox: A Highly-Scalable RDF Store. ISWC (2) Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, Jay Banerjee
2015	—	`conf`	Semantic Access to Siemens Streaming Data: the Optique Way. ISWC (Posters & Demos) Evgeny Kharlamov, Sebastian Brandt, Martin Giese, Ernesto Jiménez-Ruiz, Steffen Lamparter, Christian Neuenstadt, Özgür Lütfü Özçep, Christoph Pinkel, Ahmet Soylu, Dmitriy Zheleznyakov, Mikhail Roshchin, Stuart Watson, Ian Horrocks
2015	A*	`conf`	The Combined Approach to Query Answering Beyond the OWL 2 Profiles. IJCAI Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
2014	J	`jnl`	A rule-based ontological framework for the classification of molecules. J. Biomed. Semant. Despoina Magka, Markus Krötzsch, Ian Horrocks
2014	J	`jnl`	Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. CoRR Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2014	J	`jnl`	Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. CoRR Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2014	J	`jnl`	Consequence-based and fixed-parameter tractable reasoning in description logics. Artif. Intell. Frantisek Simancík, Boris Motik, Ian Horrocks
2014	J	`jnl`	Description Logics. IEEE Intell. Syst. Markus Krötzsch, Frantisek Simancík, Ian Horrocks
2014	J	`jnl`	Handling owl: sameAs via Rewriting. CoRR Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2014	J	`jnl`	HermiT: An OWL 2 Reasoner. J. Autom. Reason. Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang
2014	J	`jnl`	Hypertableau Reasoning for Description Logics. CoRR Boris Motik, Robert D. C. Shearer, Ian Horrocks
2014	—	`conf`	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs. Description Logics David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
2014	J	`jnl`	Ontology Module Extraction via Datalog Reasoning. CoRR Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2014	—	`conf`	OptiqueVQS: Visual Query Formulation for OBDA. Description Logics Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks
2014	A*	`conf`	Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. AAAI Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
2014	—	`conf`	Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. Description Logics Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
2014	A*	`conf`	Pay-As-You-Go OWL Query Answering Using a Triple Store. AAAI Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
2014	—	`conf`	Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. Description Logics Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
2014	—	`conf`	Pushing the Boundaries of Tractable Ontology Reasoning. ISWC (2) David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
2014	—	`conf`	Querying Distributed RDF Graphs: The Effects of Partitioning. SSWS@ISWC Anthony Potter, Boris Motik, Ian Horrocks
2014	—	`ed.`	Reasoning Web. Reasoning on the Web in the Big Data Era - 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings Reasoning Web Manolis Koubarakis, Giorgos B. Stamou, Giorgos Stoilos, Ian Horrocks, Phokion G. Kolaitis, Georg Lausen, Gerhard Weikum
2014	—	`conf`	Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation. MTSR Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks
2014	Misc	`conf`	Why not simply Google? NordiCHI Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks
2013	—	`conf`	A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data. MTSR Ahmet Soylu, Martin G. Skjæveland, Martin Giese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov
2013	J	`jnl`	Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res. Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2013	—	`conf`	Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach. KNOW@LOD Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Manolis Koubarakis, Ralf Möller, Konstantina Bereta, Christian Neuenstadt, Özgür L. Özçep, Mikhail Roshchin, Panayiotis Smeros, Dmitriy Zheleznyakov
2013	—	`conf`	Complete Query Answering over Horn Ontologies Using a Triple Store. ISWC (1) Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
2013	A*	`conf`	Computing Datalog Rewritings Beyond Horn Ontologies. IJCAI Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2013	J	`jnl`	Computing Datalog Rewritings beyond Horn Ontologies CoRR Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2013	A*	`conf`	Computing Stable Models for Nonmonotonic Existential Rules. IJCAI Despoina Magka, Markus Krötzsch, Ian Horrocks
2013	B	`conf`	Concrete Results on Abstract Rules. LPNMR Markus Krötzsch, Despoina Magka, Ian Horrocks
2013	—	`conf`	Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper). OWLED Herald Kllapi, Dimitris Bilidas, Ian Horrocks, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Manolis Koubarakis, Dmitriy Zheleznyakov
2013	—	`conf`	Evaluating Mapping Repair Systems with Large Biomedical Ontologies. Description Logics Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks
2013	J	`jnl`	Introducing Nominals to the Combined Query Answering Approaches for EL CoRR Giorgio Stefanoni, Boris Motik, Ian Horrocks
2013	A*	`conf`	Introducing Nominals to the Combined Query Answering Approaches for EL. AAAI Giorgio Stefanoni, Boris Motik, Ian Horrocks
2013	—	`conf`	Introducing Nominals to the Combined Query Answering Approaches for EL. Description Logics Giorgio Stefanoni, Boris Motik, Ian Horrocks
2013	—	`conf`	Is my ontology matching system similar to yours? OM Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks
2013	—	`conf`	LogMap and LogMapLt results for OAEI 2013. OM Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks
2013	—	`conf`	MORe: a Modular OWL Reasoner for Ontology Classification. ORE Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks, Ernesto Jiménez-Ruiz
2013	A*	`conf`	Making the most of your triple store: query answering in OWL 2 using an RL reasoner. WWW Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Jay Banerjee
2013	—	`conf`	Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. Description Logics Despoina Magka, Markus Krötzsch, Ian Horrocks
2013	—	`conf`	On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper). OWLED Diego Calvanese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Meier, Mariano Rodriguez-Muro, Dmitriy Zheleznyakov
2013	—	`conf`	Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages. ISWC (Posters & Demos) Evgeny Kharlamov, Martin Giese, Ernesto Jiménez-Ruiz, Martin G. Skjæveland, Ahmet Soylu, Dmitriy Zheleznyakov, Timea Bagosi, Marco Console, Peter Haase, Ian Horrocks, Sarunas Marciuska, Christoph Pinkel, Mariano Rodriguez-Muro, Marco Ruzzi, Valerio Santarelli, Domenico Fabio Savo, Kunal Sengupta, Michael Schmidt, Evgenij Thorstensen, Johannes Trame, Arild Waaler
2013	—	`conf`	Optique System: towards ontology and mapping management in OBDA solutions. WoDOOM Peter Haase, Ian Horrocks, Dag Hovland, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Johan W. Klüwer, Christoph Pinkel, Riccardo Rosati, Valerio Santarelli, Ahmet Soylu, Dmitriy Zheleznyakov
2013	—	`conf`	Optique: OBDA Solution for Big Data. ESWC (Satellite Events) Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Johan W. Klüwer, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, T. Nordtveit, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov
2013	—	`conf`	Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Dmitriy Zheleznyakov, Dimitris Bilidas, Martin Giese, Peter Haase, Ian Horrocks, Herald Kllapi, Manolis Koubarakis, Özgür L. Özçep, Mariano Rodriguez-Muro, Riccardo Rosati, Michael Schmidt, Rudolf Schlatte, Ahmet Soylu, Arild Waaler
2013	C	`conf`	OptiqueVQS: towards an ontology-based visual query system for big data. MEDES Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks
2013	J	`jnl`	Order matters! Harnessing a world of orderings for reasoning over massive data. Semantic Web Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro Bozzon, Stefano Ceri, Ian Horrocks
2013	—	`conf`	Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data. ISWC (2) Martin G. Skjæveland, Espen H. Lian, Ian Horrocks
2013	—	`ed.`	Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings Reasoning Web Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen
2013	—	`conf`	The Energy Management Adviser at EDF. ISWC (2) Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre
2013	—	`conf`	The Optique Project: Towards OBDA Systems for Industry (Short Paper). OWLED Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Marco Ruzzi, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov
2013	—	`conf`	Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems. OWLED Bernardo Cuenca Grau, Martin Giese, Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Schmidt, Ahmet Soylu, Dmitriy Zheleznyakov
2012	J	`jnl`	A Description Logic Primer CoRR Markus Krötzsch, Frantisek Simancík, Ian Horrocks
2012	J	`jnl`	A novel approach to ontology classification. J. Web Semant. Birte Glimm, Ian Horrocks, Boris Motik, Robert D. C. Shearer, Giorgos Stoilos
2012	A*	`conf`	Acyclicity Conditions and their Application to Query Answering in Description Logics. KR Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2012	—	`conf`	Classifying Chemicals Using Description Graphs and Logic Programming. OWLED Despoina Magka, Boris Motik, Ian Horrocks
2012	J	`jnl`	Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. J. Artif. Intell. Res. Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2012	—	`conf`	Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. WWW (Companion Volume) Boris Motik, Ian Horrocks, Su Myeon Kim
2012	—	`conf`	Efficient Upper Bound Computation of Query Answers in Expressive Description Logics. Description Logics Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks
2012	—	`conf`	Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative. E-LKR Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks
2012	A	`conf`	Large-scale Interactive Ontology Matching: Algorithms and Implementation. ECAI Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks
2012	—	`conf`	LogMap and LogMapLt results for OAEI 2012. OM Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks
2012	—	`conf`	MORe: Modular Combination of OWL Reasoners for Ontology Classification. ISWC (1) Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks
2012	—	`conf`	Modelling Structured Domains Using Description Graphs and Logic Programming. Description Logics Despoina Magka, Boris Motik, Ian Horrocks
2012	B	`conf`	Modelling Structured Domains Using Description Graphs and Logic Programming. ESWC Despoina Magka, Boris Motik, Ian Horrocks
2012	—	`conf`	Modular Combination of Reasoners for Ontology Classification. Description Logics Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks
2012	—	`conf`	On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems. ORE Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks
2012	—	`ed.`	Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012 ORE Ian Horrocks, Mikalai Yatskevich, Ernesto Jiménez-Ruiz
2012	J	`jnl`	Semantics ⊓ scalability ⊨ ⊥? J. Zhejiang Univ. Sci. C Ian Horrocks
2012	—	`conf`	Small Datalog Query Rewritings for EL. Description Logics Giorgio Stefanoni, Boris Motik, Ian Horrocks
2012	—	`conf`	The HermiT OWL Reasoner. ORE Ian Horrocks, Boris Motik, Zhe Wang
2012	—	`ed.`	The Semantic Web - Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings JIST Jeff Z. Pan, Huajun Chen, Hong-Gee Kim, Juanzi Li, Zhe Wu, Ian Horrocks, Riichiro Mizoguchi, Zhaohui Wu
2011	—	`conf`	Answering Queries over OWL Ontologies with SPARQL. OWLED Ilianna Kollia, Birte Glimm, Ian Horrocks
2011	—	`conf`	Chemical knowledge representation with description graphs and logic programming. SWAT4LS Despoina Magka, Boris Motik, Ian Horrocks
2011	J	`jnl`	Conjunctive Query Answering for the Description Logic SHIQ CoRR Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2011	A*	`conf`	Consequence-Based Reasoning beyond Horn Ontologies. IJCAI Frantisek Simancík, Yevgeny Kazakov, Ian Horrocks
2011	—	`ch.`	KR and Reasoning on the Semantic Web: OWL. Handbook of Semantic Web Technologies Ian Horrocks, Peter F. Patel-Schneider
2011	J	`jnl`	Logic-based assessment of the compatibility of UMLS ontology sources. J. Biomed. Semant. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2011	—	`conf`	Query Answering over SROIQ Knowledge Bases with SPARQL. Description Logics Ilianna Kollia, Birte Glimm, Ian Horrocks
2011	J	`jnl`	Reasoning with Very Expressive Fuzzy Description Logics CoRR Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras
2011	—	`conf`	Repairing Ontologies for Incomplete Reasoners. ISWC (1) Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2011	—	`conf`	SPARQL Query Answering over OWL Ontologies. ESWC (1) Ilianna Kollia, Birte Glimm, Ian Horrocks
2011	J	`jnl`	Supporting concurrent ontology development: Framework, algorithms and tool. Data Knowl. Eng. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2011	—	`conf`	Tool Support for Ontology Engineering. Foundations for the Web of Information and Services Ian Horrocks
2011	J	`jnl`	Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes. J. Autom. Reason. Despoina Magka, Yevgeny Kazakov, Ian Horrocks
2010	—	`conf`	Beazley: a new storage systems evaluation. IWEST@ISWC Mikalai Yatskevich, Ian Horrocks, Graham Klyne
2010	—	`conf`	Completeness Guarantees for Incomplete Reasoners. ISWC (1) Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks
2010	A*	`conf`	How Incomplete Is Your Semantic Web Reasoner? AAAI Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks
2010	A*	`conf`	Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR Chitta Baral, Ian Horrocks, Yoav Shoham
2010	C	`conf`	Ontology Languages and Engineering. KSEM Ian Horrocks
2010	—	`conf`	Optimising Ontology Classification. ISWC (1) Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos
2010	—	`conf`	Optimized DL Reasoning via Core Blocking. Description Logics Birte Glimm, Ian Horrocks, Boris Motik
2010	A	`conf`	Optimized Description Logic Reasoning via Core Blocking. IJCAR Birte Glimm, Ian Horrocks, Boris Motik
2010	B	`conf`	Scalable ontology-based information systems. EDBT Ian Horrocks
2010	—	`conf`	Storage and reasoning systems evaluation campaign 2010. IWEST@ISWC Mikalai Yatskevich, Ian Horrocks, Francisco Martín-Recuerda, Giorgos Stoilos
2010	—	`ed.`	The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I ISWC (1) Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm
2010	—	`ed.`	The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II ISWC (2) Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm
2010	—	`conf`	Towards a UMLS-based silver standard for matching biomedical ontologies. OM Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2010	A	`conf`	Tractable Extensions of the Description Logic IJCAR Despoina Magka, Yevgeny Kazakov, Ian Horrocks
2010	—	`conf`	Tractable Extensions of the Description Logic EL with Numerical Datatypes. Description Logics Despoina Magka, Yevgeny Kazakov, Ian Horrocks
2010	J	`jnl`	Tractable query answering and rewriting under description logic constraints. J. Appl. Log. Héctor Pérez-Urbina, Boris Motik, Ian Horrocks
2009	—	`conf`	A Comparison of Query Rewriting Techniques for DL-lite. Description Logics Héctor Pérez-Urbina, Boris Motik, Ian Horrocks
2009	J	`jnl`	Bridging the gap between OWL and relational databases. J. Web Semant. Boris Motik, Ian Horrocks, Ulrike Sattler
2009	—	`conf`	Building Ontologies Collaboratively Using ContentCVS. Description Logics Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2009	—	`conf`	ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool. SWAT4LS Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2009	—	`ch.`	Description Logics. Handbook on Ontologies Franz Baader, Ian Horrocks, Ulrike Sattler
2009	Misc	`conf`	Efficient Query Answering for OWL 2. ISWC Héctor Pérez-Urbina, Ian Horrocks, Boris Motik
2009	—	`conf`	Exploiting Partial Information in Taxonomy Construction. Description Logics Robert D. C. Shearer, Ian Horrocks, Boris Motik
2009	Misc	`conf`	Exploiting Partial Information in Taxonomy Construction. ISWC Robert D. C. Shearer, Ian Horrocks
2009	—	`ch.`	Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2009	J	`jnl`	Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. Boris Motik, Robert D. C. Shearer, Ian Horrocks
2009	—	`conf`	Logic-based Ontology Integration using ContentMap. JISBD Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2009	B	`conf`	Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. ESWC Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2009	—	`conf`	Practical Aspects of Query Rewriting for OWL 2. OWLED Héctor Pérez-Urbina, Ian Horrocks, Boris Motik
2009	—	`ed.`	Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 Description Logics Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler
2009	J	`jnl`	Representing ontologies using description logics, description graphs, and rules. Artif. Intell. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2009	—	`conf`	Towards a Logic-based Assessment of the compatibility of UMLS sources. SWAT4LS Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Ian Horrocks
2008	—	`conf`	Application of OWL 1.1 to Systems Engineering (Statement of Interest). OWLED (Spring) Ian Horrocks, Henson Graves
2008	J	`jnl`	Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
2008	—	`conf`	Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics Birte Glimm, Ian Horrocks, Ulrike Sattler
2008	—	`ch.`	Description Logics. Handbook of Knowledge Representation Franz Baader, Ian Horrocks, Ulrike Sattler
2008	—	`conf`	HermiT: A Highly-Efficient OWL Reasoner. OWLED Robert D. C. Shearer, Boris Motik, Ian Horrocks
2008	A	`conf`	Individual Reuse in Description Logic Reasoning. IJCAR Boris Motik, Ian Horrocks
2008	A*	`conf`	Metalevel Information in Ontology-Based Applications. AAAI Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks
2008	—	`conf`	Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2008	J	`jnl`	Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2008	J	`jnl`	OWL 2: The next step for OWL. J. Web Semant. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
2008	Misc	`conf`	OWL Datatypes: Design and Implementation. ISWC Boris Motik, Ian Horrocks
2008	J	`jnl`	Ontologies and the semantic web. Commun. ACM Ian Horrocks
2008	—	`conf`	Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics Robert D. C. Shearer, Boris Motik, Ian Horrocks
2008	A	`conf`	Privacy-Preserving Query Answering in Logic-based Information Systems. ECAI Bernardo Cuenca Grau, Ian Horrocks
2008	A*	`conf`	Representing Structured Objects using Description Graphs. KR Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2008	—	`conf`	Rewriting Conjunctive Queries over Description Logic Knowledge Bases. SDKB Héctor Pérez-Urbina, Boris Motik, Ian Horrocks
2008	—	`ch.`	Semantic Web. Web Accessibility Ian Horrocks, Sean Bechhofer
2008	A*	`conf`	Unions of Conjunctive Queries in SHOQ. KR Birte Glimm, Ian Horrocks, Ulrike Sattler
2007	—	`conf`	A Hypertableau Calculus for SHIQ. Description Logics Boris Motik, Robert D. C. Shearer, Ian Horrocks
2007	A*	`conf`	A Logical Framework for Modularity of Ontologies. IJCAI Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	J	`jnl`	A Tableau Decision Procedure for J. Autom. Reason. Ian Horrocks, Ulrike Sattler
2007	J	`jnl`	A comparison of two modelling paradigms in the Semantic Web. J. Web Semant. Peter F. Patel-Schneider, Ian Horrocks
2007	—	`conf`	Adding Integrity Constraints to OWL. OWLED Boris Motik, Ian Horrocks, Ulrike Sattler
2007	A*	`conf`	Bridging the gap between OWL and relational databases. WWW Boris Motik, Ian Horrocks, Ulrike Sattler
2007	—	`ch.`	Computational modal logic. Handbook of Modal Logic Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate A. Schmidt
2007	A*	`conf`	Conjunctive Query Answering for the Description Logic SHIQ. IJCAI Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
2007	—	`conf`	Conjunctive Query Entailment for SHOQ. Description Logics Birte Glimm, Ian Horrocks, Ulrike Sattler
2007	—	`conf`	Extracting Modules from Ontologies: A Logic-based Approach. OWLED Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	A*	`conf`	Just the right amount: extracting modules from ontologies. WWW Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	J	`jnl`	Logic for Ontology Engineering Corner. J. Log. Comput. Ian Horrocks
2007	—	`conf`	OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. ISWC/ASWC Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Robert D. C. Shearer
2007	—	`conf`	Ontology Reuse: Better Safe than Sorry. Description Logics Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	A	`conf`	Optimized Reasoning in Description Logics Using Hypertableaux. CADE Boris Motik, Robert D. C. Shearer, Ian Horrocks
2007	J	`jnl`	Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reason. Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider
2007	J	`jnl`	RDFS(FA): Connecting RDF(S) and OWL DL. IEEE Trans. Knowl. Data Eng. Jeff Z. Pan, Ian Horrocks
2007	J	`jnl`	Reasoning with Very Expressive Fuzzy Description Logics. J. Artif. Intell. Res. Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks
2007	—	`conf`	Semantic Web: The Story So Far. ICTAI (1) Ian Horrocks
2007	—	`conf`	Semantic web: the story so far. W4A Ian Horrocks
2007	—	`conf`	The OBO to OWL Mapping, GO to OWL 1.1! OWLED Christine Golbreich, Ian Horrocks
2006	—	`conf`	Automated Benchmarking of Description Logic Reasoners. Description Logics Tom Gardiner, Ian Horrocks, Dmitry Tsarkov
2006	Misc	`conf`	Can OWL and Logic Programming Live Together Happily Ever After? ISWC Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler
2006	—	`conf`	Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics Birte Glimm, Ian Horrocks, Ulrike Sattler
2006	A*	`conf`	Deciding Semantic Matching of Stateless Services. AAAI Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens
2006	A	`conf`	FaCT++ Description Logic Reasoner: System Description. IJCAR Dmitry Tsarkov, Ian Horrocks
2006	Misc	`conf`	Framework for an Automated Comparison of Description Logic Reasoners. ISWC Tom Gardiner, Dmitry Tsarkov, Ian Horrocks
2006	—	`conf`	Hybrid Logics and Ontology Languages. HyLo@FLoC Ian Horrocks, Birte Glimm, Ulrike Sattler
2006	—	`conf`	Next Steps for OWL. OWLED Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
2006	A*	`conf`	OWL FA: a metamodeling extension of OWL D. WWW Jeff Z. Pan, Ian Horrocks
2006	J	`jnl`	OWL-Eu: Adding customised datatypes into OWL. J. Web Semant. Jeff Z. Pan, Ian Horrocks
2006	A*	`conf`	Position paper: a comparison of two modelling paradigms in the Semantic Web. WWW Peter F. Patel-Schneider, Ian Horrocks
2006	—	`conf`	Problems with OWL Syntax. OWLED Boris Motik, Ian Horrocks
2006	—	`ed.`	Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005 OWLED Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider
2006	—	`conf`	Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. FoIKS Ian Horrocks, Andrei Voronkov
2006	A*	`conf`	The Even More Irresistible SROIQ. KR Ian Horrocks, Oliver Kutz, Ulrike Sattler
2006	—	`conf`	Will my Ontologies Fit Together? Description Logics Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler
2006	J	`jnl`	f-SWRL: A Fuzzy Extension of SWRL. J. Data Semant. Jeff Z. Pan, Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks
2005	—	`conf`	A Fuzzy Extension of SWRL. Rule Languages for Interoperability Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks
2005	Misc	`conf`	A Little Semantic Web Goes a Long Way in Biology. ISWC Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens
2005	A*	`conf`	A Tableaux Decision Procedure for SHOIQ. IJCAI Ian Horrocks, Ulrike Sattler
2005	Misc	`conf`	Applications of Description Logics: State of the Art and Research Challenges. ICCS Ian Horrocks
2005	—	`conf`	Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning Franz Baader, Ian Horrocks, Ulrike Sattler
2005	Misc	`conf`	Description Logics in Ontology Applications. KI Ian Horrocks
2005	B	`conf`	Description Logics in Ontology Applications. TABLEAUX Ian Horrocks
2005	—	`conf`	Fuzzy OWL: Uncertainty and the Semantic Web. OWLED Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks
2005	—	`conf`	Handling Cyclic Conjunctive Queries. Description Logics Birte Glimm, Ian Horrocks
2005	—	`conf`	Introducing Customised Datatypes and Datatype Predicates into OWL. OWLED Jeff Z. Pan, Ian Horrocks
2005	J	`jnl`	Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
2005	—	`conf`	OWL FA: A Metamodeling Extension of OWL DL. OWLED Jeff Z. Pan, Ian Horrocks, Guus Schreiber
2005	—	`conf`	OWL Rules, OK? Rule Languages for Interoperability Ian Horrocks
2005	J	`jnl`	OWL rules: A proposal and prototype implementation. J. Web Semant. Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov
2005	B	`conf`	OWL-Eu: Adding Customised Datatypes into OWL. ESWC Jeff Z. Pan, Ian Horrocks
2005	A	`conf`	OWL: A Description Logic Based Ontology Language. CP Ian Horrocks
2005	B	`conf`	OWL: A Description Logic Based Ontology Language. ICLP Ian Horrocks
2005	—	`conf`	Optimised Classification for Taxonomic Knowledge Bases. Description Logics Dmitry Tsarkov, Ian Horrocks
2005	A*	`conf`	Ordering Heuristics for Description Logic Reasoning. IJCAI Dmitry Tsarkov, Ian Horrocks
2005	—	`ed.`	Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 Description Logics Ian Horrocks, Ulrike Sattler, Frank Wolter
2005	—	`conf`	Semantic Web Architecture: Stack or Two Towers?. PPSWR Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler
2005	—	`conf`	The Fuzzy Description Logic f-SHIN. ISWC-URSW Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks
2005	—	`conf`	The Irresistible SRIQ. OWLED Ian Horrocks, Oliver Kutz, Ulrike Sattler
2005	A	`conf`	The OWL Instance Store: System Description. CADE Sean Bechhofer, Ian Horrocks, Daniele Turi
2005	—	`conf`	f-SWRL: A Fuzzy Extension of SWRL. ICANN (2) Jeff Z. Pan, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks
2004	J	`jnl`	A Software Framework for Matchmaking Based on Semantic Web Technology. Int. J. Electron. Commer. Lei Li, Ian Horrocks
2004	A*	`conf`	A proposal for an owl rules language. WWW Ian Horrocks, Peter F. Patel-Schneider
2004	J	`jnl`	Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. Ian Horrocks, Ulrike Sattler
2004	—	`ch.`	Description Logics. Handbook on Ontologies Franz Baader, Ian Horrocks, Ulrike Sattler
2004	—	`conf`	Efficient Reasoning with Range and Domain Constraints. Description Logics Dmitry Tsarkov, Ian Horrocks
2004	—	`conf`	Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?"). Description Logics Jeff Z. Pan, Ian Horrocks
2004	J	`jnl`	OWL-QL - a language for deductive query answering on the Semantic Web. J. Web Semant. Richard Fikes, Patrick J. Hayes, Ian Horrocks
2004	J	`jnl`	Reducing OWL entailment to description logic satisfiability. J. Web Semant. Ian Horrocks, Peter F. Patel-Schneider
2004	—	`conf`	The Instance Store: DL Reasoning with Large Numbers of Individuals. Description Logics Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
2004	Misc	`conf`	Using Vampire to Reason with OWL. ISWC Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks
2004	J	`jnl`	WWW conference special issue. J. Web Semant. Ian Horrocks
2003	Misc	`conf`	A Semantic Infosphere. ISWC Michael Uschold, Peter Clark, Fred Dickey, Casey K. Fung, Sonia Smith, Stephen A. Uczekaj, Michael Wilke, Sean Bechhofer, Ian Horrocks
2003	A*	`conf`	A software framework for matchmaking based on semantic web technology. WWW Lei Li, Ian Horrocks
2003	—	`conf`	DL Reasoner vs. First-Order Prover. Description Logics Dmitry Tsarkov, Ian Horrocks
2003	A*	`conf`	Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI Ian Horrocks, Ulrike Sattler
2003	A*	`conf`	Description logic programs: combining logic programs with description logic. WWW Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker
2003	—	`ch.`	Digital Libraries and Web-based Information Systems. Description Logic Handbook Ian Horrocks, Deborah L. McGuinness, Christopher A. Welty
2003	J	`jnl`	From SHIQ and RDF to OWL: the making of a Web Ontology Language. J. Web Semant. Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
2003	—	`ch.`	Implementation and Optimization Techniques. Description Logic Handbook Ian Horrocks
2003	A*	`conf`	Keys, Nominals, and Concrete Domains. IJCAI Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
2003	—	`conf`	Matchmarking Using an Instance Store: Some Preliminary Results. Description Logics Lei Li, Ian Horrocks
2003	—	`conf`	Ontologies and Schema Languages on the Web. Spinning the Semantic Web Michel C. A. Klein, Jeen Broekstra, Dieter Fensel, Frank van Harmelen, Ian Horrocks
2003	Misc	`conf`	RDFS(FA) and RDF MT: Two Semantics for RDFS. ISWC Jeff Z. Pan, Ian Horrocks
2003	—	`conf`	RDFS(FA): A DL-ised Sub-language of RDFS. Description Logics Jeff Z. Pan, Ian Horrocks
2003	—	`conf`	Reducing OWL Entailment to Description Logic Satisfability. Description Logics Ian Horrocks, Peter F. Patel-Schneider
2003	Misc	`conf`	Reducing OWL Entailment to Description Logic Satisfiability. ISWC Ian Horrocks, Peter F. Patel-Schneider
2003	A*	`conf`	Three theses of representation in the semantic web. WWW Ian Horrocks, Peter F. Patel-Schneider
2003	Misc	`conf`	Web Ontology Reasoning with Datatype Groups. ISWC Jeff Z. Pan, Ian Horrocks
2003	J	`jnl`	Where Are the Rules? IEEE Intell. Syst. Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner
2002	B	`conf`	Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. LPAR Sergio Tessaris, Ian Horrocks
2002	—	`conf`	Backtracking and Qualified Number Restrictions: Some Preliminary Results. Description Logics Ian Horrocks
2002	J	`jnl`	Building a bioinformatics ontology using OIL. IEEE Trans. Inf. Technol. Biomed. Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer
2002	J	`jnl`	Combinations of Modal Logics. Artif. Intell. Rev. Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke
2002	—	`conf`	DAML+OIL: A Reason-Able Web Ontology Language. WES Ian Horrocks
2002	B	`conf`	DAML+OIL: A Reason-able Web Ontology Language. EDBT Ian Horrocks
2002	J	`jnl`	DAML+OIL: a Description Logic for the Semantic Web. IEEE Data Eng. Bull. Ian Horrocks
2002	J	`jnl`	Description Logics for the Semantic Web. Künstliche Intell. Franz Baader, Ian Horrocks, Ulrike Sattler
2002	J	`jnl`	Enabling knowledge representation on the Web by extending RDF Schema. Comput. Networks Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks
2002	J	`jnl`	Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reason. Ian Horrocks, Peter F. Patel-Schneider
2002	A*	`conf`	Evaluating a Modular Abox Algorithm. KR Sergio Tessaris, Ian Horrocks, Graham Gough
2002	—	`conf`	Extending Datatype Support in Web Ontology Reasoning. OTM Jeff Z. Pan, Ian Horrocks
2002	—	`conf`	Extending Datatype Support in Web Ontology Reasoning. OTM Jeff Z. Pan, Ian Horrocks
2002	J	`jnl`	OILing the way to machine understandable bioinformatics resources. IEEE Trans. Inf. Technol. Biomed. Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer
2002	A	`conf`	Optimised Reasoning for SHIQ. ECAI Ian Horrocks, Ulrike Sattler
2002	—	`ed.`	Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002 Description Logics Ian Horrocks, Sergio Tessaris
2002	Misc	`conf`	Querying the Semantic Web: A Formal Approach. ISWC Ian Horrocks, Sergio Tessaris
2002	—	`conf`	Reasoning in the SHOQ(D Description Logics Jeff Z. Pan, Ian Horrocks
2002	A	`conf`	Reasoning with Expressive Description Logics: Theory and Practice. CADE Ian Horrocks
2002	—	`conf`	Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. AAAI/IAAI Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
2002	Misc	`ed.`	The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings ISWC Ian Horrocks, James A. Hendler
2001	—	`conf`	Building a Reason-able Bioinformatics Ontology Using OIL. OIS@IJCAI Robert Stevens, Ian Horrocks, Carole A. Goble, Sean Bechhofer
2001	—	`conf`	DAML+OIL is not Enough. SWWS Sean Bechhofer, Carole A. Goble, Ian Horrocks
2001	A*	`conf`	Enabling knowledge representation on the Web by extending RDF schema. WWW Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks
2001	—	`conf`	Metamodeling Architecture of Web Ontology Languages. SWWS Jeff Z. Pan, Ian Horrocks
2001	—	`conf`	Metamodeling Architecture of Web Ontology Languages. The Emerging Semantic Web Jeff Z. Pan, Ian Horrocks
2001	J	`jnl`	OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intell. Syst. Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider
2001	—	`conf`	OilEd: A Reason-able Ontology Editor for the Semantic Web. KI/ÖGAI Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens
2001	—	`conf`	OilEd: a Reason-able Ontology Editor for the Semantic Web. Description Logics Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens
2001	A*	`conf`	Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI Ian Horrocks, Ulrike Sattler
2001	—	`conf`	The Generation of DAML+OIL. Description Logics Ian Horrocks, Peter F. Patel-Schneider
2000	—	`conf`	A Conjunctive Query Language for Description Logic Aboxes. AAAI/IAAI Ian Horrocks, Sergio Tessaris
2000	J	`jnl`	An Analysis of Empirical Testing for Modal Decision Procedures. Log. J. IGPL Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani
2000	—	`conf`	Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. Description Logics Ian Horrocks, Sergio Tessaris
2000	B	`conf`	Benchmark Analysis with FaCT. TABLEAUX Ian Horrocks
2000	—	`conf`	Driving User Interfaces from FaCT. Description Logics Sean Bechhofer, Ian Horrocks
2000	A	`conf`	Explaining ALC Subsumption. ECAI Alexander Borgida, Enrico Franconi, Ian Horrocks
2000	B	`conf`	How to Decide Query Containment Under Constraints Using a Description Logic. LPAR Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
2000	—	`conf`	How to decide Query Containment under Constraints using a Description Logic. KRDB Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
2000	—	`conf`	Knowledge Representation on the Web. Description Logics Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks, Sergey Melnik, Michel C. A. Klein, Jeen Broekstra
2000	B	`conf`	OIL in a Nutshell. EKAW Dieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, Michel C. A. Klein
2000	—	`conf`	Optimisation of Terminological Reasoning. Description Logics Ian Horrocks, Stephan Tobies
2000	J	`jnl`	Practical Reasoning for Expressive Description Logics CoRR Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000	J	`jnl`	Practical Reasoning for Very Expressive Description Logics CoRR Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000	J	`jnl`	Practical Reasoning for Very Expressive Description Logics. Log. J. IGPL Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000	A*	`conf`	Reasoning with Axioms: Theory and Practice. KR Ian Horrocks, Stephan Tobies
2000	J	`jnl`	Reasoning with Axioms: Theory and Pratice CoRR Ian Horrocks, Stephan Tobies
2000	J	`jnl`	Reasoning with Individuals for the Description Logic SHIQ CoRR Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000	A	`conf`	Reasoning with Individuals for the Description Logic SHIQ. CADE Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000	J	`jnl`	The Semantic Web: The Roles of XML and RDF. IEEE Internet Comput. Stefan Decker, Sergey Melnik, Frank van Harmelen, Dieter Fensel, Michel C. A. Klein, Jeen Broekstra, Michael Erdmann, Ian Horrocks
1999	J	`jnl`	A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. Log. Comput. Ian Horrocks, Ulrike Sattler
1999	—	`conf`	A Proposal for a Description Logic Interface. Description Logics Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris
1999	B	`conf`	DLP and FaCT. TABLEAUX Peter F. Patel-Schneider, Ian Horrocks
1999	—	`conf`	Explaining ALC Subsumption. Description Logics Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider
1999	—	`conf`	FaCT and iFaCT. Description Logics Ian Horrocks
1999	—	`conf`	Feasibility of Optimised Disjunctive Reasoning for Approximate Matching. Australian Joint Conference on Artificial Intelligence Ian Horrocks, Lin Padgham, Laura Thomson
1999	J	`jnl`	Optimizing Description Logic Subsumption. J. Log. Comput. Ian Horrocks, Peter F. Patel-Schneider
1999	—	`conf`	Performance of DLP on Random Modal Formulae. Description Logics Ian Horrocks, Peter F. Patel-Schneider
1999	B	`conf`	Practical Reasoning for Expressive Description Logics. LPAR Ian Horrocks, Ulrike Sattler, Stephan Tobies
1999	J	`jnl`	Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty
1998	—	`conf`	A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics Ian Horrocks, Ulrike Sattler
1998	—	`conf`	Comparing Subsumption Optimizations. Description Logics Ian Horrocks, Peter F. Patel-Schneider
1998	—	`conf`	DL Systems Comparison (Summary Relation). Description Logics Ian Horrocks, Peter F. Patel-Schneider
1998	B	`conf`	FaCT and DLP. TABLEAUX Ian Horrocks, Peter F. Patel-Schneider
1998	—	`conf`	FaCT. Description Logics Ian Horrocks
1998	—	`conf`	Kris. Description Logics Ian Horrocks
1998	Misc	`conf`	Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC Ian Horrocks, Peter F. Patel-Schneider
1998	B	`conf`	The FaCT System. TABLEAUX Ian Horrocks
1998	A*	`conf`	Using an Expressive Description Logic: FaCT or Fiction? KR Ian Horrocks
1997	—	`conf`	Description Logics with Transitive Roles. Description Logics Ian Horrocks, Graham Gough
1997	—	`ed.`	Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France Description Logics Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset
1997	J	`jnl`	The GRAIL concept modelling language for medical terminology. Artif. Intell. Medicine Alan L. Rector, Sean Bechhofer, Carole A. Goble, Ian Horrocks, W. A. Nowlan, W. D. Solomon
1996	—	`conf`	A Description Logic Based Schema for the Classification of Medical Data. KRDB Ian Horrocks, Alan L. Rector, Carole A. Goble
1996	—	`conf`	Using a Description Logic with Concept Inclusions. Description Logics Ian Horrocks, Alan L. Rector