177 citations · 356 across the 9 of their papers we have counts for
10 papers
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and beyond)
Christian Kindermann, Anne-Marie George, Bijan Parsia +1
In this paper, we introduce the problem of rewriting finite formal languages using syntactic macros such that the rewriting is minimal in size. We present polynomial-time algorithm…
Theoretical Foundations of Defeasible Description Logics
Katarina Britz, Giovanni Casini, Thomas Meyer +3
We extend description logics (DLs) with non-monotonic reasoning features. We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as s…
Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity
Henrik Forssell, Christian Kindermann, Daniel P. Lupp +2
We present a second-order language that can be used to succinctly specify ontologies in a consistent and transparent manner. This language is based on ontology templates (OTTR), a…
Algorithm for Adapting Cases Represented in a Tractable Description Logic
Liang Chang, Uli Sattler, Tianlong Gu
Case-based reasoning (CBR) based on description logics (DLs) has gained a lot of attention lately. Adaptation is a basic task in the CBR inference that can be modeled as the knowle…
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia +3
Extracting a subset of a given OWL ontology that captures all the ontology's knowledge about a specified set of terms is a well-understood task. This task can be based, for instanc…
Conjunctive Query Answering for the Description Logic SHIQ
Birte Glimm, Ian Horrocks, Carsten Lutz +1
Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query…