The system presented in this paper aims at using Contextual logicprogramming as a computational hub for knowledge modeled by web ontologies and enable querying that representation. The components required to behave a...
详细信息
The system presented in this paper aims at using Contextual logicprogramming as a computational hub for knowledge modeled by web ontologies and enable querying that representation. The components required to behave as a SPARQL query engine are explained and examples of semantic integration of different sources are shown.
Reasoning about actions and changes often starts with an action theory which is then used for planning, prediction or explanation. In practice it is sometimes not simple to give an immediately available action theory....
详细信息
ISBN:
(纸本)3540649581
Reasoning about actions and changes often starts with an action theory which is then used for planning, prediction or explanation. In practice it is sometimes not simple to give an immediately available action theory. In this paper we will present an abductive methodology for describing action domains. We start with an action theory which is not complete, i.e., has more than one model. Then, after some tests are done, we can abduce a complete action theory. Technically, we use a high level action language to describe incomplete domains and tests. Then, we present a translation from domain descriptions to abductive logic programs. Using tests, we then abductively refine an original domain description to a new one which is closer to the domain in reality. The translation has been shown to be both sound and complete. The result of this paper can be used not only for refinement of domain descriptions but also for abductive planning, prediction and explanation. The methodology presented in this paper has been implemented by an abductive logicprogramming system.
This note provides background information and references to the tutorial on recent research developments in logicprogramming inspired by needs of knowledgerepresentation.
ISBN:
(纸本)9783540746089
This note provides background information and references to the tutorial on recent research developments in logicprogramming inspired by needs of knowledgerepresentation.
In this paper we consider the basic semantics of stable and partial stable models for disjunctive deductive databases (with default negation), cf. [9, 16]. It is well-known that there are disjunctive deductive databas...
详细信息
ISBN:
(纸本)3540649581
In this paper we consider the basic semantics of stable and partial stable models for disjunctive deductive databases (with default negation), cf. [9, 16]. It is well-known that there are disjunctive deductive databases where no stable or partial stable models exist, and these databases are called inconsistent w.r.t. the basic semantics. We define a consistent variant of each class of models, which we call evidential stable and partial evidential stable models. It is shown that if a database is already consistent w.r.t, the basic semantics, then the class of evidential models coincides with the basic class of models. Otherwise, the set of evidential models is a subset of the set of minimal models of the database. This subset is non-empty, if the database is logically consistent. It is determined according to a suitable preference relation, whose underlying idea is to minimize the amount of reasoning by contradiction. The technical ingredients for the construction of the new classes of models are two transformations of disjunctive deductive databases. First, the evidential transformation is used to realize the preference relation, and to define evidential stable models. Secondly, based on the tu-transformation the result is lifted to the three-valued case, that is, partial evidential stable models are defined.
The Web has become an extremely large source of information and also a platform of various e-service including e-business, e-science, e-learning, e-government, etc. How to develop the new technology to discover useful...
详细信息
ISBN:
(纸本)0780390350
The Web has become an extremely large source of information and also a platform of various e-service including e-business, e-science, e-learning, e-government, etc. How to develop the new technology to discover useful knowledge from Web-based data is one of the challenges in the area of Web Intelligence. Inductive logicprogramming is the field defined as the intersection of machine learning and logicprogramming. Two strengths of Inductive logicprogramming, namely, the expressive representation formalism and the use of background knowledge make it suitable to deal with Web-based data and then find useful rules for various applications for Web intelligence. This paper provides an overview on the recent various applications of Inductive logicprogramming for Web intelligence.
This paper proposes a fuzzy variant of SROIQ(D) with datalog which can support fuzzy reasoning. The paper presents the syntax and semantics of fuzzy SROIQ(D)+Dataloe and discusses the common reasoning problems in fuzz...
详细信息
ISBN:
(数字)9783642254376
ISBN:
(纸本)9783642254369
This paper proposes a fuzzy variant of SROIQ(D) with datalog which can support fuzzy reasoning. The paper presents the syntax and semantics of fuzzy SROIQ(D)+Dataloe and discusses the common reasoning problems in fuzzy description logicprogramming and finally proposes an inequation/equation set approach to solve the reasoning problems.
The integration transparency of a multidatabase system depends heavily on the diversity of local language interfaces and models. These parameters are not predetermined but application dependent. The flexibility of a n...
详细信息
The paper presents a systematic analysis of the description logic formalism that has proved to be the distinguished approach for automated formal reasoning. The focus is on the principles of knowledgerepresentation a...
详细信息
Formalization presupposes ‘precisification’. A formal representation, therefore, cannot account for all relevant aspects of imprecise domain knowledge. In this paper we present a methodology for dealing with this pr...
详细信息
Combines logicprogramming and temporal constraint processing techniques in a language called TCLP (Temporal Constraint logicprogramming), which augments logic programs with temporal constraints. Known algorithms for...
详细信息
暂无评论