DocumentCode
1876709
Title
A Language Based on Fuzzy SHIOQ(D)+Datalog for Fuzzy Knowledge Representation and Reasoning
Author
Ding, Song ; Tang, Sheng-Qun ; Zhang, Liang ; Liu, Kun ; Qin, Xue
Author_Institution
State Key Lab. of Software Eng., Wuhan Univ., Wuhan, China
fYear
2010
fDate
10-12 Dec. 2010
Firstpage
1
Lastpage
3
Abstract
For the sophisticated representation and reasoning in the rule and logic layers of the semantic Web, we propose a language which mainly based on the combination of fuzzy description logic (fuzzy SHOIQ(D)) and rule system (Datalog). Section 2 presents the syntax and semantics of the language. Section 3 discusses the problems relating to reasoning and proposes a graph-based algorithm for consistency checking.
Keywords
DATALOG; data integrity; fuzzy logic; fuzzy reasoning; graph theory; knowledge based systems; knowledge representation languages; semantic Web; DATALOG; consistency checking; fuzzy description logic; fuzzy reasoning; graph-based algorithm; knowledge representation; rule system; semantic Web; Cognition; OWL; Ontologies; Semantics; Syntactics;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Intelligence and Software Engineering (CiSE), 2010 International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-5391-7
Electronic_ISBN
978-1-4244-5392-4
Type
conf
DOI
10.1109/CISE.2010.5677023
Filename
5677023
Link To Document