Ian Horrocks - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 377

2022

The Complexity and Expressive Power of Limit DatalogMark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks. JACM, 69(1), 2022. [doi]

The delay and window size problems in rule-based stream reasoningAlessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. ai, 306:103668, 2022. [doi]

2021

Streaming Partitioning of RDF Graphs for Datalog ReasoningTemitope Ajileye, Boris Motik, Ian Horrocks. esws 2021: 3-22 [doi]

Augmenting Ontology Alignment by Semantic Embedding and Distant SupervisionJiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Denvar Antonyrajah, Ali Hadian 0003, Jaehun Lee. esws 2021: 392-408 [doi]

Knowledge-aware Zero-Shot Learning: Survey and PerspectiveJiaoyan Chen, Yuxia Geng, Zhuo Chen 0007, Ian Horrocks, Jeff Z. Pan, Huajun Chen. IJCAI 2021: 4366-4373 [doi]

OWL2Vec*: embedding of OWL ontologiesJiaoyan Chen, Pan Hu 0001, Ernesto Jiménez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah, Ian Horrocks. ml, 110(7):1813-1845, 2021. [doi]

Pay-as-you-go consequence-based reasoning for the description logic SROIQDavid Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks. ai, 298:103518, 2021. [doi]

Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy - Extended AbstractStefano Germano, Carla Saunders, Ian Horrocks, Rick Lupton. semweb 2021: [doi]

Use of Semantic Technologies to Inform Progress Toward Zero-Carbon EconomyStefano Germano, Carla Saunders, Ian Horrocks, Rick Lupton. semweb 2021: 665-681 [doi]

Biomedical ontology alignment with BERTYuan He, Jiaoyan Chen, Denvar Antonyrajah, Ian Horrocks. semweb 2022: 1-12 [doi]

Knowledge Graphs: Theory, Applications and ChallengesIan Horrocks. webist 2021: 5

Computing CQ lower-bounds over OWL 2 through approximation to RSA - Extended AbstractFederico Igne, Stefano Germano, Ian Horrocks. semweb 2021: [doi]

RSAComb: Combined Approach for CQ Answering in RSAFederico Igne, Stefano Germano, Ian Horrocks. dlog 2021: [doi]

Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSAFederico Igne, Stefano Germano, Ian Horrocks. semweb 2021: 200-216 [doi]

INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise EncodingShuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev. nips 2021: 2034-2045 [doi]

Poor Air Quality Along the Wasatch Front During Inversions: Role of Road Transportation and Possible SolutionsKhaled Shaaban, Ian Horrocks. ahfe 2021: 422-428 [doi]

2020

2019

Datalog Materialisation in Distributed RDF Stores with Dynamic Data ExchangeTemitope Ajileye, Boris Motik, Ian Horrocks. semweb 2019: 21-37 [doi]

Learning Semantic Annotations for Tabular DataJiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton. IJCAI 2019: 2088-2094 [doi]

Canonicalizing Knowledge Base LiteralsJiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks. semweb 2019: 110-127 [doi]

ColNet: Embedding the Semantics of Web Tables for Column Type PredictionJiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton. AAAI 2019: 29-36 [doi]

Bagging the DL-Lite Family FurtherGianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. dlog 2019: [doi]

Bag Semantics of DL-Lite with Functionality AxiomsGianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. semweb 2019: 128-144 [doi]

15 Years of Consequence-Based ReasoningDavid Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks. BIRTHDAY 2019: 573-587 [doi]

Sequoia: A Consequence Based Reasoner for SROIQDavid Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks. dlog 2019: [doi]

Limit Datalog: A Declarative Query Language for Data AnalysisBernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik. SIGMOD, 48(4):6-17, 2019. [doi]

Datalog Reasoning over Compressed RDF Knowledge BasesPan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks. CIKM 2019: 2065-2068 [doi]

Modular Materialisation of Datalog ProgramsPan Hu, Boris Motik, Ian Horrocks. AAAI 2019: 2859-2866 [doi]

An Efficient Index for RDF Query ContainmentTheofilos Mailis, Yannis Kotidis, Vaggelis Nikolopoulos, Evgeny Kharlamov, Ian Horrocks, Yannis E. Ioannidis. SIGMOD 2019: 1499-1516 [doi]

Mv-Index: An Efficient Index for Graph-Query ContainmentTheofilos Mailis, Yannis Kotidis, Vaggelis Nikolopoulos, Evgeny Kharlamov, Ian Horrocks, Yannis E. Ioannidis. semweb 2019: 193-196 [doi]

Maintenance of datalog materialisations revisitedBoris Motik, Yavor Nenov, Robert Piro, Ian Horrocks. ai, 269:76-136, 2019. [doi]

Satisfaction and Implication of Integrity Constraints in Ontology-based Data AccessCharalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks. IJCAI 2019: 1829-1835 [doi]

Foundations of ontology-based data access under bag semanticsCharalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. ai, 274:91-132, 2019. [doi]

Towards Explainable Entity Matching via Comparison QueriesAlina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks. semweb 2020: 197-198 [doi]

Query-Based Entity Comparison in Knowledge Graphs RevisitedAlina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks. semweb 2019: 558-575 [doi]

2018

Consequence-Based Reasoning for Description Logics with Disjunctions and Number RestrictionsAndrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks. jair, 63:625-690, 2018. [doi]

Knowledge-Based Transfer Learning ExplanationJiaoyan Chen, Freddy Lécué, Jeff Z. Pan, Ian Horrocks, Huajun Chen. kr 2018: 349-358 [doi]

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and NominalsDavid Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks. IJCAI 2018: 1970-1976 [doi]

Which Is the Tallest Building in Europe? Representing and Reasoning About KnowledgeIan Horrocks. simbig 2019: 7-12 [doi]

Optimised Maintenance of Datalog MaterialisationsPan Hu, Boris Motik, Ian Horrocks. AAAI 2018: 1871-1879 [doi]

Stratified Negation in Limit Datalog ProgramsMark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks. IJCAI 2018: 1875-1881 [doi]

Diagnostics of Trains with Semantic Diagnostics RulesEvgeny Kharlamov, Ognjen Savkovic, Martin Ringsquandl, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks, Thomas A. Runkler. ilp 2018: 54-71 [doi]

Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract)Evgeny Kharlamov, Gulnar Mehdi, Ognjen Savkovic, Guohui Xiao, Steffen Lamparter, Ian Horrocks, Arild Waaler. bigdataconf 2018: 1951-1954 [doi]

Finding Data Should be Easier than Finding OilEvgeny Kharlamov, Martin G. Skjæveland, Dag Hovland, Theofilos Mailis, Ernesto Jiménez-Ruiz, Guohui Xiao, Ahmet Soylu, Ian Horrocks, Arild Waaler. bigdataconf 2018: 1747-1756 [doi]

RODI: Benchmarking relational-to-ontology mapping generation qualityChristoph 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. semweb, 9(1):25-52, 2018. [doi]

Dynamic Data Exchange in Distributed RDF StoresAnthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks. tkde, 30(12):2312-2325, 2018. [doi]

Event-Enhanced Learning for KG CompletionMartin Ringsquandl, Evgeny Kharlamov, Daria Stepanova 0001, Marcel Hildebrandt, Steffen Lamparter, Raffaello Lepratti, Ian Horrocks, Peer Kröger. esws 2018: 541-559 [doi]

Filling Gaps in Industrial Knowledge Graphs via Event-Enhanced EmbeddingMartin Ringsquandl, Evgeny Kharlamov, Daria Stepanova 0001, Marcel Hildebrandt, Steffen Lamparter, Raffaello Lepratti, Ian Horrocks, Peer Kröger. semweb 2018: [doi]

The Window Validity Problem in Rule-Based Stream ReasoningAlessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. kr 2018: 571-581 [doi]

Stream Reasoning in Temporal DatalogAlessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks. AAAI 2018: 1941-1948 [doi]

Theoretical Characterization of Signal Diagnostic Processing LanguageOgnjen Savkovic, Evgeny Kharlamov, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks. dlog 2018: [doi]

Semantic Diagnostics of Smart FactoriesOgnjen Savkovic, Evgeny Kharlamov, Martin Ringsquandl, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Ian Horrocks. jist 2018: 277-294 [doi]

OptiqueVQS: A visual query system over ontologies for industryAhmet 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. semweb, 9(5):627-660, 2018. [doi]

2017

An Introduction to Description LogicFranz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler. Cambridge University Press, 2017. [doi]

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and NominalsDavid Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks. dlog 2017: [doi]

Foundations of Declarative Data Analysis Using Limit Datalog ProgramsMark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks. IJCAI 2017: 1123-1130 [doi]

Semantic Rules for Machine Diagnostics: Execution and ManagementEvgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Rafael Penaloza, Gulnar Mehdi, Mikhail Roshchin, Ian Horrocks. CIKM 2017: 2131-2134 [doi]

Ranking, Aggregation, and Reachability in Faceted Search with SemFacetEvgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks. semweb 2017: [doi]

SemFacet: Making Hard Faceted Search EasierEvgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks. CIKM 2017: 2475-2478 [doi]

Semantic Rule-Based Equipment DiagnosticGulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Elem Guzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler. semweb 2017: [doi]

SemDia: Semantic Rule-Based Equipment Diagnostics ToolGulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Elem Güzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler. CIKM 2017: 2507-2510 [doi]

Semantic Rule-Based Equipment DiagnosticsGulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Elem Güzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler. semweb 2017: 314-333 [doi]

The Bag Semantics of Ontology-Based Data AccessCharalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. IJCAI 2017: 1224-1230 [doi]

Entity Comparison in RDF GraphsAlina Petrova, Evgeny Sherkhonov, Bernardo Cuenca Grau, Ian Horrocks. semweb 2017: 526-541 [doi]

On event-driven knowledge graph completion in digital factoriesMartin Ringsquandl, Evgeny Kharlamov, Daria Stepanova, Steffen Lamparter, Raffaello Lepratti, Ian Horrocks, Peer Kröger. bigdataconf 2017: 1676-1681 [doi]

PGX.D/Async: A Scalable Distributed Graph Pattern Matching EngineNicholas P. Roth, Vasileios Trigonakis, Sungpack Hong, Hassan Chafi, Anthony Potter, Boris Motik, Ian Horrocks. grades 2017: [doi]

Ontology-based end-user visual query formulation: Why, what, who, how, and which?Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks. uais, 16(2):435-467, 2017. [doi]

Trust-Sensitive Evolution of DL-Lite Knowledge BasesDmitriy Zheleznyakov, Evgeny Kharlamov, Ian Horrocks. AAAI 2017: 1266-1273 [doi]

2016

Extending Consequence-Based Reasoning to SRIQAndrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks. kr 2016: 187-196 [doi]

Towards the Semantic Enrichment of Free-Text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI ScansValentina Carapella, Ernesto Jiménez-Ruiz, Elena Lukaschuk, Nay Aung, Kenneth Fung, José Paiva, Mihir Sanghvi, Stefan Neubauer, Steffen Petersen, Ian Horrocks, Stefan Piechnik. miccai 2016: 238-248 [doi]

Using Semantic Technology to Tame the Data Variety ChallengeIan Horrocks, Martin Giese, Evgeny Kharlamov, Arild Waaler. internet, 20(6):62-66, 2016. [doi]

Towards the Creation of the Cardiovascular Magnetic Resonance Quality Assessment Ontology (CMR-QA)Ernesto Jiménez-Ruiz, Valentina Carapella, Elena Lukaschuk, Nay Aung, Kenneth Fung, José Paiva, Mihir Sanghvi, Stefan Neubauer, Steffen Petersen, Ian Horrocks, Stefan Piechnik. swat4ls 2017: [doi]

Ontology-Based Integration of Streaming and Static Relational Data with OptiqueEvgeny 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. SIGMOD 2016: 2109-2112 [doi]

Towards Analytics Aware Ontology Based Access to Static and Streaming DataEvgeny 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. semweb 2016: 344-362 [doi]

SOMM: Industry Oriented Ontology Management ToolEvgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks. semweb 2016: [doi]

Capturing Industrial Information Models with Ontologies and ConstraintsEvgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks. semweb 2016: 325-343 [doi]

Semantic Technologies for Data Analysis in Health CareRobert Piro, Yavor Nenov, Boris Motik, Ian Horrocks, Peter Hendler, Scott Kimberly, Michael Rossman. semweb 2016: 400-417 [doi]

Distributed RDF Query Answering with Dynamic Data ExchangeAnthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks. semweb 2016: 480-497 [doi]

Ontology Module Extraction via Datalog ReasoningAna Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. dlog 2016: [doi]

Module Extraction in Expressive Ontology Languages via Datalog ReasoningAna Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. jair, 55:499-564, 2016. [doi]

Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end usersAhmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Guillermo Vega-Gorgojo, Ian Horrocks. uais, 15(1):129-152, 2016. [doi]

KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping ConstructionDmitriy Zheleznyakov, Evgeny Kharlamov, Vidar Klungre, Martin G. Skjæveland, Dag Hovland, Martin Giese, Ian Horrocks, Arild Waaler. semweb 2016: [doi]

2015

The Combined Approach to Query Answering Beyond the OWL 2 ProfilesCristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks. IJCAI 2015: 2971-2977 [doi]

Extending the Combined Approach Beyond Lightweight Description LogicsCristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks. dlog 2015: [doi]

BootOX: Bootstrapping OWL 2 Ontologies and R2RML Mappings from Relational DatabasesErnesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks, Christoph Pinkel, Martin G. Skjæveland, Evgenij Thorstensen, José Mora. semweb 2015: [doi]

BootOX: Practical Mapping of RDBs to OWL 2Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks, Christoph Pinkel, Martin G. Skjæveland, Evgenij Thorstensen, José Mora. semweb 2015: 113-132 [doi]

Optique: Ontology-Based Data Access PlatformEvgeny 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. semweb 2015: [doi]

Ontology Based Access to Exploration Data at StatoilEvgeny 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. semweb 2015: 93-112 [doi]

Incremental Update of Datalog Materialisation: the Backward/Forward AlgorithmBoris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks. AAAI 2015: 1560-1568 [doi]

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with EqualityBoris Motik, Yavor Nenov, Robert Piro, Ian Horrocks. IJCAI 2015: 3127-3133 [doi]

Handling Owl: sameAs via RewritingBoris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks. AAAI 2015: 231-237 [doi]

Ontology Module Extraction via Datalog ReasoningAna Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. AAAI 2015: 1410-1416 [doi]

Ontology-based Query Answering with PAGOdAYujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks. ore 2015: 1-7 [doi]

PAGOdA: Pay-as-you-go ABox ReasoningYujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks. dlog 2015: [doi]

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog ReasonerYujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks. jair, 54:309-367, 2015. [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Ian Horrocks'

Viewing Publication 1 - 100 from 377

2022

2021

2020

2019

2018

2017

2016

2015

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Ian Horrocks'

Viewing Publication 1 - 100 from 377

2022

2021

2020

2019

2018

2017

2016

2015

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1