A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications. - Boris Motik; Alexander Maedche; Raphael Volz (OTM, 2002)

KAON - Towards a Large Scale Semantic Web. - Erol Bozsak; Marc Ehrig; Siegfried Handschuh; Andreas Hotho; Alexander Maedche; Boris Motik; Daniel Oberle; Christoph Schmitz 001; Steffen Staab; Ljiljana Stojanovic; Nenad Stojanovic; Rudi Studer; et al. (EC-Web, 2002)

MAFRA - A MApping FRAmework for Distributed Ontologies. - Alexander Maedche; Boris Motik; Nuno Silva; Raphael Volz (EKAW, 2002)

User-Driven Ontology Evolution Management. - Ljiljana Stojanovic; Alexander Maedche; Boris Motik; Nenad Stojanovic (EKAW, 2002)

Ontology Evolution within Ontology Editors. - Ljiljana Stojanovic; Boris Motik (EON, 2002)

Managing Multiple Ontologies and Ontology Evolution in Ontologging. - Alexander Maedche; Boris Motik; Ljiljana Stojanovic; Rudi Studer; Raphael Volz (IIP, 2002)

A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies. - Gábor Nagypál; Boris Motik (OTM, 2003)

Incremental Maintenance of Materialized Ontologies. - Raphael Volz; Steffen Staab; Boris Motik (OTM, 2003)

Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. - Boris Motik; Raphael Volz (KRDB, 2003)

Incremental Maintenance of dynamic Datalog programs. - Raphael Volz; Steffen Staab; Boris Motik (PSSS, 2003)

An infrastructure for searching, reusing and evolving distributed ontologies. - Alexander Maedche; Boris Motik; Ljiljana Stojanovic; Rudi Studer; Raphael Volz (WWW, 2003)

KAON SERVER - A Semantic Web Management System. - Raphael Volz; Daniel Oberle; Steffen Staab; Boris Motik (WWW (Alternate Paper Tracks), 2003)

Repräsentations- und Anfragesprachen für Ontologien - eine Übersicht. - Alexander Maedche; Boris Motik (Datenbank-Spektrum, 2003)

Ontologies for Enterprise Knowledge Management. - Alexander Maedche; Boris Motik; Ljiljana Stojanovic; Rudi Studer; Raphael Volz (IEEE Intell. Syst., 2003)

Managing multiple and distributed ontologies on the Semantic Web. - Alexander Maedche; Boris Motik; Ljiljana Stojanovic (VLDB J., 2003)

An Extensible Ontology Software Environment. - Daniel Oberle; Raphael Volz; Steffen Staab; Boris Motik (Handbook on Ontologies, 2004)

Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (ECAI, 2004)

Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (KR, 2004)

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (LPAR, 2004)

Variance in e-Business Service Discovery. - Stephan Grimm; Boris Motik; Chris Preist (SWS@ISWC, 2004)

Ontology Representation and Querying for Realizing Semantics-Driven Applications. - Boris Motik; Alexander Maedche; Raphael Volz (Multimedia Content and the Semantic Web, 2005)

Description Logics and Disjunctive Datalog - The Story so Far. - Ullrich Hustadt; Boris Motik (Description Logics, 2005)

A mapping system for the integration of OWL-DL ontologies. - Peter Haase 001; Boris Motik (IHIS, 2005)

Data Complexity of Reasoning in Very Expressive Description Logics. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (IJCAI, 2005)

Closed World Reasoning in the Semantic Web through Epistemic Operators. - Stephan Grimm; Boris Motik (OWLED, 2005)

Bridging the Paradigm Gap with Rules for OWL. - Pascal Hitzler; Jürgen Angele; Boris Motik; Rudi Studer (Rule Languages for Interoperability, 2005)

Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. - Raphael Volz; Steffen Staab; Boris Motik (J. Data Semant., 2005)

Query Answering for OWL-DL with rules. - Boris Motik; Ulrike Sattler; Rudi Studer (J. Web Semant., 2005)

Matching Semantic Service Descriptions with Local Closed-World Reasoning. - Stephan Grimm; Boris Motik; Chris Preist (ESWC, 2006)

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. - Boris Motik; Ulrike Sattler (LPAR, 2006)

Problems with OWL Syntax. - Boris Motik; Ian Horrocks 001 (OWLED, 2006)

Can OWL and Logic Programming Live Together Happily Ever After? - Boris Motik; Ian Horrocks 001; Riccardo Rosati 001; Ulrike Sattler (ISWC, 2006)

Reasoning in description logics using resolution and deductive databases. - Boris Motik (2006)

Optimized Reasoning in Description Logics Using Hypertableaux. - Boris Motik; Robert D. C. Shearer; Ian Horrocks 001 (CADE, 2007)

A Hypertableau Calculus for SHIQ. - Boris Motik; Robert D. C. Shearer; Ian Horrocks 001 (Description Logics, 2007)

A Faithful Integration of Description Logics with Logic Programming. - Boris Motik; Riccardo Rosati 001 (IJCAI, 2007)

Adding Integrity Constraints to OWL. - Boris Motik; Ian Horrocks 001; Ulrike Sattler (OWLED, 2007)

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. - Christine Golbreich; Matthew Horridge; Ian Horrocks 001; Boris Motik; Robert D. C. Shearer (ISWC/ASWC, 2007)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (J. Autom. Reason., 2007)

On the Properties of Metamodeling in OWL. - Boris Motik (J. Log. Comput., 2007)

Metalevel Information in Ontology-Based Applications. - Thanh Tran 001; Peter Haase 001; Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001 (AAAI, 2008)

Individual Reuse in Description Logic Reasoning. - Boris Motik; Ian Horrocks 001 (IJCAR, 2008)

The Representation of Structured Objects in DLs using Description Graphs. - Boris Motik; Bernardo Cuenca Grau; Ulrike Sattler (Description Logics, 2008)

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. - Robert D. C. Shearer; Boris Motik; Ian Horrocks 001 (Description Logics, 2008)

Representing Structured Objects using Description Graphs. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (KR, 2008)

Modeling Ontologies using OWL, Description Graphs, and Rules. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (OWLED, 2008)

HermiT: A Highly-Efficient OWL Reasoner. - Robert D. C. Shearer; Boris Motik; Ian Horrocks 001 (OWLED, 2008)

Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. - Boris Motik (RR, 2008)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases. - Héctor Pérez-Urbina; Boris Motik; Ian Horrocks 001 (SDKB, 2008)

OWL Datatypes: Design and Implementation. - Boris Motik; Ian Horrocks 001 (ISWC, 2008)

Structured objects in owl: representation and reasoning. - Boris Motik; Bernardo Cuenca Grau; Ulrike Sattler (WWW, 2008)

KAON2 - Scalable Reasoning over Ontologies with Large Data Sets. - Boris Motik (ERCIM News, 2008)

AI's 10 to Watch. - 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 (IEEE Intell. Syst., 2008)

Deciding expressive description logics in the framework of resolution. - Ullrich Hustadt; Boris Motik; Ulrike Sattler (Inf. Comput., 2008)

A Resolution-Based Decision Procedure for SHOIQ. - Yevgeny Kazakov; Boris Motik (J. Autom. Reason., 2008)

OWL 2: The next step for OWL. - Bernardo Cuenca Grau; Ian Horrocks 001; Boris Motik; Bijan Parsia; Peter F. Patel-Schneider; Ulrike Sattler (J. Web Semant., 2008)

Importing Ontologies with Hidden Content. - Bernardo Cuenca Grau; Boris Motik (Description Logics, 2009)

A Comparison of Query Rewriting Techniques for DL-lite. - Héctor Pérez-Urbina; Boris Motik; Ian Horrocks 001 (Description Logics, 2009)

Exploiting Partial Information in Taxonomy Construction. - Robert D. C. Shearer; Ian Horrocks 001; Boris Motik (Description Logics, 2009)

Import-by-Query: Ontology Reasoning under Access Limitations. - Bernardo Cuenca Grau; Boris Motik; Yevgeny Kazakov (IJCAI, 2009)

Practical Aspects of Query Rewriting for OWL 2. - Héctor Pérez-Urbina; Ian Horrocks 001; Boris Motik (OWLED, 2009)

Efficient Query Answering for OWL 2. - Héctor Pérez-Urbina; Ian Horrocks 001; Boris Motik (ISWC, 2009)

Representing ontologies using description logics, description graphs, and rules. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (Artif. Intell., 2009)

Hypertableau Reasoning for Description Logics. - Boris Motik; Robert D. C. Shearer; Ian Horrocks 001 (J. Artif. Intell. Res., 2009)

Bridging the gap between OWL and relational databases. - Boris Motik; Ian Horrocks 001; Ulrike Sattler (J. Web Semant., 2009)

Resolution-Based Reasoning for Ontologies. - Boris Motik (Handbook on Ontologies, 2009)

Optimized Description Logic Reasoning via Core Blocking. - Birte Glimm; Ian Horrocks 001; Boris Motik (IJCAR, 2010)

Optimized DL Reasoning via Core Blocking. - Birte Glimm; Ian Horrocks 001; Boris Motik (Description Logics, 2010)

Combining Description Logics, Description Graphs, and Rules. - Boris Motik (ICCS, 2010)

Pushing the Limits of Reasoning over Ontologies with Hidden Content. - Bernardo Cuenca Grau; Boris Motik (KR, 2010)

Optimising Ontology Classification. - Birte Glimm; Ian Horrocks 001; Boris Motik; Giorgos Stoilos (ISWC (1), 2010)

Reconciling description logics and rules. - Boris Motik; Riccardo Rosati 001 (J. ACM, 2010)

Tractable query answering and rewriting under description logic constraints. - Héctor Pérez-Urbina; Boris Motik; Ian Horrocks 001 (J. Appl. Log., 2010)

Fixed Parameter Tractable Reasoning in DLs via Decomposition. - Frantisek Simancik; Boris Motik; Markus Krötzsch (Description Logics, 2011)

Repairing Ontologies for Incomplete Reasoners. - Giorgos Stoilos; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (ISWC (1), 2011)

Chemical knowledge representation with description graphs and logic programming. - Despoina Magka; Boris Motik; Ian Horrocks 001 (SWAT4LS, 2011)

Building an Efficient OWL 2 DL Reasoner. - Boris Motik (PAAR@IJCAR, 2012)

Small Datalog Query Rewritings for EL. - Giorgio Stefanoni; Boris Motik; Ian Horrocks 001 (Description Logics, 2012)

Modelling Structured Domains Using Description Graphs and Logic Programming. - Despoina Magka; Boris Motik; Ian Horrocks 001 (ESWC, 2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics. - Bernardo Cuenca Grau; Ian Horrocks 001; Markus Krötzsch; Clemens Kupke; Despoina Magka; Boris Motik; Zhe Wang 001 (KR, 2012)

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. - Boris Motik (LPAR, 2012)

The HermiT OWL Reasoner. - Ian Horrocks 001; Boris Motik; Zhe Wang 001 (ORE, 2012)

Classifying Chemicals Using Description Graphs and Logic Programming. - Despoina Magka; Boris Motik; Ian Horrocks 001 (OWLED, 2012)

Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. - Boris Motik; Ian Horrocks 001; Su Myeon Kim (WWW (Companion Volume), 2012)

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. - Bernardo Cuenca Grau; Boris Motik (J. Artif. Intell. Res., 2012)

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. - Bernardo Cuenca Grau; Boris Motik; Giorgos Stoilos; Ian Horrocks 001 (J. Artif. Intell. Res., 2012)

A novel approach to ontology classification. - Birte Glimm; Ian Horrocks 001; Boris Motik; Robert D. C. Shearer; Giorgos Stoilos (J. Web Semant., 2012)

Representing and querying validity time in RDF and OWL: A logic-based approach. - Boris Motik (J. Web Semant., 2012)

Introducing Nominals to the Combined Query Answering Approaches for EL. - Giorgio Stefanoni; Boris Motik; Ian Horrocks 001 (AAAI, 2013)

Computing Datalog Rewritings Beyond Horn Ontologies. - Bernardo Cuenca Grau; Boris Motik; Giorgos Stoilos; Ian Horrocks 001 (IJCAI, 2013)

The Energy Management Adviser at EDF. - Pierre Chaussecourte; Birte Glimm; Ian Horrocks 001; Boris Motik; Laurent Pierre (ISWC (2), 2013)

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Markus Krötzsch; Clemens Kupke; Despoina Magka; Boris Motik; Zhe Wang 001 (J. Artif. Intell. Res., 2013)

Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001; Dan Olteanu (AAAI, 2014)

Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001; Dan Olteanu (Description Logics, 2014)

Querying Distributed RDF Graphs: The Effects of Partitioning. - Anthony Potter; Boris Motik; Ian Horrocks 001 (SSWS@ISWC, 2014)

Consequence-based and fixed-parameter tractable reasoning in description logics. - Frantisek Simancik; Boris Motik; Ian Horrocks 001 (Artif. Intell., 2014)

Answering Conjunctive Queries over $ mathcal{EL}$ Knowledge Bases with Transitive and Reflexive Roles. - Giorgio Stefanoni; Boris Motik (CoRR, 2014)

The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. - Giorgio Stefanoni; Boris Motik; Markus Krötzsch; Sebastian Rudolph (J. Artif. Intell. Res., 2014)

HermiT: An OWL 2 Reasoner. - Birte Glimm; Ian Horrocks 001; Boris Motik; Giorgos Stoilos; Zhe Wang 001 (J. Autom. Reason., 2014)

Handling Owl: sameAs via Rewriting. - Boris Motik; Yavor Nenov; Robert Edgar Felix Piro; Ian Horrocks 001 (AAAI, 2015)

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. - Boris Motik; Yavor Nenov; Robert Edgar Felix Piro; Ian Horrocks 001 (AAAI, 2015)

Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles. - Giorgio Stefanoni; Boris Motik (AAAI, 2015)

Extending Consequence-Based Reasoning to SHIQ. - Andrew Bate; Boris Motik; Bernardo Cuenca Grau; Frantisek Simancik; Ian Horrocks 001 (Description Logics, 2015)

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001 (IJCAI, 2015)

RDFox: A Highly-Scalable RDF Store. - Yavor Nenov; Robert Piro; Boris Motik; Ian Horrocks 001; Zhe Wu; Jay Banerjee (ISWC (2), 2015)

Extending Consequence-Based Reasoning to SRIQ. - Andrew Bate; Boris Motik; Bernardo Cuenca Grau; Frantisek Simancik; Ian Horrocks 001 (KR, 2016)

Semantic Technologies for Data Analysis in Health Care. - Robert Piro; Yavor Nenov; Boris Motik; Ian Horrocks 001; Peter Hendler; Scott Kimberly; Michael Rossman (ISWC (2), 2016)

Distributed RDF Query Answering with Dynamic Data Exchange. - Anthony Potter; Boris Motik; Yavor Nenov; Ian Horrocks 001 (ISWC (1), 2016)

ArmaTweet: Detecting Events by Semantic Tweet Analysis. - Alberto Tonon; Philippe Cudré-Mauroux; Albert Blarer; Vincent Lenders; Boris Motik (ESWC (2), 2017)

PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine. - Nicholas P. Roth; Vasileios Trigonakis; Sungpack Hong; Hassan Chafi; Anthony Potter; Boris Motik; Ian Horrocks 001 (GRADES@SIGMOD/PODS, 2017)

Foundations of Declarative Data Analysis Using Limit Datalog Programs. - Mark Kaminski; Bernardo Cuenca Grau; Egor V. Kostylev; Boris Motik; Ian Horrocks 001 (IJCAI, 2017)

Benchmarking the Chase. - Michael Benedikt; George Konstantinidis 001; Giansalvatore Mecca; Boris Motik; Paolo Papotti; Donatello Santoro; Efthymia Tsamoura (PODS, 2017)

Goal-Driven Query Answering for Existential Rules With Equality. - Michael Benedikt; Boris Motik; Efthymia Tsamoura (AAAI, 2018)

Optimised Maintenance of Datalog Materialisations. - Pan Hu 001; Boris Motik; Ian Horrocks 001 (AAAI, 2018)

Stream Reasoning in Temporal Datalog. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (AAAI, 2018)

Stratified Negation in Limit Datalog Programs. - Mark Kaminski; Bernardo Cuenca Grau; Egor V. Kostylev; Boris Motik; Ian Horrocks 001 (IJCAI, 2018)

Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation. - Giorgio Stefanoni; Boris Motik; Egor V. Kostylev (WWW, 2018)

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. - Andrew Bate; Boris Motik; Bernardo Cuenca Grau; David Tena Cucala; Frantisek Simancik; Ian Horrocks 001 (J. Artif. Intell. Res., 2018)

Dynamic Data Exchange in Distributed RDF Stores. - Anthony Potter; Boris Motik; Yavor Nenov; Ian Horrocks 001 (IEEE Trans. Knowl. Data Eng., 2018)

Datalog Reasoning over Compressed RDF Knowledge Bases. - Pan Hu 001; Jacopo Urbani; Boris Motik; Ian Horrocks 001 (CIKM, 2019)

Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. - Temitope Ajileye; Boris Motik; Ian Horrocks 001 (ISWC (1), 2019)

Maintenance of datalog materialisations revisited. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001 (Artif. Intell., 2019)

Limit Datalog: A Declarative Query Language for Data Analysis. - Bernardo Cuenca Grau; Ian Horrocks 001; Mark Kaminski; Egor V. Kostylev; Boris Motik (SIGMOD Rec., 2019)

Community-Based RDF Partitioning. - Fredah Banda; Boris Motik (SSWS@ISWC, 2020)

A Context-Aware Recommendation System for Mobile Devices. - Jaehun Lee; Taeho Hwang; Jungho Park; Yunsu Lee; Boris Motik; Ian Horrocks 001 (ISWC (Demos/Industry), 2020)

Datasets for Guarded Saturation. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Zenodo, 2020)

Streaming Partitioning of RDF Graphs for Datalog Reasoning. - Temitope Ajileye; Boris Motik; Ian Horrocks 001 (ESWC, 2021)

Event Detection on Microposts: A Comparison of Four Approaches. - Akansha Bhardwaj; Albert Blarer; Philippe Cudré-Mauroux; Vincent Lenders; Boris Motik; Axel Tanner; Alberto Tonon (IEEE Trans. Knowl. Data Eng., 2021)

Datalog Rewriting for Guarded TGDs. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Datalog, 2022)

The Dow Jones Knowledge Graph. - Ian Horrocks 001; Jordi Olivares; Valerio Cocchi; Boris Motik; Dylan Roy (ESWC, 2022)

Explainable GNN-Based Models over Knowledge Graphs. - David Jaime Tena Cucala; Bernardo Cuenca Grau; Egor V. Kostylev; Boris Motik (ICLR, 2022)

Faithful Approaches to Rule Learning. - David J. Tena Cucala; Bernardo Cuenca Grau; Boris Motik (KR, 2022)

Modular materialisation of Datalog programs. - Pan Hu 001; Boris Motik; Ian Horrocks 001 (Artif. Intell., 2022)

The Complexity and Expressive Power of Limit Datalog. - Mark Kaminski; Egor V. Kostylev; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (J. ACM, 2022)

Rewriting the Infinite Chase. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Proc. VLDB Endow., 2022)

Materialisation and data partitioning algorithms for distributed RDF systems. - Temitope Ajileye; Boris Motik (J. Web Semant., 2022)

On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. - David Tena Cucala; Bernardo Cuenca Grau; Boris Motik; Egor V. Kostylev (KR, 2023)

Decidability of Graph Neural Networks via Logical Characterizations. - Michael Benedikt; Chia-Hsuan Lu; Boris Motik; Tony Tan (ICALP, 2024)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality. - Efthymia Tsamoura; Boris Motik (CoRR, 2024)

Guarded Saturation. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Zenodo, 2024)

Experiments on Guarded Saturation. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Zenodo, 2024)

Accurate Sampling-Based Cardinality Estimation for Complex Graph Queries. - Pan Hu 001; Boris Motik (ACM Trans. Database Syst., 2024)

Rewriting the Infinite Chase for Guarded TGDs. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (ACM Trans. Database Syst., 2024)