Boris Motik

Giorgio Stefanoni, Boris Motik, Ian Horrocks: Introducing Nominals to the Combined Query Answering Approaches for EL. CoRR abs/1303.7430 (2013)

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks: Computing Datalog Rewritings beyond Horn Ontologies. CoRR abs/1304.1402 (2013)

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

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

Boris Motik: Representing and querying validity time in RDF and OWL: A logic-based approach. J. Web Sem. 12: 3-21 (2012)

Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos: A novel approach to ontology classification. J. Web Sem. 14: 84-101 (2012)

Despoina Magka, Boris Motik, Ian Horrocks: Modelling Structured Domains Using Description Graphs and Logic Programming. Description Logics 2012

Giorgio Stefanoni, Boris Motik, Ian Horrocks: Small Datalog Query Rewritings for EL. Description Logics 2012

Despoina Magka, Boris Motik, Ian Horrocks: Modelling Structured Domains Using Description Graphs and Logic Programming. ESWC 2012: 330-344

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

Boris Motik: Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. LPAR 2012: 13-14

Despoina Magka, Boris Motik, Ian Horrocks: Classifying Chemicals Using Description Graphs and Logic Programming. OWLED 2012

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

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

Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks: Repairing Ontologies for Incomplete Reasoners. International Semantic Web Conference (1) 2011: 681-696

Despoina Magka, Boris Motik, Ian Horrocks: Chemical knowledge representation with description graphs and logic programming. SWAT4LS 2011: 74-75

Boris Motik, Riccardo Rosati: Reconciling description logics and rules. J. ACM 57(5) (2010)

Héctor Pérez-Urbina, Boris Motik, Ian Horrocks: Tractable query answering and rewriting under description logic constraints. J. Applied Logic 8(2): 186-209 (2010)

Birte Glimm, Ian Horrocks, Boris Motik: Optimized Description Logic Reasoning via Core Blocking. IJCAR 2010: 457-471

Birte Glimm, Ian Horrocks, Boris Motik: Optimized DL Reasoning via Core Blocking. Description Logics 2010

Boris Motik: Combining Description Logics, Description Graphs, and Rules. ICCS 2010: 10-12

Bernardo Cuenca Grau, Boris Motik: Pushing the Limits of Reasoning over Ontologies with Hidden Content. KR 2010

Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos: Optimising Ontology Classification. International Semantic Web Conference (1) 2010: 225-240

Boris Motik: Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach. International Semantic Web Conference (1) 2010: 550-565

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)

Boris Motik, Rob Shearer, Ian Horrocks: Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. (JAIR) 36: 165-228 (2009)

Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. J. Web Sem. 7(2): 74-89 (2009)

Bernardo Cuenca Grau, Boris Motik: Importing Ontologies with Hidden Content. Description Logics 2009

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

Rob Shearer, Ian Horrocks, Boris Motik: Exploiting Partial Information in Taxonomy Construction. Description Logics 2009

Boris Motik: Combining Description Logics, Description Graphs, and Rules. FroCoS 2009: 43-67

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

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

Héctor Pérez-Urbina, Ian Horrocks, Boris Motik: Efficient Query Answering for OWL 2. International Semantic Web Conference 2009: 489-504

Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler (Eds.): 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

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

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 Intelligent Systems 23(3): 9-19 (2008)

Ullrich Hustadt, Boris Motik, Ulrike Sattler: Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5): 579-601 (2008)

Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reasoning 40(2-3): 89-116 (2008)

Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reasoning 40(4): 357 (2008)

Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: OWL 2: The next step for OWL. J. Web Sem. 6(4): 309-322 (2008)

Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks: Metalevel Information in Ontology-Based Applications. AAAI 2008: 1237-1242

Boris Motik, Ian Horrocks: Individual Reuse in Description Logic Reasoning. IJCAR 2008: 242-258

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

Rob Shearer, Boris Motik, Ian Horrocks: Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics 2008

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing Structured Objects using Description Graphs. KR 2008: 296-306

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008

Rob Shearer, Boris Motik, Ian Horrocks: HermiT: A Highly-Efficient OWL Reasoner. OWLED 2008

Boris Motik: Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. RR 2008: 12

Héctor Pérez-Urbina, Boris Motik, Ian Horrocks: Rewriting Conjunctive Queries over Description Logic Knowledge Bases. SDKB 2008: 199-214

Boris Motik, Ian Horrocks: OWL Datatypes: Design and Implementation. International Semantic Web Conference 2008: 307-322

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

Franz Baader, Carsten Lutz, Boris Motik (Eds.): Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. CEUR Workshop Proceedings 353, CEUR-WS.org 2008

Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reasoning 39(3): 351-384 (2007)

Boris Motik: On the Properties of Metamodeling in OWL. J. Log. Comput. 17(4): 617-637 (2007)

Boris Motik, Rob Shearer, Ian Horrocks: Optimized Reasoning in Description Logics Using Hypertableaux. CADE 2007: 67-83

Boris Motik, Rob Shearer, Ian Horrocks: A Hypertableau Calculus for SHIQ. Description Logics 2007

Boris Motik, Riccardo Rosati: A Faithful Integration of Description Logics with Logic Programming. IJCAI 2007: 477-482

Boris Motik, Ian Horrocks, Ulrike Sattler: Adding Integrity Constraints to OWL. OWLED 2007

Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Rob Shearer: OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. ISWC/ASWC 2007: 169-182

Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. WWW 2007: 807-816

Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris (Eds.): Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. CEUR Workshop Proceedings 250, CEUR-WS.org 2007

Boris Motik: Reasoning in description logics using resolution and deductive databases. Karlsruhe Institute of Technology 2006, pp. 1-249

Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. IJCAR 2006: 662-677

Stephan Grimm, Boris Motik, Chris Preist: Matching Semantic Service Descriptions with Local Closed-World Reasoning. ESWC 2006: 575-589

Boris Motik, Ulrike Sattler: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR 2006: 227-241

Boris Motik, Ian Horrocks: Problems with OWL Syntax. OWLED 2006

Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler: Can OWL and Logic Programming Live Together Happily Ever After? International Semantic Web Conference 2006: 501-514

Raphael Volz, Steffen Staab, Boris Motik: Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. J. Data Semantics 2: 1-34 (2005)

Boris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with rules. J. Web Sem. 3(1): 41-60 (2005)

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

Peter Haase, Boris Motik: A mapping system for the integration of OWL-DL ontologies. IHIS 2005: 9-16

Ullrich Hustadt, Boris Motik, Ulrike Sattler: Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI 2005: 466-471

Stephan Grimm, Boris Motik: Closed World Reasoning in the Semantic Web through Epistemic Operators. OWLED 2005

Boris Motik: On the Properties of Metamodeling in OWL. International Semantic Web Conference 2005: 548-562

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

Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI 2004: 353-357

Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR 2004: 152-162

Ullrich Hustadt, Boris Motik, Ulrike Sattler: A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR 2004: 21-35

Boris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with Rules. International Semantic Web Conference 2004: 549-563

Daniel Oberle, Raphael Volz, Steffen Staab, Boris Motik: An Extensible Ontology Software Environment. Handbook on Ontologies 2004: 299-320

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

Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz: Ontologies for Enterprise Knowledge Management. IEEE Intelligent Systems 18(2): 26-33 (2003)

Alexander Maedche, Boris Motik, Ljiljana Stojanovic: Managing multiple and distributed ontologies on the Semantic Web. VLDB J. 12(4): 286-302 (2003)

Raphael Volz, Steffen Staab, Boris Motik: Incremental Maintenance of Materialized Ontologies. CoopIS/DOA/ODBASE 2003: 707-724

Gábor Nagypál, Boris Motik: A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies. CoopIS/DOA/ODBASE 2003: 906-923

Boris Motik, Raphael Volz: Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. KRDB 2003

Raphael Volz, Steffen Staab, Boris Motik: Incremental Maintenance of dynamic Datalog programs. PSSS 2003

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

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

Boris Motik, Alexander Maedche, Raphael Volz: A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications. CoopIS/DOA/ODBASE 2002: 1082-1099

Erol Bozsak, Marc Ehrig, Siegfried Handschuh, Andreas Hotho, Alexander Maedche, Boris Motik, Daniel Oberle, Christoph Schmitz, Steffen Staab, Ljiljana Stojanovic, Nenad Stojanovic, Rudi Studer, Gerd Stumme, York Sure, Julien Tane, Raphael Volz, Valentin Zacharias: KAON - Towards a Large Scale Semantic Web. EC-Web 2002: 304-313

Alexander Maedche, Boris Motik, Nuno Silva, Raphael Volz: MAFRA - A MApping FRAmework for Distributed Ontologies. EKAW 2002: 235-250

Ljiljana Stojanovic, Alexander Maedche, Boris Motik, Nenad Stojanovic: User-Driven Ontology Evolution Management. EKAW 2002: 285-300

Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz: Managing Multiple Ontologies and Ontology Evolution in Ontologging. Intelligent Information Processing 2002: 51-63