Boris Motik

	2012
86		Despoina Magka, Boris Motik, Ian Horrocks: Modelling Structured Domains Using Description Graphs and Logic Programming. ESWC 2012: 330-344
85		Boris Motik: Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. LPAR 2012: 13-14
84		Boris Motik, Ian Horrocks, Su Myeon Kim: Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. WWW (Companion Volume) 2012: 63-72
83		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)
	2011
82		Frantisek Simancik, Boris Motik, Markus Krötzsch: Fixed Parameter Tractable Reasoning in DLs via Decomposition. Description Logics 2011
81		Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks: Repairing Ontologies for Incomplete Reasoners. International Semantic Web Conference (1) 2011: 681-696
80		Despoina Magka, Boris Motik, Ian Horrocks: Chemical knowledge representation with description graphs and logic programming. SWAT4LS 2011: 74-75
	2010
79		Birte Glimm, Ian Horrocks, Boris Motik: Optimized DL Reasoning via Core Blocking. Description Logics 2010
78		Boris Motik: Combining Description Logics, Description Graphs, and Rules. ICCS 2010: 10-12
77		Birte Glimm, Ian Horrocks, Boris Motik: Optimized Description Logic Reasoning via Core Blocking. IJCAR 2010: 457-471
76		Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos: Optimising Ontology Classification. International Semantic Web Conference (1) 2010: 225-240
75		Boris Motik: Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach. International Semantic Web Conference (1) 2010: 550-565
74		Bernardo Cuenca Grau, Boris Motik: Pushing the Limits of Reasoning over Ontologies with Hidden Content. KR 2010
73		Boris Motik, Riccardo Rosati: Reconciling description logics and rules. J. ACM 57(5): (2010)
72		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)
	2009
71		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-WS.org 2009
70		Héctor Pérez-Urbina, Boris Motik, Ian Horrocks: A Comparison of Query Rewriting Techniques for DL-lite. Description Logics 2009
69		Rob Shearer, Ian Horrocks, Boris Motik: Exploiting Partial Information in Taxonomy Construction. Description Logics 2009
68		Bernardo Cuenca Grau, Boris Motik: Importing Ontologies with Hidden Content. Description Logics 2009
67		Boris Motik: Combining Description Logics, Description Graphs, and Rules. FroCos 2009: 43-67
66		Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov: Import-by-Query: Ontology Reasoning under Access Limitations. IJCAI 2009: 727-732
65		Héctor Pérez-Urbina, Ian Horrocks, Boris Motik: Efficient Query Answering for OWL 2. International Semantic Web Conference 2009: 489-504
64		Héctor Pérez-Urbina, Ian Horrocks, Boris Motik: Practical Aspects of Query Rewriting for OWL 2. OWLED 2009
63		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)
62		Boris Motik, Rob Shearer, Ian Horrocks: Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. (JAIR) 36: 165-228 (2009)
61		Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. J. Web Sem. 7(2): 74-89 (2009)
	2008
60		Franz Baader, Carsten Lutz, Boris Motik: Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 CEUR-WS.org 2008
59		Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks: Metalevel Information in Ontology-Based Applications. AAAI 2008: 1237-1242
58		Rob Shearer, Boris Motik, Ian Horrocks: Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics 2008
57		Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler: The Representation of Structured Objects in DLs using Description Graphs. Description Logics 2008
56		Boris Motik, Ian Horrocks: Individual Reuse in Description Logic Reasoning. IJCAR 2008: 242-258
55		Boris Motik, Ian Horrocks: OWL Datatypes: Design and Implementation. International Semantic Web Conference 2008: 307-322
54		Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing Structured Objects using Description Graphs. KR 2008: 296-306
53		Rob Shearer, Boris Motik, Ian Horrocks: HermiT: A Highly-Efficient OWL Reasoner. OWLED 2008
52		Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008
51		Boris Motik: Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. RR 2008: 12
50		Héctor Pérez-Urbina, Boris Motik, Ian Horrocks: Rewriting Conjunctive Queries over Description Logic Knowledge Bases. SDKB 2008: 199-214
49		Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler: Structured objects in owl: representation and reasoning. WWW 2008: 555-564
48		Boris Motik: KAON2 - Scalable Reasoning over Ontologies with Large Data Sets. ERCIM News 2008(72): (2008)
47		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)
46		Ullrich Hustadt, Boris Motik, Ulrike Sattler: Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5): 579-601 (2008)
45		Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reasoning 40(2-3): 89-116 (2008)
44		Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reasoning 40(4): 357 (2008)
43		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)
	2007
42		Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris: Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 CEUR-WS.org 2007
41		Boris Motik, Rob Shearer, Ian Horrocks: Optimized Reasoning in Description Logics Using Hypertableaux. CADE 2007: 67-83
40		Boris Motik, Rob Shearer, Ian Horrocks: A Hypertableau Calculus for SHIQ. Description Logics 2007
39		Boris Motik, Riccardo Rosati: A Faithful Integration of Description Logics with Logic Programming. IJCAI 2007: 477-482
38		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
37		Boris Motik, Ian Horrocks, Ulrike Sattler: Adding Integrity Constraints to OWL. OWLED 2007
36		Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. WWW 2007: 807-816
35		Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reasoning 39(3): 351-384 (2007)
34		Boris Motik: On the Properties of Metamodeling in OWL. J. Log. Comput. 17(4): 617-637 (2007)
	2006
33		Stephan Grimm, Boris Motik, Chris Preist: Matching Semantic Service Descriptions with Local Closed-World Reasoning. ESWC 2006: 575-589
32		Yevgeny Kazakov, Boris Motik: A Resolution-Based Decision Procedure for SHOIQ. IJCAR 2006: 662-677
31		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
30		Boris Motik, Ulrike Sattler: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR 2006: 227-241
29		Boris Motik, Ian Horrocks: Problems with OWL Syntax. OWLED 2006
28		Boris Motik: Reasoning in description logics using resolution and deductive databases. Karlsruhe Institute of Technology 2006: 1-249
	2005
27		Ullrich Hustadt, Boris Motik: Description Logics and Disjunctive Datalog – The Story so Far. Description Logics 2005
26		Peter Haase, Boris Motik: A mapping system for the integration of OWL-DL ontologies. IHIS 2005: 9-16
25		Ullrich Hustadt, Boris Motik, Ulrike Sattler: Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI 2005: 466-471
24		Boris Motik: On the Properties of Metamodeling in OWL. International Semantic Web Conference 2005: 548-562
23		Stephan Grimm, Boris Motik: Closed World Reasoning in the Semantic Web through Epistemic Operators. OWLED 2005
22		Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer: Bridging the Paradigm Gap with Rules for OWL. Rule Languages for Interoperability 2005
21		Raphael Volz, Steffen Staab, Boris Motik: Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. J. Data Semantics 2: 1-34 (2005)
20		Boris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with rules. J. Web Sem. 3(1): 41-60 (2005)
	2004
19		Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI 2004: 353-357
18		Boris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with Rules. International Semantic Web Conference 2004: 549-563
17		Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR 2004: 152-162
16		Ullrich Hustadt, Boris Motik, Ulrike Sattler: A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR 2004: 21-35
15		Daniel Oberle, Raphael Volz, Steffen Staab, Boris Motik: An Extensible Ontology Software Environment. Handbook on Ontologies 2004: 299-320
	2003
14		Raphael Volz, Steffen Staab, Boris Motik: Incremental Maintenance of Materialized Ontologies. CoopIS/DOA/ODBASE 2003: 707-724
13		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
12		Boris Motik, Raphael Volz: Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. KRDB 2003
11		Raphael Volz, Steffen Staab, Boris Motik: Incremental Maintenance of dynamic Datalog programs. PSSS 2003
10		Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz: An infrastructure for searching, reusing and evolving distributed ontologies. WWW 2003: 439-448
9		Raphael Volz, Daniel Oberle, Steffen Staab, Boris Motik: KAON SERVER - A Semantic Web Management System. WWW (Alternate Paper Tracks) 2003
8		Alexander Maedche, Boris Motik: Repräsentations- und Anfragesprachen für Ontologien - eine Übersicht. Datenbank-Spektrum 6: 43-53 (2003)
7		Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz: Ontologies for Enterprise Knowledge Management. IEEE Intelligent Systems 18(2): 26-33 (2003)
6		Alexander Maedche, Boris Motik, Ljiljana Stojanovic: Managing multiple and distributed ontologies on the Semantic Web. VLDB J. 12(4): 286-302 (2003)
	2002
5		Boris Motik, Alexander Maedche, Raphael Volz: A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications. CoopIS/DOA/ODBASE 2002: 1082-1099
4		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
3		Alexander Maedche, Boris Motik, Nuno Silva, Raphael Volz: MAFRA - A MApping FRAmework for Distributed Ontologies. EKAW 2002: 235-250
2		Ljiljana Stojanovic, Alexander Maedche, Boris Motik, Nenad Stojanovic: User-Driven Ontology Evolution Management. EKAW 2002: 285-300
1		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

1	Luis von Ahn	[47]
2	Jürgen Angele	[22]
3	Franz Baader	[60]
4	Erol Bozsak	[4]
5	Diego Calvanese	[42]
6	Philipp Cimiano	[47]
7	Dmitri A. Dolgov	[47]
8	Marc Ehrig	[4]
9	Enrico Franconi	[42]
10	Birte Glimm	[76] [77] [79]
11	Christine Golbreich (Christine Pierret-Golbreich)	[38]
12	Bernardo Cuenca Grau	[43] [49] [52] [54] [57] [59] [63] [66] [68] [71] [74] [81] [83]
13	Stephan Grimm	[23] [33]
14	Volker Haarslev	[42]
15	Peter Haase	[26] [59]
16	Siegfried Handschuh	[4]
17	James A. Hendler (Jim Hendler)	[47]
18	Pascal Hitzler	[22]
19	Matthew Horridge	[38]
20	Ian Horrocks	[29] [31] [36] [37] [38] [40] [41] [43] [50] [52] [53] [54] [55] [56] [58] [59] [61] [62] [63] [64] [65] [69] [70] [71] [72] [76] [77] [79] [80] [81] [83] [84] [86]
21	Andreas Hotho	[4]
22	Ullrich Hustadt	[16] [17] [19] [25] [27] [35] [46]
23	Yevgeny Kazakov	[32] [44] [45] [66]
24	Su Myeon Kim	[84]
25	Markus Krötzsch (Markus Kroetzsch)	[82]
26	Domenico Lembo	[42]
27	Anat Levin	[47]
28	Carsten Lutz	[60]
29	Alexander Maedche (Alexander Mädche)	[1] [2] [3] [4] [5] [6] [7] [8] [10]
30	Despoina Magka	[80] [86]
31	Peter Mika	[47]
32	Brian Milch	[47]
33	Louis-Philippe Morency	[47]
34	Gábor Nagypál	[13]
35	Jennifer Neville	[47]
36	Daniel Oberle	[4] [9] [15]
37	Bijan Parsia	[43]
38	Peter F. Patel-Schneider	[43]
39	Héctor Pérez-Urbina	[50] [64] [65] [70] [72]
40	Chris Preist	[33]
41	Riccardo Rosati	[31] [39] [73]
42	Ulrike Sattler	[16] [17] [18] [19] [20] [25] [30] [31] [35] [36] [37] [43] [46] [49] [52] [54] [57] [61] [63] [71]
43	Christoph Schmitz	[4]
44	Rob Shearer	[38] [40] [41] [53] [58] [62] [69]
45	Nuno Silva	[3]
46	Frantisek Simancik	[82]
47	Steffen Staab	[4] [9] [11] [14] [15] [21]
48	Giorgos Stoilos	[76] [81] [83]
49	Ljiljana Stojanovic	[1] [2] [4] [6] [7] [10]
50	Nenad Stojanovic	[2] [4]
51	Rudi Studer	[1] [4] [7] [10] [18] [20] [22]
52	Gerd Stumme	[4]
53	Erik B. Sudderth	[47]
54	York Sure-Vetter (York Sure)	[4]
55	Julien Tane	[4]
56	Sergio Tessaris	[42]
57	Thanh Tran (Duc Thanh Tran)	[59]
58	Anni-Yasmin Turhan	[42]
59	Raphael Volz	[1] [3] [4] [5] [7] [9] [10] [11] [12] [14] [15] [21]
60	Valentin Zacharias	[4]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page