6 citations · 12 across the 3 of their papers we have counts for
8 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…
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…
Evaluating Modelling Approaches for Medical Image Annotations
Jasmin Opitz, Bijan Parsia, Ulrike Sattler
Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there is no cle…
Reasoning with Individuals for the Description Logic SHIQ
Ian Horrock, Ulrike Sattler, Stephan Tobies
While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. In this pap…