Birte Glimm

Proceedings of the Semantic Web - 20th International Conference, 2023

Fully Dynamic Materialization Maintenance.

[BibT_eX]

[DOI]

Moritz Illich

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022

Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282).

[BibT_eX]

[DOI]

James P. Delgrande

Thomas Meyer

Miroslaw Truszczynski

Milene Santos Teixeira

Frank Wolter

Dagstuhl Reports, July, 2022

Computing Concept Referring Expressions for Queries on Horn ALC Ontologies.

[BibT_eX]

[DOI]

Moritz Illich

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Computing Concept Referring Expressions with Standard OWL Reasoners.

[BibT_eX]

[DOI]

Moritz Illich

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Concept Abduction for Description Logics.

[BibT_eX]

[DOI]

Michael Welt

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

SAT-Based Axiom Pinpointing Revisited.

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life.

[BibT_eX]

[DOI]

Pascal Bercher

Künstliche Intell., 2021

Query Answering and Scaling Extensions of Konclude.

[BibT_eX]

[DOI]

Proceedings of the Semantic Reasoning Evaluation Challenge (SemREC 2021) co-located with the 20th International Semantic Web Conference (ISWC 2021), 2021

HDT Bitmap Triple Indices for Efficient RDF Data Exploration.

[BibT_eX]

[DOI]

Maximilian Wenzel

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

Parallelised ABox Reasoning and Query Answering with Expressive Description Logics.

[BibT_eX]

[DOI]

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

Ontology-Based Map Data Quality Assurance.

[BibT_eX]

[DOI]

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

2020

A Knowledge-Spatial Architecture for Processing Dynamic Maps in Automated Driving.

[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

A Knowledge Architecture Layer for Map Data in Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues.

[BibT_eX]

[DOI]

Proceedings of the ICMI '20: International Conference on Multimodal Interaction, 2020

Ontology-based Processing of Dynamic Maps in Automated Driving.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Knowledge Discovery, 2020

Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.

[BibT_eX]

[DOI]

Pascal Bercher

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects.

[BibT_eX]

[DOI]

AI Commun., 2019

Absorption-Based Query Answering for Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2019, 2019

Classical Algorithms for Reasoning and Explanation in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019

Absorption-Based Query Entailment Checking for Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

An Ontological Model for Map Data in Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2018

Parallel tractability of ontology materialization: Technique and practice.

[BibT_eX]

[DOI]

Zhangquan Zhou

Guilin Qi

J. Web Semant., 2018

Evaluating Knowledge-Based Assistance for DIY.

[BibT_eX]

[DOI]

Proceedings of the Mensch und Computer 2018, 2018

A Multimodal Dialogue Framework for Cloud-Based Companion Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Spoken Dialogue System Technology, 2018

Embracing Change by Abstraction Materialization Maintenance for Large ABoxes.

[BibT_eX]

[DOI]

Markus Brenner

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

Instructing Novice Users on How to Use Tools in DIY Projects.

[BibT_eX]

[DOI]

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

Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations.

[BibT_eX]

[DOI]

Tanja Perleth

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process.

[BibT_eX]

[DOI]

Florian Nielsen

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

The OWL Reasoner Evaluation (ORE) 2015 Competition Report.

[BibT_eX]

[DOI]

J. Autom. Reason., 2017

Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems.

[BibT_eX]

[DOI]

Klaus Ulmschneider

Proceedings of the Knowledge Engineering and Semantic Web - 8th International Conference, 2017

QSMat: Query-Based Materialization for Efficient RDF Stream Processing.

[BibT_eX]

[DOI]

Christian Mathieu

Matthias Klusch

Proceedings of the Knowledge Engineering and Semantic Web - 8th International Conference, 2017

Testing the Adequacy of Automated Explanations of EL Subsumptions.

[BibT_eX]

[DOI]

Florian Schiller

Proceedings of the 30th International Workshop on Description Logics, 2017

Incremental Materialization Update via Abstraction Refinement.

[BibT_eX]

[DOI]

Markus Brenner

Proceedings of the 30th International Workshop on Description Logics, 2017

A paradigm for coupling procedural and conceptual knowledge in companion systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Companion Technology, 2017

Sloth - The interactive workout planner.

[BibT_eX]

[DOI]

Florian Nielsen

Proceedings of the International Conference on Companion Technology, 2017

Ontology Materialization by Abstraction Refinement in Horn SHOIF.

[BibT_eX]

[DOI]

Trung-Kien Tran

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

15 Years of Semantic Web: An Incomplete Survey.

[BibT_eX]

[DOI]

Heiner Stuckenschmidt

Künstliche Intell., 2016

Special Issue on Semantic Web.

[BibT_eX]

[DOI]

Heiner Stuckenschmidt

Künstliche Intell., 2016

Interview with Prof. Dr. Ian Horrocks, Professor at the Department of Computer Science of the University of Oxford.

[BibT_eX]

[DOI]

Künstliche Intell., 2016

Semantic exploitation of implicit patent information.

[BibT_eX]

[DOI]

Klaus Ulmschneider

Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

The OWL Reasoner Evaluation (ORE) 2015 Resources.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

Scalable Reasoning by Abstraction Beyond DL-Lite.

[BibT_eX]

[DOI]

Trung-Kien Tran

Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Exploring Parallel Tractability of Ontology Materialization.

[BibT_eX]

[DOI]

Zhangquan Zhou

Guilin Qi

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2015

On maintaining semantic networks: challenges, algorithms, use cases.

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2015

Ontology-supported Exploratory Search for Physical Training Exercises.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.

[BibT_eX]

[DOI]

Denis K. Ponomaryov

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

Completion Graph Caching for Expressive Description Logics.

[BibT_eX]

[DOI]

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

Integrating Ontologies and Planning for Cognitive Systems.

[BibT_eX]

[DOI]

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

Breaking the Black Box - Using Background Knowledge for Efficient Stream Reasoning (Poster).

[BibT_eX]

Markus Brenner

Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning.

[BibT_eX]

Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

Lower and Upper Bounds for SPARQL Queries over OWL Ontologies.

[BibT_eX]

[DOI]

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

2014

Konclude: System description.

[BibT_eX]

[DOI]

J. Web Semant., 2014

Reasoning with Nominal Schemas through Absorption.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

HermiT: An OWL 2 Reasoner.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

Abstraction Refinement for Ontology Materialization.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2014, 2014

OWL Query Answering Based on Query Extension.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014

Maintaining Semantic Networks: Challenges and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services, 2014

Optimised Absorption for Expressive Description Logics.

[BibT_eX]

[DOI]

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

Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Optimizing SPARQL Query Answering over OWL Ontologies.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013

The Energy Management Adviser at EDF.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Nominal Schema Absorption.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Extending Absorption to Nominal Schemas.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Towards Explicative Inference for OWL.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Using the TBox to Optimise SPARQL Queries.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Interactive ontology revision.

[BibT_eX]

[DOI]

J. Web Semant., 2012

A novel approach to ontology classification.

[BibT_eX]

[DOI]

J. Web Semant., 2012

OWL: Yet to arrive on the Web of Data?

[BibT_eX]

[DOI]

Proceedings of the WWW2012 Workshop on Linked Data on the Web, 2012

Hitting the Sweetspot: Economic Rewriting of Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

Cost Based Query Ordering over OWL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

Extended Caching and Backjumping for Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Extended Caching, Backjumping and Merging for Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Wheat and Chaff - Practically Feasible Interactive Ontology Revision.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

Using SPARQL with RDFS and OWL Entailment.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Technologies for the Web of Data, 2011

Answering Queries over OWL Ontologies with SPARQL.

[BibT_eX]

[DOI]

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

SPARQL Query Answering over OWL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2011

Reasoning-Supported Interactive Revision of Knowledge Bases.

[BibT_eX]

[DOI]

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

Query Answering over SROIQ Knowledge Bases with SPARQL.

[BibT_eX]

[DOI]

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

Status QIO: An Update.

[BibT_eX]

[DOI]

Carsten Lutz

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

2010

Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2010

Integrated Metamodeling and Diagnosis in OWL 2.

[BibT_eX]

[DOI]

Johanna Völker

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

SPARQL beyond Subgraph Matching.

[BibT_eX]

[DOI]

Markus Krötzsch

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

Optimising Ontology Classification.

[BibT_eX]

[DOI]

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

Status QIO: Conjunctive Query Entailment Is Decidable.

[BibT_eX]

[DOI]

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

Optimized DL Reasoning via Core Blocking.

[BibT_eX]

[DOI]

Boris Motik

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

Optimized Description Logic Reasoning via Core Blocking.

[BibT_eX]

[DOI]

Boris Motik

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

2009

A Syntax for Rules in OWL 2.

[BibT_eX]

[DOI]

Matthew Horridge

Bijan Parsia

Peter F. Patel-Schneider

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

Conjunctive Query Entailment: Decidable in Spite of O, I, and Q.

[BibT_eX]

[DOI]

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

2008

Conjunctive Query Answering for the Description Logic SHIQ.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2008

Role Conjunctions in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

Unions of Conjunctive Queries in SHOQ.

[BibT_eX]

[DOI]

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

Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.

[BibT_eX]

[DOI]

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

2007

Conjunctive Query Entailment for SHOQ.

[BibT_eX]

[DOI]

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

2006

Hybrid Logics and Ontology Languages.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Hybrid Logic, 2006

Conjunctive Query Answering for Description Logics with Transitive Roles.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

Handling Cyclic Conjunctive Queries.

[BibT_eX]

[DOI]