Boris Motik - RankMe

174 papers A* 31A 6B 9Misc 6Journal 60Unranked 55

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Accurate Sampling-Based Cardinality Estimation for Complex Graph Queries. ACM Trans. Database Syst. Pan Hu, Boris Motik
2024	A*	`conf`	Decidability of Graph Neural Networks via Logical Characterizations. ICALP Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan
2024	J	`jnl`	Decidability of Graph Neural Networks via Logical Characterizations. CoRR Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan
2024	J	`jnl`	Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality. CoRR Efthymia Tsamoura, Boris Motik
2024	J	`jnl`	Rewriting the Infinite Chase for Guarded TGDs. ACM Trans. Database Syst. Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2023	A*	`conf`	On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. KR David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
2023	J	`jnl`	On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. CoRR David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
2022	—	`conf`	Datalog Rewriting for Guarded TGDs. Datalog Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2022	A*	`conf`	Explainable GNN-Based Models over Knowledge Graphs. ICLR David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik
2022	A*	`conf`	Faithful Approaches to Rule Learning. KR David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik
2022	J	`jnl`	Materialisation and data partitioning algorithms for distributed RDF systems. J. Web Semant. Temitope Ajileye, Boris Motik
2022	J	`jnl`	Modular materialisation of Datalog programs. Artif. Intell. Pan Hu, Boris Motik, Ian Horrocks
2022	J	`jnl`	Rewriting the Infinite Chase. CoRR Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2022	J	`jnl`	Rewriting the Infinite Chase. Proc. VLDB Endow. Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2022	J	`jnl`	The Complexity and Expressive Power of Limit Datalog. J. ACM Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2022	B	`conf`	The Dow Jones Knowledge Graph. ESWC Ian Horrocks, Jordi Olivares, Valerio Cocchi, Boris Motik, Dylan Roy
2021	J	`jnl`	Event Detection on Microposts: A Comparison of Four Approaches. IEEE Trans. Knowl. Data Eng. Akansha Bhardwaj, Albert Blarer, Philippe Cudré-Mauroux, Vincent Lenders, Boris Motik, Axel Tanner, Alberto Tonon
2021	B	`conf`	Streaming Partitioning of RDF Graphs for Datalog Reasoning. ESWC Temitope Ajileye, Boris Motik, Ian Horrocks
2020	—	`conf`	A Context-Aware Recommendation System for Mobile Devices. ISWC (Demos/Industry) Jaehun Lee, Taeho Hwang, Jungho Park, Yunsu Lee, Boris Motik, Ian Horrocks
2020	—	`conf`	Community-Based RDF Partitioning. SSWS@ISWC Fredah Banda, Boris Motik
2019	—	`conf`	Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. ISWC (1) Temitope Ajileye, Boris Motik, Ian Horrocks
2019	J	`jnl`	Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. CoRR Temitope Ajileye, Boris Motik, Ian Horrocks
2019	A	`conf`	Datalog Reasoning over Compressed RDF Knowledge Bases. CIKM Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks
2019	J	`jnl`	Datalog Reasoning over Compressed RDF Knowledge Bases. CoRR Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks
2019	J	`jnl`	Limit Datalog: A Declarative Query Language for Data Analysis. SIGMOD Rec. Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik
2019	J	`jnl`	Maintenance of datalog materialisations revisited. Artif. Intell. Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2019	A*	`conf`	Modular Materialisation of Datalog Programs. AAAI Pan Hu, Boris Motik, Ian Horrocks
2018	J	`jnl`	Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. J. Artif. Intell. Res. Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancík, Ian Horrocks
2018	J	`jnl`	Dynamic Data Exchange in Distributed RDF Stores. IEEE Trans. Knowl. Data Eng. Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks
2018	A*	`conf`	Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation. WWW Giorgio Stefanoni, Boris Motik, Egor V. Kostylev
2018	J	`jnl`	Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation. CoRR Giorgio Stefanoni, Boris Motik, Egor V. Kostylev
2018	A*	`conf`	Goal-Driven Query Answering for Existential Rules With Equality. AAAI Michael Benedikt, Boris Motik, Efthymia Tsamoura
2018	J	`jnl`	Modular Materialisation of Datalog Programs. CoRR Pan Hu, Boris Motik, Ian Horrocks
2018	A*	`conf`	Optimised Maintenance of Datalog Materialisations. AAAI Pan Hu, Boris Motik, Ian Horrocks
2018	A*	`conf`	Stratified Negation in Limit Datalog Programs. IJCAI Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2018	J	`jnl`	Stratified Negation in Limit Datalog Programs. CoRR Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2018	A*	`conf`	Stream Reasoning in Temporal Datalog. AAAI Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2017	—	`conf`	ArmaTweet: Detecting Events by Semantic Tweet Analysis. ESWC (2) Alberto Tonon, Philippe Cudré-Mauroux, Albert Blarer, Vincent Lenders, Boris Motik
2017	A*	`conf`	Benchmarking the Chase. PODS Michael Benedikt, George Konstantinidis, Giansalvatore Mecca, Boris Motik, Paolo Papotti, Donatello Santoro, Efthymia Tsamoura
2017	A*	`conf`	Foundations of Declarative Data Analysis Using Limit Datalog Programs. IJCAI Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017	J	`jnl`	Foundations of Declarative Data Analysis Using Limit Datalog Programs. CoRR Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017	J	`jnl`	Goal-Driven Query Answering for Existential Rules with Equality. CoRR Michael Benedikt, Boris Motik, Efthymia Tsamoura
2017	J	`jnl`	Optimised Maintenance of Datalog Materialisations. CoRR Pan Hu, Boris Motik, Ian Horrocks
2017	—	`conf`	PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine. GRADES@SIGMOD/PODS Nicholas P. Roth, Vasileios Trigonakis, Sungpack Hong, Hassan Chafi, Anthony Potter, Boris Motik, Ian Horrocks
2017	J	`jnl`	Stream Reasoning in Temporal Datalog. CoRR Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2016	—	`conf`	Distributed RDF Query Answering with Dynamic Data Exchange. ISWC (1) Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks
2016	A*	`conf`	Extending Consequence-Based Reasoning to SRIQ. KR Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2016	J	`jnl`	Extending Consequence-Based Reasoning to SRIQ. CoRR Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2016	—	`conf`	Semantic Technologies for Data Analysis in Health Care. ISWC (2) Robert Piro, Yavor Nenov, Boris Motik, Ian Horrocks, Peter Hendler, Scott Kimberly, Michael Rossman
2015	A*	`conf`	Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles. AAAI Giorgio Stefanoni, Boris Motik
2015	A*	`conf`	Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. IJCAI Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2015	J	`jnl`	Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. CoRR Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2015	—	`conf`	Extending Consequence-Based Reasoning to SHIQ. Description Logics Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2015	A*	`conf`	Handling Owl: sameAs via Rewriting. AAAI Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks
2015	A*	`conf`	Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. AAAI Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks
2015	—	`conf`	RDFox: A Highly-Scalable RDF Store. ISWC (2) Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, Jay Banerjee
2014	J	`jnl`	Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. CoRR Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2014	J	`jnl`	Answering Conjunctive Queries over $\mathcal{EL}$ Knowledge Bases with Transitive and Reflexive Roles. CoRR Giorgio Stefanoni, Boris Motik
2014	J	`jnl`	Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. CoRR Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2014	J	`jnl`	Consequence-based and fixed-parameter tractable reasoning in description logics. Artif. Intell. Frantisek Simancík, Boris Motik, Ian Horrocks
2014	J	`jnl`	Handling owl: sameAs via Rewriting. CoRR Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
2014	J	`jnl`	HermiT: An OWL 2 Reasoner. J. Autom. Reason. Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang
2014	J	`jnl`	Hypertableau Reasoning for Description Logics. CoRR Boris Motik, Robert D. C. Shearer, Ian Horrocks
2014	A*	`conf`	Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. AAAI Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
2014	—	`conf`	Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. Description Logics Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
2014	—	`conf`	Querying Distributed RDF Graphs: The Effects of Partitioning. SSWS@ISWC Anthony Potter, Boris Motik, Ian Horrocks
2014	J	`jnl`	Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. CoRR Bernardo Cuenca Grau, Boris Motik
2014	J	`jnl`	The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. J. Artif. Intell. Res. Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
2013	J	`jnl`	Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res. Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2013	A*	`conf`	Computing Datalog Rewritings Beyond Horn Ontologies. IJCAI Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2013	J	`jnl`	Computing Datalog Rewritings beyond Horn Ontologies CoRR Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2013	J	`jnl`	Introducing Nominals to the Combined Query Answering Approaches for EL CoRR Giorgio Stefanoni, Boris Motik, Ian Horrocks
2013	A*	`conf`	Introducing Nominals to the Combined Query Answering Approaches for EL. AAAI Giorgio Stefanoni, Boris Motik, Ian Horrocks
2013	—	`conf`	Introducing Nominals to the Combined Query Answering Approaches for EL. Description Logics Giorgio Stefanoni, Boris Motik, Ian Horrocks
2013	—	`conf`	The Energy Management Adviser at EDF. ISWC (2) Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre
2012	J	`jnl`	A novel approach to ontology classification. J. Web Semant. Birte Glimm, Ian Horrocks, Boris Motik, Robert D. C. Shearer, Giorgos Stoilos
2012	A*	`conf`	Acyclicity Conditions and their Application to Query Answering in Description Logics. KR Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2012	—	`conf`	Building an Efficient OWL 2 DL Reasoner. PAAR@IJCAR Boris Motik
2012	—	`conf`	Classifying Chemicals Using Description Graphs and Logic Programming. OWLED Despoina Magka, Boris Motik, Ian Horrocks
2012	J	`jnl`	Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. J. Artif. Intell. Res. Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2012	—	`conf`	Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. WWW (Companion Volume) Boris Motik, Ian Horrocks, Su Myeon Kim
2012	—	`conf`	Modelling Structured Domains Using Description Graphs and Logic Programming. Description Logics Despoina Magka, Boris Motik, Ian Horrocks
2012	B	`conf`	Modelling Structured Domains Using Description Graphs and Logic Programming. ESWC Despoina Magka, Boris Motik, Ian Horrocks
2012	B	`conf`	Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. LPAR Boris Motik
2012	J	`jnl`	Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. J. Artif. Intell. Res. Bernardo Cuenca Grau, Boris Motik
2012	J	`jnl`	Representing and querying validity time in RDF and OWL: A logic-based approach. J. Web Semant. Boris Motik
2012	—	`conf`	Small Datalog Query Rewritings for EL. Description Logics Giorgio Stefanoni, Boris Motik, Ian Horrocks
2012	—	`conf`	The HermiT OWL Reasoner. ORE Ian Horrocks, Boris Motik, Zhe Wang
2011	—	`conf`	Chemical knowledge representation with description graphs and logic programming. SWAT4LS Despoina Magka, Boris Motik, Ian Horrocks
2011	—	`conf`	Fixed Parameter Tractable Reasoning in DLs via Decomposition. Description Logics Frantisek Simancík, Boris Motik, Markus Krötzsch
2011	—	`conf`	Repairing Ontologies for Incomplete Reasoners. ISWC (1) Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2010	Misc	`conf`	Combining Description Logics, Description Graphs, and Rules. ICCS Boris Motik
2010	—	`conf`	Optimising Ontology Classification. ISWC (1) Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos
2010	—	`conf`	Optimized DL Reasoning via Core Blocking. Description Logics Birte Glimm, Ian Horrocks, Boris Motik
2010	A	`conf`	Optimized Description Logic Reasoning via Core Blocking. IJCAR Birte Glimm, Ian Horrocks, Boris Motik
2010	A*	`conf`	Pushing the Limits of Reasoning over Ontologies with Hidden Content. KR Bernardo Cuenca Grau, Boris Motik
2010	J	`jnl`	Reconciling description logics and rules. J. ACM Boris Motik, Riccardo Rosati
2010	—	`conf`	Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach. ISWC (1) Boris Motik
2010	J	`jnl`	Tractable query answering and rewriting under description logic constraints. J. Appl. Log. Héctor Pérez-Urbina, Boris Motik, Ian Horrocks
2009	—	`conf`	A Comparison of Query Rewriting Techniques for DL-lite. Description Logics Héctor Pérez-Urbina, Boris Motik, Ian Horrocks
2009	J	`jnl`	Bridging the gap between OWL and relational databases. J. Web Semant. Boris Motik, Ian Horrocks, Ulrike Sattler
2009	—	`conf`	Combining Description Logics, Description Graphs, and Rules. FroCoS Boris Motik
2009	Misc	`conf`	Efficient Query Answering for OWL 2. ISWC Héctor Pérez-Urbina, Ian Horrocks, Boris Motik
2009	—	`conf`	Exploiting Partial Information in Taxonomy Construction. Description Logics Robert D. C. Shearer, Ian Horrocks, Boris Motik
2009	J	`jnl`	Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. Boris Motik, Robert D. C. Shearer, Ian Horrocks
2009	A*	`conf`	Import-by-Query: Ontology Reasoning under Access Limitations. IJCAI Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov
2009	—	`conf`	Importing Ontologies with Hidden Content. Description Logics Bernardo Cuenca Grau, Boris Motik
2009	—	`conf`	Practical Aspects of Query Rewriting for OWL 2. OWLED Héctor Pérez-Urbina, Ian Horrocks, Boris Motik
2009	—	`ed.`	Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 Description Logics Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler
2009	J	`jnl`	Representing ontologies using description logics, description graphs, and rules. Artif. Intell. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2009	—	`ch.`	Resolution-Based Reasoning for Ontologies. Handbook on Ontologies Boris Motik
2008	J	`jnl`	A Resolution-Based Decision Procedure for J. Autom. Reason. Yevgeny Kazakov, Boris Motik
2008	J	`jnl`	A Resolution-Based Decision Procedure for J. Autom. Reason. Yevgeny Kazakov, Boris Motik
2008	J	`jnl`	AI's 10 to Watch. IEEE Intell. Syst. 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
2008	J	`jnl`	Deciding expressive description logics in the framework of resolution. Inf. Comput. Ullrich Hustadt, Boris Motik, Ulrike Sattler
2008	—	`conf`	HermiT: A Highly-Efficient OWL Reasoner. OWLED Robert D. C. Shearer, Boris Motik, Ian Horrocks
2008	A	`conf`	Individual Reuse in Description Logic Reasoning. IJCAR Boris Motik, Ian Horrocks
2008	J	`jnl`	KAON2 - Scalable Reasoning over Ontologies with Large Data Sets. ERCIM News Boris Motik
2008	A*	`conf`	Metalevel Information in Ontology-Based Applications. AAAI Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks
2008	—	`conf`	Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2008	J	`jnl`	OWL 2: The next step for OWL. J. Web Semant. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
2008	Misc	`conf`	OWL Datatypes: Design and Implementation. ISWC Boris Motik, Ian Horrocks
2008	—	`conf`	Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics Robert D. C. Shearer, Boris Motik, Ian Horrocks
2008	—	`ed.`	Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 Description Logics Franz Baader, Carsten Lutz, Boris Motik
2008	A*	`conf`	Representing Structured Objects using Description Graphs. KR Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2008	—	`conf`	Rewriting Conjunctive Queries over Description Logic Knowledge Bases. SDKB Héctor Pérez-Urbina, Boris Motik, Ian Horrocks
2008	—	`conf`	Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. RR Boris Motik
2008	A*	`conf`	Structured objects in owl: representation and reasoning. WWW Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
2008	—	`conf`	The Representation of Structured Objects in DLs using Description Graphs. Description Logics Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
2007	A*	`conf`	A Faithful Integration of Description Logics with Logic Programming. IJCAI Boris Motik, Riccardo Rosati
2007	—	`conf`	A Hypertableau Calculus for SHIQ. Description Logics Boris Motik, Robert D. C. Shearer, Ian Horrocks
2007	—	`conf`	Adding Integrity Constraints to OWL. OWLED Boris Motik, Ian Horrocks, Ulrike Sattler
2007	A*	`conf`	Bridging the gap between OWL and relational databases. WWW Boris Motik, Ian Horrocks, Ulrike Sattler
2007	—	`conf`	OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. ISWC/ASWC Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Robert D. C. Shearer
2007	J	`jnl`	On the Properties of Metamodeling in OWL. J. Log. Comput. Boris Motik
2007	A	`conf`	Optimized Reasoning in Description Logics Using Hypertableaux. CADE Boris Motik, Robert D. C. Shearer, Ian Horrocks
2007	—	`ed.`	Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 Description Logics Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris
2007	J	`jnl`	Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reason. Ullrich Hustadt, Boris Motik, Ulrike Sattler
2006	B	`conf`	A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR Boris Motik, Ulrike Sattler
2006	A	`conf`	A Resolution-Based Decision Procedure for IJCAR Yevgeny Kazakov, Boris Motik
2006	Misc	`conf`	Can OWL and Logic Programming Live Together Happily Ever After? ISWC Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler
2006	B	`conf`	Matching Semantic Service Descriptions with Local Closed-World Reasoning. ESWC Stephan Grimm, Boris Motik, Chris Preist
2006	—	`conf`	Problems with OWL Syntax. OWLED Boris Motik, Ian Horrocks
2006	—	`—`	Reasoning in description logics using resolution and deductive databases. Boris Motik
2005	—	`conf`	A mapping system for the integration of OWL-DL ontologies. IHIS Peter Haase, Boris Motik
2005	—	`conf`	Bridging the Paradigm Gap with Rules for OWL. Rule Languages for Interoperability Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer
2005	—	`conf`	Closed World Reasoning in the Semantic Web through Epistemic Operators. OWLED Stephan Grimm, Boris Motik
2005	A*	`conf`	Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI Ullrich Hustadt, Boris Motik, Ulrike Sattler
2005	—	`conf`	Description Logics and Disjunctive Datalog - The Story so Far. Description Logics Ullrich Hustadt, Boris Motik
2005	J	`jnl`	Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. J. Data Semant. Raphael Volz, Steffen Staab, Boris Motik
2005	Misc	`conf`	On the Properties of Metamodeling in OWL. ISWC Boris Motik
2005	—	`ch.`	Ontology Representation and Querying for Realizing Semantics-Driven Applications. Multimedia Content and the Semantic Web Boris Motik, Alexander Maedche, Raphael Volz
2005	J	`jnl`	Query Answering for OWL-DL with rules. J. Web Semant. Boris Motik, Ulrike Sattler, Rudi Studer
2004	B	`conf`	A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR Ullrich Hustadt, Boris Motik, Ulrike Sattler
2004	—	`ch.`	An Extensible Ontology Software Environment. Handbook on Ontologies Daniel Oberle, Raphael Volz, Steffen Staab, Boris Motik
2004	Misc	`conf`	Query Answering for OWL-DL with Rules. ISWC Boris Motik, Ulrike Sattler, Rudi Studer
2004	A	`conf`	Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI Ullrich Hustadt, Boris Motik, Ulrike Sattler
2004	A*	`conf`	Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR Ullrich Hustadt, Boris Motik, Ulrike Sattler
2004	—	`conf`	Variance in e-Business Service Discovery. SWS@ISWC Stephan Grimm, Boris Motik, Chris Preist
2003	—	`conf`	A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies. OTM Gábor Nagypál, Boris Motik
2003	A*	`conf`	An infrastructure for searching, reusing and evolving distributed ontologies. WWW Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz
2003	—	`conf`	Incremental Maintenance of Materialized Ontologies. OTM Raphael Volz, Steffen Staab, Boris Motik
2003	—	`conf`	Incremental Maintenance of dynamic Datalog programs. PSSS Raphael Volz, Steffen Staab, Boris Motik
2003	—	`conf`	KAON SERVER - A Semantic Web Management System. WWW (Alternate Paper Tracks) Raphael Volz, Daniel Oberle, Steffen Staab, Boris Motik
2003	J	`jnl`	Managing multiple and distributed ontologies on the Semantic Web. VLDB J. Alexander Maedche, Boris Motik, Ljiljana Stojanovic
2003	J	`jnl`	Ontologies for Enterprise Knowledge Management. IEEE Intell. Syst. Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz
2003	—	`conf`	Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. KRDB Boris Motik, Raphael Volz
2003	J	`jnl`	Repräsentations- und Anfragesprachen für Ontologien - eine Übersicht. Datenbank-Spektrum Alexander Maedche, Boris Motik
2002	—	`conf`	A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications. OTM Boris Motik, Alexander Maedche, Raphael Volz
2002	—	`conf`	KAON - Towards a Large Scale Semantic Web. EC-Web 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
2002	B	`conf`	MAFRA - A MApping FRAmework for Distributed Ontologies. EKAW Alexander Maedche, Boris Motik, Nuno Silva, Raphael Volz
2002	—	`conf`	Managing Multiple Ontologies and Ontology Evolution in Ontologging. IIP Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz
2002	—	`conf`	Ontology Evolution within Ontology Editors. EON Ljiljana Stojanovic, Boris Motik
2002	B	`conf`	User-Driven Ontology Evolution Management. EKAW Ljiljana Stojanovic, Alexander Maedche, Boris Motik, Nenad Stojanovic