default search action
Ian Horrocks 0001
Person information
- affiliation: University of Oxford, UK
Other persons with the same name
- Ian Horrocks 0002 — Utah Valley University, Orem, UT, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j76]Yuan He, Jiaoyan Chen, Hang Dong, Ian Horrocks, Carlo Allocca, Taehun Kim, Brahmananda Sapkota:
DeepOnto: A Python package for ontology engineering with deep learning. Semantic Web 15(5): 1991-2004 (2024) - [j75]Aidan Hogan, Ian Horrocks, Andreas Hotho, Lalana Kagal, Uli Sattler:
Resources for Graph Data and Knowledge. TGDK 2(2): 1:1-1:2 (2024) - [c321]Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks:
Optimised Storage for Datalog Reasoning. AAAI 2024: 10748-10755 - [c320]Jieying Chen, Hang Dong, Jiaoyan Chen, Ian Horrocks:
Ontology Text Alignment: Aligning Textual Content to Terminological Axioms. ECAI 2024: 1389-1396 - [c319]Hang Dong, Jiaoyan Chen, Yuan He, Yongsheng Gao, Ian Horrocks:
A Language Model Based Framework for New Concept Placement in Ontologies. ESWC (1) 2024: 79-99 - [c318]Matthew Morris, Bernardo Cuenca Grau, Ian Horrocks:
Orbit-Equivariant Graph Neural Networks. ICLR 2024 - [c317]Xiaxia Wang, David Jaime Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Faithful Rule Extraction for Differentiable Rule Learning Models. ICLR 2024 - [c316]Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Relational Graph Convolutional Networks Do Not Learn Sound Rules. KR 2024 - [c315]Jingchuan Shi, Hang Dong, Jiaoyan Chen, Zhe Wu, Ian Horrocks:
Taxonomy Completion via Implicit Concept Insertion. WWW 2024: 2159-2169 - [c314]Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks:
Dual Box Embeddings for the Description Logic EL++. WWW 2024: 2250-2258 - [i54]Yuan He, Zhangdie Yuan, Jiaoyan Chen, Ian Horrocks:
Language Models as Hierarchy Encoders. CoRR abs/2401.11374 (2024) - [i53]Hang Dong, Jiaoyan Chen, Yuan He, Yongsheng Gao, Ian Horrocks:
A Language Model based Framework for New Concept Placement in Ontologies. CoRR abs/2402.17897 (2024) - [i52]Jiaoyan Chen, Olga Mashkova, Fernando Zhapa-Camacho, Robert Hoehndorf, Yuan He, Ian Horrocks:
Ontology Embedding: A Survey of Methods, Applications and Resources. CoRR abs/2406.10964 (2024) - [i51]Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Relational Graph Convolutional Networks Do Not Learn Sound Rules. CoRR abs/2408.10261 (2024) - 2023
- [j74]Jiaoyan Chen, Yuxia Geng, Zhuo Chen, Jeff Z. Pan, Yuan He, Wen Zhang, Ian Horrocks, Huajun Chen:
Zero-Shot and Few-Shot Learning With Knowledge Graphs: A Comprehensive Survey. Proc. IEEE 111(6): 653-685 (2023) - [j73]Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Xi Chen, Erik Bryhn Myklebust:
An assertion and alignment correction framework for large scale knowledge bases. Semantic Web 14(1): 29-53 (2023) - [j72]Federico Igne, Stefano Germano, Ian Horrocks:
Conjunctive query answering over unrestricted OWL 2 ontologies. Semantic Web 14(6): 997-1050 (2023) - [j71]Aidan Hogan, Ian Horrocks, Andreas Hotho, Lalana Kagal:
Transactions on Graph Data and Knowledge. TGDK 1(1): 1:1-1:4 (2023) - [j70]Jiaoyan Chen, Yuan He, Yuxia Geng, Ernesto Jiménez-Ruiz, Hang Dong, Ian Horrocks:
Contextual semantic embeddings for ontology subsumption prediction. World Wide Web (WWW) 26(5): 2569-2591 (2023) - [c313]Yuan He, Jiaoyan Chen, Ernesto Jiménez-Ruiz, Hang Dong, Ian Horrocks:
Language Model Analysis for Ontology Subsumption Inference. ACL (Findings) 2023: 3439-3453 - [c312]Hang Dong, Jiaoyan Chen, Yuan He, Yinan Liu, Ian Horrocks:
Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking. CIKM 2023: 452-462 - [c311]Hang Dong, Jiaoyan Chen, Yuan He, Ian Horrocks:
Ontology Enrichment from Texts: A Biomedical Dataset for Concept Discovery and Placement. CIKM 2023: 5316-5320 - [c310]Jingchuan Shi, Jiaoyan Chen, Hang Dong, Ishita Khan, Lizzie Liang, Qunzhi Zhou, Zhe Wu, Ian Horrocks:
Subsumption Prediction for E-Commerce Taxonomies. ESWC 2023: 244-261 - [c309]Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks:
Enhancing Datalog Reasoning with Hypertree Decompositions. IJCAI 2023: 3383-3393 - [c308]Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks:
Cardinality-Minimal Explanations for Monotonic Neural Networks. IJCAI 2023: 3677-3685 - [c307]Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev:
Revisiting Inferential Benchmarks for Knowledge Graph Completion. KR 2023: 461-471 - [c306]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:
Results of the Ontology Alignment Evaluation Initiative 2023. OM@ISWC 2023: 97-139 - [c305]Yuan He, Jiaoyan Chen, Hang Dong, Ian Horrocks:
Exploring Large Language Models for Ontology Alignment. ISWC (Posters/Demos/Industry) 2023 - [d14]Hang Dong, Jiaoyan Chen, Yuan He, Ian Horrocks:
Ontology Enrichment from Texts (OET): A Biomedical Dataset for Concept Discovery and Placement. Version 1. Zenodo, 2023 [all versions] - [d13]Hang Dong, Jiaoyan Chen, Yuan He, Ian Horrocks:
Ontology Enrichment from Texts (OET): A Biomedical Dataset for Concept Discovery and Placement. Version 2. Zenodo, 2023 [all versions] - [d12]Hang Dong, Jiaoyan Chen, Yuan He, Ian Horrocks:
Ontology Enrichment from Texts (OET): A Biomedical Dataset for Concept Discovery and Placement. Version 3. Zenodo, 2023 [all versions] - [d11]Hang Dong, Jiaoyan Chen, Yuan He, Ian Horrocks:
Ontology Enrichment from Texts (OET): A Biomedical Dataset for Concept Discovery and Placement. Version 4. Zenodo, 2023 [all versions] - [d10]Hang Dong, Jiaoyan Chen, Yuan He, Yinan Liu, Ian Horrocks:
Datasets for Out-of-KB Mention Discovery with Entity Linking. Zenodo, 2023 - [d9]Yuan He, Jiaoyan Chen, Hang Dong, Ernesto Jiménez-Ruiz, Ali Hadian, Ian Horrocks:
Bio-ML: Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. Version OAEI Bio-ML 2023. Zenodo, 2023 [all versions] - [d8]Yuan He, Jiaoyan Chen, Ernesto Jiménez-Ruiz, Hang Dong, Ian Horrocks:
OntoLAMA: LAnguage Model Analysis for Ontology Subsumption Inference. Zenodo, 2023 - [i50]Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks:
Box2EL: Concept and Role Box Embeddings for the Description Logic EL++. CoRR abs/2301.11118 (2023) - [i49]Yuan He, Jiaoyan Chen, Ernesto Jiménez-Ruiz, Hang Dong, Ian Horrocks:
Language Model Analysis for Ontology Subsumption Inference. CoRR abs/2302.06761 (2023) - [i48]Hang Dong, Jiaoyan Chen, Yuan He, Yinan Liu, Ian Horrocks:
Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking. CoRR abs/2302.07189 (2023) - [i47]Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks:
Enhancing Datalog Reasoning with Hypertree Decompositions. CoRR abs/2305.06854 (2023) - [i46]Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev:
Revisiting Inferential Benchmarks for Knowledge Graph Completion. CoRR abs/2306.04814 (2023) - [i45]Hang Dong, Jiaoyan Chen, Yuan He, Ian Horrocks:
Ontology Enrichment from Texts: A Biomedical Dataset for Concept Discovery and Placement. CoRR abs/2306.14704 (2023) - [i44]Yuan He, Jiaoyan Chen, Hang Dong, Ian Horrocks, Carlo Allocca, Taehun Kim, Brahmananda Sapkota:
DeepOnto: A Python Package for Ontology Engineering with Deep Learning. CoRR abs/2307.03067 (2023) - [i43]Yuan He, Jiaoyan Chen, Hang Dong, Ian Horrocks:
Exploring Large Language Models for Ontology Alignment. CoRR abs/2309.07172 (2023) - [i42]Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks:
Optimised Storage for Datalog Reasoning. CoRR abs/2312.11297 (2023) - 2022
- [j69]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
The delay and window size problems in rule-based stream reasoning. Artif. Intell. 306: 103668 (2022) - [j68]Pan Hu, Boris Motik, Ian Horrocks:
Modular materialisation of Datalog programs. Artif. Intell. 308: 103726 (2022) - [j67]Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
The Complexity and Expressive Power of Limit Datalog. J. ACM 69(1): 6:1-6:83 (2022) - [c304]Yuan He, Jiaoyan Chen, Denvar Antonyrajah, Ian Horrocks:
BERTMap: A BERT-Based Ontology Alignment System. AAAI 2022: 5684-5691 - [c303]Ian Horrocks, Jordi Olivares, Valerio Cocchi, Boris Motik, Dylan Roy:
The Dow Jones Knowledge Graph. ESWC 2022: 427-443 - [c302]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:
Results of the Ontology Alignment Evaluation Initiative 2022. OM@ISWC 2022: 84-128 - [c301]Yuan He, Jiaoyan Chen, Hang Dong, Ernesto Jiménez-Ruiz, Ali Hadian, Ian Horrocks:
Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. ISWC 2022: 575-591 - [d7]Yuan He, Jiaoyan Chen, Hang Dong, Ernesto Jiménez-Ruiz, Ali Hadian, Ian Horrocks:
Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. Version OAEI-2022. Zenodo, 2022 [all versions] - [d6]Yuan He, Jiaoyan Chen, Hang Dong, Ernesto Jiménez-Ruiz, Ali Hadian, Ian Horrocks:
Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. Version Deprecated. Zenodo, 2022 [all versions] - [d5]Federico Igne, Stefano Germano, Ian Horrocks:
RSAComb - Combined approach for Conjunctive Query answering in RSA. Version 1.1.0. Zenodo, 2022 [all versions] - [d4]Federico Igne, Stefano Germano, Ian Horrocks:
ACQuA - A hybrid framework providing a CQ answering service for OWL. Zenodo, 2022 - [d3]Federico Igne, Stefano Germano, Ian Horrocks:
Benchmarks and scripts for ACQuA and RSAComb. Zenodo, 2022 - [i41]Jiaoyan Chen, Yuan He, Ernesto Jiménez-Ruiz, Hang Dong, Ian Horrocks:
Contextual Semantic Embeddings for Ontology Subsumption Prediction. CoRR abs/2202.09791 (2022) - [i40]Yuan He, Jiaoyan Chen, Hang Dong, Ernesto Jiménez-Ruiz, Ali Hadian, Ian Horrocks:
Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. CoRR abs/2205.03447 (2022) - [i39]Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks:
Minimal Explanations for Neural Network Predictions. CoRR abs/2205.09901 (2022) - 2021
- [j66]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artif. Intell. 298: 103518 (2021) - [j65]Jiaoyan Chen, Pan Hu, Ernesto Jiménez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah, Ian Horrocks:
OWL2Vec*: embedding of OWL ontologies. Mach. Learn. 110(7): 1813-1845 (2021) - [c300]Federico Igne, Stefano Germano, Ian Horrocks:
RSAComb: Combined Approach for CQ Answering in RSA. Description Logics 2021 - [c299]Temitope Ajileye, Boris Motik, Ian Horrocks:
Streaming Partitioning of RDF Graphs for Datalog Reasoning. ESWC 2021: 3-22 - [c298]Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Denvar Antonyrajah, Ali Hadian, Jaehun Lee:
Augmenting Ontology Alignment by Semantic Embedding and Distant Supervision. ESWC 2021: 392-408 - [c297]Jiaoyan Chen, Yuxia Geng, Zhuo Chen, Ian Horrocks, Jeff Z. Pan, Huajun Chen:
Knowledge-aware Zero-Shot Learning: Survey and Perspective. IJCAI 2021: 4366-4373 - [c296]Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev:
INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding. NeurIPS 2021: 2034-2045 - [c295]Stefano Germano, Carla Saunders, Ian Horrocks, Rick Lupton:
Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy - Extended Abstract. ISWC (Posters/Demos/Industry) 2021 - [c294]Yuan He, Jiaoyan Chen, Denvar Antonyrajah, Ian Horrocks:
Biomedical ontology alignment with BERT. OM@ISWC 2021: 1-12 - [c293]Federico Igne, Stefano Germano, Ian Horrocks:
Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA. ISWC 2021: 200-216 - [c292]Stefano Germano, Carla Saunders, Ian Horrocks, Rick Lupton:
Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy. ISWC 2021: 665-681 - [c291]Federico Igne, Stefano Germano, Ian Horrocks:
Computing CQ lower-bounds over OWL 2 through approximation to RSA - Extended Abstract. ISWC (Posters/Demos/Industry) 2021 - [c290]Ian Horrocks:
Knowledge Graphs: Theory, Applications and Challenges. WEBIST 2021: 5 - [d2]Federico Igne, Stefano Germano, Ian Horrocks:
RSAComb - Combined approach for Conjunctive Query answering in RSA. Version 0.1.1. Zenodo, 2021 [all versions] - [d1]Federico Igne, Stefano Germano, Ian Horrocks:
RSAComb - Combined approach for Conjunctive Query answering in RSA. Version 1.0.0. Zenodo, 2021 [all versions] - [i38]Jiaoyan Chen, Yuxia Geng, Zhuo Chen, Ian Horrocks, Jeff Z. Pan, Huajun Chen:
Knowledge-aware Zero-Shot Learning: Survey and Perspective. CoRR abs/2103.00070 (2021) - [i37]Federico Igne, Stefano Germano, Ian Horrocks:
Computing CQ lower-bounds over OWL 2 through approximation to RSA. CoRR abs/2107.00369 (2021) - [i36]Martin Ringsquandl, Evgeny Kharlamov, Daria Stepanova, Steffen Lamparter, Raffaello Lepratti, Ian Horrocks, Peer Kröger:
On Event-Driven Knowledge Graph Completion in Digital Factories. CoRR abs/2109.03655 (2021) - [i35]Yuan He, Jiaoyan Chen, Denvar Antonyrajah, Ian Horrocks:
BERTMap: A BERT-based Ontology Alignment System. CoRR abs/2112.02682 (2021) - [i34]Jiaoyan Chen, Yuxia Geng, Zhuo Chen, Jeff Z. Pan, Yuan He, Wen Zhang, Ian Horrocks, Huajun Chen:
Low-resource Learning with Knowledge Graphs: A Comprehensive Survey. CoRR abs/2112.10006 (2021) - 2020
- [c289]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks:
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. AAAI 2020: 2862-2869 - [c288]Jaehun Lee, Taeho Hwang, Jungho Park, Yunsu Lee, Boris Motik, Ian Horrocks:
A Context-Aware Recommendation System for Mobile Devices. ISWC (Demos/Industry) 2020: 380-382 - [c287]Jiaoyan Chen, Xi Chen, Ian Horrocks, Erik B. Myklebust, Ernesto Jiménez-Ruiz:
Correcting Knowledge Base Assertions. WWW 2020: 1537-1547 - [e16]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:
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. CEUR Workshop Proceedings 2708, CEUR-WS.org 2020 [contents] - [i33]Jiaoyan Chen, Xi Chen, Ian Horrocks, Ernesto Jiménez-Ruiz, Erik B. Myklebust:
Correcting Knowledge Base Assertions. CoRR abs/2001.06917 (2020) - [i32]Jiaoyan Chen, Pan Hu, Ernesto Jiménez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah, Ian Horrocks:
OWL2Vec*: Embedding of OWL Ontologies. CoRR abs/2009.14654 (2020)
2010 – 2019
- 2019
- [j64]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
Maintenance of datalog materialisations revisited. Artif. Intell. 269: 76-136 (2019) - [j63]Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Foundations of ontology-based data access under bag semantics. Artif. Intell. 274: 91-132 (2019) - [j62]Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik:
Limit Datalog: A Declarative Query Language for Data Analysis. SIGMOD Rec. 48(4): 6-17 (2019) - [c286]Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton:
ColNet: Embedding the Semantics of Web Tables for Column Type Prediction. AAAI 2019: 29-36 - [c285]Pan Hu, Boris Motik, Ian Horrocks:
Modular Materialisation of Datalog Programs. AAAI 2019: 2859-2866 - [c284]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
15 Years of Consequence-Based Reasoning. Description Logic, Theory Combination, and All That 2019: 573-587 - [c283]Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks:
Datalog Reasoning over Compressed RDF Knowledge Bases. CIKM 2019: 2065-2068 - [c282]Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Bagging the DL-Lite Family Further. Description Logics 2019 - [c281]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Sequoia: A Consequence Based Reasoner for SROIQ. Description Logics 2019 - [c280]Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks:
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. IJCAI 2019: 1829-1835 - [c279]Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton:
Learning Semantic Annotations for Tabular Data. IJCAI 2019: 2088-2094 - [c278]Temitope Ajileye, Boris Motik, Ian Horrocks:
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. ISWC (1) 2019: 21-37 - [c277]Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks:
Canonicalizing Knowledge Base Literals. ISWC (1) 2019: 110-127 - [c276]Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Bag Semantics of DL-Lite with Functionality Axioms. ISWC (1) 2019: 128-144 - [c275]Theofilos Mailis, Yannis Kotidis, Vaggelis Nikolopoulos, Evgeny Kharlamov, Ian Horrocks, Yannis E. Ioannidis:
Mv-Index: An Efficient Index for Graph-Query Containment. ISWC (Satellites) 2019: 193-196 - [c274]Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks:
Towards Explainable Entity Matching via Comparison Queries. OM@ISWC 2019: 197-198 - [c273]Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks:
Query-Based Entity Comparison in Knowledge Graphs Revisited. ISWC (1) 2019: 558-575 - [c272]Theofilos Mailis, Yannis Kotidis, Vaggelis Nikolopoulos, Evgeny Kharlamov, Ian Horrocks, Yannis E. Ioannidis:
An Efficient Index for RDF Query Containment. SIGMOD Conference 2019: 1499-1516 - [i31]Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton:
Learning Semantic Annotations for Tabular Data. CoRR abs/1906.00781 (2019) - [i30]Temitope Ajileye, Boris Motik, Ian Horrocks:
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. CoRR abs/1906.10261 (2019) - [i29]Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks:
Canonicalizing Knowledge Base Literals. CoRR abs/1906.11180 (2019) - [i28]Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks:
Datalog Reasoning over Compressed RDF Knowledge Bases. CoRR abs/1908.10177 (2019) - 2018
- [j61]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks:
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. J. Artif. Intell. Res. 63: 625-690 (2018) - [j60]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:
RODI: Benchmarking relational-to-ontology mapping generation quality. Semantic Web 9(1): 25-52 (2018) - [j59]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:
OptiqueVQS: A visual query system over ontologies for industry. Semantic Web 9(5): 627-660 (2018) - [j58]Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks:
Dynamic Data Exchange in Distributed RDF Stores. IEEE Trans. Knowl. Data Eng. 30(12): 2312-2325 (2018) - [c271]Pan Hu, Boris Motik, Ian Horrocks:
Optimised Maintenance of Datalog Materialisations. AAAI 2018: 1871-1879 - [c270]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
Stream Reasoning in Temporal Datalog. AAAI 2018: 1941-1948 - [c269]Evgeny Kharlamov, Martin G. Skjæveland, Dag Hovland, Theofilos Mailis, Ernesto Jiménez-Ruiz, Guohui Xiao, Ahmet Soylu, Ian Horrocks, Arild Waaler:
Finding Data Should be Easier than Finding Oil. IEEE BigData 2018: 1747-1756 - [c268]Evgeny Kharlamov, Gulnar Mehdi, Ognjen Savkovic, Guohui Xiao, Steffen Lamparter, Ian Horrocks, Arild Waaler:
Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract). IEEE BigData 2018: 1951-1954 - [c267]Ognjen Savkovic, Evgeny Kharlamov, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks:
Theoretical Characterization of Signal Diagnostic Processing Language. Description Logics 2018 - [c266]Martin Ringsquandl, Evgeny Kharlamov, Daria Stepanova, Marcel Hildebrandt, Steffen Lamparter, Raffaello Lepratti, Ian Horrocks, Peer Kröger:
Event-Enhanced Learning for KG Completion. ESWC 2018: 541-559 - [c265]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Stratified Negation in Limit Datalog Programs. IJCAI 2018: 1875-1881 - [c264]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. IJCAI 2018: 1970-1976 - [c263]Evgeny Kharlamov, Ognjen Savkovic, Martin Ringsquandl, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks, Thomas A. Runkler:
Diagnostics of Trains with Semantic Diagnostics Rules. ILP 2018: 54-71 - [c262]Ognjen Savkovic, Evgeny Kharlamov, Martin Ringsquandl, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Ian Horrocks:
Semantic Diagnostics of Smart Factories. JIST 2018: 277-294 - [c261]Jiaoyan Chen, Freddy Lécué, Jeff Z. Pan, Ian Horrocks, Huajun Chen:
Knowledge-Based Transfer Learning Explanation. KR 2018: 349-358 - [c260]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
The Window Validity Problem in Rule-Based Stream Reasoning. KR 2018: 571-581 - [c259]Martin Ringsquandl, Evgeny Kharlamov, Daria Stepanova, Marcel Hildebrandt, Steffen Lamparter, Raffaello Lepratti, Ian Horrocks, Peer Kröger:
Filling Gaps in Industrial Knowledge Graphs via Event-Enhanced Embedding. ISWC (P&D/Industry/BlueSky) 2018 - [c258]Ian Horrocks:
Which Is the Tallest Building in Europe? Representing and Reasoning About Knowledge. SIMBig 2018: 7-12 - [i27]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Stratified Negation in Limit Datalog Programs. CoRR abs/1804.09473 (2018) - [i26]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. CoRR abs/1805.01396 (2018) - [i25]Jiaoyan Chen, Freddy Lécué, Jeff Z. Pan, Ian Horrocks, Huajun Chen:
Knowledge-based Transfer Learning Explanation. CoRR abs/1807.08372 (2018) - [i24]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
The Window Validity Problem in Rule-Based Stream Reasoning. CoRR abs/1808.02291 (2018) - [i23]Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton:
ColNet: Embedding the Semantics of Web Tables for Column Type Prediction. CoRR abs/1811.01304 (2018) - [i22]Pan Hu, Boris Motik, Ian Horrocks:
Modular Materialisation of Datalog Programs. CoRR abs/1811.02304 (2018) - 2017
- [b1]Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
An Introduction to Description Logic. Cambridge University Press 2017, ISBN 978-0-521-69542-8, pp. 1-255 - [j57]Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks:
Ontology-based end-user visual query formulation: Why, what, who, how, and which? Univers. Access Inf. Soc. 16(2): 435-467 (2017) - [c257]Dmitriy Zheleznyakov, Evgeny Kharlamov, Ian Horrocks:
Trust-Sensitive Evolution of DL-Lite Knowledge Bases. AAAI 2017: 1266-1273 - [c256]Martin Ringsquandl, Evgeny Kharlamov, Daria Stepanova, Steffen Lamparter, Raffaello Lepratti, Ian Horrocks, Peer Kröger:
On event-driven knowledge graph completion in digital factories. IEEE BigData 2017: 1676-1681 - [c255]Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Rafael Peñaloza, Gulnar Mehdi, Mikhail Roshchin, Ian Horrocks:
Semantic Rules for Machine Diagnostics: Execution and Management. CIKM 2017: 2131-2134 - [c254]Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks:
SemFacet: Making Hard Faceted Search Easier. CIKM 2017: 2475-2478 - [c253]Gulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Elem Güzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler:
SemDia: Semantic Rule-Based Equipment Diagnostics Tool. CIKM 2017: 2507-2510 - [c252]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. Description Logics 2017 - [c251]Nicholas P. Roth, Vasileios Trigonakis, Sungpack Hong, Hassan Chafi, Anthony Potter, Boris Motik, Ian Horrocks:
PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine. GRADES@SIGMOD/PODS 2017: 7:1-7:6 - [c250]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Foundations of Declarative Data Analysis Using Limit Datalog Programs. IJCAI 2017: 1123-1130 - [c249]Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
The Bag Semantics of Ontology-Based Data Access. IJCAI 2017: 1224-1230 - [c248]Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks:
Ranking, Aggregation, and Reachability in Faceted Search with SemFacet. ISWC (Posters, Demos & Industry Tracks) 2017 - [c247]Gulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Elem Güzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler:
Semantic Rule-Based Equipment Diagnostics. ISWC (2) 2017: 314-333 - [c246]Gulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Elem Guzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler:
Semantic Rule-Based Equipment Diagnostic. ISWC (Posters, Demos & Industry Tracks) 2017 - [c245]Alina Petrova, Evgeny Sherkhonov, Bernardo Cuenca Grau, Ian Horrocks:
Entity Comparison in RDF Graphs. ISWC (1) 2017: 526-541 - [e15]Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao:
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures. Lecture Notes in Computer Science 9885, Springer 2017, ISBN 978-3-319-49492-0 [contents] - [i21]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Foundations of Declarative Data Analysis Using Limit Datalog Programs. CoRR abs/1705.06927 (2017) - [i20]Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
The Bag Semantics of Ontology-Based Data Access. CoRR abs/1705.07105 (2017) - [i19]Pan Hu, Boris Motik, Ian Horrocks:
Optimised Maintenance of Datalog Materialisations. CoRR abs/1711.03987 (2017) - [i18]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
Stream Reasoning in Temporal Datalog. CoRR abs/1711.04013 (2017) - 2016
- [j56]Ian Horrocks, Martin Giese, Evgeny Kharlamov, Arild Waaler:
Using Semantic Technology to Tame the Data Variety Challenge. IEEE Internet Comput. 20(6): 62-66 (2016) - [j55]Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Module Extraction in Expressive Ontology Languages via Datalog Reasoning. J. Artif. Intell. Res. 55: 499-564 (2016) - [j54]Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Guillermo Vega-Gorgojo, Ian Horrocks:
Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users. Univers. Access Inf. Soc. 15(1): 129-152 (2016) - [c244]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:
A semantic approach to polystores. IEEE BigData 2016: 2565-2573 - [c243]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:
Enabling semantic access to static and streaming distributed data with optique: demo. DEBS 2016: 350-353 - [c242]Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Ontology Module Extraction via Datalog Reasoning. Description Logics 2016 - [c241]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SRIQ. KR 2016: 187-196 - [c240]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:
Towards the Semantic Enrichment of Free-Text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans. LABELS/DLMIA@MICCAI 2016: 238-248 - [c239]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:
Scalable Semantic Access to Siemens Static and Streaming Distributed Data. ISWC (Posters & Demos) 2016 - [c238]Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks:
SOMM: Industry Oriented Ontology Management Tool. ISWC (Posters & Demos) 2016 - [c237]Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks:
Capturing Industrial Information Models with Ontologies and Constraints. ISWC (2) 2016: 325-343 - [c236]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:
Towards Analytics Aware Ontology Based Access to Static and Streaming Data. ISWC (2) 2016: 344-362 - [c235]Robert Piro, Yavor Nenov, Boris Motik, Ian Horrocks, Peter Hendler, Scott Kimberly, Michael Rossman:
Semantic Technologies for Data Analysis in Health Care. ISWC (2) 2016: 400-417 - [c234]Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks:
Distributed RDF Query Answering with Dynamic Data Exchange. ISWC (1) 2016: 480-497 - [c233]Dmitriy Zheleznyakov, Evgeny Kharlamov, Vidar Klungre, Martin G. Skjæveland, Dag Hovland, Martin Giese, Ian Horrocks, Arild Waaler:
KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction. ISWC (Posters & Demos) 2016 - [c232]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:
Ontology-Based Integration of Streaming and Static Relational Data with Optique. SIGMOD Conference 2016: 2109-2112 - [c231]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:
Towards the Creation of the Cardiovascular Magnetic Resonance Quality Assessment Ontology (CMR-QA). SWAT4LS 2016 - [e14]Jacqueline Bourdeau, Jim Hendler, Roger Nkambou, Ian Horrocks, Ben Y. Zhao:
Proceedings of the 25th International Conference on World Wide Web, WWW 2016, Montreal, Canada, April 11 - 15, 2016. ACM 2016, ISBN 978-1-4503-4143-1 [contents] - [e13]Jacqueline Bourdeau, Jim Hendler, Roger Nkambou, Ian Horrocks, Ben Y. Zhao:
Proceedings of the 25th International Conference on World Wide Web, WWW 2016, Montreal, Canada, April 11-15, 2016, Companion Volume. ACM 2016, ISBN 978-1-4503-4144-8 [contents] - [i17]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SRIQ. CoRR abs/1602.04498 (2016) - [i16]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:
Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version). CoRR abs/1607.05351 (2016) - 2015
- [j53]Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks:
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. J. Artif. Intell. Res. 54: 309-367 (2015) - [c230]Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks:
Handling Owl: sameAs via Rewriting. AAAI 2015: 231-237 - [c229]Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Ontology Module Extraction via Datalog Reasoning. AAAI 2015: 1410-1416 - [c228]Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks:
Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. AAAI 2015: 1560-1568 - [c227]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SHIQ. Description Logics 2015 - [c226]Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks:
Extending the Combined Approach Beyond Lightweight Description Logics. Description Logics 2015 - [c225]Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks:
PAGOdA: Pay-as-you-go ABox Reasoning. Description Logics 2015 - [c224]Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks:
The Combined Approach to Query Answering Beyond the OWL 2 Profiles. IJCAI 2015: 2971-2977 - [c223]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. IJCAI 2015: 3127-3133 - [c222]Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks:
Ontology-Based Visual Query Formulation: An Industry Experience. ISVC (1) 2015: 842-854 - [c221]Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks:
Ontology-based Query Answering with PAGOdA. ORE 2015: 1-7 - [c220]Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks, Christoph Pinkel, Martin G. Skjæveland, Evgenij Thorstensen, Jose Mora:
BootOX: Bootstrapping OWL 2 Ontologies and R2RML Mappings from Relational Databases. ISWC (Posters & Demos) 2015 - [c219]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:
Semantic Access to Siemens Streaming Data: the Optique Way. ISWC (Posters & Demos) 2015 - [c218]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:
Optique: Ontology-Based Data Access Platform. ISWC (Posters & Demos) 2015 - [c217]Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, Jay Banerjee:
RDFox: A Highly-Scalable RDF Store. ISWC (2) 2015: 3-20 - [c216]Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks:
OptiqueVQS: Ontology-Based Visual Querying. VOILA@ISWC 2015: 91 - [c215]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:
Ontology Based Access to Exploration Data at Statoil. ISWC (2) 2015: 93-112 - [c214]Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks, Christoph Pinkel, Martin G. Skjæveland, Evgenij Thorstensen, Jose Mora:
BootOX: Practical Mapping of RDBs to OWL 2. ISWC (2) 2015: 113-132 - [i15]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. CoRR abs/1505.00212 (2015) - 2014
- [j52]Frantisek Simancik, Boris Motik, Ian Horrocks:
Consequence-based and fixed-parameter tractable reasoning in description logics. Artif. Intell. 209: 29-77 (2014) - [j51]Despoina Magka, Markus Krötzsch, Ian Horrocks:
A rule-based ontological framework for the classification of molecules. J. Biomed. Semant. 5: 17 (2014) - [j50]Markus Krötzsch, Frantisek Simancik, Ian Horrocks:
Description Logics. IEEE Intell. Syst. 29(1): 12-19 (2014) - [j49]Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang:
HermiT: An OWL 2 Reasoner. J. Autom. Reason. 53(3): 245-269 (2014) - [c213]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu:
Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. AAAI 2014: 129-137 - [c212]Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks:
Pay-As-You-Go OWL Query Answering Using a Triple Store. AAAI 2014: 1142-1148 - [c211]David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks:
EL-ifying Ontologies. IJCAR 2014: 464-479 - [c210]David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks:
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs. Description Logics 2014: 128-140 - [c209]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu:
Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. Description Logics 2014: 311-323 - [c208]Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks:
Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. Description Logics 2014: 352-364 - [c207]Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks:
OptiqueVQS: Visual Query Formulation for OBDA. Description Logics 2014: 725-728 - [c206]Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks:
Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation. MTSR 2014: 107-119 - [c205]Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks:
Why not simply Google? NordiCHI 2014: 1039-1042 - [c204]Anthony Potter, Boris Motik, Ian Horrocks:
Querying Distributed RDF Graphs: The Effects of Partitioning. SSWS@ISWC 2014: 29-44 - [c203]David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks:
Pushing the Boundaries of Tractable Ontology Reasoning. ISWC (2) 2014: 148-163 - [e12]Manolis Koubarakis, Giorgos B. Stamou, Giorgos Stoilos, Ian Horrocks, Phokion G. Kolaitis, Georg Lausen, Gerhard Weikum:
Reasoning Web. Reasoning on the Web in the Big Data Era - 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings. Lecture Notes in Computer Science 8714, Springer 2014, ISBN 978-3-319-10586-4 [contents] - [i14]Boris Motik, Robert D. C. Shearer, Ian Horrocks:
Hypertableau Reasoning for Description Logics. CoRR abs/1401.3485 (2014) - [i13]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. CoRR abs/1401.4604 (2014) - [i12]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. CoRR abs/1406.4110 (2014) - [i11]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
Handling owl: sameAs via Rewriting. CoRR abs/1411.3622 (2014) - [i10]Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Ontology Module Extraction via Datalog Reasoning. CoRR abs/1411.5313 (2014) - 2013
- [j48]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res. 47: 741-808 (2013) - [j47]Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro Bozzon, Stefano Ceri, Ian Horrocks:
Order matters! Harnessing a world of orderings for reasoning over massive data. Semantic Web 4(2): 219-231 (2013) - [c202]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Introducing Nominals to the Combined Query Answering Approaches for EL. AAAI 2013: 1177-1183 - [c201]Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks:
Evaluating Mapping Repair Systems with Large Biomedical Ontologies. Description Logics 2013: 246-257 - [c200]Despoina Magka, Markus Krötzsch, Ian Horrocks:
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. Description Logics 2013: 390-402 - [c199]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Introducing Nominals to the Combined Query Answering Approaches for EL. Description Logics 2013: 962-974 - [c198]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:
Optique System: towards ontology and mapping management in OBDA solutions. WoDOOM 2013: 21-32 - [c197]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:
Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach. KNOW@LOD 2013: 33-40 - [c196]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:
Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) 2013: 125-140 - [c195]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:
Optique: OBDA Solution for Big Data. ESWC (Satellite Events) 2013: 293-295 - [c194]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Computing Datalog Rewritings Beyond Horn Ontologies. IJCAI 2013: 832-838 - [c193]Despoina Magka, Markus Krötzsch, Ian Horrocks:
Computing Stable Models for Nonmonotonic Existential Rules. IJCAI 2013: 1031-1038 - [c192]Markus Krötzsch, Despoina Magka, Ian Horrocks:
Concrete Results on Abstract Rules. LPNMR 2013: 414-426 - [c191]Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks:
OptiqueVQS: towards an ontology-based visual query system for big data. MEDES 2013: 119-126 - [c190]Ahmet Soylu, Martin G. Skjæveland, Martin Giese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov:
A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data. MTSR 2013: 201-212 - [c189]Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks, Ernesto Jiménez-Ruiz:
MORe: a Modular OWL Reasoner for Ontology Classification. ORE 2013: 61-67 - [c188]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:
The Optique Project: Towards OBDA Systems for Industry (Short Paper). OWLED 2013 - [c187]Diego Calvanese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Meier, Mariano Rodriguez-Muro, Dmitriy Zheleznyakov:
On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper). OWLED 2013 - [c186]Bernardo Cuenca Grau, Martin Giese, Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Schmidt, Ahmet Soylu, Dmitriy Zheleznyakov:
Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems. OWLED 2013 - [c185]Herald Kllapi, Dimitris Bilidas, Ian Horrocks, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Manolis Koubarakis, Dmitriy Zheleznyakov:
Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper). OWLED 2013 - [c184]Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre:
The Energy Management Adviser at EDF. ISWC (2) 2013: 49-64 - [c183]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:
Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages. ISWC (Posters & Demos) 2013: 65-68 - [c182]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks:
LogMap and LogMapLt results for OAEI 2013. OM 2013: 131-138 - [c181]Martin G. Skjæveland, Espen H. Lian, Ian Horrocks:
Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data. ISWC (2) 2013: 162-177 - [c180]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks:
Is my ontology matching system similar to yours? OM 2013: 229-230 - [c179]Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks:
Complete Query Answering over Horn Ontologies Using a Triple Store. ISWC (1) 2013: 720-736 - [c178]Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Jay Banerjee:
Making the most of your triple store: query answering in OWL 2 using an RL reasoner. WWW 2013: 1569-1580 - [e11]Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen:
Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings. Lecture Notes in Computer Science 8067, Springer 2013, ISBN 978-3-642-39783-7 [contents] - [i9]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Introducing Nominals to the Combined Query Answering Approaches for EL. CoRR abs/1303.7430 (2013) - [i8]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Computing Datalog Rewritings beyond Horn Ontologies. CoRR abs/1304.1402 (2013) - 2012
- [j46]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. J. Artif. Intell. Res. 43: 419-476 (2012) - [j45]Ian Horrocks:
Semantics ⊓ scalability ⊨ ⊥? J. Zhejiang Univ. Sci. C 13(4): 241-244 (2012) - [j44]Birte Glimm, Ian Horrocks, Boris Motik, Robert D. C. Shearer, Giorgos Stoilos:
A novel approach to ontology classification. J. Web Semant. 14: 84-101 (2012) - [c177]Despoina Magka, Boris Motik, Ian Horrocks:
Modelling Structured Domains Using Description Graphs and Logic Programming. Description Logics 2012 - [c176]Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks:
Modular Combination of Reasoners for Ontology Classification. Description Logics 2012 - [c175]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Small Datalog Query Rewritings for EL. Description Logics 2012 - [c174]Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks:
Efficient Upper Bound Computation of Query Answers in Expressive Description Logics. Description Logics 2012 - [c173]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks:
Large-scale Interactive Ontology Matching: Algorithms and Implementation. ECAI 2012: 444-449 - [c172]Despoina Magka, Boris Motik, Ian Horrocks:
Modelling Structured Domains Using Description Graphs and Logic Programming. ESWC 2012: 330-344 - [c171]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Conditions and their Application to Query Answering in Description Logics. KR 2012 - [c170]Ian Horrocks, Boris Motik, Zhe Wang:
The HermiT OWL Reasoner. ORE 2012 - [c169]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks:
On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems. ORE 2012 - [c168]Despoina Magka, Boris Motik, Ian Horrocks:
Classifying Chemicals Using Description Graphs and Logic Programming. OWLED 2012 - [c167]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks:
LogMap and LogMapLt results for OAEI 2012. OM 2012 - [c166]Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks:
MORe: Modular Combination of OWL Reasoners for Ontology Classification. ISWC (1) 2012: 1-16 - [c165]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks:
Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative. E-LKR 2012 - [c164]Boris Motik, Ian Horrocks, Su Myeon Kim:
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. WWW (Companion Volume) 2012: 63-72 - [e10]Jeff Z. Pan, Huajun Chen, Hong-Gee Kim, Juanzi Li, Zhe Wu, Ian Horrocks, Riichiro Mizoguchi, Zhaohui Wu:
The Semantic Web - Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings. Lecture Notes in Computer Science 7185, Springer 2012, ISBN 978-3-642-29922-3 [contents] - [e9]Ian Horrocks, Mikalai Yatskevich, Ernesto Jiménez-Ruiz:
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012. CEUR Workshop Proceedings 858, CEUR-WS.org 2012 [contents] - [i7]Markus Krötzsch, Frantisek Simancik, Ian Horrocks:
A Description Logic Primer. CoRR abs/1201.4089 (2012) - 2011
- [j43]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori:
Logic-based assessment of the compatibility of UMLS ontology sources. J. Biomed. Semant. 2(S-1): S2 (2011) - [j42]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori:
Supporting concurrent ontology development: Framework, algorithms and tool. Data Knowl. Eng. 70(1): 146-164 (2011) - [j41]Despoina Magka, Yevgeny Kazakov, Ian Horrocks:
Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes. J. Autom. Reason. 47(4): 427-450 (2011) - [c163]Ian Horrocks:
Tool Support for Ontology Engineering. Foundations for the Web of Information and Services 2011: 103-112 - [c162]Ilianna Kollia, Birte Glimm, Ian Horrocks:
Query Answering over SROIQ Knowledge Bases with SPARQL. Description Logics 2011 - [c161]Ilianna Kollia, Birte Glimm, Ian Horrocks:
SPARQL Query Answering over OWL Ontologies. ESWC (1) 2011: 382-396 - [c160]Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks:
Consequence-Based Reasoning beyond Horn Ontologies. IJCAI 2011: 1093-1098 - [c159]Ilianna Kollia, Birte Glimm, Ian Horrocks:
Answering Queries over OWL Ontologies with SPARQL. OWLED 2011 - [c158]Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
Repairing Ontologies for Incomplete Reasoners. ISWC (1) 2011: 681-696 - [c157]Despoina Magka, Boris Motik, Ian Horrocks:
Chemical knowledge representation with description graphs and logic programming. SWAT4LS 2011: 74-75 - [r2]Ian Horrocks, Peter F. Patel-Schneider:
KR and Reasoning on the Semantic Web: OWL. Handbook of Semantic Web Technologies 2011: 365-398 - [i6]Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras:
Reasoning with Very Expressive Fuzzy Description Logics. CoRR abs/1111.0039 (2011) - [i5]Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. CoRR abs/1111.0049 (2011) - 2010
- [j40]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks:
Tractable query answering and rewriting under description logic constraints. J. Appl. Log. 8(2): 186-209 (2010) - [c156]Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks:
How Incomplete Is Your Semantic Web Reasoner? AAAI 2010: 1431-1436 - [c155]Despoina Magka, Yevgeny Kazakov, Ian Horrocks:
Tractable Extensions of the Description Logic EL with Numerical Datatypes. IJCAR 2010: 61-75 - [c154]Birte Glimm, Ian Horrocks, Boris Motik:
Optimized Description Logic Reasoning via Core Blocking. IJCAR 2010: 457-471 - [c153]Birte Glimm, Ian Horrocks, Boris Motik:
Optimized DL Reasoning via Core Blocking. Description Logics 2010 - [c152]Despoina Magka, Yevgeny Kazakov, Ian Horrocks:
Tractable Extensions of the Description Logic EL with Numerical Datatypes. Description Logics 2010 - [c151]Ian Horrocks:
Scalable ontology-based information systems. EDBT 2010: 2 - [c150]Chitta Baral, Ian Horrocks, Yoav Shoham:
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR 2010 - [c149]Ian Horrocks:
Ontology Languages and Engineering. KSEM 2010: 2 - [c148]Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos:
Optimising Ontology Classification. ISWC (1) 2010: 225-240 - [c147]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori:
Towards a UMLS-based silver standard for matching biomedical ontologies. OM 2010 - [c146]Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks:
Completeness Guarantees for Incomplete Reasoners. ISWC (1) 2010: 747-763 - [c145]Mikalai Yatskevich, Ian Horrocks, Graham Klyne:
Beazley: a new storage systems evaluation. IWEST@ISWC 2010 - [c144]Mikalai Yatskevich, Ian Horrocks, Francisco Martín-Recuerda, Giorgos Stoilos:
Storage and reasoning systems evaluation campaign 2010. IWEST@ISWC 2010 - [e8]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm:
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. Lecture Notes in Computer Science 6496, Springer 2010, ISBN 978-3-642-17745-3 [contents] - [e7]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm:
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II. Lecture Notes in Computer Science 6497, Springer 2010, ISBN 978-3-642-17748-4 [contents]
2000 – 2009
- 2009
- [j39]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Representing ontologies using description logics, description graphs, and rules. Artif. Intell. 173(14): 1275-1309 (2009) - [j38]Boris Motik, Robert D. C. Shearer, Ian Horrocks:
Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. 36: 165-228 (2009) - [j37]Boris Motik, Ian Horrocks, Ulrike Sattler:
Bridging the gap between OWL and relational databases. J. Web Semant. 7(2): 74-89 (2009) - [c143]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori:
Building Ontologies Collaboratively Using ContentCVS. Description Logics 2009 - [c142]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks:
A Comparison of Query Rewriting Techniques for DL-lite. Description Logics 2009 - [c141]Robert D. C. Shearer, Ian Horrocks, Boris Motik:
Exploiting Partial Information in Taxonomy Construction. Description Logics 2009 - [c140]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori:
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. ESWC 2009: 173-187 - [c139]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori:
Logic-based Ontology Integration using ContentMap. JISBD 2009: 316-319 - [c138]Héctor Pérez-Urbina, Ian Horrocks, Boris Motik:
Practical Aspects of Query Rewriting for OWL 2. OWLED 2009 - [c137]Héctor Pérez-Urbina, Ian Horrocks, Boris Motik:
Efficient Query Answering for OWL 2. ISWC 2009: 489-504 - [c136]Robert D. C. Shearer, Ian Horrocks:
Exploiting Partial Information in Taxonomy Construction. ISWC 2009: 569-584 - [c135]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori:
ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool. SWAT4LS 2009 - [c134]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Ian Horrocks:
Towards a Logic-based Assessment of the compatibility of UMLS sources. SWAT4LS 2009 - [p7]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook on Ontologies 2009: 21-43 - [p6]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186 - [e6]Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler:
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477, CEUR-WS.org 2009 [contents] - 2008
- [j36]Ian Horrocks:
Ontologies and the semantic web. Commun. ACM 51(12): 58-67 (2008) - [j35]Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. 31: 157-204 (2008) - [j34]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. 31: 273-318 (2008) - [j33]Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler:
OWL 2: The next step for OWL. J. Web Semant. 6(4): 309-322 (2008) - [c133]Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks:
Metalevel Information in Ontology-Based Applications. AAAI 2008: 1237-1242 - [c132]Boris Motik, Ian Horrocks:
Individual Reuse in Description Logic Reasoning. IJCAR 2008: 242-258 - [c131]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics 2008 - [c130]Robert D. C. Shearer, Boris Motik, Ian Horrocks:
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics 2008 - [c129]Bernardo Cuenca Grau, Ian Horrocks:
Privacy-Preserving Query Answering in Logic-based Information Systems. ECAI 2008: 40-44 - [c128]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Unions of Conjunctive Queries in SHOQ. KR 2008: 252-262 - [c127]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Representing Structured Objects using Description Graphs. KR 2008: 296-306 - [c126]Ian Horrocks, Henson Graves:
Application of OWL 1.1 to Systems Engineering (Statement of Interest). OWLED (Spring) 2008 - [c125]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008 - [c124]Robert D. C. Shearer, Boris Motik, Ian Horrocks:
HermiT: A Highly-Efficient OWL Reasoner. OWLED 2008 - [c123]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks:
Rewriting Conjunctive Queries over Description Logic Knowledge Bases. SDKB 2008: 199-214 - [c122]Boris Motik, Ian Horrocks:
OWL Datatypes: Design and Implementation. ISWC 2008: 307-322 - [p5]Ian Horrocks, Sean Bechhofer:
Semantic Web. Web Accessibility 2008: 315-330 - [r1]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook of Knowledge Representation 2008: 135-179 - 2007
- [j32]Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks:
Reasoning with Very Expressive Fuzzy Description Logics. J. Artif. Intell. Res. 30: 273-320 (2007) - [j31]Ian Horrocks, Ulrike Sattler:
A Tableau Decision Procedure for SHOIQ. J. Autom. Reason. 39(3): 249-276 (2007) - [j30]Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider:
Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reason. 39(3): 277-316 (2007) - [j29]Ian Horrocks:
Logic for Ontology Engineering Corner. J. Log. Comput. 17(4): 615 (2007) - [j28]Jeff Z. Pan, Ian Horrocks:
RDFS(FA): Connecting RDF(S) and OWL DL. IEEE Trans. Knowl. Data Eng. 19(2): 192-206 (2007) - [j27]Peter F. Patel-Schneider, Ian Horrocks:
A comparison of two modelling paradigms in the Semantic Web. J. Web Semant. 5(4): 240-250 (2007) - [c121]Boris Motik, Robert D. C. Shearer, Ian Horrocks:
Optimized Reasoning in Description Logics Using Hypertableaux. CADE 2007: 67-83 - [c120]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Entailment for SHOQ. Description Logics 2007 - [c119]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Ontology Reuse: Better Safe than Sorry. Description Logics 2007 - [c118]Boris Motik, Robert D. C. Shearer, Ian Horrocks:
A Hypertableau Calculus for SHIQ. Description Logics 2007 - [c117]Ian Horrocks:
Semantic Web: The Story So Far. ICTAI (1) 2007 - [c116]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303 - [c115]Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404 - [c114]Christine Golbreich, Ian Horrocks:
The OBO to OWL Mapping, GO to OWL 1.1! OWLED 2007 - [c113]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-based Approach. OWLED 2007 - [c112]Boris Motik, Ian Horrocks, Ulrike Sattler:
Adding Integrity Constraints to OWL. OWLED 2007 - [c111]Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Robert D. C. Shearer:
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. ISWC/ASWC 2007: 169-182 - [c110]Ian Horrocks:
Semantic web: the story so far. W4A 2007: 120-125 - [c109]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Just the right amount: extracting modules from ontologies. WWW 2007: 717-726 - [c108]Boris Motik, Ian Horrocks, Ulrike Sattler:
Bridging the gap between OWL and relational databases. WWW 2007: 807-816 - [p4]Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate A. Schmidt:
Computational modal logic. Handbook of Modal Logic 2007: 181-245 - 2006
- [j26]Jeff Z. Pan, Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks:
f-SWRL: A Fuzzy Extension of SWRL. J. Data Semant.: 28-46 (2006) - [j25]Jeff Z. Pan, Ian Horrocks:
OWL-Eu: Adding customised datatypes into OWL. J. Web Semant. 4(1): 29-39 (2006) - [c107]Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens:
Deciding Semantic Matching of Stateless Services. AAAI 2006: 1319-1324 - [c106]Dmitry Tsarkov, Ian Horrocks:
FaCT++ Description Logic Reasoner: System Description. IJCAR 2006: 292-297 - [c105]Tom Gardiner, Ian Horrocks, Dmitry Tsarkov:
Automated Benchmarking of Description Logic Reasoners. Description Logics 2006 - [c104]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics 2006 - [c103]Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler:
Will my Ontologies Fit Together? Description Logics 2006 - [c102]Ian Horrocks, Andrei Voronkov:
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. FoIKS 2006: 201-218 - [c101]Ian Horrocks, Oliver Kutz, Ulrike Sattler:
The Even More Irresistible SROIQ. KR 2006: 57-67 - [c100]Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler:
Next Steps for OWL. OWLED 2006 - [c99]Boris Motik, Ian Horrocks:
Problems with OWL Syntax. OWLED 2006 - [c98]Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler:
Can OWL and Logic Programming Live Together Happily Ever After? ISWC 2006: 501-514 - [c97]Tom Gardiner, Dmitry Tsarkov, Ian Horrocks:
Framework for an Automated Comparison of Description Logic Reasoners. ISWC 2006: 654-667 - [c96]Peter F. Patel-Schneider, Ian Horrocks:
Position paper: a comparison of two modelling paradigms in the Semantic Web. WWW 2006: 3-12 - [c95]Jeff Z. Pan, Ian Horrocks:
OWL FA: a metamodeling extension of OWL D. WWW 2006: 1065-1066 - [c94]Ian Horrocks, Birte Glimm, Ulrike Sattler:
Hybrid Logics and Ontology Languages. HyLo@FLoC 2006: 3-14 - [e5]Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider:
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005. CEUR Workshop Proceedings 188, CEUR-WS.org 2006 [contents] - 2005
- [j24]Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. 23: 667-726 (2005) - [j23]Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov:
OWL rules: A proposal and prototype implementation. J. Web Semant. 3(1): 23-40 (2005) - [c93]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248 - [c92]Sean Bechhofer, Ian Horrocks, Daniele Turi:
The OWL Instance Store: System Description. CADE 2005: 177-181 - [c91]Ian Horrocks:
OWL: A Description Logic Based Ontology Language. CP 2005: 5-8 - [c90]Birte Glimm, Ian Horrocks:
Handling Cyclic Conjunctive Queries. Description Logics 2005 - [c89]Dmitry Tsarkov, Ian Horrocks:
Optimised Classification for Taxonomic Knowledge Bases. Description Logics 2005 - [c88]Jeff Z. Pan, Ian Horrocks:
OWL-Eu: Adding Customised Datatypes into OWL. ESWC 2005: 153-166 - [c87]Jeff Z. Pan, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks:
f-SWRL: A Fuzzy Extension of SWRL. ICANN (2) 2005: 829-834 - [c86]Ian Horrocks:
Applications of Description Logics: State of the Art and Research Challenges. ICCS 2005: 78-90 - [c85]Ian Horrocks:
OWL: A Description Logic Based Ontology Language. ICLP 2005: 1-4 - [c84]Ian Horrocks, Ulrike Sattler:
A Tableaux Decision Procedure for SHOIQ. IJCAI 2005: 448-453 - [c83]Dmitry Tsarkov, Ian Horrocks:
Ordering Heuristics for Description Logic Reasoning. IJCAI 2005: 609-614 - [c82]Ian Horrocks:
Description Logics in Ontology Applications. KI 2005: 16 - [c81]Ian Horrocks, Oliver Kutz, Ulrike Sattler:
The Irresistible SRIQ. OWLED 2005 - [c80]Jeff Z. Pan, Ian Horrocks:
Introducing Customised Datatypes and Datatype Predicates into OWL. OWLED 2005 - [c79]Jeff Z. Pan, Ian Horrocks, Guus Schreiber:
OWL FA: A Metamodeling Extension of OWL DL. OWLED 2005 - [c78]Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks:
Fuzzy OWL: Uncertainty and the Semantic Web. OWLED 2005 - [c77]Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler:
Semantic Web Architecture: Stack or Two Towers?. PPSWR 2005: 37-41 - [c76]Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks:
The Fuzzy Description Logic f-SHIN. ISWC-URSW 2005: 67-76 - [c75]Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens:
A Little Semantic Web Goes a Long Way in Biology. ISWC 2005: 786-800 - [c74]Ian Horrocks:
Description Logics in Ontology Applications. TABLEAUX 2005: 2-13 - [c73]Ian Horrocks:
OWL Rules, OK? Rule Languages for Interoperability 2005 - [c72]Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks:
A Fuzzy Extension of SWRL. Rule Languages for Interoperability 2005 - [e4]Ian Horrocks, Ulrike Sattler, Frank Wolter:
Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. CEUR Workshop Proceedings 147, CEUR-WS.org 2005 [contents] - 2004
- [j22]Ian Horrocks, Ulrike Sattler:
Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. 160(1-2): 79-104 (2004) - [j21]Lei Li, Ian Horrocks:
A Software Framework for Matchmaking Based on Semantic Web Technology. Int. J. Electron. Commer. 8(4): 39-60 (2004) - [j20]Ian Horrocks:
WWW conference special issue. J. Web Semant. 1(2): 139-140 (2004) - [j19]Ian Horrocks, Peter F. Patel-Schneider:
Reducing OWL entailment to description logic satisfiability. J. Web Semant. 1(4): 345-357 (2004) - [j18]Richard Fikes, Patrick J. Hayes, Ian Horrocks:
OWL-QL - a language for deductive query answering on the Semantic Web. J. Web Semant. 2(1): 19-29 (2004) - [c71]Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer:
The Instance Store: DL Reasoning with Large Numbers of Individuals. Description Logics 2004 - [c70]Jeff Z. Pan, Ian Horrocks:
Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?"). Description Logics 2004 - [c69]Dmitry Tsarkov, Ian Horrocks:
Efficient Reasoning with Range and Domain Constraints. Description Logics 2004 - [c68]Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks:
Using Vampire to Reason with OWL. ISWC 2004: 471-485 - [c67]Ian Horrocks, Peter F. Patel-Schneider:
A proposal for an owl rules language. WWW 2004: 723-731 - [p3]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook on Ontologies 2004: 3-28 - 2003
- [j17]Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner:
Where Are the Rules? IEEE Intell. Syst. 18(5): 76-83 (2003) - [j16]Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen:
From SHIQ and RDF to OWL: the making of a Web Ontology Language. J. Web Semant. 1(1): 7-26 (2003) - [c66]Michel C. A. Klein, Jeen Broekstra, Dieter Fensel, Frank van Harmelen, Ian Horrocks:
Ontologies and Schema Languages on the Web. Spinning the Semantic Web 2003: 95-139 - [c65]Ian Horrocks, Peter F. Patel-Schneider:
Reducing OWL Entailment to Description Logic Satisfability. Description Logics 2003 - [c64]Lei Li, Ian Horrocks:
Matchmarking Using an Instance Store: Some Preliminary Results. Description Logics 2003 - [c63]Jeff Z. Pan, Ian Horrocks:
RDFS(FA): A DL-ised Sub-language of RDFS. Description Logics 2003 - [c62]Dmitry Tsarkov, Ian Horrocks:
DL Reasoner vs. First-Order Prover. Description Logics 2003 - [c61]Ian Horrocks, Ulrike Sattler:
Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI 2003: 343-348 - [c60]Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354 - [c59]Ian Horrocks, Peter F. Patel-Schneider:
Reducing OWL Entailment to Description Logic Satisfiability. ISWC 2003: 17-29 - [c58]Jeff Z. Pan, Ian Horrocks:
RDFS(FA) and RDF MT: Two Semantics for RDFS. ISWC 2003: 30-46 - [c57]Jeff Z. Pan, Ian Horrocks:
Web Ontology Reasoning with Datatype Groups. ISWC 2003: 47-63 - [c56]Michael Uschold, Peter Clark, Fred Dickey, Casey K. Fung, Sonia Smith, Stephen A. Uczekaj, Michael Wilke, Sean Bechhofer, Ian Horrocks:
A Semantic Infosphere. ISWC 2003: 882-896 - [c55]Ian Horrocks, Peter F. Patel-Schneider:
Three theses of representation in the semantic web. WWW 2003: 39-47 - [c54]Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker:
Description logic programs: combining logic programs with description logic. WWW 2003: 48-57 - [c53]Lei Li, Ian Horrocks:
A software framework for matchmaking based on semantic web technology. WWW 2003: 331-339 - [p2]Ian Horrocks:
Implementation and Optimization Techniques. Description Logic Handbook 2003: 306-346 - [p1]Ian Horrocks, Deborah L. McGuinness, Christopher A. Welty:
Digital Libraries and Web-based Information Systems. Description Logic Handbook 2003: 427-449 - 2002
- [j15]Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke:
Combinations of Modal Logics. Artif. Intell. Rev. 17(1): 1-20 (2002) - [j14]Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks:
Enabling knowledge representation on the Web by extending RDF Schema. Comput. Networks 39(5): 609-634 (2002) - [j13]Ian Horrocks:
DAML+OIL: a Description Logic for the Semantic Web. IEEE Data Eng. Bull. 25(1): 4-9 (2002) - [j12]Ian Horrocks, Peter F. Patel-Schneider:
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reason. 28(2): 173-204 (2002) - [j11]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics for the Semantic Web. Künstliche Intell. 16(4): 57-59 (2002) - [j10]Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer:
OILing the way to machine understandable bioinformatics resources. IEEE Trans. Inf. Technol. Biomed. 6(2): 129-134 (2002) - [j9]Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer:
Building a bioinformatics ontology using OIL. IEEE Trans. Inf. Technol. Biomed. 6(2): 135-141 (2002) - [c52]Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen:
Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. AAAI/IAAI 2002: 792-797 - [c51]Ian Horrocks:
Reasoning with Expressive Description Logics: Theory and Practice. CADE 2002: 1-15 - [c50]Jeff Z. Pan, Ian Horrocks:
Extending Datatype Support in Web Ontology Reasoning. OTM 2002: 1067-1081 - [c49]Jeff Z. Pan, Ian Horrocks:
Extending Datatype Support in Web Ontology Reasoning. OTM 2002: 1362 - [c48]Ian Horrocks:
Backtracking and Qualified Number Restrictions: Some Preliminary Results. Description Logics 2002 - [c47]Jeff Z. Pan, Ian Horrocks:
Reasoning in the SHOQ(Dn) Description Logic. Description Logics 2002 - [c46]Ian Horrocks, Ulrike Sattler:
Optimised Reasoning for SHIQ. ECAI 2002: 277-281 - [c45]Ian Horrocks:
DAML+OIL: A Reason-able Web Ontology Language. EDBT 2002: 2-13 - [c44]Sergio Tessaris, Ian Horrocks, Graham Gough:
Evaluating a Modular Abox Algorithm. KR 2002: 227-238 - [c43]Sergio Tessaris, Ian Horrocks:
Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. LPAR 2002: 435-449 - [c42]Ian Horrocks, Sergio Tessaris:
Querying the Semantic Web: A Formal Approach. ISWC 2002: 177-191 - [c41]Ian Horrocks:
DAML+OIL: A Reason-Able Web Ontology Language. WES 2002: 174 - [e3]Ian Horrocks, Sergio Tessaris:
Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. CEUR Workshop Proceedings 53, CEUR-WS.org 2002 [contents] - [e2]Ian Horrocks, James A. Hendler:
The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings. Lecture Notes in Computer Science 2342, Springer 2002, ISBN 3-540-43760-6 [contents] - 2001
- [j8]Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider:
OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intell. Syst. 16(2): 38-45 (2001) - [c40]Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens:
OilEd: a Reason-able Ontology Editor for the Semantic Web. Description Logics 2001 - [c39]Ian Horrocks, Peter F. Patel-Schneider:
The Generation of DAML+OIL. Description Logics 2001 - [c38]Ian Horrocks, Ulrike Sattler:
Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI 2001: 199-204 - [c37]Robert Stevens, Ian Horrocks, Carole A. Goble, Sean Bechhofer:
Building a Reason-able Bioinformatics Ontology Using OIL. OIS@IJCAI 2001 - [c36]Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens:
OilEd: A Reason-able Ontology Editor for the Semantic Web. KI/ÖGAI 2001: 396-408 - [c35]Jeff Z. Pan, Ian Horrocks:
Metamodeling Architecture of Web Ontology Languages. SWWS 2001: 131-149 - [c34]Sean Bechhofer, Carole A. Goble, Ian Horrocks:
DAML+OIL is not Enough. SWWS 2001: 151-159 - [c33]Jeff Z. Pan, Ian Horrocks:
Metamodeling Architecture of Web Ontology Languages. The Emerging Semantic Web 2001 - [c32]Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks:
Enabling knowledge representation on the Web by extending RDF schema. WWW 2001: 467-478 - 2000
- [j7]Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics. Log. J. IGPL 8(3): 239-263 (2000) - [j6]Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani:
An Analysis of Empirical Testing for Modal Decision Procedures. Log. J. IGPL 8(3): 293-323 (2000) - [j5]Stefan Decker, Sergey Melnik, Frank van Harmelen, Dieter Fensel, Michel C. A. Klein, Jeen Broekstra, Michael Erdmann, Ian Horrocks:
The Semantic Web: The Roles of XML and RDF. IEEE Internet Comput. 4(5): 63-74 (2000) - [c31]Ian Horrocks, Sergio Tessaris:
A Conjunctive Query Language for Description Logic Aboxes. AAAI/IAAI 2000: 399-404 - [c30]Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496 - [c29]Sean Bechhofer, Ian Horrocks:
Driving User Interfaces from FaCT. Description Logics 2000: 45-54 - [c28]Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks, Sergey Melnik, Michel C. A. Klein, Jeen Broekstra:
Knowledge Representation on the Web. Description Logics 2000: 89-97 - [c27]Ian Horrocks, Sergio Tessaris:
Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. Description Logics 2000: 173-182 - [c26]Ian Horrocks, Stephan Tobies:
Optimisation of Terminological Reasoning. Description Logics 2000: 183-192 - [c25]Alexander Borgida, Enrico Franconi, Ian Horrocks:
Explaining ALC Subsumption. ECAI 2000: 209-213 - [c24]Dieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, Michel C. A. Klein:
OIL in a Nutshell. EKAW 2000: 1-16 - [c23]Ian Horrocks, Stephan Tobies:
Reasoning with Axioms: Theory and Practice. KR 2000: 285-296 - [c22]Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies:
How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72 - [c21]Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies:
How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343 - [c20]Ian Horrocks:
Benchmark Analysis with FaCT. TABLEAUX 2000: 62-66 - [i4]Ian Horrocks, Stephan Tobies:
Reasoning with Axioms: Theory and Pratice. CoRR cs.LO/0005012 (2000) - [i3]Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics. CoRR cs.LO/0005013 (2000) - [i2]Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Practical Reasoning for Expressive Description Logics. CoRR cs.LO/0005014 (2000) - [i1]Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ. CoRR cs.LO/0005017 (2000)
1990 – 1999
- 1999
- [j4]Ian Horrocks, Peter F. Patel-Schneider:
Optimizing Description Logic Subsumption. J. Log. Comput. 9(3): 267-293 (1999) - [j3]Ian Horrocks, Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. Log. Comput. 9(3): 385-410 (1999) - [j2]Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty:
Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. 9(3): 449-456 (1999) - [c19]Ian Horrocks, Lin Padgham, Laura Thomson:
Feasibility of Optimised Disjunctive Reasoning for Approximate Matching. Australian Joint Conference on Artificial Intelligence 1999: 328-339 - [c18]Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris:
A Proposal for a Description Logic Interface. Description Logics 1999 - [c17]Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider:
Explaining ALC Subsumption. Description Logics 1999 - [c16]Ian Horrocks:
FaCT and iFaCT. Description Logics 1999 - [c15]Ian Horrocks, Peter F. Patel-Schneider:
Performance of DLP on Random Modal Formulae. Description Logics 1999 - [c14]Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180 - [c13]Peter F. Patel-Schneider, Ian Horrocks:
DLP and FaCT. TABLEAUX 1999: 19-23 - 1998
- [c12]Ian Horrocks, Peter F. Patel-Schneider:
Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998: 234-246 - [c11]Ian Horrocks:
FaCT. Description Logics 1998 - [c10]Ian Horrocks:
Kris. Description Logics 1998 - [c9]Ian Horrocks, Peter F. Patel-Schneider:
DL Systems Comparison (Summary Relation). Description Logics 1998 - [c8]Ian Horrocks, Peter F. Patel-Schneider:
Comparing Subsumption Optimizations. Description Logics 1998 - [c7]Ian Horrocks, Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics 1998 - [c6]Ian Horrocks:
Using an Expressive Description Logic: FaCT or Fiction? KR 1998: 636-649 - [c5]Ian Horrocks, Peter F. Patel-Schneider:
FaCT and DLP. TABLEAUX 1998: 27-30 - [c4]Ian Horrocks:
The FaCT System. TABLEAUX 1998: 307-312 - 1997
- [j1]Alan L. Rector, Sean Bechhofer, Carole A. Goble, Ian Horrocks, W. A. Nowlan, W. D. Solomon:
The GRAIL concept modelling language for medical terminology. Artif. Intell. Medicine 9(2): 139-171 (1997) - [c3]Ian Horrocks, Graham Gough:
Description Logics with Transitive Roles. Description Logics 1997 - [e1]Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset:
Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France. URA-CNRS 410, 1997 [contents] - 1996
- [c2]Ian Horrocks, Alan L. Rector:
Using a Description Logic with Concept Inclusions. Description Logics 1996: 132-135 - [c1]Ian Horrocks, Alan L. Rector, Carole A. Goble:
A Description Logic Based Schema for the Classification of Medical Data. KRDB 1996
Coauthor Index
aka: Theofilos Mailis
aka: Özgür Lütfü Özçep
aka: Robert Edgar Felix Piro
aka: Uli Sattler
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 23:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint