標(biāo)題: Titlebook: Web Reasoning and Rule Systems; First International Massimo Marchiori,Jeff Z. Pan,Christian de Sainte Conference proceedings 2007 Springe [打印本頁] 作者: 水平 時間: 2025-3-21 16:57
書目名稱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é)科排名
作者: Ischemic-Stroke 時間: 2025-3-21 22:06 作者: crockery 時間: 2025-3-22 03:51 作者: Magnificent 時間: 2025-3-22 05:43
A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Resule bases. The goal of this work is to take explicitly into account any possible contextual dependency of a collection of RDF models, without losing sight of performance and scalability issues. We are illustrating motivations, as well as theoretical background, implementation details and test-results of our latest works.作者: incubus 時間: 2025-3-22 09:55
978-3-540-72981-5Springer-Verlag Berlin Heidelberg 2007作者: 致命 時間: 2025-3-22 13:45
Web Reasoning and Rule Systems978-3-540-72982-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 半導(dǎo)體 時間: 2025-3-22 20:46 作者: Memorial 時間: 2025-3-23 00:51 作者: JEER 時間: 2025-3-23 04:40 作者: scotoma 時間: 2025-3-23 07:54
María Alpuente,Demis Ballis,Moreno Falaschi,Pedro Ojeda,Daniel Romero作者: Contracture 時間: 2025-3-23 12:42 作者: 厭煩 時間: 2025-3-23 15:30 作者: tinnitus 時間: 2025-3-23 18:16 作者: 并排上下 時間: 2025-3-23 23:01
María Alpuente,Demis Ballis,Moreno Falaschi,Pedro Ojeda,Daniel Romero作者: Eulogy 時間: 2025-3-24 02:53 作者: 帶來的感覺 時間: 2025-3-24 07:25
W?odzimierz Drabent,Jan Ma?uszyńskiwartungen untersucht. Zum anderen wurden relationale Einflüsse habitueller Orientierungen analysiert,die aus au?erschulischen, privaten Erfahrungskontexten der Lehrpersonen resultieren..978-3-658-40641-7978-3-658-40642-4Series ISSN 2512-1375 Series E-ISSN 2512-1405 作者: 要控制 時間: 2025-3-24 12:04 作者: 惹人反感 時間: 2025-3-24 18:24 作者: 指數(shù) 時間: 2025-3-24 19:27
Philip D. Smart,Alia I. Abdelmoty,Baher A. El-Geresy,Christopher B. Jonesr?fte der Aufl?sung verteidigen wollen. Wer h?tte es nicht gern, wenn die St?dte kompakt, die D?rfer intakt und die Landschaft heil gehalten werden k?nnten. Vielleicht ist es sogar gerechtfertigt, die alten Konventionen und Ziele weiter zu postulieren, in der Hoffnung, da? wenigstens einiges davon n作者: definition 時間: 2025-3-25 01:39
Yimin Wang,Jie Bao,Peter Haase,Guilin Qidiziner gleicherma?en von Bedeutung. Er wird in Zukunft im ?rztlichen Alltag zu einem verbesserten Verst?ndnis der kardialen Pumpst?rung unterschiedlicher Genese sowie zur Entwicklung von neuen M?glichkeiten der Erkennung und Behandlung beitragen.978-3-7985-1078-4978-3-642-48012-6作者: 通便 時間: 2025-3-25 03:32 作者: epidermis 時間: 2025-3-25 09:01
Jos de Bruijn,David Pearce,Axel Polleres,Agustín Valverdehtigung zwar auf ihre Fahnen und in ihre Programme schrieb, zu allen Zeiten aber eine Kluft zwischen Programmatik und Realit?t erkennen lie?. Schilderungen ?lte978-3-8255-0485-4978-3-86226-508-4Series ISSN 0933-0313 作者: floodgate 時間: 2025-3-25 14:42 作者: 華而不實 時間: 2025-3-25 16:57
Well-Founded Semantics for Hybrid Rules solvers. In the restricted case of positive rules, hybrid programs are formulae of FOL. In that case the declarative semantics reduces to the standard notion of logical consequence. The operational semantics is sound and it is complete for a restricted class of hybrid programs.作者: 枯萎將要 時間: 2025-3-25 21:30 作者: ILEUM 時間: 2025-3-26 03:18
Consistent Query Answering over Description Logic Ontologiesdata only. Towards identification of tractable cases of consistent query answering over . ontologies, we then study the problem of consistent instance checking, i.e., the instance checking problem considered under our inconsistency-tolerant semantics. We provide an algorithm for it which runs in tim作者: Expurgate 時間: 2025-3-26 08:23 作者: SHRIK 時間: 2025-3-26 12:16 作者: 解凍 時間: 2025-3-26 14:06 作者: flaggy 時間: 2025-3-26 18:11 作者: Expressly 時間: 2025-3-27 00:41
Jos de Bruijn,David Pearce,Axel Polleres,Agustín Valverdeegration dem Zweiten ?sterreichischen Juristen-Tag zu erstatten hatte, war ein eigenes Kapitel dem Konzentrationsproze? gewidmet, weil dessen Ende noch nicht abzusehen war. Die Kommission hatte ‘Sich in dem Memoran- dum über das Aktionsprogramm der EWG für die 2. Stufe vom 24. 10. 1962 nicht nur für作者: orient 時間: 2025-3-27 04:08 作者: 上流社會 時間: 2025-3-27 06:20 作者: 飛來飛去真休 時間: 2025-3-27 09:39 作者: capsule 時間: 2025-3-27 16:29
Nick Bassiliades,Grigoris Antoniou,Guido Governatorichemical stimuli and contribute directly to the regulation of all major organ systems. As such, GPCRs represent primary drug targets for therapeutic intervention. Although GPCRs respond to a diverse range of ligands and signal through multiple heterotrimeric G proteins, the inactivation of GPCR sign作者: TRAWL 時間: 2025-3-27 19:22
Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semanticse. is designed to completely cover and integrate the four complementary querying dimensions: event data, event composition, temporal relationships, and event accumulation. Semantics are provided as model and fixpoint theories; while this is an established approach for rule languages, it has not been applied for event queries before.作者: 表皮 時間: 2025-3-28 01:00 作者: neoplasm 時間: 2025-3-28 02:44 作者: 向外供接觸 時間: 2025-3-28 08:37 作者: photopsia 時間: 2025-3-28 12:37 作者: installment 時間: 2025-3-28 17:36 作者: delta-waves 時間: 2025-3-28 22:10 作者: Generosity 時間: 2025-3-29 01:12
Evaluating Formalisms for Modular Ontologies in Distributed Information Systemss well as the reasoning capability over these ontologies. The comparison results show the strength and limitation of existing formalisms against the needs of modular ontologies in the given setting, and possible future extensions to overcome those limitations.作者: 帳單 時間: 2025-3-29 06:24
A Framework for Combining Rules and Geo-ontologies spatial rule engine extension to the reasoning tools associated with OWL. The components of the framework are described and the implementation of the spatial reasoning engine is presented. This work is a step towards the realisation of a complete geo-ontology management system for the semantic web.作者: 前奏曲 時間: 2025-3-29 08:05
Evaluating Formalisms for Modular Ontologies in Distributed Information Systemss well as the reasoning capability over these ontologies. The comparison results show the strength and limitation of existing formalisms against the needs of modular ontologies in the given setting, and possible future extensions to overcome those limitations.作者: chuckle 時間: 2025-3-29 13:03 作者: 全等 時間: 2025-3-29 16:47
Web Services Discovery and Constraints Compositionr discovery (hierarchical composition). Towards this end, we show how the constraints of a composite service can be derived from the constraints of its component services in a consistent manner. Finally, we present an incremental matchmaking algorithm which allows bounded inconsistency.作者: avulsion 時間: 2025-3-29 19:45
Quantified Equilibrium Logic and Hybrid Rules of QEL we relax the unique names assumption, which was present in earlier versions of QEL. Moreover, we show that this framework elegantly captures the existing modular approaches for hybrid knowledge bases in a unified way.作者: 跳脫衣舞的人 時間: 2025-3-30 00:31
Merging Model Driven Architecture and Semantic Web for Business Rules Generationting business rules, facilitating their integration and share. Works for solving this lack are in progress at e.g OMG and W3C..The aim of this paper is to propose a way to automatically generate a part of the business rules by combining concepts coming from Model Driven Architecture and Semantic Web using the Ontology Definition Metamodel.作者: 我就不公正 時間: 2025-3-30 06:02
Web Services Discovery and Constraints Compositionr discovery (hierarchical composition). Towards this end, we show how the constraints of a composite service can be derived from the constraints of its component services in a consistent manner. Finally, we present an incremental matchmaking algorithm which allows bounded inconsistency.作者: LAST 時間: 2025-3-30 09:54
Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racerogy. Experimental results and the comparison with the more conventional ontology-generation method are presented and discussed, indicating the high performance of our approach. A Racer-based consistency-checking method of reasoning is presented in this paper. An ontology evolution method and performance evaluation are also given.作者: Lucubrate 時間: 2025-3-30 14:23
: An Integration of Description Logic and General Rules open answer sets hold for general rules. To retain decidability, a well-known weak safeness condition is employed. We develop DL tableaux-based algorithms for decision procedures of the KB satisfiability and the query entailment problems.作者: 友好 時間: 2025-3-30 19:30
Merging Model Driven Architecture and Semantic Web for Business Rules Generationting business rules, facilitating their integration and share. Works for solving this lack are in progress at e.g OMG and W3C..The aim of this paper is to propose a way to automatically generate a part of the business rules by combining concepts coming from Model Driven Architecture and Semantic Web using the Ontology Definition Metamodel.作者: 表兩個 時間: 2025-3-30 21:38
Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racerogy. Experimental results and the comparison with the more conventional ontology-generation method are presented and discussed, indicating the high performance of our approach. A Racer-based consistency-checking method of reasoning is presented in this paper. An ontology evolution method and performance evaluation are also given.作者: 恭維 時間: 2025-3-31 03:06 作者: prosperity 時間: 2025-3-31 05:59
A Framework for Ontology Based Rule Acquisition from Web Documentsle acquisition consists of rule component identification and rule composition. The former uses stemming and semantic similarity to extract variables and values from the Web page and the latter uses the best-first search method in composing the variables and values into rules.作者: condemn 時間: 2025-3-31 10:46 作者: fledged 時間: 2025-3-31 14:29
On the Semantics of Service Compositions an approach to generate the semantics of service compositions from the semantics of the contained services. To do this we assume a formal Workflow net model of the service composition. With an example use case we show how this works in practice.作者: 獸群 時間: 2025-3-31 17:50 作者: certain 時間: 2025-3-31 22:27 作者: Matrimony 時間: 2025-4-1 03:04
Expressive Reasoning with Horn Rules and Fuzzy Description Logicsextended with non-recursive Horn rules. Such an extension is most useful in realistic applications dealing with uncertainty and imprecision, such as multimedia processing and medical applications. Additionally, it provides the ability of answering to union of conjunctive queries, which is a novelty not previously addressed by fuzzy DL systems.作者: Irritate 時間: 2025-4-1 09:52
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRIst them by a knowledge-based method. The system uses statistical method for generating a sufficient set of initial facts for fruitful reasoning. Then, the reasoning is supported by an OWL DL ontology enriched by SWRL rules. The experiments described were achieved using the KAON2 reasoner for inferring the annotations.作者: canonical 時間: 2025-4-1 12:23 作者: milligram 時間: 2025-4-1 15:10
Proof Explanation in the DR-DEVICE Systemis paper presents the design of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.作者: BRUNT 時間: 2025-4-1 20:30
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRIst them by a knowledge-based method. The system uses statistical method for generating a sufficient set of initial facts for fruitful reasoning. Then, the reasoning is supported by an OWL DL ontology enriched by SWRL rules. The experiments described were achieved using the KAON2 reasoner for inferring the annotations.作者: Ballerina 時間: 2025-4-2 00:57 作者: EXULT 時間: 2025-4-2 03:57 作者: Seminar 時間: 2025-4-2 09:26 作者: 無聊點好 時間: 2025-4-2 12:11
Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semanticsent detection: it is not sufficient to react to single event messages, but events have to be considered in relation to other events that are received over time..Emphasizing language design and formal semantics, we describe the rule-based query language XChange. for detecting composite events. XChang作者: floaters 時間: 2025-4-2 18:44
Well-Founded Semantics for Hybrid Rulesd inspired by the ideas of Constraint Logic Programming (CLP). . are defined as normal clauses extended with . in the bodies. The constraints are formulae in a language of a first order theory defined by a set . of axioms. Instances of the framework are obtained by specifying a language of constrain作者: Comedienne 時間: 2025-4-2 22:54
On the Semantics of Service Compositionsdividual services are well researched, determining the semantics of compositions of services remains an open research issue..In this paper, we present an approach to generate the semantics of service compositions from the semantics of the contained services. To do this we assume a formal Workflow ne作者: 群島 時間: 2025-4-3 02:46 作者: 和平 時間: 2025-4-3 06:59
Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semanticsent detection: it is not sufficient to react to single event messages, but events have to be considered in relation to other events that are received over time..Emphasizing language design and formal semantics, we describe the rule-based query language XChange. for detecting composite events. XChang作者: Substance-Abuse 時間: 2025-4-3 08:06 作者: 離開 時間: 2025-4-3 14:20
Quantified Equilibrium Logic and Hybrid Rulesh nonmonotonic rule languages. Whereas several modular approaches to define a combined semantics for such hybrid knowledge bases focus mainly on decidability issues, we tackle the matter from a more general point of view. In this paper we show how Quantified Equilibrium Logic (QEL) can function as a
