Boris Motik

Proceedings of the Semantic Web - 18th International Conference, 2021

2020

A Context-Aware Recommendation System for Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

Community-Based RDF Partitioning.

[BibT_eX]

[DOI]

Fredah Banda

Proceedings of the 12th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

2019

Limit Datalog: A Declarative Query Language for Data Analysis.

[BibT_eX]

[DOI]

SIGMOD Rec., 2019

Maintenance of datalog materialisations revisited.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange.

[BibT_eX]

[DOI]

Temitope Ajileye

Proceedings of the Semantic Web - ISWC 2019, 2019

Datalog Reasoning over Compressed RDF Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

2018

Dynamic Data Exchange in Distributed RDF Stores.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2018

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2018

Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation.

[BibT_eX]

[DOI]

Egor V. Kostylev

Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018

Stratified Negation in Limit Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Stream Reasoning in Temporal Datalog.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Optimised Maintenance of Datalog Materialisations.

[BibT_eX]

[DOI]

Pan Hu

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Goal-Driven Query Answering for Existential Rules With Equality.

[BibT_eX]

[DOI]

Michael Benedikt

Efthymia Tsamoura

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Benchmarking the Chase.

[BibT_eX]

[DOI]

Michael Benedikt

George Konstantinidis

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Graph Data-management Experiences & Systems, 2017

ArmaTweet: Detecting Events by Semantic Tweet Analysis.

[BibT_eX]

[DOI]

Alberto Tonon

Philippe Cudré-Mauroux

Albert Blarer

Vincent Lenders

Proceedings of the Semantic Web - 14th International Conference, 2017

2016

Distributed RDF Query Answering with Dynamic Data Exchange.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

Semantic Technologies for Data Analysis in Health Care.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

Extending Consequence-Based Reasoning to SRIQ.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2015

RDFox: A Highly-Scalable RDF Store.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Extending Consequence-Based Reasoning to SHIQ.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm.

[BibT_eX]

[DOI]

Yavor Nenov

Robert Edgar Felix Piro

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Handling Owl: sameAs via Rewriting.

[BibT_eX]

[DOI]

Yavor Nenov

Robert Edgar Felix Piro

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

HermiT: An OWL 2 Reasoner.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2014

Answering Conjunctive Queries over $\mathcal{EL}$ Knowledge Bases with Transitive and Reflexive Roles.

[BibT_eX]

[DOI]

CoRR, 2014

Consequence-based and fixed-parameter tractable reasoning in description logics.

[BibT_eX]

[DOI]

Frantisek Simancik

Artif. Intell., 2014

Querying Distributed RDF Graphs: The Effects of Partitioning.

[BibT_eX]

[DOI]

Anthony Potter

Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 13th International Semantic Web Conference (ISWC 2014), 2014

Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

The Energy Management Adviser at EDF.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Computing Datalog Rewritings Beyond Horn Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Introducing Nominals to the Combined Query Answering Approaches for EL.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Representing and querying validity time in RDF and OWL: A logic-based approach.

[BibT_eX]

[DOI]

J. Web Semant., 2012

A novel approach to ontology classification.

[BibT_eX]

[DOI]

J. Web Semant., 2012

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

Delta-reasoner: a semantic web reasoner for an intelligent mobile platform.

[BibT_eX]

[DOI]

Su Myeon Kim

Proceedings of the 21st World Wide Web Conference, 2012

Classifying Chemicals Using Description Graphs and Logic Programming.

[BibT_eX]

[DOI]

Despoina Magka

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

The HermiT OWL Reasoner.

[BibT_eX]

[DOI]

Zhe Wang

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Acyclicity Conditions and their Application to Query Answering in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Modelling Structured Domains Using Description Graphs and Logic Programming.

[BibT_eX]

[DOI]

Despoina Magka

Proceedings of the Semantic Web: Research and Applications, 2012

Small Datalog Query Rewritings for EL.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Building an Efficient OWL 2 DL Reasoner.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011

Chemical knowledge representation with description graphs and logic programming.

[BibT_eX]

[DOI]

Despoina Magka

Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, 2011

Repairing Ontologies for Incomplete Reasoners.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

Fixed Parameter Tractable Reasoning in DLs via Decomposition.

[BibT_eX]

[DOI]

Frantisek Simancik

Markus Krötzsch

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Tractable query answering and rewriting under description logic constraints.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

Reconciling description logics and rules.

[BibT_eX]

[DOI]

Riccardo Rosati

J. ACM, 2010

Optimising Ontology Classification.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Pushing the Limits of Reasoning over Ontologies with Hidden Content.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Combining Description Logics, Description Graphs, and Rules.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: From Information to Intelligence, 2010

Optimized DL Reasoning via Core Blocking.

[BibT_eX]

[DOI]

Birte Glimm

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Optimized Description Logic Reasoning via Core Blocking.

[BibT_eX]

[DOI]

Birte Glimm

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

Resolution-Based Reasoning for Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Handbook on Ontologies, 2009

Bridging the gap between OWL and relational databases.

[BibT_eX]

[DOI]

J. Web Semant., 2009

Hypertableau Reasoning for Description Logics.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2009

Representing ontologies using description logics, description graphs, and rules.

[BibT_eX]

[DOI]

Artif. Intell., 2009

Efficient Query Answering for OWL 2.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Practical Aspects of Query Rewriting for OWL 2.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Import-by-Query: Ontology Reasoning under Access Limitations.

[BibT_eX]

[DOI]

Yevgeny Kazakov

Proceedings of the IJCAI 2009, 2009

Exploiting Partial Information in Taxonomy Construction.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

A Comparison of Query Rewriting Techniques for DL-lite.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Importing Ontologies with Hidden Content.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

OWL 2: The next step for OWL.

[BibT_eX]

[DOI]

Peter F. Patel-Schneider

J. Web Semant., 2008

A Resolution-Based Decision Procedure for <i>SHOIQ</i>.

[BibT_eX]

[DOI]

Yevgeny Kazakov

J. Autom. Reason., 2008

Deciding expressive description logics in the framework of resolution.

[BibT_eX]

[DOI]

Inf. Comput., 2008

AI's 10 to Watch.

[BibT_eX]

[DOI]

Louis-Philippe Morency

IEEE Intell. Syst., 2008

KAON2 - Scalable Reasoning over Ontologies with Large Data Sets.

[BibT_eX]

[DOI]

ERCIM News, 2008

Structured objects in owl: representation and reasoning.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on World Wide Web, 2008

OWL Datatypes: Design and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Rewriting Conjunctive Queries over Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

HermiT: A Highly-Efficient OWL Reasoner.

[BibT_eX]

[DOI]

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Modeling Ontologies using OWL, Description Graphs, and Rules.

[BibT_eX]

[DOI]

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Representing Structured Objects using Description Graphs.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

The Representation of Structured Objects in DLs using Description Graphs.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Individual Reuse in Description Logic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Metalevel Information in Ontology-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

On the Properties of Metamodeling in OWL.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2007

Adding Integrity Constraints to OWL.

[BibT_eX]

[DOI]

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

A Faithful Integration of Description Logics with Logic Programming.

[BibT_eX]

[DOI]

Riccardo Rosati

Proceedings of the IJCAI 2007, 2007

A Hypertableau Calculus for SHIQ.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Optimized Reasoning in Description Logics Using Hypertableaux.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

2006

Reasoning in description logics using resolution and deductive databases.

[BibT_eX]

[DOI]

PhD thesis, 2006

Can OWL and Logic Programming Live Together Happily Ever After?

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Problems with OWL Syntax.

[BibT_eX]

[DOI]

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2006

Matching Semantic Service Descriptions with Local Closed-World Reasoning.

[BibT_eX]

[DOI]

Stephan Grimm

Chris Preist

Proceedings of the Semantic Web: Research and Applications, 2006

2005

Query Answering for OWL-DL with rules.

[BibT_eX]

[DOI]

Rudi Studer

J. Web Semant., 2005

Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases.

[BibT_eX]

[DOI]

Steffen Staab

J. Data Semant., 2005

Bridging the Paradigm Gap with Rules for OWL.

[BibT_eX]

[DOI]

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Closed World Reasoning in the Semantic Web through Epistemic Operators.

[BibT_eX]

[DOI]

Stephan Grimm

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Data Complexity of Reasoning in Very Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A mapping system for the integration of OWL-DL ontologies.

[BibT_eX]

[DOI]

Peter Haase

Proceedings of the first international ACM workshop on Interoperability of Heterogeneous Information Systems (IHIS'05), 2005

Description Logics and Disjunctive Datalog - The Story so Far.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Ontology Representation and Querying for Realizing Semantics-Driven Applications.

[BibT_eX]

[DOI]

Proceedings of the Multimedia Content and the Semantic Web, 2005

2004

Variance in e-Business Service Discovery.

[BibT_eX]

[DOI]

Stephan Grimm

Chris Preist

Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, 2004

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2004

Reducing SHIQ-Description Logic to Disjunctive Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

An Extensible Ontology Software Environment.

[BibT_eX]

Proceedings of the Handbook on Ontologies, 2004

2003

Managing multiple and distributed ontologies on the Semantic Web.

[BibT_eX]

[DOI]

Ljiljana Stojanovic

VLDB J., 2003

Ontologies for Enterprise Knowledge Management.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2003

Repräsentations- und Anfragesprachen für Ontologien - eine Übersicht.

[BibT_eX]

Datenbank-Spektrum, 2003

KAON SERVER - A Semantic Web Management System.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International World Wide Web Conference, 2003

An infrastructure for searching, reusing and evolving distributed ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International World Wide Web Conference, 2003

Incremental Maintenance of dynamic Datalog programs.

[BibT_eX]

[DOI]

Steffen Staab

Proceedings of the PSSS1, 2003

Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

Incremental Maintenance of Materialized Ontologies.

[BibT_eX]

[DOI]

Steffen Staab

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies.

[BibT_eX]

[DOI]

Gábor Nagypál

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

2002

Managing Multiple Ontologies and Ontology Evolution in Ontologging.

[BibT_eX]

Proceedings of the Intelligent Information Processing, 2002

Ontology Evolution within Ontology Editors.

[BibT_eX]

[DOI]

Ljiljana Stojanovic

Proceedings of the EON2002, 2002

User-Driven Ontology Evolution Management.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 2002

MAFRA - A MApping FRAmework for Distributed Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 2002

KAON - Towards a Large Scale Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the E-Commerce and Web Technologies, Third International Conference, 2002

A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications.

[BibT_eX]

[DOI]