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

宽容

Generator

Situation Calculus Meets Description Logics,an action programming language, whose semantics is based on the Situation Calculus, a variant of full first-order logic. In order to achieve decidability, the expressiveness of the base logic had to be restricted, and using a Description Logic was a natural choice. In this chapter, we highlight some

健谈的人

莎草

Extending , with Linear Constraints on the Probability of Axioms,ding consistency and inferring subsumption. However, simply by adding negation of concepts to it, we obtain the expressivity of description logics whose decision procedure is .-complete. Similar complexity explosion occurs if we add probability assignments on concepts. To lower the resulting complex

象形文字

阻塞

Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Pn . using a reduction to CSPs. In this paper, we present a case study for OMQs with Boolean conjunctive queries and a fixed ontology consisting of a single covering axiom ., possibly supplemented with a disjointness axiom for . and .. The ultimate aim is to classify such OMQs according to their data

BOLUS

Perceptual Context in Cognitive Hierarchies,gher level information that helps to predict belief states at lower levels. The main contribution of this paper is to provide a formalisation of perceptual context and its integration into a new process model for cognitive hierarchies. Several simple instantiations of a cognitive hierarchy are used

愤世嫉俗者

Pseudo-contractions as Gentle Repairs,n such a way that the sentence to be removed is no longer entailed by the resulting set. On the other hand, it is desirable that the existing knowledge be preserved as much as possible, minimising the loss of information. Several approaches to this problem can be found in the literature. In particul

carotid-bruit

FunDL,ture of these logics is their use of path functional dependencies that allow for complex identification constraints to be formulated. The use of features and path functional dependencies makes the logics particularly well suited for capturing and integrating data sources conforming to an underlying

osteocytes