These are the proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), which took place on August 19th, 2014 in Prague, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014).

These are the proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), which took place on August 19th, 2014 in Prague, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014).

Grund und Boden genießt in unserer Gesellschaft einen hohen Stellenwert. Grundbuchsysteme, die zur Verwaltung dieser Ressource geschaffen wurden, werden deshalb mit großem Aufwand gepflegt. In dieser Arbeit wird, basierend auf einer modernen Variante des auf John McCarthy zurückgehenden Situationskalküls, ein formales Modell eines Grundbuchsystems mit den Mitteln der Wissensrepräsentation erstellt und prototypisch implementiert.

Der zunehmende Bedarf, wissensbasierte Systeme für realistische Anwendungen einzusetzen, stellt eine Herausforderung an die Modellierung der zugrundeliegenden Domäne dar. Einführungen zu Expertensystemen, Wissensrepräsentation sowie Wissensverarbeitung findet man beispielsweise in [Pup91], [Str91], [Bib93], [Hen91], [Pup90], [BJT96b], [Sch98] und [Min74]. Einige kritische Betrachtungen zu Fragen der Wissensverarbeitung findet man in [BHJR94] oder auch in [GS96]. Speziell auf die Problematik der Wissensrepräsentation in komplexen Domänen wird in [Hel96] eingegangen. Um neben dem theoretischen Wissen auch praktische Erfahrungen bei der Modellierung von Anwendungsfällen zu erlangen, wurde mit einigen Studenten des Studiengangs Informatik ein entsprechendes Praxisseminar durchgeführt. In diesem sollten sie ihr bereits in den entsprechenden Lehrveranstaltungen erworbenes theoretisches Wissen zu Expertensystemen, Wissensrepräsentation, Wissensverarbeitung und Planung vertiefen und praktisch anwenden.

Nach zehn Jahren bedurfte es einer grundlegenden Überarbeitung von Sachsen.digital als interdisziplinärer Wissensplattform zur Geschichte, Kultur und Landeskunde Sachsens. Ab sofort ist unter dieser Marke die Präsentation der im Landesdigitalisierungsprogramm produzierten Digitalisate als sächsisches kulturelles Erbe zu erreichen. Daneben wird es ab Januar 2018 ein neues landeskundliches Angebot geben (Saxorum), welches gezielt Informationsquellen miteinander vernetzt und gemeinsam recherchierbar macht. Hier stehen einige neue Funktionen, unter anderem die Personensuche, sowie erstmals Beteiligungsmöglichkeiten zur Verfügung.

Description Logics (DLs) are a family of logic-based knowledge representation (KR) formalisms designed to represent and reason about static conceptual knowledge in a semantically well-understood way. On the other hand, standard action formalisms are KR formalisms based on classical logic designed to model and reason about dynamic systems. The largest part of the present work is dedicated to integrating DLs with action formalisms, with the main goal of obtaining decidable action formalisms with an expressiveness significantly beyond propositional. To this end, we offer DL-tailored solutions to the frame and ramification problem. One of the main technical results is that standard reasoning problems about actions (executability and projection), as well as the plan existence problem are decidable if one restricts the logic for describing action pre- and post-conditions and the state of the world to decidable Description Logics. A smaller part of the work is related to decidable extensions of Description Logics with concrete datatypes, most importantly with those allowing to refer to the notions of space and time.

Description logics (DL) knowledge bases are often build by users with expertise in the application domain, but little expertise in logic. To support this kind of users when building their knowledge bases a number of extension methods have been proposed to provide the user with concept descriptions as a starting point for new concept definitions. The inference service central to several of these approaches is the computation of (least) common subsumers of concept descriptions. In case disjunction of concepts can be expressed in the DL under consideration, the least common subsumer (lcs) is just the disjunction of the input concepts. Such a trivial lcs is of little use as a starting point for a new concept definition to be edited by the user. To address this problem we propose two approaches to obtain "meaningful" common subsumers in the presence of disjunction tailored to two different methods to extend DL knowledge bases. More precisely, we devise computation methods for the approximation-based approach and the customization of DL knowledge bases, extend these methods to DLs with number restrictions and discuss their efficient implementation.

Die Transformation der Industriegesellschaft zur „Wissensgesellschaft“ ist ein in vielen Punk-ten erst noch zu verstehender und zu erforschender Prozess. Man muss sich nicht lange mit der scholastischen Frage aufhalten, ob man aktuelle Umbrüche in Erwerbsarbeit und Gesell-schaft unter diesem Label angemessen zusammenfassen kann, solange man den Begriff als eine unter verschiedenen möglichen „Brillen“ betrachtet, die die Aufmerksamkeit auf be-stimmte Trends lenkt und die Annahmen bezüglich ihrer inneren Zusammenhänge klar formu-liert.

We provide a systematic in-depth study of the semantics of abstract dialectical frameworks (ADFs), a recent generalisation of Dung\'s abstract argumentation frameworks. This is done by associating with an ADF its characteristic one-step consequence operator and defining various semantics for ADFs as different fixpoints of this operator. We first show that several existing semantical notions are faithfully captured by our definition, then proceed to define new ADF semantics and show that they are proper generalisations of existing argumentation semantics from the literature. Most remarkably, this operator-based approach allows us to compare ADFs to related nonmonotonic formalisms like Dung argumentation frameworks and propositional logic programs. We use polynomial, faithful and modular translations to relate the formalisms, and our results show that both abstract argumentation frameworks and abstract dialectical frameworks are at most as expressive as propositional normal logic programs.

Abstract dialectical frameworks (ADFs) have recently been proposed as a versatile generalization of Dung's abstract argumentation frameworks (AFs). In this paper, we present a comprehensive analysis of the computational complexity of ADFs. Our results show that while ADFs are one level up in the polynomial hierarchy compared to AFs, there is a useful subclass of ADFs which is as complex as AFs while arguably offering more modeling capacities. As a technical vehicle, we employ the approximation fixpoint theory of Denecker, Marek and Truszczyński, thus showing that it is also a useful tool for complexity analysis of operator-based semantics.