|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI'06)
Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem
Hong Kong, China
December 18-December 22
ISBN: 0-7695-2747-7
| ASCII Text | x | ||
| Sheng Liu, Jian Zhang, "Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem," Web Intelligence, IEEE / WIC / ACM International Conference on, pp. 510-513, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI'06), 2006. | |||
| BibTex | x | ||
| @article{ 10.1109/WI.2006.150, author = {Sheng Liu and Jian Zhang}, title = {Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem}, journal ={Web Intelligence, IEEE / WIC / ACM International Conference on}, volume = {0}, year = {2006}, isbn = {0-7695-2747-7}, pages = {510-513}, doi = {http://doi.ieeecomputersociety.org/10.1109/WI.2006.150}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Web Intelligence, IEEE / WIC / ACM International Conference on TI - Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem SN - 0-7695-2747-7 SP510 EP513 A1 - Sheng Liu, A1 - Jian Zhang, PY - 2006 KW - null VL - 0 JA - Web Intelligence, IEEE / WIC / ACM International Conference on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WI.2006.150
The Resource Description Framework (RDF) has been ac- cepted as a standard for semantic representation of re- sources. Efficient methods and tools are needed to solve problems emerging from RDF based systems, for exam- ple, checking equality of two RDF graphs and retrieving subgraphs from another RDF graph. This paper proposes a method that encodes these problems into satisfiability (SAT) instances and solves them by employing efficient SAT solvers. A prototype tool is implemented and preliminary experimental results are given.
Citation:
Sheng Liu, Jian Zhang, "Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem," wi, pp.510-513, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.