Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
A Fuzzy Multi-attribute Decision Making Algorithm for Web Services Selection Based on QoS
APSCC '06 Proceedings of the 2006 IEEE Asia-Pacific Conference on Services Computing
The Description Logic Handbook
The Description Logic Handbook
A Multi-criteria Service Ranking Approach Based on Non-Functional Properties Rules Evaluation
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Hi-index | 0.00 |
The need to reason with knowledge expressed in both Logic Programming (LP) and Description Logics (DLs) paradigms on the Semantic Web lead to several integrating formalisms, e.g., Description Logic programs (dl-programs ) allow a logic program to retrieve results from and feed results to a DL knowledge base. Two functional extensions of dl-programs are hex programs and fuzzy dl-programs. The former abstract away from DLs, allowing for general external queries, the latter deal with the uncertain, vague, and inconsistent nature of knowledge on the Web by means of fuzzy logic mechanisms. In this paper, we generalize both hex programs and fuzzy dl-programs to fuzzy hex programs : a LP-based paradigm, supporting both fuzziness as well as reasoning with external sources. We define basic syntax and semantics and analyze the framework semantically, e.g., by investigating the complexity. Additionally, we provide a translation from fuzzy hex programs to hex programs, enabling an implementation via the dlvhex reasoner. Finally, we illustrate the use of fuzzy hex programs for ranking services by using them to model non-functional properties of services and user preferences.