Titlebook: Description Logic, Theory Combination, and All That; Essays Dedicated to Carsten Lutz,Uli Sattler,Frank Wolter Book 2019 Springer Nature S

翅膀拍动

Book 2019 contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including  description logics,  term rewriting, and the combination of decision procedures.  We  hope that readers will enjoy the articles gathered in Fran

惰性气体

,A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction,undamental and highly influential scientific contributions. We start with a brief and personal overview of Franz’s career, listing some important collaborators, places, and scientific milestones, and then provide first person accounts of how each one of us came in contact with Franz and how we benef

善变

indices

Theory Combination: Beyond Equality Sharing,n some first-order theories or fragments thereof (e.g., the quantifier-free fragment). . is the problem of determining whether a quantifier-free formula admits a model that is a model of a given theory. If the formula mixes theories, the considered theory is their union, and . is the problem of comb

habitat

Initial Steps Towards a Family of Regular-Like Plan Description Logics,es, yielding an array of complexity results. Representation and reasoning with plans is a very important topic in AI, yet there has been very little work on finding and studying DL constructors for plan concepts..We start to remedy this problem here by considering Plan DLs where concept instances ar

费解

Prostaglandins

Strong Explanations for Nonmonotonic Reasoning,his context are minimal subsets of the knowledge base entailing a certain formula. Such subsets are often referred to as justifications, and their identification is called axiom pinpointing.As observed by Franz Baader, this concept of explanations is useful for monotonic logics in which additional i

MEEK

A KLM Perspective on Defeasible Reasoning for Description Logics,Lehmann and Magidor (KLM) on defeasible conditionals in the propositional case. We consider versions of a preferential semantics for two forms of defeasible subsumption, and link these semantic constructions formally to KLM-style syntactic properties via representation results. In addition to showin

Climate

Temporal Logic Programs with Temporal Description Logic Axioms,is using connectives from Linear-time Temporal Logic (LTL). On the one hand, for the temporal extension of ., we depart from Baader et al.’s proposal .-LTL that restricts the use of temporal operators to occur only in front of DL axioms. On the other hand, for the temporal extension of ASP we use it

itinerary

The What-To-Ask Problem for Ontology-Based Peers,c Web and in several other networked environments, including data integration, Peer-to-Peer and Grid computing, service-oriented computing, distributed agent systems, and collaborative data sharing. One of the main problems arising in such contexts is how to exploit the mappings between peers in ord