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
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;
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
DOI :
10.1109/CISE.2010.5677023
