default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBoris Motik
Person information
- affiliation: University of Oxford, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j35]Pan Hu, Boris Motik:
Accurate Sampling-Based Cardinality Estimation for Complex Graph Queries. ACM Trans. Database Syst. 49(3): 12:1-12:46 (2024)- [c107]Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan:
Decidability of Graph Neural Networks via Logical Characterizations. ICALP 2024: 127:1-127:20 - [i23]Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan:
Decidability of Graph Neural Networks via Logical Characterizations. CoRR abs/2404.18151 (2024) - 2023
- [c106]David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev:
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. KR 2023: 658-667 - [i22]David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev:
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. CoRR abs/2305.18015 (2023) - 2022
- [j34]Pan Hu
, Boris Motik, Ian Horrocks:
Modular materialisation of Datalog programs. Artif. Intell. 308: 103726 (2022) - [j33]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) - [j32]Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Rewriting the Infinite Chase. Proc. VLDB Endow. 15(11): 3045-3057 (2022) - [j31]Temitope Ajileye, Boris Motik:
Materialisation and data partitioning algorithms for distributed RDF systems. J. Web Semant. 73: 100711 (2022) - [c105]Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Datalog Rewriting for Guarded TGDs. Datalog 2022: 104-113 - [c104]Ian Horrocks, Jordi Olivares, Valerio Cocchi, Boris Motik, Dylan Roy:
The Dow Jones Knowledge Graph. ESWC 2022: 427-443 - [c103]David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik:
Explainable GNN-Based Models over Knowledge Graphs. ICLR 2022 - [c102]David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik:
Faithful Approaches to Rule Learning. KR 2022 - [i21]Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Rewriting the Infinite Chase. CoRR abs/2212.08522 (2022) - 2021
- [j30]Akansha Bhardwaj, Albert Blarer, Philippe Cudré-Mauroux, Vincent Lenders, Boris Motik, Axel Tanner, Alberto Tonon:
Event Detection on Microposts: A Comparison of Four Approaches. IEEE Trans. Knowl. Data Eng. 33(4): 1467-1478 (2021) - [c101]Temitope Ajileye, Boris Motik, Ian Horrocks:
Streaming Partitioning of RDF Graphs for Datalog Reasoning. ESWC 2021: 3-22 - 2020
- [c100]Fredah Banda, Boris Motik:
Community-Based RDF Partitioning. SSWS@ISWC 2020: 33-48 - [c99]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
2010 – 2019
- 2019
- [j29]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
Maintenance of datalog materialisations revisited. Artif. Intell. 269: 76-136 (2019) - [j28]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) - [c98]Pan Hu, Boris Motik, Ian Horrocks:
Modular Materialisation of Datalog Programs. AAAI 2019: 2859-2866 - [c97]Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks:
Datalog Reasoning over Compressed RDF Knowledge Bases. CIKM 2019: 2065-2068 - [c96]Temitope Ajileye, Boris Motik, Ian Horrocks:
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. ISWC (1) 2019: 21-37 - [i20]Temitope Ajileye, Boris Motik, Ian Horrocks:
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. CoRR abs/1906.10261 (2019) - [i19]Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks:
Datalog Reasoning over Compressed RDF Knowledge Bases. CoRR abs/1908.10177 (2019) - 2018
- [j27]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) - [j26]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) - [c95]Michael Benedikt, Boris Motik, Efthymia Tsamoura:
Goal-Driven Query Answering for Existential Rules With Equality. AAAI 2018: 1761-1770 - [c94]Pan Hu, Boris Motik, Ian Horrocks:
Optimised Maintenance of Datalog Materialisations. AAAI 2018: 1871-1879 - [c93]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
Stream Reasoning in Temporal Datalog. AAAI 2018: 1941-1948 - [c92]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Stratified Negation in Limit Datalog Programs. IJCAI 2018: 1875-1881 - [c91]Giorgio Stefanoni, Boris Motik, Egor V. Kostylev:
Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation. WWW 2018: 1043-1052 - [i18]Giorgio Stefanoni, Boris Motik, Egor V. Kostylev:
Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation. CoRR abs/1801.09619 (2018) - [i17]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Stratified Negation in Limit Datalog Programs. CoRR abs/1804.09473 (2018) - [i16]Pan Hu, Boris Motik, Ian Horrocks:
Modular Materialisation of Datalog Programs. CoRR abs/1811.02304 (2018) - 2017
- [c90]Alberto Tonon, Philippe Cudré-Mauroux, Albert Blarer, Vincent Lenders, Boris Motik:
ArmaTweet: Detecting Events by Semantic Tweet Analysis. ESWC (2) 2017: 138-153 - [c89]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 - [c88]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 - [c87]Michael Benedikt, George Konstantinidis, Giansalvatore Mecca, Boris Motik, Paolo Papotti, Donatello Santoro, Efthymia Tsamoura:
Benchmarking the Chase. PODS 2017: 37-52 - [i15]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) - [i14]Pan Hu, Boris Motik, Ian Horrocks:
Optimised Maintenance of Datalog Materialisations. CoRR abs/1711.03987 (2017) - [i13]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
Stream Reasoning in Temporal Datalog. CoRR abs/1711.04013 (2017) - [i12]Michael Benedikt, Boris Motik, Efthymia Tsamoura:
Goal-Driven Query Answering for Existential Rules with Equality. CoRR abs/1711.05227 (2017) - 2016
- [c86]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SRIQ. KR 2016: 187-196 - [c85]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 - [c84]Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks:
Distributed RDF Query Answering with Dynamic Data Exchange. ISWC (1) 2016: 480-497 - [i11]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SRIQ. CoRR abs/1602.04498 (2016) - 2015
- [c83]Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks:
Handling Owl: sameAs via Rewriting. AAAI 2015: 231-237 - [c82]Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks:
Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. AAAI 2015: 1560-1568 - [c81]Giorgio Stefanoni, Boris Motik:
Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles. AAAI 2015: 1611-1617 - [c80]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SHIQ. Description Logics 2015 - [c79]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. IJCAI 2015: 3127-3133 - [c78]Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, Jay Banerjee:
RDFox: A Highly-Scalable RDF Store. ISWC (2) 2015: 3-20 - [i10]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
- [j25]Frantisek Simancik, Boris Motik, Ian Horrocks:
Consequence-based and fixed-parameter tractable reasoning in description logics. Artif. Intell. 209: 29-77 (2014) - [j24]Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph:
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. J. Artif. Intell. Res. 51: 645-705 (2014) - [j23]Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang:
HermiT: An OWL 2 Reasoner. J. Autom. Reason. 53(3): 245-269 (2014) - [c77]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 - [c76]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 - [c75]Anthony Potter, Boris Motik, Ian Horrocks:
Querying Distributed RDF Graphs: The Effects of Partitioning. SSWS@ISWC 2014: 29-44 - [i9]Boris Motik, Robert D. C. Shearer, Ian Horrocks:
Hypertableau Reasoning for Description Logics. CoRR abs/1401.3485 (2014) - [i8]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. CoRR abs/1401.4604 (2014) - [i7]Bernardo Cuenca Grau, Boris Motik:
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. CoRR abs/1401.5853 (2014) - [i6]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) - [i5]Giorgio Stefanoni, Boris Motik:
Answering Conjunctive Queries over $\mathcal{EL}$ Knowledge Bases with Transitive and Reflexive Roles. CoRR abs/1411.2516 (2014) - [i4]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
Handling owl: sameAs via Rewriting. CoRR abs/1411.3622 (2014) - 2013
- [j22]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) - [c74]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Introducing Nominals to the Combined Query Answering Approaches for EL. AAAI 2013: 1177-1183 - [c73]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Introducing Nominals to the Combined Query Answering Approaches for EL. Description Logics 2013: 962-974 - [c72]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Computing Datalog Rewritings Beyond Horn Ontologies. IJCAI 2013: 832-838 - [c71]Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre:
The Energy Management Adviser at EDF. ISWC (2) 2013: 49-64 - [i3]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Introducing Nominals to the Combined Query Answering Approaches for EL. CoRR abs/1303.7430 (2013) - [i2]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Computing Datalog Rewritings beyond Horn Ontologies. CoRR abs/1304.1402 (2013) - 2012
- [j21]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) - [j20]Bernardo Cuenca Grau, Boris Motik:
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. J. Artif. Intell. Res. 45: 197-255 (2012) - [j19]Boris Motik:
Representing and querying validity time in RDF and OWL: A logic-based approach. J. Web Semant. 12: 3-21 (2012) - [j18]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) - [c70]Boris Motik:
Building an Efficient OWL 2 DL Reasoner. PAAR@IJCAR 2012: 2 - [c69]Despoina Magka, Boris Motik, Ian Horrocks:
Modelling Structured Domains Using Description Graphs and Logic Programming. Description Logics 2012 - [c68]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Small Datalog Query Rewritings for EL. Description Logics 2012 - [c67]Despoina Magka, Boris Motik, Ian Horrocks:
Modelling Structured Domains Using Description Graphs and Logic Programming. ESWC 2012: 330-344 - [c66]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 - [c65]Boris Motik:
Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. LPAR 2012: 13-14 - [c64]Ian Horrocks, Boris Motik, Zhe Wang:
The HermiT OWL Reasoner. ORE 2012 - [c63]Despoina Magka, Boris Motik, Ian Horrocks:
Classifying Chemicals Using Description Graphs and Logic Programming. OWLED 2012 - [c62]Boris Motik, Ian Horrocks, Su Myeon Kim:
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. WWW (Companion Volume) 2012: 63-72 - 2011
- [c61]Frantisek Simancik, Boris Motik, Markus Krötzsch:
Fixed Parameter Tractable Reasoning in DLs via Decomposition. Description Logics 2011 - [c60]Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
Repairing Ontologies for Incomplete Reasoners. ISWC (1) 2011: 681-696 - [c59]Despoina Magka, Boris Motik, Ian Horrocks:
Chemical knowledge representation with description graphs and logic programming. SWAT4LS 2011: 74-75 - 2010
- [j17]Boris Motik, Riccardo Rosati:
Reconciling description logics and rules. J. ACM 57(5): 30:1-30:62 (2010) - [j16]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) - [c58]Birte Glimm, Ian Horrocks, Boris Motik:
Optimized Description Logic Reasoning via Core Blocking. IJCAR 2010: 457-471 - [c57]Birte Glimm, Ian Horrocks, Boris Motik:
Optimized DL Reasoning via Core Blocking. Description Logics 2010 - [c56]Boris Motik:
Combining Description Logics, Description Graphs, and Rules. ICCS 2010: 10-12 - [c55]Bernardo Cuenca Grau, Boris Motik:
Pushing the Limits of Reasoning over Ontologies with Hidden Content. KR 2010 - [c54]Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos:
Optimising Ontology Classification. ISWC (1) 2010: 225-240 - [c53]Boris Motik:
Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach. ISWC (1) 2010: 550-565
2000 – 2009
- 2009
- [j15]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) - [j14]Boris Motik, Robert D. C. Shearer, Ian Horrocks:
Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. 36: 165-228 (2009) - [j13]Boris Motik, Ian Horrocks, Ulrike Sattler:
Bridging the gap between OWL and relational databases. J. Web Semant. 7(2): 74-89 (2009) - [c52]Bernardo Cuenca Grau, Boris Motik:
Importing Ontologies with Hidden Content. Description Logics 2009 - [c51]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks:
A Comparison of Query Rewriting Techniques for DL-lite. Description Logics 2009 - [c50]Robert D. C. Shearer, Ian Horrocks, Boris Motik:
Exploiting Partial Information in Taxonomy Construction. Description Logics 2009 - [c49]Boris Motik:
Combining Description Logics, Description Graphs, and Rules. FroCoS 2009: 43-67 - [c48]Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov:
Import-by-Query: Ontology Reasoning under Access Limitations. IJCAI 2009: 727-732 - [c47]Héctor Pérez-Urbina, Ian Horrocks, Boris Motik:
Practical Aspects of Query Rewriting for OWL 2. OWLED 2009 - [c46]Héctor Pérez-Urbina, Ian Horrocks, Boris Motik:
Efficient Query Answering for OWL 2. ISWC 2009: 489-504 - [p3]Boris Motik:
Resolution-Based Reasoning for Ontologies. Handbook on Ontologies 2009: 529-550 - [e3]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
- [j12]James A. Hendler, Philipp Cimiano, Dmitri A. Dolgov, Anat Levin, Peter Mika, Brian Milch, Louis-Philippe Morency, Boris Motik, Jennifer Neville, Erik B. Sudderth, Luis von Ahn:
AI's 10 to Watch. IEEE Intell. Syst. 23(3): 9-19 (2008) - [j11]Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5): 579-601 (2008) - [j10]Yevgeny Kazakov, Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reason. 40(2-3): 89-116 (2008) - [j9]Yevgeny Kazakov, Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reason. 40(4): 357 (2008) - [j8]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) - [c45]Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks:
Metalevel Information in Ontology-Based Applications. AAAI 2008: 1237-1242 - [c44]Boris Motik, Ian Horrocks:
Individual Reuse in Description Logic Reasoning. IJCAR 2008: 242-258 - [c43]Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler:
The Representation of Structured Objects in DLs using Description Graphs. Description Logics 2008 - [c42]Robert D. C. Shearer, Boris Motik, Ian Horrocks:
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics 2008 - [c41]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Representing Structured Objects using Description Graphs. KR 2008: 296-306 - [c40]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008 - [c39]Robert D. C. Shearer, Boris Motik, Ian Horrocks:
HermiT: A Highly-Efficient OWL Reasoner. OWLED 2008 - [c38]