We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logicprogramming technology, namely on the dlvhex system, which allows us to implement a fully SPARQL compli...
详细信息
ISBN:
(纸本)9783642021206
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logicprogramming technology, namely on the dlvhex system, which allows us to implement a fully SPARQL compliant semantics, and on DLVDB, which extends the DLV system with persistent storage capabilities. Compared with off-the-shelf RDF stores and SPARQL engines, we offer more flexible support for rule-based RDFS and other higher entailment regimes by enabling custom reasoning via rules, and the possibility to choose the reference ontology on a per query basis. Due to the declarative approach, GiaBATA gains the possibility to apply well-known logic-level optimization features of logicprogramming (LP) and deductive database systems. Moreover, our architecture allows for extensions of SPARQL by non-standard features such as aggregates, custom built-ins, or arbitrary rulesets. Withthe resulting system we provide a flexible toolbox that embeds Semantic Web data and ontologies in a fully declarative LP environment.
the proceedings contain 34 papers. the topics discussed include: mechanisms for importing modules;a solution for the man-man problem in the family history knowledge base;towards integrity constraints in OWL;processing...
the proceedings contain 34 papers. the topics discussed include: mechanisms for importing modules;a solution for the man-man problem in the family history knowledge base;towards integrity constraints in OWL;processing OWL2 ontologies using thea: an application of logicprogramming;reasoning in metamodeling enabled ontologies;CSage: use of a configurable semantically attributed graph editor as framework for editing and visualization;a conformance test suite for the OWL 2 RL/RDF rules language and the OWL 2 RDF-based semantics;improving the data quality of relational databases using OBDA and OWL 2 QL;using ontologies for medical image retrieval - an experiment;task representation and retrieval in an ontology-guided modeling system;and a platform for reasoning with OWL-EL knowledge bases in a peer-to-peer environment.
this paper proposes an intelligent software architecture for the service layer of wireless billboard channels (WBCs), which facilitates the IP datacasting (IPDC) of services' advertisements in a ubiquitous consume...
详细信息
this paper proposes an intelligent software architecture for the service layer of wireless billboard channels (WBCs), which facilitates the IP datacasting (IPDC) of services' advertisements in a ubiquitous consumer wireless world (UCWW). the new WBC service layer's architecture consists of three tiers: a service discovery and maintenance tier acting as a client-server distributed system for data collection and organization; an intelligent application tier holding all business logic and common application programming interfaces (APIs); and a multi-agent system tier maintaining the advertisement, discovery and association (ADA) agents' lifecycle. A message channel, a blackboard and a gateway agent are shared by all three tiers thus enabling ADA processing in a highly efficient way.
In this paper we present a sensor network programming model using fuzzy logic. A fuzzy controller model is used to dynamically control the rate of observation of environmental variables. Differing rates arise from cha...
详细信息
ISBN:
(纸本)9780769531359
In this paper we present a sensor network programming model using fuzzy logic. A fuzzy controller model is used to dynamically control the rate of observation of environmental variables. Differing rates arise from changing environmental conditions. Inferencing using linguistic rules provides a compact, human friendly way to represent the knowledge base for controlling environmental sensor networks. Our programming model is illustrated with a simulation having two rules and three environmental variables.
We elaborate in this paper on the idea of translating situation calculus specifications into logic programs, thus making these specifications executable. We show a Topor-Lloyd-like procedure that transforms situation ...
详细信息
ISBN:
(纸本)9780769531243
We elaborate in this paper on the idea of translating situation calculus specifications into logic programs, thus making these specifications executable. We show a Topor-Lloyd-like procedure that transforms situation calculus specifications, mainly intended to stem from database environments, into logic program rules that can be subsequently executed or that could be transformed into deductive or relational database programs. Basically we Stress the concept of query safeness, that is central in the database context and we combine for that purpose the concepts of allowed formula [6] and of simple formula [13] into a formal framework with a formal logicprogramming semantics.
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for well-defined problems. However, solving ill-defined problems is important because it can enhance the cog...
详细信息
ISBN:
(纸本)9783540781387
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for well-defined problems. However, solving ill-defined problems is important because it can enhance the cognitive, metacognitive and argumentation skills of a student. In this paper, we demonstrate how to apply the constraint-based modelling approach to describe the solution space of ill-defined problems in logicprogramming. this technology has been integrated into a web-based ITS (INCOM) and has been evaluated with student solutions from past examinations.
Merging multiple sources of information is arising subject in artificial intelligence. Most of the proposals are model-based approaches with very high computational complexity, moreover few experimentations are availa...
详细信息
ISBN:
(纸本)9781586038915
Merging multiple sources of information is arising subject in artificial intelligence. Most of the proposals are model-based approaches with very high computational complexity, moreover few experimentations are available. this paper proposes a framework for performing Removed Sets Fusion (RSF) of belief bases consisting of propositional formulae. It then describes the implementation of RSF which stems from Answer Set programming (ASP) and can be performed with any ASP solver supporting the minimize statement. It finally presents an experimental study and a comparison.
this work presents the performance comparison of two conceptually different approaches for a mixed model non-permutation flowshop production line. the demand is a semi-dynamic demand with a fixed job sequence for the ...
详细信息
ISBN:
(纸本)9783540788256
this work presents the performance comparison of two conceptually different approaches for a mixed model non-permutation flowshop production line. the demand is a semi-dynamic demand with a fixed job sequence for the first station. Resequencing is permitted where stations have access to intermediate or centralized resequencing buffers. the access to the buffers is restricted by the number of available buffer places and the physical size of the products. An exact approach, using Constraint logicprogramming (CLP), and a heuristic approach, a Genetic Algorithm (GA), were applied.
the proceedings contain 35 papers. the topics discussed include: maintaining knowledge bases at the object level;an interface between the situation calculus and logicprogramming;a knowledge based system design for th...
ISBN:
(纸本)9780769531243
the proceedings contain 35 papers. the topics discussed include: maintaining knowledge bases at the object level;an interface between the situation calculus and logicprogramming;a knowledge based system design for the prediction of supernova effects in the interstellar environment;shake - regicide: a new heuristic for the diversity control of evolutionary algorithms;SVM classification for large data sets by considering models of classes distribution;Jason smiles: incremental BDI MAS learning;multiple fault diagnosis in electrical power systems with probabilistic neural networks;an application of morphological feature extraction and support vector machines in computerized ECG interpretation;machine learning tools to time series forecasting;cellular mathematical morphology;order statistics filters in wavelet domain for color image processing;and color texture histograms for natural images interpretation.
this paper presents a language for defining four-valued rough sets and to reason about them. Our framework brings together two major fields: rough sets and paraconsistent logicprogramming. On the one hand it provides...
详细信息
ISBN:
(纸本)9783540884231
this paper presents a language for defining four-valued rough sets and to reason about them. Our framework brings together two major fields: rough sets and paraconsistent logicprogramming. On the one hand it provides a paraconsistent approach, based on four-valued rough sets, for integrating knowledge from different sources and reasoning in the presence of inconsistencies. On the other hand, it also caters for a specific type of uncertainty that originates from the fact that an agent may perceive different objects of the universe as being indiscernible. this paper extends the ideas presented in [9]. Our language allows the user to define similarity relations and use the approximations induced by them in the definition of other four-valued sets. A positive aspect is that it allows users to tune the level of uncertainty or the source of uncertainty that best suits applications.
暂无评论