#### Filter Results:

- Full text PDF available (92)

#### Publication Year

2000

2017

- This year (2)
- Last 5 years (46)
- Last 10 years (82)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

#### Key Phrases

Learn More

- Ian Horrocks, Oliver Kutz, Ulrike Sattler
- KR
- 2006

We describe an extension of the description logic underlying OWLDL, SHOIN , with a number of expressive means that we believe will make it more useful in practise. Roughly speaking, we extend SHOIN with all expressive means that were suggested to us by ontology developers as useful additions to OWL-DL, and which, additionally, do not affect its… (More)

- Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
- Artif. Intell.
- 2004

Combining knowledge representation and reasoning formalisms is an important and challenging task. It is important because non-trivial AI applications often comprise different aspects of the world, thus requiring suitable combinations of available formalisms modeling each of these aspects. It is challenging because the computational behavior of the resulting… (More)

- Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler
- OWLED
- 2006

We argue for the usefulness of abductive reasoning in the context of ontologies. We discuss several applicaton scenarios in which various forms of abduction would be useful, introduce corresponding abductive reasoning tasks, give examples, and begin to develop the formal apparatus needed to employ abductive inference in expressive description

- Ian Horrocks, Oliver Kutz, Ulrike Sattler
- OWLED
- 2005

Motivated primarily by medical terminology applications, the prominent DL SHIQ has already been extended to a DL with complex role inclusion axioms of the form R ◦ S v̇ R or S ◦ R v̇ R, called RIQ, and the SHIQ tableau algorithm has been extended to handle such inclusions. This paper further extends RIQ and its tableau algorithm with important expressive… (More)

- Bernardo Cuenca-Grau, Oliver Kutz
- 2006

In this paper, we compare various formalisms that have been recently introduced or used for distributed reasoning, ontology integration, and related topics; in particular, we focus on E-connections, Distributed Description Logics, and Package-based Description Logics. We then establish the relationship between these formalisms and various nonstandard… (More)

- Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
- Description Logics
- 2003

1 Motivation Combining description logics (DLs) with other logical formalisms, including other DLs, is an important and challenging task. Recent examples include: 1. the combination of DLs with temporal logics to form multi-dimensional temporal DLs, cf. e.g. [1, 6, 10]; 2. the fusion of multiple DLs into a single formalism that inherits decidability from… (More)

- Marcus Kracht, Oliver Kutz
- Advances in Modal Logic
- 2000

We introduce a new semantics for modal predicate logic, with respect to which a rich class of first-order modal logics is complete, namely all normal first-order modal logics that are extensions of free quantified K. This logic is defined by combining positive free logic with equality PFL . = and the propositional modal logic K. We then uniformly… (More)

- Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler
- Description Logics
- 2006

In realistic applications, it is often desirable to integrate different ontologies into a single, reconciled ontology. Ideally, one would expect the individual ontologies to be developed as independently as possible, and the final reconciliation to be seamless and free from unexpected results. This allows for the modular design of large ontologies and… (More)

Combining knowledge representation and reasoning formalisms like description logics (DLs), temporal logics, and logics of space, is worthwhile but difficult. It is worthwhile because usually realistic application domains comprise various aspects of the world, thus requiring suitable combinations of formalisms modeling each of these aspects. It is difficult… (More)

- Oliver Kutz, Till Mossakowski
- AAAI
- 2011

We propose a novel technique for proving the consistency of large, complex and heterogeneous theories for which ‘standard’ automated reasoning methods are considered insufficient. In particular, we exemplify the applicability of the method by establishing the consistency of the foundational ontology DOLCE, a large, first-order ontology. The approach we… (More)