Reasoning with vagueness in hybrid MKNF knowledge bases

Authors:
Shasha Huang;Qingguo Li
Affiliations:
College of Mathematics and Econometrics, Hunan University, Changsha, Hunan, PR China and College of Mathematics and Information, North China University of Water Resources and Electric Power, Zheng ...;College of Mathematics and Econometrics, Hunan University, Changsha, Hunan, PR China
Venue:
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Year:
2014

Citing 18
Cited 0

The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Combining Horn rules and description logics in CARIN

Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics

Journal of Intelligent Information Systems
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Managing uncertainty and vagueness in description logics for the Semantic Web

Web Semantics: Science, Services and Agents on the World Wide Web
DL-Lite: tractable description logics for ontologies

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics

Journal of Artificial Intelligence Research
A faithful integration of description logics with logic programming

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Nonmonotonic databases and epistemic queries

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Foundations of Semantic Web Technologies

Foundations of Semantic Web Technologies
Making fuzzy description logic more general

Fuzzy Sets and Systems
Reconciling description logics and rules

Journal of the ACM (JACM)
A better uncle for OWL: nominal schemas for integrating rules and ontologies

Proceedings of the 20th international conference on World wide web
Local closed world reasoning with description logics under the well-founded semantics

Artificial Intelligence
OWL and rules

RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Effective integration of declarative rules with external evaluations for semantic-web reasoning

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an infrastructure for describing and handling uncertainty and vagueness in a combination of Description Logics and rules in the Semantic Web. More concretely, we apply fuzzy set theory to hybrid MKNF knowledge bases, and establish fuzzy hybrid MKNF knowledge bases, which is sound with respect to the classical two-valued semantics. Furthermore, we discuss some fundamental properties of fuzzy semantics, and characterize fuzzy MKNF models of general MKNF knowledge bases. We also provide characterizations of fuzzy MKNF models of positive and stratified MKNF knowledge bases in terms of a fixpoint operator and an iterative fixpoint semantics, respectively. Finally, we describe a special case of fuzzy nondisjunctive positive MKNF knowledge base, in which the truth value of a modal atom can be computed in polynomial time in the data complexity.