Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Boris Motik
2010 – today
- 2013
[j23]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. (JAIR) 47: 741-808 (2013)- [c71]Giorgio Stefanoni, Boris Motik, Ian Horrocks: Introducing Nominals to the Combined Query Answering Approaches for EL. AAAI 2013
- [c70]Giorgio Stefanoni, Boris Motik, Ian Horrocks: Introducing Nominals to the Combined Query Answering Approaches for EL. Description Logics 2013: 962-974
- [c69]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks: Computing Datalog Rewritings Beyond Horn Ontologies. IJCAI 2013
- [c68]Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre: The Energy Management Adviser at EDF. International Semantic Web Conference (2) 2013: 49-64
- [i2]Giorgio Stefanoni, Boris Motik, Ian Horrocks: Introducing Nominals to the Combined Query Answering Approaches for EL. CoRR abs/1303.7430 (2013)
- [i1]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks: Computing Datalog Rewritings beyond Horn Ontologies. CoRR abs/1304.1402 (2013)
- 2012
- [j22]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)
- [j21]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)
- [j20]Boris Motik: Representing and querying validity time in RDF and OWL: A logic-based approach. J. Web Sem. 12: 3-21 (2012)
- [j19]Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos: A novel approach to ontology classification. J. Web Sem. 14: 84-101 (2012)
- [c67]Despoina Magka, Boris Motik, Ian Horrocks: Modelling Structured Domains Using Description Graphs and Logic Programming. Description Logics 2012
- [c66]Giorgio Stefanoni, Boris Motik, Ian Horrocks: Small Datalog Query Rewritings for EL. Description Logics 2012
- [c65]Despoina Magka, Boris Motik, Ian Horrocks: Modelling Structured Domains Using Description Graphs and Logic Programming. ESWC 2012: 330-344
- [c64]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
- [c63]Boris Motik: Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. LPAR 2012: 13-14
- [c62]
- [c61]Despoina Magka, Boris Motik, Ian Horrocks: Classifying Chemicals Using Description Graphs and Logic Programming. OWLED 2012
- [c60]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
- [c59]Frantisek Simancik, Boris Motik, Markus Krötzsch: Fixed Parameter Tractable Reasoning in DLs via Decomposition. Description Logics 2011
- [c58]Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks: Repairing Ontologies for Incomplete Reasoners. International Semantic Web Conference (1) 2011: 681-696
- [c57]Despoina Magka, Boris Motik, Ian Horrocks: Chemical knowledge representation with description graphs and logic programming. SWAT4LS 2011: 74-75
- 2010
- [j18]
- [j17]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)
- [c56]Birte Glimm, Ian Horrocks, Boris Motik: Optimized Description Logic Reasoning via Core Blocking. IJCAR 2010: 457-471
- [c55]Birte Glimm, Ian Horrocks, Boris Motik: Optimized DL Reasoning via Core Blocking. Description Logics 2010
- [c54]
- [c53]Bernardo Cuenca Grau, Boris Motik: Pushing the Limits of Reasoning over Ontologies with Hidden Content. KR 2010
- [c52]Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos: Optimising Ontology Classification. International Semantic Web Conference (1) 2010: 225-240
- [c51]Boris Motik: Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach. International Semantic Web Conference (1) 2010: 550-565
2000 – 2009
- 2009
- [j16]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)
- [j15]Boris Motik, Rob Shearer, Ian Horrocks: Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. (JAIR) 36: 165-228 (2009)
- [j14]Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. J. Web Sem. 7(2): 74-89 (2009)
- [c50]Bernardo Cuenca Grau, Boris Motik: Importing Ontologies with Hidden Content. Description Logics 2009
- [c49]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks: A Comparison of Query Rewriting Techniques for DL-lite. Description Logics 2009
- [c48]Rob Shearer, Ian Horrocks, Boris Motik: Exploiting Partial Information in Taxonomy Construction. Description Logics 2009
- [c47]
- [c46]Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov: Import-by-Query: Ontology Reasoning under Access Limitations. IJCAI 2009: 727-732
- [c45]Héctor Pérez-Urbina, Ian Horrocks, Boris Motik: Practical Aspects of Query Rewriting for OWL 2. OWLED 2009
- [c44]Héctor Pérez-Urbina, Ian Horrocks, Boris Motik: Efficient Query Answering for OWL 2. International Semantic Web Conference 2009: 489-504
- [e3]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
- 2008
- [j13]Boris Motik: KAON2 - Scalable Reasoning over Ontologies with Large Data Sets. ERCIM News 2008(72) (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 Intelligent Systems 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. Reasoning 40(2-3): 89-116 (2008)
- [j9]Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reasoning 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 Sem. 6(4): 309-322 (2008)
- [c43]Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks: Metalevel Information in Ontology-Based Applications. AAAI 2008: 1237-1242
- [c42]
- [c41]Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler: The Representation of Structured Objects in DLs using Description Graphs. Description Logics 2008
- [c40]Rob Shearer, Boris Motik, Ian Horrocks: Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics 2008
- [c39]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing Structured Objects using Description Graphs. KR 2008: 296-306
- [c38]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008
- [c37]
- [c36]Boris Motik: Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. RR 2008: 12
- [c35]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks: Rewriting Conjunctive Queries over Description Logic Knowledge Bases. SDKB 2008: 199-214
- [c34]Boris Motik, Ian Horrocks: OWL Datatypes: Design and Implementation. International Semantic Web Conference 2008: 307-322
- [c33]Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler: Structured objects in owl: representation and reasoning. WWW 2008: 555-564
- [e2]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
- 2007
- [j7]Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reasoning 39(3): 351-384 (2007)
- [j6]
- [c32]Boris Motik, Rob Shearer, Ian Horrocks: Optimized Reasoning in Description Logics Using Hypertableaux. CADE 2007: 67-83
- [c31]
- [c30]Boris Motik, Riccardo Rosati: A Faithful Integration of Description Logics with Logic Programming. IJCAI 2007: 477-482
- [c29]
- [c28]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
- [c27]Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. WWW 2007: 807-816
- [e1]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
- 2006
- [b1]Boris Motik: Reasoning in description logics using resolution and deductive databases. Karlsruhe Institute of Technology 2006, pp. 1-249
- [c26]
- [c25]Stephan Grimm, Boris Motik, Chris Preist: Matching Semantic Service Descriptions with Local Closed-World Reasoning. ESWC 2006: 575-589
- [c24]Boris Motik, Ulrike Sattler: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR 2006: 227-241
- [c23]
- [c22]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
- 2005
- [j5]Raphael Volz, Steffen Staab, Boris Motik: Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. J. Data Semantics 2: 1-34 (2005)
- [j4]Boris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with rules. J. Web Sem. 3(1): 41-60 (2005)
- [c21]Ullrich Hustadt, Boris Motik: Description Logics and Disjunctive Datalog - The Story so Far. Description Logics 2005
- [c20]Peter Haase, Boris Motik: A mapping system for the integration of OWL-DL ontologies. IHIS 2005: 9-16
- [c19]Ullrich Hustadt, Boris Motik, Ulrike Sattler: Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI 2005: 466-471
- [c18]Stephan Grimm, Boris Motik: Closed World Reasoning in the Semantic Web through Epistemic Operators. OWLED 2005
- [c17]Boris Motik: On the Properties of Metamodeling in OWL. International Semantic Web Conference 2005: 548-562
- [c16]Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer: Bridging the Paradigm Gap with Rules for OWL. Rule Languages for Interoperability 2005
- 2004
- [c15]Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI 2004: 353-357
- [c14]Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR 2004: 152-162
- [c13]Ullrich Hustadt, Boris Motik, Ulrike Sattler: A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR 2004: 21-35
- [c12]Boris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with Rules. International Semantic Web Conference 2004: 549-563
- [p1]Daniel Oberle, Raphael Volz, Steffen Staab, Boris Motik: An Extensible Ontology Software Environment. Handbook on Ontologies 2004: 299-320
- 2003
- [j3]Alexander Maedche, Boris Motik: Repräsentations- und Anfragesprachen für Ontologien - eine Übersicht. Datenbank-Spektrum 6: 43-53 (2003)
- [j2]Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz: Ontologies for Enterprise Knowledge Management. IEEE Intelligent Systems 18(2): 26-33 (2003)
- [j1]Alexander Maedche, Boris Motik, Ljiljana Stojanovic: Managing multiple and distributed ontologies on the Semantic Web. VLDB J. 12(4): 286-302 (2003)
- [c11]Raphael Volz, Steffen Staab, Boris Motik: Incremental Maintenance of Materialized Ontologies. CoopIS/DOA/ODBASE 2003: 707-724
- [c10]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
- [c9]Boris Motik, Raphael Volz: Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. KRDB 2003
- [c8]Raphael Volz, Steffen Staab, Boris Motik: Incremental Maintenance of dynamic Datalog programs. PSSS 2003
- [c7]Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz: An infrastructure for searching, reusing and evolving distributed ontologies. WWW 2003: 439-448
- [c6]Raphael Volz, Daniel Oberle, Steffen Staab, Boris Motik: KAON SERVER - A Semantic Web Management System. WWW (Alternate Paper Tracks) 2003
- 2002
- [c5]Boris Motik, Alexander Maedche, Raphael Volz: A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications. CoopIS/DOA/ODBASE 2002: 1082-1099
- [c4]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
- [c3]Alexander Maedche, Boris Motik, Nuno Silva, Raphael Volz: MAFRA - A MApping FRAmework for Distributed Ontologies. EKAW 2002: 235-250
- [c2]Ljiljana Stojanovic, Alexander Maedche, Boris Motik, Nenad Stojanovic: User-Driven Ontology Evolution Management. EKAW 2002: 285-300
- [c1]Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz: Managing Multiple Ontologies and Ontology Evolution in Ontologging. Intelligent Information Processing 2002: 51-63
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:29 CEST by the dblp team