Search filters

List of works by Matthias Knorr

A Query Tool for $\mathcal{EL}$ with Non-monotonic Rules

scientific article published in 2013

Description Logics

scientific article published in 2014

Evolving Bridge Rules in Evolving Multi-Context Systems

scientific article published in 2014

Forgetting in ASP: The Forgotten Properties

scientific article published in 2016

Forgetting under the Well-Founded Semantics

scientific article published in 2013

Inconsistency Management in Reactive Multi-context Systems

scientific article published in 2016

Iterative Variable Elimination in ASP

scientific article published in 2017

Local closed world reasoning with description logics under the well-founded semantics

scientific article published in June 2011

MKNF Knowledge Bases in Multi-Context Systems

scientific article published in 2012

Minimal Change in Evolving Multi-Context Systems

scientific article published in 2015

Next Step for NoHR: OWL 2 QL

scientific article published in 2015

NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond

scientific article published in 2017

NoHR: Querying EL with Non-monotonic Rules

scientific article published in proceedings of the iswc 2013 posters & demonstrations track

Non-monotonic Temporal Goals

scientific article published in 2013

Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling

scientific article published in 2009

Query-Driven Procedures for Hybrid MKNF Knowledge Bases

scientific article published in June 2013

Querying LUBM with Non-monotonic Features in Protege using NoHR

scientific article published in proceedings of the iswc 2015 posters & demonstrations track

Querying OWL 2 QL and Non-monotonic Rules

scientific article published in 2011

Reasoning over Ontologies and Non-monotonic Rules

scientific article published in 2015

Recent Advances in Integrating OWL and Rules (Technical Communication)

scientific article published in 2012

Time Is Up! – Norms with Deadlines in Action Languages

scientific article published in 2013

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems

scientific article published on 2 December 2013

When you must forget: Beyond strong persistence when forgetting in answer set programming

scientific article published on 30 August 2017