標(biāo)題: Titlebook: Web Reasoning and Rule Systems; Third International Axel Polleres,Terrance Swift Conference proceedings 2009 Springer-Verlag Berlin Heidel [打印本頁] 作者: 日月等 時間: 2025-3-21 17:35
書目名稱Web Reasoning and Rule Systems影響因子(影響力)
書目名稱Web Reasoning and Rule Systems影響因子(影響力)學(xué)科排名
書目名稱Web Reasoning and Rule Systems網(wǎng)絡(luò)公開度
書目名稱Web Reasoning and Rule Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Web Reasoning and Rule Systems被引頻次
書目名稱Web Reasoning and Rule Systems被引頻次學(xué)科排名
書目名稱Web Reasoning and Rule Systems年度引用
書目名稱Web Reasoning and Rule Systems年度引用學(xué)科排名
書目名稱Web Reasoning and Rule Systems讀者反饋
書目名稱Web Reasoning and Rule Systems讀者反饋學(xué)科排名
作者: implore 時間: 2025-3-21 20:47
Answer Sets in a Fuzzy Equilibrium Logicng approaches are met. We furthermore locate the complexity of the main reasoning tasks at the second level of the polynomial hierarchy. Finally, as an illustration of its modeling power, we show how fuzzy equilibrium logic can be used to find strong Nash equilibria.作者: Anthropoid 時間: 2025-3-22 04:13
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agentsse, which is modified by actions implemented by destructive assignment. The semantics can be viewed as generating a model, based on the sequence of database states and logic program, which makes the production rules true.作者: FELON 時間: 2025-3-22 05:22 作者: 召集 時間: 2025-3-22 10:53 作者: Wernickes-area 時間: 2025-3-22 13:39 作者: 植物茂盛 時間: 2025-3-22 18:03 作者: 惡心 時間: 2025-3-23 00:32 作者: Foreknowledge 時間: 2025-3-23 03:08 作者: 通情達(dá)理 時間: 2025-3-23 07:39 作者: 柔軟 時間: 2025-3-23 12:44 作者: 植物學(xué) 時間: 2025-3-23 16:55
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agentsgramming agent framework. In this framework, logic programs function as an agent’s beliefs and production rules function as the agent’s goals. The semantics and proof procedures are based on abductive logic programming, in which logic programs are integrated with integrity constraints that behave li作者: 火花 時間: 2025-3-23 20:19
Uncertainty Reasoning for the Semantic Webany experts predict that the next huge step forward in Web information technology will be achieved by adding semantics to Web data. An important role in research towards the Semantic Web is played by formalisms and technologies for handling uncertainty and/or vagueness. In this paper, I first provid作者: Free-Radical 時間: 2025-3-23 23:18 作者: 裂隙 時間: 2025-3-24 05:36 作者: ATRIA 時間: 2025-3-24 07:41 作者: Intellectual 時間: 2025-3-24 14:02 作者: 蝕刻 時間: 2025-3-24 17:09
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agentsgramming agent framework. In this framework, logic programs function as an agent’s beliefs and production rules function as the agent’s goals. The semantics and proof procedures are based on abductive logic programming, in which logic programs are integrated with integrity constraints that behave li作者: 匍匐前進(jìn) 時間: 2025-3-24 19:49
Scalable Web Reasoning Using Logic Programming Techniquesfer rich modelling capabilities by providing comprehensive coverage of the OWL language. In this paper we present a scalable extension of our ABox reasoning framework called DLog..DLog performs query-driven execution whereby the terminological part of the description logic knowledge base is converte作者: hemoglobin 時間: 2025-3-25 02:40
Uncertainty Reasoning for the Semantic Webany experts predict that the next huge step forward in Web information technology will be achieved by adding semantics to Web data. An important role in research towards the Semantic Web is played by formalisms and technologies for handling uncertainty and/or vagueness. In this paper, I first provid作者: Vasodilation 時間: 2025-3-25 04:54
On the Ostensibly Silent ‘W’ in OWL 2 RLom previous work, we discuss (i) optimisations based on a separation of terminological data from assertional data and (ii) the application of authoritative analysis to constrain third party interference with popular ontology terms. We also provide discussion relating to the applicability of new OWL 作者: BANAL 時間: 2025-3-25 10:33
A Preferential Tableaux Calculus for Circumscriptive ,lications, e.g. in the Semantic Web. A recent approach to such an extension is based on McCarthy’s circumscription, which rests on the principle of minimising the extension of selected predicates to close off dedicated parts of a domain model. While decidability and complexity results have been esta作者: 無彈性 時間: 2025-3-25 12:54
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作者: commodity 時間: 2025-3-25 17:47 作者: coagulate 時間: 2025-3-25 20:30
Search for More Declarativityal uninformed search methods with their well-known deficiencies are prone to compromise declarativity, the primary concern of rule languages. The paper presents a new family of uninformed search algorithms that combine the advantages of the traditional ones while avoiding their shortcomings. Moreove作者: 連鎖,連串 時間: 2025-3-26 03:36
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作者: Femish 時間: 2025-3-26 04:17
Distributed Resolution for Expressive Ontology Networksstructure of the web in terms of resources being provided by different parties at different physical locations. A number of infrastructures for storing and querying distributed semantic web data, primarily encoded in RDF have been developed but almost all the work on description logic reasoning as a作者: 歸功于 時間: 2025-3-26 10:02 作者: Antimicrobial 時間: 2025-3-26 15:20
Scalable Web Reasoning Using Logic Programming Techniquesfer rich modelling capabilities by providing comprehensive coverage of the OWL language. In this paper we present a scalable extension of our ABox reasoning framework called DLog..DLog performs query-driven execution whereby the terminological part of the description logic knowledge base is converte作者: 歡樂中國 時間: 2025-3-26 17:27 作者: 尊嚴(yán) 時間: 2025-3-26 23:36 作者: 表主動 時間: 2025-3-27 03:32 作者: CANON 時間: 2025-3-27 05:18
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作者: 搖曳 時間: 2025-3-27 12:06
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作者: 死貓他燒焦 時間: 2025-3-27 17:30
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 時間: 2025-3-27 17:52 作者: 護(hù)航艦 時間: 2025-3-28 01:20
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 時間: 2025-3-28 06:09 作者: 過份好問 時間: 2025-3-28 10:12
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 作者: 原告 時間: 2025-3-28 12:25 作者: 收集 時間: 2025-3-28 14:34 作者: 要求比…更好 時間: 2025-3-28 18:55
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作者: Ballad 時間: 2025-3-28 23:34
The Perfect Match: RPL and RDF Rule Languagesderivation rules. RPL is a novel path query language specifically designed to be incorporated with RDF rules and comes in three flavors: .-, .- and .-flavored expressions allow to express conditional regular expressions over the nodes, edges, or nodes . edges appearing on paths within RDF graphs. Pr作者: LITHE 時間: 2025-3-29 06:08 作者: peak-flow 時間: 2025-3-29 10:42 作者: inculpate 時間: 2025-3-29 15:15
Conference proceedings 2009he SemanticWebis to containdeepknowledge,theneedfornewrepresentationand reasoning techniques is going to be critical. These techniques need to ?nd the righttrade-o?betweenexpressiveness,scalabilityandrobustnesstodealwiththe inherently incomplete, contradictory and uncertain nature of knowledge on th作者: 無效 時間: 2025-3-29 16:04
Search for More Declarativityr presents a new family of uninformed search algorithms that combine the advantages of the traditional ones while avoiding their shortcomings. Moreover, the paper introduces a formal framework based on partial orderings, which allows precise and elegant analysis of such algorithms.作者: FUSC 時間: 2025-3-29 21:37
Search for More Declarativityr presents a new family of uninformed search algorithms that combine the advantages of the traditional ones while avoiding their shortcomings. Moreover, the paper introduces a formal framework based on partial orderings, which allows precise and elegant analysis of such algorithms.作者: 協(xié)奏曲 時間: 2025-3-30 02:34 作者: 外形 時間: 2025-3-30 04:41 作者: 分離 時間: 2025-3-30 10:17 作者: 爆炸 時間: 2025-3-30 12:48
A Reasoner for Simple Conceptual Logic Programspaper, we describe an algorithm for satisfiability checking of the fragment of . and provide a BProlog implementation. To the best of our knowledge, this is the first implementation of a (fragment) of a framework that can tightly integrate ontologies and non-DL-safe rules under an expressive nonmonotonic semantics.作者: 無表情 時間: 2025-3-30 20:13 作者: 諷刺滑稽戲劇 時間: 2025-3-31 00:39 作者: Affluence 時間: 2025-3-31 01:19 作者: 抗原 時間: 2025-3-31 08:16 作者: FID 時間: 2025-3-31 11:31
On the Ostensibly Silent ‘W’ in OWL 2 RL2 constructs for two popular Semantic Web ontologies – namely FOAF and SIOC – and provide some evaluation of the proposed use-cases based on reasoning over a representative Web dataset of approx. 12 million statements.作者: 頭腦冷靜 時間: 2025-3-31 16:11 作者: 招募 時間: 2025-3-31 18:35
Belief Logic Programming with Cyclic Dependenciesng beliefs, which is a serious limitation of expressive power. This paper extends the semantics of BLP to allow cyclic dependencies. We show that the new semantics is backward compatible with the semantics for acyclic BLP and has the expected properties. The results are illustrated with examples of inference in a simple diagnostic expert system.作者: 不朽中國 時間: 2025-4-1 00:53 作者: BAIT 時間: 2025-4-1 04:24 作者: Cardioplegia 時間: 2025-4-1 06:36 作者: cartilage 時間: 2025-4-1 12:56
The Perfect Match: RPL and RDF Rule Languagesoviding regular . expressions and negation, . is more expressive than other RDF path languages that have been proposed. We give a compositional semantics for . and show that it can be evaluated efficiently, while several possible extensions of it cannot.作者: 遺產(chǎn) 時間: 2025-4-1 18:16
A Logic Based Approach to the Static Analysis of Production Systemseddings can be used for reasoning over the production system, and use known results to obtain upper bounds for special cases. The strong correspondence between the structure of the models of the encodings and the runs of the production systems enables the straightforward modeling of properties of the system in the logic.作者: Confirm 時間: 2025-4-1 21:10
Stephan Grimm,Pascal Hitzleranthropologists and educators. ..Geo-Topology is a systematic introduction to topological thinking in Geography, also by highlighting the significance of Topology for Geographical Education, as well as for the Philosophy and Epistemology of Geography..978-3-031-48187-1978-3-031-48185-7Series ISSN 0924-5499 Series E-ISSN 2215-0072 作者: Alienated 時間: 2025-4-1 23:49
Gergely Lukácsy,Péter Szerediintellectual homes of the authors offer a rich resource in terms of how they perceive human agency within the Earth system. Two geoscientific perspectives and fourteen narratives from various cultural, social and political viewpoints contextualise geosciences in the World(s) of the Anthropocene..978-3-030-79030-1978-3-030-79028-8作者: CODA 時間: 2025-4-2 05:53
Hui Wantworks, adaptable middleware, sensor data integration and mining, au- mated updating of geospatial databases, VR modeling, and computer vision. In order to addr978-3-540-79995-5978-3-540-79996-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: CLASH 時間: 2025-4-2 08:39
0302-9743 sented papers of high quality on many of the key issues for reasoning on the Semantic Web. RR 2009 was fortunate to have two distinguished invited speakers. Rob978-3-642-05081-7978-3-642-05082-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 縮減了 時間: 2025-4-2 14:41 作者: 排斥 時間: 2025-4-2 17:01 作者: 自負(fù)的人 時間: 2025-4-2 21:50
Robert Kowalski,Fariba Sadrionsidered in three categories, namely, interaction between architecture and nature, interactionbetween architecture and its human users and change in architecture over time--each category serves as a lens. Augmenting these lenses is the Time-Person-Place concept applied different geographic. The ana作者: 輕快走過 時間: 2025-4-2 23:48
Benjamin N. Grosof accretion at a maximum rate of 12.43?m/yr from 1975 to 2020. This river system’s massive sediment load could be the cause of nearby coastal expansion. The BS coast experienced a maximum erosion of 748.4 m at Pentha and a maximum accretion of 486.5 m north of the Hansua River between 1975 and 2020. 作者: 巧思 時間: 2025-4-3 04:56
Thomas Lukasiewiczanalysis. This online gathering spot will allow citizens to post photos of local conditions, data providers to post announcements to users, and field scientists to view station data in the field. Users of the system can subscribe to watersheds of interest and automatically receive updates of recent 作者: 怕失去錢 時間: 2025-4-3 08:52
Stephan Grimm,Pascal Hitzlerevant subsystems of land resource system, socioeconomic system and eco-environment system was a negative value ranging between ?0.1 and ?0.01. Therefore the farmland resource system of Chengdu Plain and the relevant subsystems of land resource system, socioeconomic system and eco-environment system 作者: 諂媚于人 時間: 2025-4-3 12:53
