Titlebook: Web Reasoning and Rule Systems; Third International Axel Polleres,Terrance Swift Conference proceedings 2009 Springer-Verlag Berlin Heidel

尊嚴

表主動

CANON

Answer Sets in a Fuzzy Equilibrium Logice most general “classical” approaches, answer sets of arbitrary propositional theories can be defined as models in the equilibrium logic of Pearce. Fuzzy answer set programming, on the other hand, extends answer set programming with the capability of modeling continuous systems. In this paper, we co

搖曳

A Formal Theory for Modular ERDF Ontologiesgraphs with weak and strong negation, as well as derivation rules. The ERDF #.-stable model semantics of the extended RDF framework (.) is defined, extending RDF(S) semantics. In this paper, we propose a framework for modular ERDF ontologies, called ., which enables collaborative reasoning over a se

死貓他燒焦

Belief Logic Programming with Cyclic Dependenciesother quantitative approaches to logic programming, this new theory is able to provide accurate conclusions in the presence of uncertainty when the sources of information are not independent. However, the semantics defined in [26] is not sufficiently general—it does not allow cyclic dependencies amo

auxiliary

護航艦

A Minimal Deductive System for General Fuzzy RDFwork we provide, under a very general semantics, a deductive system for a salient fragment of fuzzy RDF. We then also show how we may compute the top-k answers of the union of conjunctive queries in which answers may be scored by means of a scoring function.

foodstuff

過份好問

An Efficient Method for Computing Alignment Diagnoses ontologies. In this paper we propose a new method for repairing such incoherent alignments that extends previous work on this subject. We describe our approach within the theory of diagnosis and introduce the notion of a local optimal diagnosis. We argue that computing a local optimal diagnosis is

原告